public interface TaskTreeNode extends MutableTreeNode
Modifier and Type | Field and Description |
---|---|
static TaskTreeNode[] |
NO_CHILDREN |
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() |
insert, remove, remove, removeFromParent, setParent, setUserObject
children, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeaf
static final TaskTreeNode[] NO_CHILDREN
ProofEnvironment getProofEnv()
String shortDescr()
Proof proof()
Proof[] allProofs()
void insertNode(TaskTreeModel model, MutableTreeNode parent)
TreeNode[] getPath()
ProofStatus getStatus()
void decoupleFromEnv()
TaskTreeNode[] getChildren()