Struct UntilCont

pub struct UntilCont {
    pub body: RcCont,
    pub after: RcCont,
}

Continuation of a loop with postcondition.

Fields

body: RcCont

after: RcCont

Trait Implementations

impl Clone for UntilCont

fn clone(&self) -> UntilCont

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Cont for UntilCont

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 UntilCont

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

Formats the value using the given formatter.

impl Load<'_> for UntilCont

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

Tries to load itself from a cell slice.

impl Store for UntilCont

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

Tries to store itself into the cell builder.