Struct LocalFrame 

pub struct LocalFrame<'ir, B> { /* private fields */ }

A LocalFrame is a mutable frame which is used by a currently executing thread. It is turned into an immutable Frame when the control flow forks on a choice, which can be shared by threads.

Implementations

impl<'ir, B: BV> LocalFrame<'ir, B>

pub fn vars_mut(&mut self) -> &mut Bindings<'ir, B>

pub fn vars(&self) -> &Bindings<'ir, B>

pub fn regs_mut(&mut self) -> &mut Bindings<'ir, B>

pub fn regs(&self) -> &Bindings<'ir, B>

pub fn add_regs(&mut self, regs: &Bindings<'ir, B>) -> &mut Self

pub fn lets_mut(&mut self) -> &mut Bindings<'ir, B>

pub fn lets(&self) -> &Bindings<'ir, B>

pub fn add_lets(&mut self, lets: &Bindings<'ir, B>) -> &mut Self

pub fn get_exception(&self) -> Option<(&Val<B>, &str)>

pub fn memory(&self) -> &Memory<B>

pub fn memory_mut(&mut self) -> &mut Memory<B>

pub fn set_memory(&mut self, memory: Memory<B>) -> &mut Self

pub fn new( name: Name, args: &[(Name, &'ir Ty<Name>)], vals: Option<&[Val<B>]>, instrs: &'ir [Instr<Name, B>], ) -> Self

pub fn new_call( &self, name: Name, args: &[(Name, &'ir Ty<Name>)], vals: Option<&[Val<B>]>, instrs: &'ir [Instr<Name, B>], ) -> Self

pub fn task_with_checkpoint<'task>( &self, task_id: usize, state: &'task TaskState<B>, checkpoint: Checkpoint<B>, ) -> Task<'ir, 'task, B>

pub fn task<'task>( &self, task_id: usize, state: &'task TaskState<B>, ) -> Task<'ir, 'task, B>