Struct Frame 

pub struct Frame<P, K, R, H>
where
    P: ValueWidthPolicy,
{ /* private fields */ }

One admitted activation, composed entirely from bounded machine state.

Implementations

impl<P, K, R, H> Frame<P, K, R, H>

where P: ValueWidthPolicy,

pub fn new( slot_limit: AdmissionLimit, operand_limit: WorkLimit, cursor: CodeCursor, continuation: Option<K>, roots: R, handlers: H, ) -> Self

Composes a frame at a validated code cursor with independently bounded storage.

pub fn slots(&self) -> &SlotFile<P>

Returns the bounded local-slot file.

pub fn slots_mut(&mut self) -> &mut SlotFile<P>

Returns the mutable bounded local-slot file.

pub fn operands(&self) -> &UnitStack<P>

Returns the bounded operand stack.

pub fn operands_mut(&mut self) -> &mut UnitStack<P>

Returns the mutable bounded operand stack.

pub fn cursor(&self) -> CodeCursor

Returns the current validated instruction cursor.

pub fn set_cursor(&mut self, cursor: CodeCursor)

Moves the frame to another validated instruction cursor.

pub fn continuation(&self) -> Option<&K>

Returns the caller-defined continuation state.

pub fn roots(&self) -> &R

Returns the caller-defined managed-root state.

pub fn roots_mut(&mut self) -> &mut R

Returns the mutable caller-defined managed-root state.

pub fn handlers(&self) -> &H

Returns the caller-defined handler state.

pub fn handlers_mut(&mut self) -> &mut H

Returns the mutable caller-defined handler state.

Trait Implementations

impl<P, K, R, H> MachineFrame for Frame<P, K, R, H>

where P: ValueWidthPolicy,

fn cursor(&self) -> CodeCursor

Returns the instruction to execute next.

fn set_cursor(&mut self, cursor: CodeCursor)

Selects the next validated instruction boundary.

impl<P, K, R, H> ManagedRootSource for Frame<P, K, R, H>

where P: ValueWidthPolicy, P::Value: ManagedRootSource, K: ManagedRootSource, R: ManagedRootSource, H: ManagedRootSource,

fn visit_managed_roots(&self, visit: &mut dyn FnMut(ManagedId) -> bool) -> bool

Visits roots in a stable, source-defined order.