Package ConForM.CoopnTools.CoKer.ScenarioMgr

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.