pub struct ConditionContext<'a> { /* private fields */ }Expand description
Everything a condition can read at one step.
Implementations§
Source§impl<'a> ConditionContext<'a>
impl<'a> ConditionContext<'a>
Sourcepub fn new(
map: &'a StepMap,
step: usize,
trace_step: StepView<'a>,
words: Option<StorageWords<'a>>,
) -> Self
pub fn new( map: &'a StepMap, step: usize, trace_step: StepView<'a>, words: Option<StorageWords<'a>>, ) -> Self
The context at step, given the trace step’s own facts.
Sourcepub fn with_trace(self, trace: &'a TransactionTrace) -> Self
pub fn with_trace(self, trace: &'a TransactionTrace) -> Self
Reads the local variables in scope at the step, and paths through them, from
the trace; see StepMap::local_condition_value.
Sourcepub fn with_frame(self, frame: Option<&'a Frame>) -> Self
pub fn with_frame(self, frame: Option<&'a Frame>) -> Self
Reads the arguments of this frame by name, when the trace proved them.
Auto Trait Implementations§
impl<'a> !RefUnwindSafe for ConditionContext<'a>
impl<'a> !Send for ConditionContext<'a>
impl<'a> !Sync for ConditionContext<'a>
impl<'a> !UnwindSafe for ConditionContext<'a>
impl<'a> Freeze for ConditionContext<'a>
impl<'a> Unpin for ConditionContext<'a>
impl<'a> UnsafeUnpin for ConditionContext<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more