Package ConForM.CoopnTools.CoKer.CoopnMgr

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.