ConForM.CoopnTools.Edit
Class CoopnNodeContextTheoremField

java.lang.Object
  |
  +--ConForM.CoopnTools.Edit.CoopnNode
        |
        +--ConForM.CoopnTools.Edit.CoopnNodeField
              |
              +--ConForM.CoopnTools.Edit.CoopnNodeContextFormulaField
                    |
                    +--ConForM.CoopnTools.Edit.CoopnNodeContextTheoremField
All Implemented Interfaces:
javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class CoopnNodeContextTheoremField
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
 
Constructor Summary
CoopnNodeContextTheoremField(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextFormulaList contextFormula, CoopnMgr coopnMgr, CoopnEnv env)
           
 
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.CoopnNodeContextFormulaField
addSymbol, buildTexts, getTextElement, isNodeField, isNodeSymbol
 
Methods inherited from class ConForM.CoopnTools.Edit.CoopnNodeField
insertAbleObject, mergeAbleObject, notifyInsertRemove, standardInsertIndexObject
 
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
 

Constructor Detail

CoopnNodeContextTheoremField

public CoopnNodeContextTheoremField(CoopnTree tree,
                                    CoopnNode parent,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextFormulaList contextFormula,
                                    CoopnMgr coopnMgr,
                                    CoopnEnv env)
Method Detail

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.