Struct TraceHeader 

pub struct TraceHeader {
    pub backend: RecordingBackend,
    pub values: ValueCapture,
    pub entry: String,
    pub args: Vec<String>,
}

What a trace declares about itself before its first event.

The entry and its arguments are here because a replay needs them and no event carries them: cove replay starts the same entry with the same arguments, and refuses a trace recorded from a different one. The backend is here for the same reason read one step further: a replay wants to be the run it replays, and which evaluator ran is part of what that run was.

Fields

backend: RecordingBackend

Which backend ran the program this trace recorded.

values: ValueCapture

How much of each host call’s values the trace carries.

entry: String

The qualified entry function the run started, such as restricted.main.

args: Vec<String>

The process arguments the entry was given.

Trait Implementations

impl Clone for TraceHeader

fn clone(&self) -> TraceHeader

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceHeader

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

Formats the value using the given formatter.