ConForM.CoopnTools.Constraint
Class ConstraintNodeField

java.lang.Object
  |
  +--ConForM.CoopnTools.Constraint.ConstraintNode
        |
        +--ConForM.CoopnTools.Constraint.ConstraintNodeField
All Implemented Interfaces:
javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
Direct Known Subclasses:
ConstraintNodeAxiomField, ConstraintNodeConsField, ConstraintNodeVariableField

public abstract class ConstraintNodeField
extends ConstraintNode


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
ConstraintNodeField(ConstraintTree tree, ConstraintNode parent, ConstraintsMgr consMgr, ConsEnv env)
           
 
Method Summary
protected abstract  void addSymbol()
           
protected  void buildTexts(java.util.ResourceBundle texts)
          This routine is called at the creation of the node, by "super".
 boolean insertAbleObject(java.lang.Object child, int index)
          Return true if the node can be inserted at the given location.
protected abstract  boolean isNodeField(java.lang.Object node)
           
protected abstract  boolean isNodeSymbol(java.lang.Object node)
           
 boolean mergeAbleObject(java.lang.Object child, int index)
          Return true if the object can be merged to the current node, at the given location.
protected  void notifyInsertRemove()
          This method is called each time children are inserted or removed.
 int standardInsertIndexObject(java.lang.Object child)
          Return the standard location of an element to insert.
 
Methods inherited from class ConForM.CoopnTools.Constraint.ConstraintNode
acceptEditions, children, clone, createConsPanel, createNodeFromElement, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getConsNodeAt, getIndex, getLabel, getParent, getParentConsNode, getPopupMenu, getTextElement, 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

ConstraintNodeField

public ConstraintNodeField(ConstraintTree tree,
                           ConstraintNode parent,
                           ConstraintsMgr consMgr,
                           ConsEnv env)
Method Detail

addSymbol

protected abstract void addSymbol()

isNodeField

protected abstract boolean isNodeField(java.lang.Object node)

isNodeSymbol

protected abstract boolean isNodeSymbol(java.lang.Object node)

buildTexts

protected void buildTexts(java.util.ResourceBundle texts)
This routine is called at the creation of the node, by "super".
Overrides:
buildTexts in class ConstraintNode

mergeAbleObject

public boolean mergeAbleObject(java.lang.Object child,
                               int index)
Description copied from class: ConstraintNode
Return true if the object can be merged to the current node, at the given location.
Overrides:
mergeAbleObject in class ConstraintNode

insertAbleObject

public boolean insertAbleObject(java.lang.Object child,
                                int index)
Return true if the node can be inserted at the given location.
Overrides:
insertAbleObject in class ConstraintNode

standardInsertIndexObject

public int standardInsertIndexObject(java.lang.Object child)
Return the standard location of an element to insert.
Overrides:
standardInsertIndexObject in class ConstraintNode

notifyInsertRemove

protected void notifyInsertRemove()
This method is called each time children are inserted or removed.
Overrides:
notifyInsertRemove in class ConstraintNode