Struct modelator::event::EventStream

source · [−]

pub struct EventStream { /* private fields */ }

Expand description

A stream of events; defines the test.

Implementations

source

impl EventStream

source

pub const fn new() -> Self

Create a new event stream.

source

pub fn add_init<T>(&mut self, state: T) where
T: 'static,

Add an initial abstract state to the event stream. StateHandler::init should handle this event and initialize the concrete system state from it. Modifies the caller.

source

pub fn init<T>(self, state: T) -> Self where
T: 'static,

Add an initial abstract state to the event stream. StateHandler::init should handle this event and initialize the concrete system state from it. Produces the modified version of the caller, allowing to chain the events.

source

pub fn add_action<T>(&mut self, action: T) where
T: 'static,

Add an abstract action to the event stream. ActionHandler::handle should handle the action and modify the concrete system state accordingly. Modifies the caller.

source

pub fn action<T>(self, action: T) -> Self where
T: 'static,

Add an abstract action to the event stream. ActionHandler::handle should handle the action and modify the concrete system state accordingly. Produces the modified version of the caller, allowing to chain the events.

source

pub fn add_expect<T>(&mut self, outcome: T) where
T: 'static + Serialize,

Add the check for the previous action outcome to the event stream. ActionHandler::handle to which the previous actions was dispatched, should produce exactly this outcome. Modifies the caller.

source

pub fn expect<T>(self, outcome: T) -> Self where
T: 'static + Serialize,

Add the check for the previous action outcome to the event stream. ActionHandler::handle to which the previous actions was dispatched, should produce exactly this outcome. Produces the modified version of the caller, allowing to chain the events.

source

pub fn add_check<T>(&mut self, assertion: fn(_: T)) where
T: 'static,

Add the assertion about the abstract system state to the event stream. The check is executed against the state returned by StateHandler::read. Modifies the caller.

source

pub fn check<T>(self, assertion: fn(_: T)) -> Self where
T: 'static,

Add the assertion about the abstract system state to the event stream. The check is executed against the state returned by StateHandler::read. Produces the modified version of the caller, allowing to chain the events.

source

pub fn add_equal<T>(&mut self, state: T) where
T: 'static,

Add the expectation about the abstract system state to the event stream. The abstract state returned by StateHandler::read should exactly match. Modifies the caller.

source

pub fn equal<T>(self, state: T) -> Self where
T: 'static,

Add the expectation about the abstract system state to the event stream. The abstract state returned by StateHandler::read should exactly match. Modifies the caller. Produces the modified version of the caller, allowing to chain the events.