|
Class Summary |
| CompletenessCheckVisitor |
Visits every state and checks completenes of guard condition set. |
| CompletenessValidator |
Validates completeness (every state has complete system of transitions for every
event). |
| ConsistencyCheckVisitor |
Visits every state and checks consistency of guard conditions set. |
| ConsistencyValidator |
Validates consistency (every state has consistent system of transitions for every
event). |
| StateMachineValidator |
State machine structure validator.
|
| StateTransitionsDecorator |
Adds some functionality to State |
| StructureValidator |
Validates structure (checks that every attainable composite state has initial state).
|
| StructureVisitor |
Builds map of attainable states for statemachines. |
| ValidationMessenger |
Implements all validation listeners and messages about validation
events to PrintStream. |
| ValidationTool |
Validates StateMachine described by xml and dumps all errors. |