ConForM.CoopnTools.Edit
Class CoopnNodeContextBody
java.lang.Object
|
+--ConForM.CoopnTools.Edit.CoopnNode
|
+--ConForM.CoopnTools.Edit.CoopnNodeContextBody
- All Implemented Interfaces:
- AddAxiomAble, AddContextUseAble, AddGateAble, AddMethodAble, AddObjectAble, AddSubsortAble, AddSubtypesAble, AddTheoremAble, AddUseAble, AddVariableAble, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode
- public class CoopnNodeContextBody
- extends CoopnNode
- implements AddUseAble, AddSubtypesAble, AddSubsortAble, AddGateAble, AddMethodAble, AddContextUseAble, AddObjectAble, AddAxiomAble, AddTheoremAble, AddVariableAble
Fields inherited from class ConForM.CoopnTools.Edit.CoopnNode |
allowsChildren, arg, childNodeList, coopnMgr, editTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, textMgr, title, tree |
Method Summary |
void |
addAxiom()
|
void |
addContextUse()
|
void |
addGate()
|
void |
addMethod()
|
void |
addObject()
|
void |
addSubsort()
|
void |
addSubtypes()
|
void |
addTheorem()
|
void |
addUses()
|
void |
addVariable()
|
protected void |
buildTexts(java.util.ResourceBundle texts)
This routine is called at the creation of the node, by "super". |
protected CoopnNode |
createNodeFromElement(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement element)
Create a node from an element, if possible. |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextBody |
getBody()
|
protected java.lang.String |
getLabel()
This routine must return the label of the node, as a String. |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
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.Edit.CoopnNode |
acceptEditions, children, clone, createEditPanel, createPopup, editable, getAllowsChildren, getChildAt, getChildCount, getCoopnNodeAt, getIndex, getParent, getParentCoopnNode, getPopupMenu, getTreePath, insert, insert, insert, insert, insertAble, insertAble, isLeaf, mergeAble, mergeAble, mergeAbleObject, openAll, remove, remove, remove, removeFromParent, setParent, setUserObject, showEditPanel, standardInsertIndex, standardInsertIndex, toString |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
addUseFieldAction
protected NodeAddUseFieldAction addUseFieldAction
addSubtypesFieldAction
protected NodeAddSubtypesFieldAction addSubtypesFieldAction
addSubsortFieldAction
protected NodeAddSubsortFieldAction addSubsortFieldAction
addGateFieldAction
protected NodeAddGateFieldAction addGateFieldAction
addMethodFieldAction
protected NodeAddMethodFieldAction addMethodFieldAction
addContextUseFieldAction
protected NodeAddContextUseFieldAction addContextUseFieldAction
addObjectFieldAction
protected NodeAddObjectFieldAction addObjectFieldAction
addAxiomFieldAction
protected NodeAddAxiomFieldAction addAxiomFieldAction
addTheoremFieldAction
protected NodeAddTheoremFieldAction addTheoremFieldAction
addVariableFieldAction
protected NodeAddVariableFieldAction addVariableFieldAction
CoopnNodeContextBody
public CoopnNodeContextBody(CoopnTree tree,
CoopnNode parent,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextBody body,
CoopnMgr coopnMgr,
CoopnEnv env)
getBody
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextBody getBody()
addUses
public void addUses()
- Specified by:
addUses
in interface AddUseAble
addSubtypes
public void addSubtypes()
- Specified by:
addSubtypes
in interface AddSubtypesAble
addSubsort
public void addSubsort()
- Specified by:
addSubsort
in interface AddSubsortAble
addGate
public void addGate()
- Specified by:
addGate
in interface AddGateAble
addMethod
public void addMethod()
- Specified by:
addMethod
in interface AddMethodAble
addContextUse
public void addContextUse()
- Specified by:
addContextUse
in interface AddContextUseAble
addObject
public void addObject()
- Specified by:
addObject
in interface AddObjectAble
addAxiom
public void addAxiom()
- Specified by:
addAxiom
in interface AddAxiomAble
addTheorem
public void addTheorem()
- Specified by:
addTheorem
in interface AddTheoremAble
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 CoopnNode
createNodeFromElement
protected CoopnNode createNodeFromElement(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement element)
- Create a node from an element, if possible.
- Overrides:
createNodeFromElement
in class CoopnNode
- 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 CoopnNode
getTextElement
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement getTextElement()
- This routine deliver the coopn text element corresponing to this
node.
- Overrides:
getTextElement
in class CoopnNode
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 CoopnNode
standardInsertIndexObject
public int standardInsertIndexObject(java.lang.Object child)
- Return the standard location of an element to insert.
- Overrides:
standardInsertIndexObject
in class CoopnNode
notifyInsertRemove
protected void notifyInsertRemove()
- This method is called each time children are inserted or removed.
- Overrides:
notifyInsertRemove
in class CoopnNode