|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
AnonymousNameBridge | Anonymous name bridge. |
ScenarioMetaElement | Meta element flag. |
Class Summary | |
ContextState | Context states in the CO-OPN semantics. |
CoopnAnonymousName | Anonymous names in CO-OPN abstract syntax. |
FirstOidGeneratorSymbol | Generator for First Coopn OIDs. |
LexicalScenarioFileReader | Lexical reader for specification files |
LexicalScenarioFileToken | Lexical tokens for scenario files. |
NextOidGeneratorSymbol | Generator for Next Coopn OIDs. |
ObjectSet | Generic object id sets in the CO-OPN semantics. |
ObjectSetVariable | Object set VARIABLE. |
ObjectState | Object states in the CO-OPN semantics. |
Scenario | Scenario in the CO-OPN semantics. |
ScenarioCommentField | Comment field. |
ScenarioElement | Scenario elements. |
ScenarioMgr | Scenario Manager. |
ScenarioModuleNameField | ScenarioModuleName field. |
SemanticEvent | Genericemantic events in the CO-OPN semantics. |
SemanticEventVariable | Semantic event VARIABLE. |
State | Generic states in the CO-OPN semantics. |
StateVariable | State VARIABLE. |
Step | Step in the CO-OPN semantics,i.e. a transition and a substitution |
SyntacticScenarioModuleReader | Syntactic reader for scenario source files |
Transition | Transitions in the CO-OPN semantics. |
TrueObjectSet | Object id sets in the CO-OPN semantics. |
TrueSemanticEvent | Semantic events in the CO-OPN semantics. |
TrueState | States in the CO-OPN semantics. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |