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_note() (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)
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 property)
ConflictingTransitionsError
context (sismic.code.DummyEvaluator property)
(sismic.code.Evaluator property)
(sismic.code.PythonEvaluator property)
(sismic.interpreter.Interpreter property)
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 property)
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 property)
event_is_consumed() (in module sismic.testing)
event_is_fired() (in module sismic.testing)
eventless (sismic.model.Transition property)
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 property)
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 property)
FinalState (class in sismic.model)
H
HistoryStateMixin (class in sismic.model)
I
import_from_yaml() (in module sismic.io)
internal (sismic.model.Transition property)
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)
module
sismic.bdd
sismic.clock
sismic.code
sismic.exceptions
sismic.helpers
sismic.interpreter
sismic.io
sismic.model
sismic.runner
sismic.testing
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 property)
PostconditionError
preamble (sismic.model.Statechart property)
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 property)
rotate_transition() (sismic.model.Statechart method)
run_in_background() (in module sismic.helpers)
running (sismic.runner.AsyncRunner property)
S
sent_events (sismic.model.MacroStep property)
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 property)
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 property)
StatechartError
StateMixin (class in sismic.model)
states (sismic.model.Statechart property)
steps (sismic.model.MacroStep property)
stop() (sismic.clock.SimulatedClock method)
(sismic.runner.AsyncRunner method)
SynchronizedClock (class in sismic.clock)
T
time (sismic.clock.Clock property)
(sismic.clock.SimulatedClock property)
(sismic.clock.SynchronizedClock property)
(sismic.clock.UtcClock property)
(sismic.interpreter.Interpreter property)
(sismic.model.MacroStep property)
Transition (class in sismic.model)
transition_is_processed() (in module sismic.testing)
transitions (sismic.model.MacroStep property)
(sismic.model.Statechart property)
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)
Sismic
Navigation
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
Related Topics
Documentation overview
Quick search