de.uka.ilkd.key.proof.mgt

Interface TaskTreeNode

All Superinterfaces:

MutableTreeNode, TreeNode

All Known Implementing Classes:

BasicTask, EnvNode, ProofAggregateTask

public interface TaskTreeNode
extends MutableTreeNode

Field Summary

Fields

Modifier and Type	Field and Description
static TaskTreeNode[]	NO_CHILDREN

Method Summary

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

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

NO_CHILDREN

static final TaskTreeNode[] NO_CHILDREN

Method Detail

getProofEnv

ProofEnvironment getProofEnv()

shortDescr

String shortDescr()

proof

Proof proof()

allProofs

Proof[] allProofs()

insertNode

void insertNode(TaskTreeModel model,
                MutableTreeNode parent)

getPath

TreeNode[] getPath()

getStatus

ProofStatus getStatus()

decoupleFromEnv

void decoupleFromEnv()

getChildren

TaskTreeNode[] getChildren()