ConForM.CoopnTools.CoKer.SpecMgr
Interfaces
SpecModuleObserver
Classes
CoopnSpec
LexicalSpecFileReader
LexicalSpecFileToken
SpecBehaviourSection
SpecBiRelationnalVariableSymbol
SpecBrowseConstraintButton
SpecBrowseScenarioButton
SpecBrowseTestButton
SpecClassCreationVariableField
SpecClassDestructionVariableField
SpecClassGateVariableField
SpecClassMethodVariableField
SpecCommentField
SpecConstraintField
SpecConstraintSymbol
SpecContextGateVariableField
SpecContextMethodVariableField
SpecElement
SpecField
SpecFunctionnalVariableSymbol
SpecGeneratorVariableField
SpecHeader
SpecMgr
SpecModule
SpecModuleNameField
SpecModuleSection
SpecNameField
SpecObjectVariableField
SpecOperationVariableField
SpecParamVariableSymbol
SpecRelationnalVariableSymbol
SpecScenarioField
SpecScenarioSymbol
SpecSortVariableField
SpecSourceField
SpecSourceSymbol
SpecSymbol
SpecTermVariableField
SpecTestField
SpecTestSymbol
SpecTypeVariableField
SpecVariableSection
SpecVariableSymbol
SyntacticSpecModuleReader