ConForM.CoopnTools.Edit
Class CoopnNodeMorphismModule

java.lang.Object
  |
  +--ConForM.CoopnTools.Edit.CoopnNode
        |
        +--ConForM.CoopnTools.Edit.CoopnNodeModule
              |
              +--ConForM.CoopnTools.Edit.CoopnNodeMorphismModule
All Implemented Interfaces:
AddInheritAble, AddMorphismAble, AddRenameAble, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class CoopnNodeMorphismModule
extends CoopnNodeModule


Fields inherited from class ConForM.CoopnTools.Edit.CoopnNodeModule
abst, addMorphismFieldAction, addRenameFieldAction, as, comments, compilInfo, formalParams, moduleName, status
 
Fields inherited from class ConForM.CoopnTools.Edit.CoopnNode
allowsChildren, arg, childNodeList, coopnMgr, editTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, textMgr, title, tree
 
Constructor Summary
CoopnNodeMorphismModule(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMorphism morphism, CoopnMgr coopnMgr, CoopnEnv env)
           
 
Method Summary
protected  void buildTexts(java.util.ResourceBundle texts)
          This routine is called at the creation of the node, by "super".
protected  EditPanel createEditPanel()
          This method is called each time the edit panel is about to be displayed.
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule createLocalModule(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextHeader h, java.lang.String c)
           
protected  CoopnNode createNodeFromElement(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement element)
          Create a node from an element, if possible.
 boolean insertAbleObject(java.lang.Object child, int index)
          Return true if the node can be inserted at the given location.
protected  void notifyInsertRemove()
          This method is called each time children are inserted or removed.
 int standardInsertIndexObject(java.lang.Object child)
          Return the standard location of an element to insert.
 
Methods inherited from class ConForM.CoopnTools.Edit.CoopnNodeModule
acceptEditions, addInherits, addMorphisms, addRenames, editable, getHeader, getInherits, getLabel, getMorphisms, getRenames, getTextElement
 
Methods inherited from class ConForM.CoopnTools.Edit.CoopnNode
children, clone, createPopup, getAllowsChildren, getChildAt, getChildCount, getCoopnNodeAt, getIndex, getParent, getParentCoopnNode, getPopupMenu, getTreePath, insert, insert, insert, insert, insertAble, insertAble, isLeaf, mergeAble, mergeAble, mergeAbleObject, openAll, remove, remove, remove, removeFromParent, setParent, setUserObject, showEditPanel, standardInsertIndex, standardInsertIndex, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoopnNodeMorphismModule

public CoopnNodeMorphismModule(CoopnTree tree,
                               CoopnNode parent,
                               ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMorphism morphism,
                               CoopnMgr coopnMgr,
                               CoopnEnv env)
Method Detail

createLocalModule

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule createLocalModule(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextHeader h,
                                                                                           java.lang.String c)
Overrides:
createLocalModule in class CoopnNodeModule

buildTexts

protected void buildTexts(java.util.ResourceBundle texts)
This routine is called at the creation of the node, by "super".
Overrides:
buildTexts in class CoopnNodeModule

createNodeFromElement

protected CoopnNode createNodeFromElement(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement element)
Create a node from an element, if possible.
Overrides:
createNodeFromElement in class CoopnNode
Parameters:
element - a textual element
Returns:
a node corresponding to the element, or null if no nodes are corresponding to the element. Must be consistent with mergeAble, insertAble, and so on.

insertAbleObject

public boolean insertAbleObject(java.lang.Object child,
                                int index)
Return true if the node can be inserted at the given location.
Overrides:
insertAbleObject in class CoopnNodeModule

standardInsertIndexObject

public int standardInsertIndexObject(java.lang.Object child)
Return the standard location of an element to insert.
Overrides:
standardInsertIndexObject in class CoopnNodeModule

notifyInsertRemove

protected void notifyInsertRemove()
This method is called each time children are inserted or removed.
Overrides:
notifyInsertRemove in class CoopnNodeModule

createEditPanel

protected EditPanel createEditPanel()
This method is called each time the edit panel is about to be displayed.
Overrides:
createEditPanel in class CoopnNodeModule