public class EnvNode extends javax.swing.tree.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,
javax.swing.tree.MutableTreeNode parentNode) |
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 ProofEnvironment env
public EnvNode(ProofEnvironment e)
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 void decoupleFromEnv()
decoupleFromEnv
in interface TaskTreeNode
public TaskTreeNode[] getChildren()
getChildren
in interface TaskTreeNode