|
|||||||||||
| 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 | ||||||||||