Sismic
1.5.0
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
Sismic
Docs
»
Index
Edit on GitHub
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
_
_apply_step() (sismic.interpreter.Interpreter method)
_compute_steps() (sismic.interpreter.Interpreter method)
_create_stabilization_step() (sismic.interpreter.Interpreter method)
_create_steps() (sismic.interpreter.Interpreter method)
_select_event() (sismic.interpreter.Interpreter method)
_select_transitions() (sismic.interpreter.Interpreter method)
_sort_transitions() (sismic.interpreter.Interpreter method)
A
ActionStateMixin (class in sismic.model)
add_state() (sismic.model.Statechart method)
add_transition() (sismic.model.Statechart method)
after_execute() (sismic.runner.AsyncRunner method)
after_run() (sismic.runner.AsyncRunner method)
ancestors_for() (sismic.model.Statechart method)
AsyncRunner (class in sismic.runner)
attach() (sismic.interpreter.Interpreter method)
B
BasicState (class in sismic.model)
before_execute() (sismic.runner.AsyncRunner method)
before_run() (sismic.runner.AsyncRunner method)
bind() (sismic.interpreter.Interpreter method)
bind_property_statechart() (sismic.interpreter.Interpreter method)
C
children_for() (sismic.model.Statechart method)
Clock (class in sismic.clock)
CodeEvaluationError
CompositeStateMixin (class in sismic.model)
CompoundState (class in sismic.model)
configuration (sismic.interpreter.Interpreter attribute)
ConflictingTransitionsError
context (sismic.code.DummyEvaluator attribute)
(sismic.code.Evaluator attribute)
(sismic.code.PythonEvaluator attribute)
(sismic.interpreter.Interpreter attribute)
ContractError
ContractMixin (class in sismic.model)
copy_from_statechart() (sismic.model.Statechart method)
coverage_from_trace() (in module sismic.helpers)
D
DeepHistoryState (class in sismic.model)
depth_for() (sismic.model.Statechart method)
descendants_for() (sismic.model.Statechart method)
detach() (sismic.interpreter.Interpreter method)
DummyEvaluator (class in sismic.code)
E
entered_states (sismic.model.MacroStep attribute)
evaluate_guard() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
evaluate_invariants() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
evaluate_postconditions() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
evaluate_preconditions() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
Evaluator (class in sismic.code)
Event (class in sismic.interpreter)
(class in sismic.model)
event (sismic.model.MacroStep attribute)
event_is_consumed() (in module sismic.testing)
event_is_fired() (in module sismic.testing)
eventless (sismic.model.Transition attribute)
events_for() (sismic.model.Statechart method)
execute() (sismic.interpreter.Interpreter method)
(sismic.runner.AsyncRunner method)
execute_action() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
execute_bdd() (in module sismic.bdd)
execute_on_entry() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
execute_on_exit() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
execute_once() (sismic.interpreter.Interpreter method)
execute_statechart() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
ExecutionError
exited_states (sismic.model.MacroStep attribute)
export_to_plantuml() (in module sismic.io)
export_to_yaml() (in module sismic.io)
expression_holds() (in module sismic.testing)
F
final (sismic.interpreter.Interpreter attribute)
FinalState (class in sismic.model)
H
HistoryStateMixin (class in sismic.model)
I
import_from_yaml() (in module sismic.io)
internal (sismic.model.Transition attribute)
InternalEvent (class in sismic.interpreter)
(class in sismic.model)
Interpreter (class in sismic.interpreter)
InvariantError
L
leaf_for() (sismic.model.Statechart method)
least_common_ancestor() (sismic.model.Statechart method)
log_trace() (in module sismic.helpers)
M
MacroStep (class in sismic.model)
map_action() (in module sismic.bdd)
map_assertion() (in module sismic.bdd)
MetaEvent (class in sismic.interpreter)
(class in sismic.model)
MicroStep (class in sismic.model)
move_state() (sismic.model.Statechart method)
N
NonDeterminismError
O
OrthogonalState (class in sismic.model)
P
parent_for() (sismic.model.Statechart method)
pause() (sismic.runner.AsyncRunner method)
paused (sismic.runner.AsyncRunner attribute)
PostconditionError
preamble (sismic.model.Statechart attribute)
PreconditionError
PropertyStatechartError
PythonEvaluator (class in sismic.code)
Q
queue() (sismic.interpreter.Interpreter method)
R
remove_state() (sismic.model.Statechart method)
remove_transition() (sismic.model.Statechart method)
rename_state() (sismic.model.Statechart method)
root (sismic.model.Statechart attribute)
rotate_transition() (sismic.model.Statechart method)
run_in_background() (in module sismic.helpers)
running (sismic.runner.AsyncRunner attribute)
S
sent_events (sismic.model.MacroStep attribute)
ShallowHistoryState (class in sismic.model)
SimulatedClock (class in sismic.clock)
sismic.bdd (module)
sismic.clock (module)
sismic.code (module)
sismic.exceptions (module)
sismic.helpers (module)
sismic.interpreter (module)
sismic.io (module)
sismic.model (module)
sismic.runner (module)
sismic.testing (module)
SismicError
speed (sismic.clock.SimulatedClock attribute)
start() (sismic.clock.SimulatedClock method)
(sismic.runner.AsyncRunner method)
state_for() (sismic.model.Statechart method)
state_is_entered() (in module sismic.testing)
state_is_exited() (in module sismic.testing)
Statechart (class in sismic.model)
statechart (sismic.interpreter.Interpreter attribute)
StatechartError
StateMixin (class in sismic.model)
states (sismic.model.Statechart attribute)
steps (sismic.model.MacroStep attribute)
stop() (sismic.clock.SimulatedClock method)
(sismic.runner.AsyncRunner method)
SynchronizedClock (class in sismic.clock)
T
time (sismic.clock.Clock attribute)
(sismic.clock.SimulatedClock attribute)
(sismic.clock.SynchronizedClock attribute)
(sismic.clock.UtcClock attribute)
(sismic.interpreter.Interpreter attribute)
(sismic.model.MacroStep attribute)
Transition (class in sismic.model)
transition_is_processed() (in module sismic.testing)
transitions (sismic.model.MacroStep attribute)
(sismic.model.Statechart attribute)
transitions_from() (sismic.model.Statechart method)
transitions_to() (sismic.model.Statechart method)
transitions_with() (sismic.model.Statechart method)
TransitionStateMixin (class in sismic.model)
U
unpause() (sismic.runner.AsyncRunner method)
UtcClock (class in sismic.clock)
V
validate() (sismic.model.Statechart method)
W
wait() (sismic.runner.AsyncRunner method)
with_traceback() (sismic.exceptions.CodeEvaluationError method)
(sismic.exceptions.ConflictingTransitionsError method)
(sismic.exceptions.ContractError method)
(sismic.exceptions.ExecutionError method)
(sismic.exceptions.InvariantError method)
(sismic.exceptions.NonDeterminismError method)
(sismic.exceptions.PostconditionError method)
(sismic.exceptions.PreconditionError method)
(sismic.exceptions.PropertyStatechartError method)
(sismic.exceptions.SismicError method)
(sismic.exceptions.StatechartError method)
Read the Docs
v: 1.5.0
Versions
master
latest
1.5.0
1.4.1
1.3.0
1.2.2
1.2.0
1.1.2
1.0.1
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.