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.CoopnNode |
allowsChildren, arg, childNodeList, coopnMgr, editTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, textMgr, title, tree |
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 |
CoopnNodeMorphismModule
public CoopnNodeMorphismModule(CoopnTree tree,
CoopnNode parent,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMorphism morphism,
CoopnMgr coopnMgr,
CoopnEnv env)
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