ConForM.CoopnTools.Constraint
Class ConstraintNodeBody

java.lang.Object
  |
  +--ConForM.CoopnTools.Constraint.ConstraintNode
        |
        +--ConForM.CoopnTools.Constraint.ConstraintNodeBody
All Implemented Interfaces:
AddAxiomAble, AddConsAble, AddVariableAble, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class ConstraintNodeBody
extends ConstraintNode
implements AddConsAble, AddAxiomAble, AddVariableAble

This node symbolizes a constraints body


Field Summary
protected  NodeAddAxiomFieldAction addAxiomFieldAction
           
protected  NodeAddConsFieldAction addConsFieldAction
           
protected  NodeAddVariableFieldAction addVariableFieldAction
           
 
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
ConstraintNodeBody(ConstraintTree tree, ConstraintNode parent, ConstraintsBody body, ConstraintsMgr consMgr, ConsEnv env)
           
 
Method Summary
 void addAxiom()
           
 void addCons()
           
 void addVariable()
           
protected  void buildTexts(java.util.ResourceBundle texts)
          This routine is called at the creation of the node, by "super".
protected  ConstraintNode createNodeFromElement(ConstraintsElement element)
          Create a node from an element, if possible.
protected  ConstraintsBody getBody()
           
protected  java.lang.String getLabel()
          This routine must return the label of the node, as a String.
protected  ConstraintsElement getTextElement()
          This routine deliver the coopn text element corresponing to this node.
 boolean insertAbleObject(java.lang.Object child, int index)
          Return true if the node can be inserted 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, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getConsNodeAt, getIndex, getParent, getParentConsNode, getPopupMenu, getTreePath, insert, insert, insert, insert, insertAble, insertAble, isLeaf, mergeAble, mergeAble, mergeAbleObject, 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
 

Field Detail

addConsFieldAction

protected NodeAddConsFieldAction addConsFieldAction

addAxiomFieldAction

protected NodeAddAxiomFieldAction addAxiomFieldAction

addVariableFieldAction

protected NodeAddVariableFieldAction addVariableFieldAction
Constructor Detail

ConstraintNodeBody

public ConstraintNodeBody(ConstraintTree tree,
                          ConstraintNode parent,
                          ConstraintsBody body,
                          ConstraintsMgr consMgr,
                          ConsEnv env)
Method Detail

getBody

protected ConstraintsBody getBody()

addCons

public void addCons()
Specified by:
addCons in interface AddConsAble

addAxiom

public void addAxiom()
Specified by:
addAxiom in interface AddAxiomAble

addVariable

public void addVariable()
Specified by:
addVariable in interface AddVariableAble

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

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.

getLabel

protected java.lang.String getLabel()
This routine must return the label of the node, as a String.
Overrides:
getLabel in class ConstraintNode

getTextElement

protected ConstraintsElement getTextElement()
This routine deliver the coopn text element corresponing to this node.
Overrides:
getTextElement 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