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
Fields inherited from class ConForM.CoopnTools.Constraint.ConstraintNode |
allowsChildren, arg, childNodeList, consMgr, consTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, title, tree |
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 |
addConsFieldAction
protected NodeAddConsFieldAction addConsFieldAction
addAxiomFieldAction
protected NodeAddAxiomFieldAction addAxiomFieldAction
addVariableFieldAction
protected NodeAddVariableFieldAction addVariableFieldAction
ConstraintNodeBody
public ConstraintNodeBody(ConstraintTree tree,
ConstraintNode parent,
ConstraintsBody body,
ConstraintsMgr consMgr,
ConsEnv env)
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