Struct ValuePathExplanation 

pub struct ValuePathExplanation {
    pub path: String,
    pub exact_uses: Vec<ContractUse>,
    pub descendant_uses: Vec<ContractUse>,
    pub value_path_facts: Option<ContractValuePathFacts>,
    pub guard_predicates: Vec<ConditionalGuard>,
    pub metadata_fields: Vec<MetadataFieldKind>,
    pub type_hints: Vec<Value>,
    pub has_default_fallback: bool,
}

Session-level explanation for one values path.

Fields

path: String

Canonical values path described by the explanation.

exact_uses: Vec<ContractUse>

Contract uses that read exactly this path.

descendant_uses: Vec<ContractUse>

Contract uses that read descendants of this path.

value_path_facts: Option<ContractValuePathFacts>

Aggregate behavioral facts for the path, when analysis found evidence.

guard_predicates: Vec<ConditionalGuard>

Values-decidable guards attached to the path.

metadata_fields: Vec<MetadataFieldKind>

Kubernetes metadata roles reached from the path.

type_hints: Vec<Value>

JSON Schema type hints derived from strict consumers.

has_default_fallback: bool

Whether a defaulting operation supplies an absent value.

Trait Implementations

impl Clone for ValuePathExplanation

fn clone(&self) -> ValuePathExplanation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValuePathExplanation

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

Formats the value using the given formatter.

impl PartialEq for ValuePathExplanation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValuePathExplanation