Sismic
1.1.2
Overview
Installation
Statecharts definition
Statecharts execution
Include code in statecharts
Statechart testing
Design by Contract for statecharts
Monitoring properties
Behavior-Driven Development
Advanced topics
Dealing with time
Integrate statecharts into your code
Communication between statecharts
Extensions for Sismic
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
|
V
|
W
_
_apply_step() (sismic.interpreter.Interpreter method)
_create_stabilization_step() (sismic.interpreter.Interpreter method)
_create_steps() (sismic.interpreter.Interpreter method)
_filter_transitions() (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)
ancestors_for() (sismic.model.Statechart method)
B
BasicState (class in sismic.model)
bind() (sismic.interpreter.Interpreter method)
bind_property_statechart() (sismic.interpreter.Interpreter method)
C
children_for() (sismic.model.Statechart method)
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)
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)
eventless (sismic.model.Transition attribute)
events_for() (sismic.model.Statechart method)
execute() (sismic.interpreter.Interpreter 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)
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
on_step_starts() (sismic.code.DummyEvaluator method)
(sismic.code.Evaluator method)
(sismic.code.PythonEvaluator method)
OrthogonalState (class in sismic.model)
P
parent_for() (sismic.model.Statechart method)
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)
S
sent_events (sismic.model.MacroStep attribute)
ShallowHistoryState (class in sismic.model)
sismic.bdd (module)
sismic.code (module)
sismic.exceptions (module)
sismic.helpers (module)
sismic.interpreter (module)
sismic.io (module)
sismic.model (module)
SismicError
state_for() (sismic.model.Statechart method)
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)
T
time (sismic.interpreter.Interpreter attribute)
(sismic.model.MacroStep attribute)
Transition (class in sismic.model)
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)
V
validate() (sismic.model.Statechart method)
W
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.1.2
Versions
latest
1.4.0
1.3.0
1.2.2
1.2.0
1.1.2
1.0.1
master
Downloads
pdf
htmlzip
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.