|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |