public class EnvNode extends DefaultMutableTreeNode implements TaskTreeNode
Modifier and Type | Field and Description |
---|---|
private ProofEnvironment |
env |
private static long |
serialVersionUID |
allowsChildren, children, EMPTY_ENUMERATION, parent, userObject
NO_CHILDREN
Constructor and Description |
---|
EnvNode(ProofEnvironment e) |
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() |
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
insert, remove, remove, removeFromParent, setParent, setUserObject
children, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeaf
private static final long serialVersionUID
private ProofEnvironment env
public EnvNode(ProofEnvironment e)
public String shortDescr()
shortDescr
in interface TaskTreeNode
public String toString()
toString
in class 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, MutableTreeNode parentNode)
insertNode
in interface TaskTreeNode
public ProofStatus getStatus()
getStatus
in interface TaskTreeNode
public void decoupleFromEnv()
decoupleFromEnv
in interface TaskTreeNode
public TaskTreeNode[] getChildren()
getChildren
in interface TaskTreeNode