pub struct TraceRecorder { /* private fields */ }Implementations§
Source§impl TraceRecorder
impl TraceRecorder
pub fn new(max_operations: usize) -> Self
pub fn record_loop( &self, program: &Program, function: u16, header: u32, backedge: u32, locals: &[TraceValue], ) -> Result<Trace, RecordError>
Sourcepub fn record_path(
&self,
program: &Program,
function: u16,
header: u32,
path: &[u32],
locals: &[TraceValue],
) -> Result<Trace, RecordError>
pub fn record_path( &self, program: &Program, function: u16, header: u32, path: &[u32], locals: &[TraceValue], ) -> Result<Trace, RecordError>
Lowers the concrete instruction path observed by the VM. Forward branches disappear into the linear trace; their observed direction is retained as a guard.
Auto Trait Implementations§
impl Freeze for TraceRecorder
impl RefUnwindSafe for TraceRecorder
impl Send for TraceRecorder
impl Sync for TraceRecorder
impl Unpin for TraceRecorder
impl UnsafeUnpin for TraceRecorder
impl UnwindSafe for TraceRecorder
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more