Enum TypesTraceLink 

pub enum TypesTraceLink {
    Local(LocalTrace),
    Remote(RemoteRef),
}

Trace link for audit and replay.

The distinction between Local and Remote is constitutional:

• Local: replay-eligible (deterministic)
• Remote: audit-eligible only (bounded stochasticity)

Variants

Local(LocalTrace)

Local trace - replay eligible

Remote(RemoteRef)

Remote trace - audit eligible only

Implementations

impl TraceLink

pub fn is_replay_eligible(&self) -> bool

Check if this trace is replay-eligible.

pub fn local(trace: LocalTrace) -> TraceLink

Create a local trace link.

pub fn remote(reference: RemoteRef) -> TraceLink

Create a remote trace link.

Trait Implementations

impl Clone for TraceLink

fn clone(&self) -> TraceLink

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceLink

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TraceLink

fn deserialize<__D>( __deserializer: __D, ) -> Result<TraceLink, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TraceLink

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.