ConForM.CoopnTools.Constraint
Class ConstraintNodeAxiom
java.lang.Object
|
+--ConForM.CoopnTools.Constraint.ConstraintNode
|
+--ConForM.CoopnTools.Constraint.ConstraintNodeAxiom
- All Implemented Interfaces:
- javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
- public class ConstraintNodeAxiom
- 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 |
Method Summary |
protected void |
acceptEditions(ConsPanel consPanel)
This method is called each time the contents of the edit panel must be
used to set the values of the node's elements. |
protected void |
buildTexts(java.util.ResourceBundle texts)
This routine is called at the creation of the node, by "super". |
protected ConsPanel |
createConsPanel()
This method is called each time the edit panel is about to be displayed. |
protected ConstraintNode |
createNodeFromElement(ConstraintsElement element)
Create a node from an element, if possible. |
protected boolean |
editable()
Return true iff the node accept editions with an edit panel. |
protected java.lang.String |
getLabel()
This routine must return the label of the node, as a String. |
protected ConstraintsElement |
getTextElement()
This routine must 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 |
children, clone, createPopup, 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 |
name
protected java.lang.String name
module
protected java.lang.String module
cond
protected ConstraintsCondition cond
assign
protected ConstraintsAssignation assign
comments
protected java.lang.String comments
ConstraintNodeAxiom
public ConstraintNodeAxiom(ConstraintTree tree,
ConstraintNode parent,
ConstraintsAxiomSymbol ax,
ConstraintsMgr consMgr,
ConsEnv env)
getTextElement
protected ConstraintsElement getTextElement()
- This routine must deliver the coopn text element corresponing to this
node.
- Overrides:
getTextElement
in class ConstraintNode
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
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
editable
protected boolean editable()
- Return true iff the node accept editions with an edit panel.
- Overrides:
editable
in class ConstraintNode
createConsPanel
protected ConsPanel createConsPanel()
- This method is called each time the edit panel is about to be displayed.
- Overrides:
createConsPanel
in class ConstraintNode
acceptEditions
protected void acceptEditions(ConsPanel consPanel)
- This method is called each time the contents of the edit panel must be
used to set the values of the node's elements.
- Overrides:
acceptEditions
in class ConstraintNode