Package ConForM.CoopnTools.CoKer.SpecMgr

Interface Summary
SpecModuleObserver Specification module observer.
 

Class Summary
CoopnSpec Coopn specification.
LexicalSpecFileReader Lexical reader for specification files
LexicalSpecFileToken Lexical tokens for specification files.
SpecBehaviourSection  
SpecBiRelationnalVariableSymbol Spec bi-relationnal variable symbols.
SpecBrowseConstraintButton Browse constraint button.
SpecBrowseScenarioButton Browse scenario button.
SpecBrowseTestButton Browse test button.
SpecClassCreationVariableField Specification class creation variable fields.
SpecClassDestructionVariableField Specification class destruction variable fields.
SpecClassGateVariableField Specification class gate variable fields.
SpecClassMethodVariableField Specification class method variable fields.
SpecCommentField Comment field.
SpecConstraintField Specification constraint fields.
SpecConstraintSymbol Spec constraints symbols.
SpecContextGateVariableField Specification context gate variable fields.
SpecContextMethodVariableField Specification context method variable fields.
SpecElement Specification file elements.
SpecField Fields in specification files.
SpecFunctionnalVariableSymbol Spec functional variable symbols.
SpecGeneratorVariableField Specification generator variable fields.
SpecHeader Specification file header.
SpecMgr Specification Manager.
SpecModule Specification modules.
SpecModuleNameField SpecModuleName field.
SpecModuleSection  
SpecNameField SpecName field.
SpecObjectVariableField Specification object variable fields.
SpecOperationVariableField Specification operation variable fields.
SpecParamVariableSymbol Spec parameterised variable symbols.
SpecRelationnalVariableSymbol Spec relationnal variable symbols.
SpecScenarioField Specification scenario fields.
SpecScenarioSymbol Spec scenario symbols.
SpecSortVariableField Specification sort variable fields.
SpecSourceField Specification source fields.
SpecSourceSymbol Spec source symbols.
SpecSymbol Specification symbols.
SpecTermVariableField Specification term variable fields.
SpecTestField Specification test fields.
SpecTestSymbol Spec test symbols.
SpecTypeVariableField Specification type variable fields.
SpecVariableSection  
SpecVariableSymbol Spec variable symbols.
SyntacticSpecModuleReader Syntactic reader for spec source files