de.uka.ilkd.key.proof.mgt

Class ProofAggregateTask

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

de.uka.ilkd.key.proof.mgt.ProofAggregateTask

All Implemented Interfaces:

TaskTreeNode, java.io.Serializable, java.lang.Cloneable, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class ProofAggregateTask
extends javax.swing.tree.DefaultMutableTreeNode
implements TaskTreeNode

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	descr
private ProofAggregate	proofList
private TaskTreeNode[]	proofs
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
ProofAggregateTask(ProofAggregate ps)

Method Summary

Modifier and Type	Method and Description
Proof[]	allProofs()
void	decoupleFromEnv()
TaskTreeNode[]	getChildren()
ProofEnvironment	getProofEnv()
ProofAggregate	getProofList()
ProofStatus	getStatus()
void	insertNode(TaskTreeModel model, javax.swing.tree.MutableTreeNode parentNode)
Proof	proof()
java.lang.String	shortDescr()
java.lang.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

proofs

private TaskTreeNode[] proofs

proofList

private ProofAggregate proofList

descr

private java.lang.String descr

Constructor Detail

ProofAggregateTask

public ProofAggregateTask(ProofAggregate ps)

Method Detail

shortDescr

public java.lang.String shortDescr()

Specified by:

shortDescr in interface TaskTreeNode

toString

public java.lang.String toString()

Overrides:

toString in class javax.swing.tree.DefaultMutableTreeNode

getProofEnv

public ProofEnvironment getProofEnv()

Specified by:

getProofEnv in interface TaskTreeNode

getProofList

public ProofAggregate getProofList()

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,
                       javax.swing.tree.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