Struct modelator::event::EventStream [−][src]
pub struct EventStream { /* fields omitted */ }
Expand description
A stream of events; defines the test.
Implementations
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.
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.
Add an abstract action to the event stream.
ActionHandler::handle
should handle the action and
modify the concrete system state accordingly.
Modifies the caller.
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.
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.
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.
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.
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.
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.
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.
Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for EventStream
impl !Send for EventStream
impl !Sync for EventStream
impl Unpin for EventStream
impl !UnwindSafe for EventStream
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more