|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use com.evelopers.unimod.validation | |
com.evelopers.unimod.validation |
Classes in com.evelopers.unimod.validation used by com.evelopers.unimod.validation | |
CompletenessCheckVisitor
Visits every state and checks completenes of guard condition set. |
|
CompletenessListener
Listener of validation events. |
|
ConsistencyCheckVisitor
Visits every state and checks consistency of guard conditions set. |
|
ConsistencyListener
Listener of inconsistent transition pairs. |
|
StateMachineValidator
State machine structure validator. |
|
StructureListener
Listenes to structure errors. |
|
StructureVisitor
Builds map of attainable states for statemachines. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |