Enum winter_air::AssertionError

pub enum AssertionError {
    TraceWidthTooShort(usize, usize),
    TraceLengthNotPowerOfTwo(usize),
    TraceLengthTooShort(usize, usize),
    TraceLengthNotExact(usize, usize),
}

Expand description

Represents an error returned during assertion evaluation.

Variants

`TraceWidthTooShort(usize, usize)`

This error occurs when an assertion is evaluated against an execution trace which does not contain a column specified by the assertion.

`TraceLengthNotPowerOfTwo(usize)`

This error occurs when an assertion is evaluated against an execution trace with length which is not a power of two.

`TraceLengthTooShort(usize, usize)`

This error occurs when an assertion is evaluated against an execution trace which does not contain a step against which the assertion is placed.

`TraceLengthNotExact(usize, usize)`

This error occurs when a Sequence assertion is placed against an execution trace with length which conflicts with the trace length implied by the assertion.

Trait Implementations

impl Debug for AssertionError

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

Formats the value using the given formatter. Read more

impl Display for AssertionError

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

Formats the value using the given formatter. Read more

impl PartialEq<AssertionError> for AssertionError

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

This method tests for self and other values to be equal, and is used by ==. Read more

1.0.0 · source

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more

impl Eq for AssertionError

impl StructuralEq for AssertionError

impl StructuralPartialEq for AssertionError

Auto Trait Implementations

impl RefUnwindSafe for AssertionError

impl Send for AssertionError

impl Sync for AssertionError

impl Unpin for AssertionError

impl UnwindSafe for AssertionError

Blanket Implementations

impl<T> Any for Twhere
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for Twhere
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToString for Twhere
T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.