ConForM.CoopnTools.Constraint
Class ConstraintNodeAxiomsField

java.lang.Object
  |
  +--ConForM.CoopnTools.Constraint.ConstraintNode
        |
        +--ConForM.CoopnTools.Constraint.ConstraintNodeField
              |
              +--ConForM.CoopnTools.Constraint.ConstraintNodeAxiomField
                    |
                    +--ConForM.CoopnTools.Constraint.ConstraintNodeAxiomsField
All Implemented Interfaces:
javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class ConstraintNodeAxiomsField
extends ConstraintNodeAxiomField


Fields inherited from class ConForM.CoopnTools.Constraint.ConstraintNode
allowsChildren, arg, childNodeList, consMgr, consTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, title, tree
 
Constructor Summary
ConstraintNodeAxiomsField(ConstraintTree tree, ConstraintNode parent, ConstraintsAxiomField axiom, ConstraintsMgr consMgr, ConsEnv env)
           
 
Method Summary
protected  ConstraintNode createNodeFromElement(ConstraintsElement 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.Constraint.ConstraintNodeAxiomField
addSymbol, buildTexts, getTextElement, isNodeField, isNodeSymbol
 
Methods inherited from class ConForM.CoopnTools.Constraint.ConstraintNodeField
insertAbleObject, mergeAbleObject, notifyInsertRemove, standardInsertIndexObject
 
Methods inherited from class ConForM.CoopnTools.Constraint.ConstraintNode
acceptEditions, children, clone, createConsPanel, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getConsNodeAt, getIndex, getParent, getParentConsNode, getPopupMenu, getTreePath, insert, insert, insert, insert, insertAble, insertAble, isLeaf, mergeAble, mergeAble, openAll, remove, remove, remove, removeFromParent, setParent, setUserObject, showConsPanel, standardInsertIndex, standardInsertIndex, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstraintNodeAxiomsField

public ConstraintNodeAxiomsField(ConstraintTree tree,
                                 ConstraintNode parent,
                                 ConstraintsAxiomField axiom,
                                 ConstraintsMgr consMgr,
                                 ConsEnv 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 ConstraintNode

createNodeFromElement

protected ConstraintNode createNodeFromElement(ConstraintsElement element)
Create a node from an element, if possible.
Overrides:
createNodeFromElement in class ConstraintNode
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.