Enum AssertBody 

pub enum AssertBody<P: Phase = Raw> {
    Expr(Expr<P>),
    Tolerance {
        actual: Box<Expr<P>>,
        expected: Box<Expr<P>>,
        tolerance: Box<Expr<P>>,
        is_relative: bool,
    },
}

The body of an assert declaration.

Variants

Expr(Expr<P>)

Plain boolean expression: assert name = expr;

Tolerance

Tolerance: assert name = actual ~= expected +/- tolerance;

Fields

actual: Box<Expr<P>>

The actual value expression (left of ~=).

expected: Box<Expr<P>>

The expected value expression (right of ~=).

tolerance: Box<Expr<P>>

The tolerance expression (right of +/-).

is_relative: bool

Whether the tolerance is relative (%).

Trait Implementations

impl<P: Clone + Phase> Clone for AssertBody<P>

fn clone(&self) -> AssertBody<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for AssertBody<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for AssertBody

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<AssertBody> for AssertBody<Desugared>

fn from(b: AssertBody<Raw>) -> Self

Converts to this type from the input type.