Enum Contract 

pub enum Contract {
    InvalidValue(Violation),
    PreconditionFailed,
    ContractBroken,
    UnknownInteraction,
}

A contract error, ridl §10.2. Derived from the contract and never declared.

Variants

InvalidValue(Violation)

INVALID_VALUE: a payload breaks its typl constraints.

PreconditionFailed

PRECONDITION_FAILED: a require clause evaluates to false.

ContractBroken

CONTRACT_BROKEN: an ensure clause evaluates to false.

UnknownInteraction

UNKNOWN_INTERACTION: the peers disagree on an interface number or an ordinal.

Trait Implementations

impl Clone for Contract

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Contract

impl Debug for Contract

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

Formats the value using the given formatter.

impl Eq for Contract

impl PartialEq for Contract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Contract