Enum PgError 

pub enum PgError {
    MissingAction(Action),
    MissingClock(Clock),
    MissingLocation(Location),
    MissingVar(Var),
    MissingTransition,
    TypeMismatch,
    UnsatisfiedGuard,
    MissingComponent(usize),
    EffectOnReceive,
    EffectOnSend,
    Communication(Action),
    MismatchingPostStates,
    NotSend(Action),
    NotReceive(Action),
    NoEffects,
    Invariant,
    Type(TypeError),
}

The error type for operations with ProgramGraphBuilders and ProgramGraphs.

Variants

MissingAction(Action)

There is no such action in the PG.

MissingClock(Clock)

There is no such clock in the PG.

MissingLocation(Location)

There is no such location in the PG.

MissingVar(Var)

There is no such variable in the PG.

MissingTransition

The PG does not allow this transition.

TypeMismatch

Types that should be matching are not, or are not compatible with each other.

UnsatisfiedGuard

Transition’s guard is not satisfied.

MissingComponent(usize)

The tuple has no component for such index.

EffectOnReceive

Cannot add effects to a Receive action.

EffectOnSend

Cannot add effects to a Send action.

Communication(Action)

This action is a communication (either Send or Receive).

MismatchingPostStates

Mismatching (i.e., wrong number) post states of transition.

NotSend(Action)

The action is a not a Send communication.

NotReceive(Action)

The action is a not a Receive communication.

NoEffects

The epsilon action has no effects.

Invariant

A time invariant is not satisfied.

Type(TypeError)

A type error

Trait Implementations

impl Clone for PgError

fn clone(&self) -> PgError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PgError

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

Formats the value using the given formatter.

impl Display for PgError

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

Formats the value using the given formatter.

impl Error for PgError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl Copy for PgError