ExMachine.Microstep (ex_machine v0.1.2)
View SourceTrace and record an execution step in the statechart
(From SCXML): A microstep involves the processing of a single transition (or, in the case of parallel states, a single set of transitions.) A microstep may change the active configuration, update the data model and/or generate new (internal and/or external) events. This, by causality, may in turn enable additional transitions which will be handled in the next microstep in the sequence, and so on.
(From SISMIC): The smallest, atomic step that a statechart can execute. A step consider event, takes a transition and results in a list of entered states and a list of exited states. Order in the two lists is REALLY important!
Parameters:
event
: event ornil
in case of eventless transition. If event has parameters the term is in the form {event, params}transition
: a Transition ornil
if no processed transitionentered
: possibly empty list of entered statesexited
: possibly empty list of exited statesactions
: a possibly empty list of actions that are executed during the step