ConForM.CoopnTools.Edit
Class CoopnNodeContextFormulaField
java.lang.Object
|
+--ConForM.CoopnTools.Edit.CoopnNode
|
+--ConForM.CoopnTools.Edit.CoopnNodeField
|
+--ConForM.CoopnTools.Edit.CoopnNodeContextFormulaField
- All Implemented Interfaces:
- javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
- Direct Known Subclasses:
- CoopnNodeContextAxiomField, CoopnNodeContextTheoremField
- public abstract class CoopnNodeContextFormulaField
- extends CoopnNodeField
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 |
void |
addSymbol()
|
protected void |
buildTexts(java.util.ResourceBundle texts)
This routine is called at the creation of the node, by "super". |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
getTextElement()
This routine must deliver the coopn text element corresponing to this
node. |
protected boolean |
isNodeField(java.lang.Object node)
|
protected boolean |
isNodeSymbol(java.lang.Object node)
|
Methods inherited from class ConForM.CoopnTools.Edit.CoopnNode |
acceptEditions, children, clone, createEditPanel, createNodeFromElement, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getCoopnNodeAt, getIndex, getLabel, 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 |
CoopnNodeContextFormulaField
public CoopnNodeContextFormulaField(CoopnTree tree,
CoopnNode parent,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextFormulaList contextFormula,
CoopnMgr coopnMgr,
CoopnEnv env)
addSymbol
public void addSymbol()
- Overrides:
addSymbol
in class CoopnNodeField
isNodeField
protected boolean isNodeField(java.lang.Object node)
- Overrides:
isNodeField
in class CoopnNodeField
isNodeSymbol
protected boolean isNodeSymbol(java.lang.Object node)
- Overrides:
isNodeSymbol
in class CoopnNodeField
buildTexts
protected void buildTexts(java.util.ResourceBundle texts)
- This routine is called at the creation of the node, by "super".
- Overrides:
buildTexts
in class CoopnNodeField
getTextElement
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement getTextElement()
- This routine must deliver the coopn text element corresponing to this
node.
- Overrides:
getTextElement
in class CoopnNode