Enum ProbeTarget 

pub enum ProbeTarget {
    Statement {
        id: String,
    },
    Decision {
        id: String,
        width: usize,
        not: Vec<bool>,
        tree: ConditionTree,
        outcome_true: String,
        outcome_false: String,
        logical: Vec<DerivedLogical>,
        loop_: Option<LoopTarget>,
    },
    For {
        id: String,
        zero: String,
        entered: String,
    },
    Logical {
        op: String,
        short_circuit: String,
        evaluated: String,
    },
    Arrival {
        short_circuit: String,
        evaluated: String,
    },
    SafeNavigation {
        nil: String,
        called: String,
    },
    Hits {
        ids: Vec<String>,
    },
    Try {
        id: String,
        success: String,
        raised: String,
        handlers: Vec<HandlerTarget>,
    },
}

What a probe call reports. The runtime looks the key up and records the obligations named here.

Variants

Statement

s(k): a statement sharing a line with an earlier statement ran.

Fields

id: String

Decision

c(k, i, v) per condition, d(k, v) or w(k, v) for the outcome.

Fields

id: String

width: usize

not: Vec<bool>

tree: ConditionTree

outcome_true: String

outcome_false: String

logical: Vec<DerivedLogical>

loop_: Option<LoopTarget>

For

f(k, collection) at the loop head and fb(k) as the first body statement.

Fields

id: String

zero: String

entered: String

Logical

l(k, left) for value-context &&/||/||=/&&=.

Fields

op: String

short_circuit: String

evaluated: String

Arrival

pre(k) before an operator assignment whose target cannot be re-read without side effects, es(k) as the first thing its right side does: arrivals that never started the right side are short-circuits.

Fields

short_circuit: String

evaluated: String

SafeNavigation

n(k, receiver) before &.: the receiver was nil, or the method was called.

Fields

nil: String

called: String

Hits

hs(k) where a branch body or method body would start when it has no statement to observe: the alternatives (and method) it proves.

Fields

ids: Vec<String>

Try

ok(k, v)/ok0(k) completion, h(k, n) handler entry, p(k) propagation, hm(k, v) rescue-modifier fallback.

Fields

id: String

success: String

raised: String

handlers: Vec<HandlerTarget>

Trait Implementations

impl Clone for ProbeTarget

fn clone(&self) -> ProbeTarget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProbeTarget

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProbeTarget

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProbeTarget

impl PartialEq for ProbeTarget

fn eq(&self, other: &ProbeTarget) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ProbeTarget

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProbeTarget