ConForM.CoopnTools.Edit
Class CoopnNodeAdtBody

java.lang.Object
  |
  +--ConForM.CoopnTools.Edit.CoopnNode
        |
        +--ConForM.CoopnTools.Edit.CoopnNodeAdtBody
All Implemented Interfaces:
AddAxiomAble, AddGeneratorAble, AddOperationAble, AddSortAble, AddSubsortAble, AddSubtypesAble, AddTheoremAble, AddUseAble, AddVariableAble, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class CoopnNodeAdtBody
extends CoopnNode
implements AddUseAble, AddSortAble, AddSubtypesAble, AddSubsortAble, AddGeneratorAble, AddOperationAble, AddAxiomAble, AddTheoremAble, AddVariableAble


Field Summary
protected  NodeAddAxiomFieldAction addAxiomFieldAction
           
protected  NodeAddGeneratorFieldAction addGeneratorFieldAction
           
protected  NodeAddOperationFieldAction addOperationFieldAction
           
protected  NodeAddSortFieldAction addSortFieldAction
           
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
CoopnNodeAdtBody(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextAdtBody body, CoopnMgr coopnMgr, CoopnEnv env)
           
 
Method Summary
 void addAxiom()
           
 void addGenerator()
           
 void addOperation()
           
 void addSort()
           
 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.CoopnTextAdtBody 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

addSortFieldAction

protected NodeAddSortFieldAction addSortFieldAction

addSubtypesFieldAction

protected NodeAddSubtypesFieldAction addSubtypesFieldAction

addSubsortFieldAction

protected NodeAddSubsortFieldAction addSubsortFieldAction

addGeneratorFieldAction

protected NodeAddGeneratorFieldAction addGeneratorFieldAction

addOperationFieldAction

protected NodeAddOperationFieldAction addOperationFieldAction

addAxiomFieldAction

protected NodeAddAxiomFieldAction addAxiomFieldAction

addTheoremFieldAction

protected NodeAddTheoremFieldAction addTheoremFieldAction

addVariableFieldAction

protected NodeAddVariableFieldAction addVariableFieldAction
Constructor Detail

CoopnNodeAdtBody

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

getBody

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextAdtBody getBody()

addUses

public void addUses()
Specified by:
addUses in interface AddUseAble

addSort

public void addSort()
Specified by:
addSort in interface AddSortAble

addSubtypes

public void addSubtypes()
Specified by:
addSubtypes in interface AddSubtypesAble

addSubsort

public void addSubsort()
Specified by:
addSubsort in interface AddSubsortAble

addGenerator

public void addGenerator()
Specified by:
addGenerator in interface AddGeneratorAble

addOperation

public void addOperation()
Specified by:
addOperation in interface AddOperationAble

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