Struct PropertyWitness 

pub struct PropertyWitness {
    pub focus: Term,
    pub shape: Term,
    pub key: Term,
    pub values: Vec<Term>,
}

The observed binding of one sh:property shape at one conforming focus node — the inverse of a violation: not what failed, but what a passing property shape’s sh:path actually resolved to.

key identifies the property shape stably: the (deterministically first, when several) value reached by evaluating key_path from the property shape’s own node over the shapes graph (e.g. a path to a zea:roleName "outsideAirTemp"-style annotation) when key_path is given and resolves to at least one value, otherwise the property shape’s own source node (so callers can still join on it by IRI/blank-node id).

Fields

focus: Term

shape: Term

The node shape (application profile) focus conforms to.

key: Term

values: Vec<Term>

The sh:path value nodes, deduped. When the property shape carries a sh:qualifiedValueShape, this is filtered to the values that satisfy the qualifier (and, under sh:qualifiedValueShapesDisjoint, not any sibling qualifier) — the disambiguated binding rather than every raw path value.

Trait Implementations

impl Clone for PropertyWitness

fn clone(&self) -> PropertyWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyWitness

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

Formats the value using the given formatter.

impl Eq for PropertyWitness

impl PartialEq for PropertyWitness

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PropertyWitness