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


Field Summary
protected  NodeAddAxiomFieldAction addAxiomFieldAction
           
protected  NodeAddContextUseFieldAction addContextUseFieldAction
           
protected  NodeAddGateFieldAction addGateFieldAction
           
protected  NodeAddMethodFieldAction addMethodFieldAction
           
protected  NodeAddObjectFieldAction addObjectFieldAction
           
protected  NodeAddSubsortFieldAction addSubsortFieldAction
           
protected  NodeAddSubtypesFieldAction addSubtypesFieldAction
           
protected  NodeAddTheoremFieldAction addTheoremFieldAction
           
protected  NodeAddUseFieldAction addUseFieldAction
           
protected  NodeAddVariableFieldAction addVariableFieldAction
           
 
Fields inherited from class ConForM.CoopnTools.Edit.CoopnNode
allowsChildren, arg, childNodeList, coopnMgr, editTitle, env, fmt, parent, popup, readOnly, removeText, removeTitle, ResourceFile, textMgr, title, tree
 
Constructor Summary
CoopnNodeContextBody(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextBody body, CoopnMgr coopnMgr, CoopnEnv env)
           
 
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
 

Field Detail

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
Constructor Detail

CoopnNodeContextBody

public CoopnNodeContextBody(CoopnTree tree,
                            CoopnNode parent,
                            ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextContextBody body,
                            CoopnMgr coopnMgr,
                            CoopnEnv env)
Method Detail

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