Struct StderrTracker 

pub struct StderrTracker { /* private fields */ }

Tracker that just outputs all its activity to stderr.

Implementations

impl StderrTracker

pub fn new() -> Self

Constructs a new empty StderrTracker, ready for use.

Trait Implementations

impl Clone for StderrTracker

fn clone(&self) -> StderrTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StderrTracker

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

Formats the value using the given formatter.

impl Default for StderrTracker

fn default() -> StderrTracker

Returns the “default value” for a type.

impl<J: Jet> ExecTracker<J> for StderrTracker

fn visit_node( &mut self, node: &RedeemNode<J>, input: FrameIter<'_>, output: NodeOutput<'_>, )

Called immediately after a specific node of the program is executed, but before its children are executed.

impl<J: Jet> PruneTracker<J> for StderrTracker

fn contains_left(&self, ihr: Ihr) -> bool

Returns true if the left branch of the of the Case node with the IHR ihr was taken.

fn contains_right(&self, ihr: Ihr) -> bool

Returns true if the right branch of the of the Case node with the IHR ihr was taken.