|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
CoopnMetaElement | Meta element flag. |
CoopnModuleDependency | Module dependency. |
CoopnModuleObserver | Coopn module observer. |
CoopnSymbolCollectionConstants | Constants in collection of coopn symbols. |
CoopnTypeRelation | Type relation. |
Class Summary | |
CoopnAdtAxiomField | List of coopn ADT axioms. |
CoopnAdtAxiomSymbol | Coopn axiom. |
CoopnAdtBody | Coopn ADT body. |
CoopnAdtFormulaSymbol | Coopn Adt formula. |
CoopnAdtInterface | Coopn ADT interface. |
CoopnAdtModule | Coopn ADT module. |
CoopnAdtTheoremField | List of coopn ADT theorems. |
CoopnAdtTheoremSymbol | Coopn ADT theorem. |
CoopnAtom | Coopn event. |
CoopnAtomicCondition | Coopn atomic condition. |
CoopnBridge | Coopn bridge. |
CoopnClassAxiomField | List of coopn class axioms. |
CoopnClassAxiomSymbol | Coopn Class axiom. |
CoopnClassBody | Coopn Class body. |
CoopnClassCreationField | List of coopn class creations. |
CoopnClassCreationSymbol | Coopn class creation. |
CoopnClassCreationSymbolVariable | Coopn class creation VARIABLE. |
CoopnClassDestructionField | List of coopn class destructions. |
CoopnClassDestructionSymbol | Coopn class destruction. |
CoopnClassDestructionSymbolVariable | Coopn class destruction VARIABLE. |
CoopnClassFormulaSymbol | Coopn Class formula. |
CoopnClassGateField | List of coopn class gates. |
CoopnClassGateSymbol | Coopn class gate. |
CoopnClassGateSymbolVariable | Coopn class gate VARIABLE. |
CoopnClassInterface | Coopn Class interface. |
CoopnClassMethodField | List of coopn class methods. |
CoopnClassMethodSymbol | Coopn class method. |
CoopnClassMethodSymbolVariable | Coopn class method VARIABLE. |
CoopnClassModule | Coopn Class module. |
CoopnClassPortCohercion | Coopn cohercion on a class port. |
CoopnClassPortSymbol | Coopn class port. |
CoopnClassProvidePortSymbol | Coopn class provide port, i.e. methods, creations and destructions. |
CoopnClassRequirePortSymbol | Coopn class require ports, i.e. gates. |
CoopnClassTheoremField | List of coopn class theorems. |
CoopnClassTheoremSymbol | Coopn Class theorem. |
CoopnCohercion | Coopn cohercion. |
CoopnCondition | Coopn type. |
CoopnConditionAnd | Coopn conjunction condition. |
CoopnConditionBinOp | Coopn condition with binary operator. |
CoopnConditionIsa | Coopn isa condition. |
CoopnConditionIsany | Coopn isany condition. |
CoopnConditionNot | Coopn negation of condition. |
CoopnConditionOr | Coopn disjunction condition. |
CoopnConditionUnOp | Coopn condition with unary operator. |
CoopnContextAxiomField | List of coopn context axioms. |
CoopnContextAxiomSymbol | Coopn context axiom. |
CoopnContextBody | Coopn Context body. |
CoopnContextFormulaSymbol | Coopn context formula. |
CoopnContextGateField | List of coopn context gates. |
CoopnContextGateSymbol | Coopn context gate. |
CoopnContextGateSymbolVariable | Coopn context gate VARIABLE. |
CoopnContextInterface | Coopn Context interface. |
CoopnContextMethodField | List of coopn context methods. |
CoopnContextMethodSymbol | Coopn context method. |
CoopnContextMethodSymbolVariable | Coopn context method VARIABLE. |
CoopnContextModule | Coopn Context module. |
CoopnContextPortCohercion | Coopn cohercion on a context port. |
CoopnContextPortSymbol | Coopn context port. |
CoopnContextProvidePortSymbol | Coopn context provide port, i.e. methods. |
CoopnContextRequirePortSymbol | Coopn context require ports, i.e. gates. |
CoopnContextTheoremField | List of coopn context theorems. |
CoopnContextTheoremSymbol | Coopn context theorem. |
CoopnDataFlavor | coopn elements data flavor. |
CoopnElement | Coopn elements. |
CoopnElementList | Coopn element lists. |
CoopnEvent | Coopn event. |
CoopnField | Coopn field. |
CoopnFunctionSymbol | Coopn function. |
CoopnGeneratorField | List of coopn generators. |
CoopnGeneratorSymbol | Coopn generator. |
CoopnGeneratorSymbolVariable | Coopn generator VARIABLE. |
CoopnHeader | Coopn header. |
CoopnInherit | Coopn inherit. |
CoopnInheritList | Lists of inherit sections. |
CoopnInitialField | List of coopn initial values. |
CoopnInitialSymbol | Coopn class inital. |
CoopnMappingSymbol | Coopn mapping element. |
CoopnMark | Coopn mark. |
CoopnMarkAgg | Aggregates of coopn marks. |
CoopnMgr | Coopn source Manager. |
CoopnMigrationType | Coopn migration type. |
CoopnMigrationTypeAgg | Aggregates of coopn migration types. |
CoopnModule | Coopn module. |
CoopnModuleName | Coopn module name. |
CoopnModuleNameList | List of coopn module name. |
CoopnMorphismField | List of coopn morphisms. |
CoopnMorphismModule | Coopn Morphism module. |
CoopnMorphismSymbol | Coopn morphism. |
CoopnName | Coopn name. |
CoopnObjectField | List of coopn objects. |
CoopnObjectSymbol | Coopn generator. |
CoopnObjectSymbolVariable | Coopn object VARIABLE. |
CoopnOperationField | List of coopn operations. |
CoopnOperationSymbol | Coopn operation. |
CoopnOperationSymbolVariable | Coopn operation VARIABLE. |
CoopnPlaceField | List of coopn places. |
CoopnPlaceSymbol | Coopn class place. |
CoopnRealInheritance | real inheritance. |
CoopnRealMorphism | real morphism. |
CoopnRedefineField | List of coopn redefines. |
CoopnRedefineSymbol | Coopn morphism. |
CoopnReferenceSymbol | Coopn reference symbol. |
CoopnRenameField | List of coopn renames. |
CoopnRenameSymbol | Coopn rename. |
CoopnSection | Coopn section. |
CoopnSelection | Selection of coopn elements. |
CoopnSituation | Coopn situation. |
CoopnSortField | List of coopn sorts. |
CoopnSortSymbol | Coopn sort. |
CoopnSortSymbolVariable | Coopn sort VARIABLE. |
CoopnSubsortField | List of coopn subsorts. |
CoopnSubsortSymbol | Coopn subsort. |
CoopnSubtypeField | List of coopn subtypes. |
CoopnSubtypeSymbol | Coopn subtype. |
CoopnSymbol | Coopn symbols. |
CoopnSymbolList | Coopn symbol lists. |
CoopnSymbolTable | Coopn symbol table. |
CoopnSync | Coopn synchronisation. |
CoopnSyncAlt | Coopn alternative of synchronisation. |
CoopnSyncBinOp | Coopn synchronisation with binary operator. |
CoopnSyncCreate | Coopn creation synchronisation. |
CoopnSyncDestroy | Coopn destruction synchronisation. |
CoopnSyncSeq | Coopn sequential synchronisation. |
CoopnSyncSim | Coopn simultaneous class synchronisation. |
CoopnSyncUnOp | Coopn synchronisation with unary operator. |
CoopnSyntacticModuleReader | Syntactic reader for coopn source files |
CoopnTerm | Coopn term. |
CoopnTermAgg | Aggregates of coopn terms. |
CoopnTermVariable | Coopn term VARIABLE. |
CoopnTransitionField | List of coopn transitions. |
CoopnTransitionSymbol | Coopn transition. |
CoopnType | Coopn type. |
CoopnTypeAgg | Aggregates of coopn types. |
CoopnTypeCondition | Coopn condition with type test |
CoopnTypeField | List of coopn types. |
CoopnTypeSymbol | Coopn type. |
CoopnTypeSymbolVariable | Coopn type VARIABLE. |
CoopnUndefineField | List of coopn undefines. |
CoopnUndefineSymbol | Coopn undefine. |
CoopnUseContextField | List of coopn use contexts. |
CoopnUseContextSymbol | Coopn use context. |
CoopnUseField | List of coopn uses. |
CoopnUseSymbol | Coopn use. |
CoopnVariableField | List of coopn variables. |
CoopnVariableSymbol | Coopn variable. |
CoopnWorkspace | Coopn workspace. |
LexicalCocoFileReader | Lexical reader for coopn compact (coco) source files |
LexicalCocoFileToken | Lexical tokens for coopn compact (coco) source files. |
LexicalCoopnFileReader | Lexical reader for coopn source files |
LexicalCoopnFileToken | Lexical tokens for coopn source files. |
SymbolCollection | Collection of coopn symbols. |
Exception Summary | |
CoopnArityProblemException | Arity problem exception. |
CoopnStaticSemanticsException | Static Semantics exception. |
CoopnTypingProblemException | Typing problem exception. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |