Struct air_trace_handler::TraceHandler
source · pub struct TraceHandler { /* private fields */ }
Implementations§
source§impl TraceHandler
impl TraceHandler
pub fn from_trace( prev_trace: ExecutionTrace, current_trace: ExecutionTrace, ) -> Self
sourcepub fn trace_pos(&self) -> Result<TracePos, IntConversionError>
pub fn trace_pos(&self) -> Result<TracePos, IntConversionError>
Returns size of elements inside result trace and intended to provide a position of next inserted elements.
pub fn into_result_trace(self) -> ExecutionTrace
pub fn as_result_trace(&self) -> &ExecutionTrace
pub fn subgraph_sizes(&self) -> (TraceLen, TraceLen)
pub fn update_generation( &mut self, trace_pos: TracePos, generation: GenerationIdx, ) -> Result<(), GenerationCompactificationError>
source§impl TraceHandler
impl TraceHandler
sourcepub fn meet_call_start(&mut self) -> TraceHandlerResult<MergerCallResult>
pub fn meet_call_start(&mut self) -> TraceHandlerResult<MergerCallResult>
Should be called at the beginning of a call execution.
sourcepub fn meet_call_end(&mut self, call_result: CallResult)
pub fn meet_call_end(&mut self, call_result: CallResult)
Should be called when a call instruction was executed successfully. It adds the supplied state to the result trace.
source§impl TraceHandler
impl TraceHandler
pub fn meet_ap_start(&mut self) -> TraceHandlerResult<MergerApResult>
pub fn meet_ap_end(&mut self, ap_result: ApResult)
source§impl TraceHandler
impl TraceHandler
pub fn meet_canon_start(&mut self) -> TraceHandlerResult<MergerCanonResult>
pub fn meet_canon_end(&mut self, canon_result: CanonResult)
source§impl TraceHandler
impl TraceHandler
pub fn meet_par_start(&mut self) -> TraceHandlerResult<()>
pub fn meet_par_subgraph_end( &mut self, subgraph_type: SubgraphType, ) -> TraceHandlerResult<()>
source§impl TraceHandler
impl TraceHandler
pub fn meet_fold_start(&mut self, fold_id: u32) -> TraceHandlerResult<()>
pub fn meet_iteration_start( &mut self, fold_id: u32, value_pos: TracePos, ) -> TraceHandlerResult<()>
pub fn meet_iteration_end(&mut self, fold_id: u32) -> TraceHandlerResult<()>
pub fn meet_back_iterator(&mut self, fold_id: u32) -> TraceHandlerResult<()>
pub fn meet_generation_end(&mut self, fold_id: u32) -> TraceHandlerResult<()>
pub fn meet_fold_end(&mut self, fold_id: u32) -> TraceHandlerResult<()>
Trait Implementations§
source§impl Debug for TraceHandler
impl Debug for TraceHandler
source§impl Default for TraceHandler
impl Default for TraceHandler
source§fn default() -> TraceHandler
fn default() -> TraceHandler
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for TraceHandler
impl !RefUnwindSafe for TraceHandler
impl !Send for TraceHandler
impl !Sync for TraceHandler
impl Unpin for TraceHandler
impl !UnwindSafe for TraceHandler
Blanket Implementations§
§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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<F, W, T, D> Deserialize<With<T, W>, D> for F
impl<F, W, T, D> Deserialize<With<T, W>, D> for F
§fn deserialize(
&self,
deserializer: &mut D,
) -> Result<With<T, W>, <D as Fallible>::Error>
fn deserialize( &self, deserializer: &mut D, ) -> Result<With<T, W>, <D as Fallible>::Error>
Deserializes using the given deserializer
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Gets the layout of the type.