| java.lang.Object
 de.uka.ilkd.key.gui.prooftree.GUIProofTreeModel
| Constructor Summary | |
| public | GUIProofTreeModel(Proof p)
construct a GUIProofTreeModel that mirrors the given
Proof. |
| GUIProofTreeModel | | public GUIProofTreeModel(Proof p)(Code) | | construct a GUIProofTreeModel that mirrors the given
Proof.
|
| find | | public GUIProofTreeNode find(Node n)(Code) | | Return the GUIProofTreeNode corresponding to node n, if one
has already been generated, and null otherwise.
|
| findBranch | | public GUIBranchNode findBranch(Node n)(Code) | | Return the GUIBranchNode corresponding to the subtree rooted
at n, if one has already been generated, and null otherwise.
|
| fireTreeStructureChanged | | protected void fireTreeStructureChanged(Object[] path)(Code) | | Notify all listeners that have registered interest for
notification on treeStructureChanged events.
|
| getBranchNode | | public GUIBranchNode getBranchNode(Node n, Object label)(Code) | | Return the GUIBranchNode corresponding to the subtree rooted
at n. Generate one if necessary, using label as the the
subtree label.
|
| getChild | | public Object getChild(Object parent, int index)(Code) | | Returns the child of parent at index index in the parent's
child array. parent must be a node previously obtained from
this data source. This should not return null if index
is a valid index for parent (that is index >= 0 &&
index < getChildCount(parent)).
Parameters:
parent - a node in the tree, obtained from this data source the child of parent at index index |
| getChildCount | | public int getChildCount(Object parent)(Code) | | Returns the number of children of parent. Returns 0 if the node
is a leaf or if it has no children. parent must be a node
previously obtained from this data source.
Parameters:
parent - a node in the tree, obtained from this data source the number of children of the node parent |
| getIndexOfChild | | public int getIndexOfChild(Object parent, Object child)(Code) | | Returns the index of child in parent.
Parameters:
parent - a node in the tree, obtained from this data source
Parameters:
child - a child of parent, obtained from this data source The index of child in parent |
| getProofTreeNode | | public GUIProofTreeNode getProofTreeNode(Node n)(Code) | | Return the GUIProofTreeNode corresponding to node n.
Generate one if necessary.
|
| getRoot | | public Object getRoot()(Code) | | Returns the root of the tree. Returns null only if the tree has
no nodes.
the root of the tree |
| hideClosedSubtrees | | public boolean hideClosedSubtrees()(Code) | | |
| hideIntermediateProofsteps | | public void hideIntermediateProofsteps(boolean hide)(Code) | | Sets wether intermediate proofsteps should be shown or not and
updates the tree.
|
| isAttentive | | public boolean isAttentive()(Code) | | returns true if the model respond to changes in the proof
immediately
|
| isHidingIntermediateProofsteps | | public boolean isHidingIntermediateProofsteps()(Code) | | |
| isLeaf | | public boolean isLeaf(Object guiNode)(Code) | | Returns true if node is a leaf. It is possible for this method
to return false even if node has no children. A directory in a
filesystem, for example, may contain no files; the node representing
the directory is not a leaf, but it also has no children.
Parameters:
guiNode - a node in the tree, obtained from this data source true if node is a leaf |
| register | | public void register()(Code) | | |
| setAttentive | | public void setAttentive(boolean b)(Code) | | Sets whether this object should respond to changes in the
the proof immediately.
|
| setHideClosedSubtrees | | public void setHideClosedSubtrees(boolean hideSubtrees)(Code) | | |
| unregister | | public void unregister()(Code) | | Call this when the GUIProofTreeModel is no longer needed.
GUIProofTreeModel registers a Listener with its associated
Proof object. This method unregisters that listener, which is
a good thing, as the proof maintains a reference to the
listener, and the listener to the GUIProofTreeModel, so it would
never become GC'ed unless you call this method.
Note that after calling unregister, this
GUIProofTreeModel does not respond to changes in the proof tree
any more.
|
| updateTree | | public void updateTree(Node p_node)(Code) | | |
| valueForPathChanged | | public void valueForPathChanged(TreePath path, Object newValue)(Code) | | Messaged when the user has altered the value for the item identified
by path to newValue. We throw an exception,
as proofs are not meant to be chaged via the JTree editing facility.
Parameters:
path - path to the node that the user has altered.
Parameters:
newValue - the new value from the TreeCellEditor. |
|
|