API Reference

• Module bdd
  • execute_bdd()
  • map_action()
  • map_assertion()
• Module clock
  • Clock
  • SimulatedClock
  • UtcClock
  • SynchronizedClock
• Module code
  • Evaluator
  • DummyEvaluator
  • PythonEvaluator
• Module exceptions
  • SismicError
  • StatechartError
  • CodeEvaluationError
  • ExecutionError
  • ConflictingTransitionsError
  • NonDeterminismError
  • PropertyStatechartError
  • ContractError
  • PreconditionError
  • PostconditionError
  • InvariantError
• Module helpers
  • log_trace()
  • run_in_background()
  • coverage_from_trace()
• Module interpreter
  • Interpreter
  • Event
  • InternalEvent
  • MetaEvent
• Module io
  • import_from_yaml()
  • export_to_yaml()
  • export_to_plantuml()
• Module model
  • ActionStateMixin
  • BasicState
  • CompositeStateMixin
  • CompoundState
  • ContractMixin
  • DeepHistoryState
  • Event
  • FinalState
  • HistoryStateMixin
  • InternalEvent
  • MacroStep
  • MetaEvent
  • MicroStep
  • OrthogonalState
  • ShallowHistoryState
  • StateMixin
  • Statechart
  • Transition
  • TransitionStateMixin
• Module runner
  • AsyncRunner
• Module testing
  • state_is_entered()
  • state_is_exited()
  • event_is_fired()
  • event_is_consumed()
  • transition_is_processed()
  • expression_holds()