Struct LocatedCode 

pub struct LocatedCode<P: InstructionPolicy> { /* private fields */ }

Immutable, fully validated located instructions and their control metadata.

Implementations

impl<P> LocatedCode<P>

where P: InstructionPolicy, P::InstructionId: Copy + Eq + Ord,

pub fn freeze( instructions: Vec<LocatedInstruction<P::Instruction, P::InstructionId>>, targets: Vec<BranchTarget<P::InstructionId>>, regions: Vec<RegionSpec<P::InstructionId>>, ) -> Result<Self, CodeError<P::InstructionId>>

Validates every location and edge before freezing the code.

pub fn entry(&self) -> CodeCursor

Returns the entry cursor, always an instruction boundary.

pub fn cursor(&self, id: P::InstructionId) -> Option<CodeCursor>

Resolves a stable instruction identity to a valid cursor.

pub fn instruction( &self, cursor: CodeCursor, ) -> &LocatedInstruction<P::Instruction, P::InstructionId>

Returns the instruction addressed by cursor.

pub fn next(&self, cursor: CodeCursor) -> Option<CodeCursor>

Advances to the next instruction boundary, or returns None at code end.

pub fn branch_targets(&self, from: P::InstructionId) -> &[CodeCursor]

Returns every validated branch target for an instruction in declaration order.

pub fn protected_regions(&self) -> &[ProtectedRegion]

Returns the immutable protected-region table.

pub fn innermost_protected_region( &self, cursor: CodeCursor, ) -> Option<ProtectedRegion>

Selects the most deeply nested protected region containing cursor.

pub fn len(&self) -> usize

Returns the number of instructions.

pub fn is_empty(&self) -> bool

Returns whether there are no instructions. Valid located code is never empty.