Struct DecisionFacts 

pub struct DecisionFacts {
    pub primitive: Option<PrimitiveDecision>,
    pub carrier: Option<String>,
    pub value_flow: Option<Vec<String>>,
    pub then: Option<Vec<String>>,
    pub else_: Option<Option<Vec<String>>>,
    pub early_exit_downstream: Option<Vec<String>>,
    pub loop_body: Option<Vec<String>>,
    pub default_kept: Option<Vec<DefaultKept>>,
    pub object_valued: Option<ObjectValued>,
    pub outcomes: Option<Outcomes>,
    pub selected: Option<Vec<String>>,
}

The sites each outcome of a decision controls, and the site sets its witness rules ask about.

Fields

primitive: Option<PrimitiveDecision>

carrier: Option<String>

the site that carries the decision’s value (a ternary inside a return, say)

value_flow: Option<Vec<String>>

a value-position expression not inside a site: the sites its value flows to

then: Option<Vec<String>>

sites the true outcome controls

else_: Option<Option<Vec<String>>>

Sites the false outcome controls. Three states, and they mean different things: absent when the decision has no branches at all (a value-position operand), Some(None) when there is no else branch (the absence case, where a spurious effect is what a test would notice), and Some(sites) for a real else. An explicit JSON null has to survive as Some(None), which is why this reads the field itself rather than letting a missing key and a null one collapse together.

early_exit_downstream: Option<Vec<String>>

loop_body: Option<Vec<String>>

default_kept: Option<Vec<DefaultKept>>

object_valued: Option<ObjectValued>

outcomes: Option<Outcomes>

tests that took each outcome; absent when the frontend has no per-test outcome data

selected: Option<Vec<String>>

tests in which a value-position operand was the selected one

Trait Implementations

impl Clone for DecisionFacts

fn clone(&self) -> DecisionFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionFacts

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

Formats the value using the given formatter.

impl Default for DecisionFacts

fn default() -> DecisionFacts

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DecisionFacts

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for DecisionFacts

impl PartialEq for DecisionFacts

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DecisionFacts

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 DecisionFacts