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(Box<dyn Any>)

Initialize the concrete system state from the abstract one.

Action(Box<dyn Any>)

Process the abstract action, modifying the system state.

Expect(String)

Expect the provided outcome of the last action.

Check(Box<dyn Any>)

Check the assertion about the abstract system state.

Equal(Box<dyn Any>)

Expect exactly the provided abstract system state.

Trait Implementations

impl Debug for Event

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

Formats the value using the given formatter.