ConForM.CoopnTools.Edit
Class CoopnNodeClassBody

java.lang.Object
  |
  +--ConForM.CoopnTools.Edit.CoopnNode
        |
        +--ConForM.CoopnTools.Edit.CoopnNodeClassBody
All Implemented Interfaces:
AddAxiomAble, AddCreationAble, AddDestructionAble, AddGateAble, AddInitialAble, AddMethodAble, AddObjectAble, AddPlaceAble, AddSubsortAble, AddSubtypesAble, AddTheoremAble, AddTransitionAble, AddTypeAble, AddUseAble, AddVariableAble, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class CoopnNodeClassBody
extends CoopnNode
implements AddUseAble, AddTypeAble, AddSubtypesAble, AddSubsortAble, AddObjectAble, AddGateAble, AddMethodAble, AddCreationAble, AddDestructionAble, AddTransitionAble, AddInitialAble, AddPlaceAble, AddAxiomAble, AddTheoremAble, AddVariableAble


Field Summary
protected  NodeAddAxiomFieldAction addAxiomFieldAction
           
protected  NodeAddCreationFieldAction addCreationFieldAction
           
protected  NodeAddDestructionFieldAction addDestructionFieldAction
           
protected  NodeAddGateFieldAction addGateFieldAction
           
protected  NodeAddInitialFieldAction addInitialFieldAction
           
protected  NodeAddMethodFieldAction addMethodFieldAction
           
protected  NodeAddObjectFieldAction addObjectFieldAction
           
protected  NodeAddPlaceFieldAction addPlaceFieldAction
           
protected  NodeAddSubsortFieldAction addSubsortFieldAction
           
protected  NodeAddSubtypesFieldAction addSubtypesFieldAction
           
protected  NodeAddTheoremFieldAction addTheoremFieldAction
           
protected  NodeAddTransitionFieldAction addTransitionFieldAction
           
protected  NodeAddTypeFieldAction addTypeFieldAction
           
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
CoopnNodeClassBody(CoopnTree tree, CoopnNode parent, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextClassBody body, CoopnMgr coopnMgr, CoopnEnv env)
           
 
Method Summary
 void addAxiom()
           
 void addCreation()
           
 void addDestruction()
           
 void addGate()
           
 void addInitial()
           
 void addMethod()
           
 void addObject()
           
 void addPlace()
           
 void addSubsort()
           
 void addSubtypes()
           
 void addTheorem()
           
 void addTransition()
           
 void addType()
           
 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.CoopnTextClassBody 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

addTypeFieldAction

protected NodeAddTypeFieldAction addTypeFieldAction

addSubtypesFieldAction

protected NodeAddSubtypesFieldAction addSubtypesFieldAction

addSubsortFieldAction

protected NodeAddSubsortFieldAction addSubsortFieldAction

addObjectFieldAction

protected NodeAddObjectFieldAction addObjectFieldAction

addGateFieldAction

protected NodeAddGateFieldAction addGateFieldAction

addMethodFieldAction

protected NodeAddMethodFieldAction addMethodFieldAction

addCreationFieldAction

protected NodeAddCreationFieldAction addCreationFieldAction

addDestructionFieldAction

protected NodeAddDestructionFieldAction addDestructionFieldAction

addTransitionFieldAction

protected NodeAddTransitionFieldAction addTransitionFieldAction

addInitialFieldAction

protected NodeAddInitialFieldAction addInitialFieldAction

addPlaceFieldAction

protected NodeAddPlaceFieldAction addPlaceFieldAction

addAxiomFieldAction

protected NodeAddAxiomFieldAction addAxiomFieldAction

addTheoremFieldAction

protected NodeAddTheoremFieldAction addTheoremFieldAction

addVariableFieldAction

protected NodeAddVariableFieldAction addVariableFieldAction
Constructor Detail

CoopnNodeClassBody

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

getBody

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

addUses

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

addType

public void addType()
Specified by:
addType in interface AddTypeAble

addSubtypes

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

addSubsort

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

addObject

public void addObject()
Specified by:
addObject in interface AddObjectAble

addGate

public void addGate()
Specified by:
addGate in interface AddGateAble

addMethod

public void addMethod()
Specified by:
addMethod in interface AddMethodAble

addCreation

public void addCreation()
Specified by:
addCreation in interface AddCreationAble

addDestruction

public void addDestruction()
Specified by:
addDestruction in interface AddDestructionAble

addTransition

public void addTransition()
Specified by:
addTransition in interface AddTransitionAble

addInitial

public void addInitial()
Specified by:
addInitial in interface AddInitialAble

addPlace

public void addPlace()
Specified by:
addPlace in interface AddPlaceAble

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