ConForM.CoopnTools.Edit
Class CoopnNodeClassFormulaField

java.lang.Object
  |
  +--ConForM.CoopnTools.Edit.CoopnNode
        |
        +--ConForM.CoopnTools.Edit.CoopnNodeField
              |
              +--ConForM.CoopnTools.Edit.CoopnNodeClassFormulaField
All Implemented Interfaces:
javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
Direct Known Subclasses:
CoopnNodeClassAxiomField, CoopnNodeClassTheoremField

public abstract class CoopnNodeClassFormulaField
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
 
Constructor Summary
CoopnNodeClassFormulaField(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextClassFormulaList classFormula, CoopnMgr coopnMgr, CoopnEnv env)
           
 
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.CoopnNodeField
insertAbleObject, mergeAbleObject, notifyInsertRemove, standardInsertIndexObject
 
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
 

Constructor Detail

CoopnNodeClassFormulaField

public CoopnNodeClassFormulaField(CoopnTree tree,
                                  CoopnNode parent,
                                  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextClassFormulaList classFormula,
                                  CoopnMgr coopnMgr,
                                  CoopnEnv env)
Method Detail

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