Struct tvix_eval::observer::TracingObserver

pub struct TracingObserver<W: Write> {
    last_event: Option<Instant>,
    writer: TabWriter<W>,
}

An observer that collects a textual representation of an entire runtime execution.

Fields

last_event: Option<Instant>

writer: TabWriter<W>

Implementations

impl<W: Write> TracingObserver<W>

pub fn new(writer: W) -> Self

pub fn enable_timing(&mut self)

Write the time of each runtime event, relative to when this method is called

fn maybe_write_time(&mut self)

fn write_value(&mut self, val: &Value)

fn write_stack(&mut self, stack: &[Value])

Trait Implementations

impl<W: Write> Drop for TracingObserver<W>

fn drop(&mut self)

Executes the destructor for this type.

impl<W: Write> RuntimeObserver for TracingObserver<W>

fn observe_exit_call_frame(&mut self, frame_at: usize, stack: &[Value])

Called when the runtime exits a call frame.

fn observe_enter_call_frame( &mut self, arg_count: usize, lambda: &Rc<Lambda>, call_depth: usize )

Called when the runtime enters a new call frame.

fn observe_suspend_call_frame(&mut self, frame_at: usize, stack: &[Value])

Called when the runtime suspends a call frame.

fn observe_enter_generator( &mut self, frame_at: usize, name: &str, stack: &[Value] )

Called when the runtime enters a generator frame.

fn observe_exit_generator( &mut self, frame_at: usize, name: &str, stack: &[Value] )

Called when the runtime exits a generator frame.

fn observe_suspend_generator( &mut self, frame_at: usize, name: &str, stack: &[Value] )

Called when the runtime suspends a generator frame.

fn observe_generator_request(&mut self, name: &str, msg: &VMRequest)

Called when a generator requests an action from the VM.

fn observe_enter_builtin(&mut self, name: &'static str)

Called when the runtime enters a builtin.

fn observe_exit_builtin(&mut self, name: &'static str, stack: &[Value])

Called when the runtime exits a builtin.

fn observe_tail_call(&mut self, frame_at: usize, lambda: &Rc<Lambda>)

Called when the runtime replaces the current call frame for a tail call.

fn observe_execute_op(&mut self, ip: CodeIdx, op: &OpCode, stack: &[Value])

Called when the runtime begins executing an instruction. The provided stack is the state at the beginning of the operation.