Struct ProgramLayout 

pub struct ProgramLayout {
    pub stack: DataCapEntry,
    pub ro: Option<DataCapEntry>,
    pub rw: Option<DataCapEntry>,
    pub heap: Option<DataCapEntry>,
}

Full DATA-cap layout of a transpiler-emitted blob. stack is always present; ro, rw, heap are present only when their page count is non-zero. Args bytes are delivered separately (kernel-allocated cap at bare-Frame slot 4), so they are not part of the layout.

Fields

stack: DataCapEntry

ro: Option<DataCapEntry>

rw: Option<DataCapEntry>

heap: Option<DataCapEntry>

Implementations

impl ProgramLayout

pub fn compute( stack_pages: u32, ro_pages: u32, rw_pages: u32, heap_pages: u32, ) -> Self

Compute the layout from per-region page counts. stack_pages must be ≥ 1 in any sane build, but the function does not enforce that. ro_pages, rw_pages, heap_pages of zero omit those caps entirely.

pub fn data_caps(&self) -> impl Iterator<Item = &DataCapEntry> + '_

Iterate every DATA cap entry in cap-index (and base-page) order: stack, ro?, rw?, heap?.

pub fn stack_top(&self) -> u64

Top-of-stack address (initial SP). RISC-V SP grows downward, so the first push lands at stack_top - 8.

pub fn total_data_pages(&self) -> u32

Total pages across all DATA caps in this layout.

Trait Implementations

impl Clone for ProgramLayout

fn clone(&self) -> ProgramLayout

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProgramLayout

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.