public class BasicTask extends javax.swing.tree.DefaultMutableTreeNode implements TaskTreeNode
Modifier and Type | Field and Description |
---|---|
private ProofAggregate |
proof |
private static long |
serialVersionUID |
allowsChildren, children, EMPTY_ENUMERATION, parent, userObject
NO_CHILDREN
Constructor and Description |
---|
BasicTask(ProofAggregate pl)
creates a task with a single proof.
|
Modifier and Type | Method and Description |
---|---|
Proof[] |
allProofs()
returns all proofs attached to this basic task
|
void |
decoupleFromEnv()
removes the associated proof from their environment
|
TaskTreeNode[] |
getChildren() |
ProofEnvironment |
getProofEnv() |
TaskTreeNode |
getRootTask()
returns the upper most task this basic task belongs to.
|
ProofStatus |
getStatus()
asks the proof management component of the associated proofs
for the status of the associated proof .
|
void |
insertNode(TaskTreeModel model,
javax.swing.tree.MutableTreeNode parentNode)
inserts a node given the task tree model and a parent node
|
Proof |
proof() |
java.lang.String |
shortDescr() |
java.lang.String |
toString() |
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
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPath
private static final long serialVersionUID
private ProofAggregate proof
public BasicTask(ProofAggregate pl)
public java.lang.String shortDescr()
shortDescr
in interface TaskTreeNode
public java.lang.String toString()
toString
in class javax.swing.tree.DefaultMutableTreeNode
public ProofEnvironment getProofEnv()
getProofEnv
in interface TaskTreeNode
public Proof proof()
proof
in interface TaskTreeNode
public Proof[] allProofs()
allProofs
in interface TaskTreeNode
public void insertNode(TaskTreeModel model, javax.swing.tree.MutableTreeNode parentNode)
insertNode
in interface TaskTreeNode
public ProofStatus getStatus()
getStatus
in interface TaskTreeNode
public TaskTreeNode getRootTask()
public void decoupleFromEnv()
decoupleFromEnv
in interface TaskTreeNode
public TaskTreeNode[] getChildren()
getChildren
in interface TaskTreeNode