ConForM.CoopnTools.Edit
Class CoopnNodeContextAxiomField
java.lang.Object
|
+--ConForM.CoopnTools.Edit.CoopnNode
|
+--ConForM.CoopnTools.Edit.CoopnNodeField
|
+--ConForM.CoopnTools.Edit.CoopnNodeContextFormulaField
|
+--ConForM.CoopnTools.Edit.CoopnNodeContextAxiomField
- All Implemented Interfaces:
- javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
- public class CoopnNodeContextAxiomField
- extends CoopnNodeContextFormulaField
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 CoopnNode |
createNodeFromElement(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement element)
Create a node from an element, if possible. |
protected java.lang.String |
getLabel()
This routine must return the label of the node, as a String. |
Methods inherited from class ConForM.CoopnTools.Edit.CoopnNode |
acceptEditions, children, clone, createEditPanel, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getCoopnNodeAt, getIndex, getParent, getParentCoopnNode, getPopupMenu, getTreePath, insert, insert, insert, insert, insertAble, insertAble, isLeaf, mergeAble, mergeAble, 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 |
CoopnNodeContextAxiomField
public CoopnNodeContextAxiomField(CoopnTree tree,
CoopnNode parent,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextFormulaList contextFormula,
CoopnMgr coopnMgr,
CoopnEnv env)
getLabel
protected java.lang.String getLabel()
- This routine must return the label of the node, as a String.
- Overrides:
getLabel
in class CoopnNode
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.