Enum AssertionExpr 

pub enum AssertionExpr {
    Binary {
        op: BinaryOp,
        left: Box<AssertionExpr>,
        right: Box<AssertionExpr>,
    },
    Not(Box<AssertionExpr>),
    NotNot(Box<AssertionExpr>),
    And {
        left: Box<AssertionExpr>,
        right: Box<AssertionExpr>,
    },
    Or {
        left: Box<AssertionExpr>,
        right: Box<AssertionExpr>,
    },
    Xor {
        left: Box<AssertionExpr>,
        right: Box<AssertionExpr>,
    },
    IfThenElse {
        condition: Box<AssertionExpr>,
        then_branch: Box<AssertionExpr>,
        else_branch: Box<AssertionExpr>,
    },
    Paren(Box<AssertionExpr>),
    Atom(Expr),
    Raw(String),
}

A complete assertion expression (top-level).

Variants

Binary

Fields

op: BinaryOp

left: Box<AssertionExpr>

right: Box<AssertionExpr>

Not(Box<AssertionExpr>)

NotNot(Box<AssertionExpr>)

And

Fields

left: Box<AssertionExpr>

right: Box<AssertionExpr>

Or

Fields

left: Box<AssertionExpr>

right: Box<AssertionExpr>

Xor

Fields

left: Box<AssertionExpr>

right: Box<AssertionExpr>

IfThenElse

Fields

condition: Box<AssertionExpr>

then_branch: Box<AssertionExpr>

else_branch: Box<AssertionExpr>

Paren(Box<AssertionExpr>)

Atom(Expr)

Raw(String)

Trait Implementations

impl Clone for AssertionExpr

fn clone(&self) -> AssertionExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssertionExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AssertionExpr

fn deserialize<__D>( __deserializer: __D, ) -> Result<AssertionExpr, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AssertionExpr

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

Formats the value using the given formatter.

impl PartialEq for AssertionExpr

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AssertionExpr

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AssertionExpr