Struct WhileCont

pub struct WhileCont {
    pub check_cond: bool,
    pub cond: RcCont,
    pub body: RcCont,
    pub after: RcCont,
}

Continuation of a loop with precondition.

Fields

check_cond: bool

cond: RcCont

body: RcCont

after: RcCont

Trait Implementations

impl Clone for WhileCont

fn clone(&self) -> WhileCont

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Cont for WhileCont

fn rc_into_dyn(self: Rc<Self>) -> Rc<dyn StackValue>

fn as_stack_value(&self) -> &dyn StackValue

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

fn jump( self: Rc<Self>, state: &mut VmState<'_>, _: &mut i32, ) -> VmResult<Option<RcCont>>

fn get_control_data(&self) -> Option<&ControlData>

fn get_control_data_mut(&mut self) -> Option<&mut ControlData>

impl Debug for WhileCont

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

Formats the value using the given formatter.

impl Load<'_> for WhileCont

fn load_from(slice: &mut CellSlice<'_>) -> Result<Self, Error>

Tries to load itself from a cell slice.

impl Store for WhileCont

fn store_into( &self, builder: &mut CellBuilder, context: &dyn CellContext, ) -> Result<(), Error>

Tries to store itself into the cell builder.