Sismic
latest

Overview

  • Installation
  • Statecharts definition
  • Statecharts visualization
  • Statecharts execution
  • Include code in statecharts

Statechart testing

  • Design by Contract for statecharts
  • Monitoring properties
  • Behavior-Driven Development
  • Statechart unit testing

Advanced topics

  • Dealing with time
  • Running multiple statecharts
  • Integrate statecharts into your code

Misc

  • Credits
  • Changelog
  • API Reference
    • Module bdd
    • Module clock
    • Module code
    • Module exceptions
    • Module helpers
    • Module interpreter
    • Module io
    • Module model
    • Module runner
    • Module testing
Sismic
  • Docs »
  • API Reference
  • Edit on GitHub

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()
Next Previous

© Copyright 2015, Alexandre Decan Revision 2b6d8e91.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
1.6.3
1.6.2
1.5.0
1.4.2
1.3.0
1.2.2
1.1.2
1.0.1
Downloads
pdf
html
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.