de.uka.ilkd.key.proof.mgt

Class EnvNode

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

de.uka.ilkd.key.proof.mgt.EnvNode

All Implemented Interfaces:

TaskTreeNode, Serializable, Cloneable, MutableTreeNode, TreeNode

public class EnvNode
extends DefaultMutableTreeNode
implements TaskTreeNode

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private ProofEnvironment	env
private static long	serialVersionUID

Fields inherited from class javax.swing.tree.DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Fields inherited from interface de.uka.ilkd.key.proof.mgt.TaskTreeNode

NO_CHILDREN

Constructor Summary

Constructors

Constructor and Description
EnvNode(ProofEnvironment e)

Method Summary

Modifier and Type	Method and Description
Proof[]	allProofs()
void	decoupleFromEnv()
TaskTreeNode[]	getChildren()
ProofEnvironment	getProofEnv()
ProofStatus	getStatus()
void	insertNode(TaskTreeModel model, MutableTreeNode parentNode)
Proof	proof()
String	shortDescr()
String	toString()

Methods inherited from class javax.swing.tree.DefaultMutableTreeNode

add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.proof.mgt.TaskTreeNode

getPath

Methods inherited from interface javax.swing.tree.MutableTreeNode

insert, remove, remove, removeFromParent, setParent, setUserObject

Methods inherited from interface javax.swing.tree.TreeNode

children, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeaf

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

env

private ProofEnvironment env

Constructor Detail

EnvNode

public EnvNode(ProofEnvironment e)

Method Detail

shortDescr

public String shortDescr()

Specified by:

shortDescr in interface TaskTreeNode

toString

public String toString()

Overrides:

toString in class DefaultMutableTreeNode

getProofEnv

public ProofEnvironment getProofEnv()

Specified by:

getProofEnv in interface TaskTreeNode

proof

public Proof proof()

Specified by:

proof in interface TaskTreeNode

allProofs

public Proof[] allProofs()

Specified by:

allProofs in interface TaskTreeNode

insertNode

public void insertNode(TaskTreeModel model,
                       MutableTreeNode parentNode)

Specified by:

insertNode in interface TaskTreeNode

getStatus

public ProofStatus getStatus()

Specified by:

getStatus in interface TaskTreeNode

decoupleFromEnv

public void decoupleFromEnv()

Specified by:

decoupleFromEnv in interface TaskTreeNode

getChildren

public TaskTreeNode[] getChildren()

Specified by:

getChildren in interface TaskTreeNode