Enum modelator::event::Event

pub enum Event {
    Init(Box<dyn Any>),
    Action(Box<dyn Any>),
    Expect(String),
    Check(Box<dyn Any>),
    Equal(Box<dyn Any>),
}

A set of events to describe tests based on abstract states and actions.

Variants

Init

Initialize the concrete system state from the abstract one.

Tuple Fields of Init

0: Box<dyn Any>

Action

Process the abstract action, modifying the system state.

Tuple Fields of Action

0: Box<dyn Any>

Expect

Expect the provided outcome of the last action.

Tuple Fields of Expect

0: String

Check

Check the assertion about the abstract system state.

Tuple Fields of Check

0: Box<dyn Any>

Equal

Expect exactly the provided abstract system state.

Tuple Fields of Equal

0: Box<dyn Any>

Trait Implementations

impl Debug for Event

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

Formats the value using the given formatter.