Enum ExpressionConstraint 

pub enum ExpressionConstraint {
    Refined {
        focus: SubExpressionConstraint,
        refinement: Box<Refinement>,
    },
    Conjunction(Vec<SubExpressionConstraint>),
    Disjunction(Vec<SubExpressionConstraint>),
    Exclusion {
        left: SubExpressionConstraint,
        right: SubExpressionConstraint,
    },
    Dotted {
        focus: SubExpressionConstraint,
        attributes: Vec<SubExpressionConstraint>,
    },
    Sub(SubExpressionConstraint),
}

expressionconstraint.

Variants

Refined

refinedexpressionconstraint: a focus with : and a refinement.

Fields

focus: SubExpressionConstraint

The constraint refined.

refinement: Box<Refinement>

The refinement.

Conjunction(Vec<SubExpressionConstraint>)

conjunctionexpressionconstraint, two or more operands.

Disjunction(Vec<SubExpressionConstraint>)

disjunctionexpressionconstraint, two or more operands.

Exclusion

exclusionexpressionconstraint.

Fields

left: SubExpressionConstraint

The set kept.

right: SubExpressionConstraint

The set removed.

Dotted

dottedexpressionconstraint: a focus followed by . attribute steps.

Fields

focus: SubExpressionConstraint

The constraint the walk starts from.

attributes: Vec<SubExpressionConstraint>

The attribute names walked, in order.

Sub(SubExpressionConstraint)

A bare subexpressionconstraint.

Trait Implementations

impl Clone for ExpressionConstraint

fn clone(&self) -> ExpressionConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionConstraint

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

Formats the value using the given formatter.

impl Display for ExpressionConstraint

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

Formats the value using the given formatter.

impl Eq for ExpressionConstraint

impl FromStr for ExpressionConstraint

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for ExpressionConstraint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ExpressionConstraint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExpressionConstraint