Package ConForM.CoopnTools.Edit

Interface Summary
AddAxiomAble Node able to add an axiom symbol.
AddBodyAble Node able to add an use symbol.
AddContextUseAble Node able to add an contextUse symbol.
AddCreationAble Node able to add an creation symbol.
AddDestructionAble Node able to add an destruction symbol.
AddGateAble Node able to add an gate symbol.
AddGeneratorAble Node able to add an generator symbol.
AddInheritAble Node able to add an inherit symbol.
AddInitialAble Node able to add an initial symbol.
AddInterfaceAble Node able to add an use symbol.
AddMethodAble Node able to add an method symbol.
AddMorphismAble Node able to add an use symbol.
AddObjectAble Node able to add an object symbol.
AddOperationAble Node able to add an use symbol.
AddPlaceAble Node able to add an place symbol.
AddRenameAble Node able to add an use symbol.
AddSortAble Node able to add an use symbol.
AddSubsortAble Node able to add an use symbol.
AddSubtypesAble Node able to add an use symbol.
AddTheoremAble Node able to add an use symbol.
AddTransitionAble Node able to add an transition symbol.
AddTypeAble Node able to add an use symbol.
AddUseAble Node able to add an use symbol.
AddVariableAble Node able to add an use symbol.
ModuleNameObserver Module name observer.
 

Class Summary
ChangeNameMenuItem change name menu item.
CoopnAdtEvalMenuItem Coopn adt eval menu item.
CoopnCheckMenuItem Coopn check menu item.
CoopnESourceMenuItem Coopn expanded source menu item.
CoopnNode  
CoopnNodeAdt  
CoopnNodeAdtBody  
CoopnNodeAdtFormula  
CoopnNodeAdtFormulaField  
CoopnNodeAdtInterface  
CoopnNodeAxiomField  
CoopnNodeClass  
CoopnNodeClassAxiomField  
CoopnNodeClassBody  
CoopnNodeClassFormula  
CoopnNodeClassFormulaField  
CoopnNodeClassInterface  
CoopnNodeClassTheoremField  
CoopnNodeContext  
CoopnNodeContextAxiomField  
CoopnNodeContextBody  
CoopnNodeContextFormula  
CoopnNodeContextFormulaField  
CoopnNodeContextGateField  
CoopnNodeContextInterface  
CoopnNodeContextMethodField  
CoopnNodeContextTheoremField  
CoopnNodeContextUsesField  
CoopnNodeCreationField  
CoopnNodeDblExprName  
CoopnNodeDblExprNameField  
CoopnNodeDestructionField  
CoopnNodeExprName  
CoopnNodeExprNameField  
CoopnNodeExprOptName  
CoopnNodeExprOptNameField  
CoopnNodeField  
CoopnNodeGateField  
CoopnNodeGeneratorField  
CoopnNodeInherit  
CoopnNodeInitialField  
CoopnNodeMapping  
CoopnNodeMappingField  
CoopnNodeMethodField  
CoopnNodeMigrExprName  
CoopnNodeMigrExprNameField  
CoopnNodeModule  
CoopnNodeModuleList  
CoopnNodeMorphismField  
CoopnNodeMorphismModule  
CoopnNodeObjectField  
CoopnNodeOperationField  
CoopnNodeOptExprName  
CoopnNodeOptExprNameField  
CoopnNodePlaceField  
CoopnNodeRedefineField  
CoopnNodeReference  
CoopnNodeReferenceField  
CoopnNodeRenameField  
CoopnNodeSimpleName  
CoopnNodeSimpleNameField  
CoopnNodeSortField  
CoopnNodeSubsortField  
CoopnNodeSubtype  
CoopnNodeSubtypeField  
CoopnNodeSubtypesField  
CoopnNodeTheoremField  
CoopnNodeTransitionField  
CoopnNodeTypeField  
CoopnNodeUndefineField  
CoopnNodeUse  
CoopnNodeUseField  
CoopnNodeUsesField  
CoopnNodeVariableField  
CoopnSourceMenuItem Coopn source menu item.
CoopnTree  
CoopnViewEGMenuItem View enrichment graph menu item.
Edit Editor tool.
EditAction Editor action.
EditCopyAction Editor copy action.
EditCutAction Editor cut action.
EditEnv Editor tool environment.
EditEnvMgr Editor tool environment manager.
EditPanel  
EditPanelAdtFormula  
EditPanelClassFormula  
EditPanelContextFormula  
EditPanelDblExprName  
EditPanelExprName  
EditPanelExprOptName  
EditPanelInherit  
EditPanelMapping  
EditPanelMigrExprName  
EditPanelModule  
EditPanelOptExprName  
EditPanelReference  
EditPanelSimpleName  
EditPanelSubtype  
EditPanelSymbol  
EditPanelUse  
EditPasteAction Editor paste action.
EditRedoAction Editor redo action.
EditSaveAction Editor save action.
EditTreeCellRenderer  
EditUndoAction Editor undo action.
ItEnumeration Enumeration built from an iterator.
NodeAction CoopnTree Node action.
NodeAddAdtAction CoopnTree node add ADT action.
NodeAddAxiomAction CoopnTree node add axiom action.
NodeAddAxiomFieldAction CoopnTree node add rename action.
NodeAddBodyAction CoopnTree node add adtBody action.
NodeAddClassAction CoopnTree node add CLASS action.
NodeAddClassAxiomAction CoopnTree node add axiom action.
NodeAddClassTheoremAction CoopnTree node add theorem action.
NodeAddContextAction CoopnTree node add CONTEXT action.
NodeAddContextAxiomAction CoopnTree node add axiom action.
NodeAddContextGateAction CoopnTree node add gate action.
NodeAddContextMethodAction CoopnTree node add method action.
NodeAddContextTheoremAction CoopnTree node add theorem action.
NodeAddContextUseFieldAction CoopnTree node add Contextuse action.
NodeAddCreationAction CoopnTree node add creation action.
NodeAddCreationFieldAction CoopnTree node add creation action.
NodeAddDestructionAction CoopnTree node add destruction action.
NodeAddDestructionFieldAction CoopnTree node add destruction action.
NodeAddGateAction CoopnTree node add gate action.
NodeAddGateFieldAction CoopnTree node add gate action.
NodeAddGeneratorAction CoopnTree node add rename action.
NodeAddGeneratorFieldAction CoopnTree node add rename action.
NodeAddInheritAction CoopnTree node add inherit action.
NodeAddInitialAction CoopnTree node add initial action.
NodeAddInitialFieldAction CoopnTree node add initial action.
NodeAddInterfaceAction CoopnTree node add adtInterface action.
NodeAddMethodAction CoopnTree node add method action.
NodeAddMethodFieldAction CoopnTree node add method action.
NodeAddMorphismAction CoopnTree node add morphism action.
NodeAddMorphismFieldAction CoopnTree node add morphism field action.
NodeAddMorphismModuleAction CoopnTree node add Morphism Module action.
NodeAddObjectAction CoopnTree node add rename action.
NodeAddObjectFieldAction CoopnTree node add rename action.
NodeAddOperationAction CoopnTree node add rename action.
NodeAddOperationFieldAction CoopnTree node add rename action.
NodeAddPlaceAction CoopnTree node add place action.
NodeAddPlaceFieldAction CoopnTree node add place action.
NodeAddRedefineAction CoopnTree node add redefine action.
NodeAddRedefineFieldAction CoopnTree node add redefine field action.
NodeAddRenameAction CoopnTree node add rename action.
NodeAddRenameFieldAction CoopnTree node add rename action.
NodeAddSortAction CoopnTree node add rename action.
NodeAddSortFieldAction CoopnTree node add sort action.
NodeAddSubsortAction CoopnTree node add rename action.
NodeAddSubsortFieldAction CoopnTree node add rename action.
NodeAddSubtypesAction CoopnTree node add rename action.
NodeAddSubtypesFieldAction CoopnTree node add rename action.
NodeAddTheoremAction CoopnTree node add theorem action.
NodeAddTheoremFieldAction CoopnTree node add rename action.
NodeAddTransitionAction CoopnTree node add rename action.
NodeAddTransitionFieldAction CoopnTree node add transition action.
NodeAddTypeAction CoopnTree node add rename action.
NodeAddTypeFieldAction CoopnTree node add type action.
NodeAddUndefineAction CoopnTree node add redefine action.
NodeAddUndefineFieldAction CoopnTree node add undefine field action.
NodeAddUseAction CoopnTree node add use action.
NodeAddUseFieldAction CoopnTree node add use action.
NodeAddVariableAction CoopnTree node add variable action.
NodeAddVariableFieldAction CoopnTree node add variable action.
NodeOpenAllAction CoopnTree node open all element action.
NodeRemoveAction CoopnTree node remove element action.
NodeShowEditAction CoopnTree node remove element action.
QuitMenuItem Quit menu item.
ReloadMenuItem reload menu item.
ShowHelpMenuItem Show help menu item.
ShowVersionMenuItem Show version menu item.
Struct16IconFactory  
Struct24IconFactory  
Text16IconFactory  
Text24IconFactory