public abstract class GUIAbstractTreeNode
extends java.lang.Object
implements javax.swing.tree.TreeNode
Modifier and Type | Class and Description |
---|---|
private class |
GUIAbstractTreeNode.ChildEnumeration |
Modifier and Type | Field and Description |
---|---|
private java.lang.ref.WeakReference<Node> |
noderef |
private GUIProofTreeModel |
tree |
Constructor and Description |
---|
GUIAbstractTreeNode(GUIProofTreeModel tree,
Node node) |
Modifier and Type | Method and Description |
---|---|
java.util.Enumeration<javax.swing.tree.TreeNode> |
children() |
static java.lang.String |
ensureBranchLabelIsSet(Node p_node) |
protected javax.swing.tree.TreeNode |
findBranch(Node p_node) |
protected Node |
findChild(Node n) |
abstract void |
flushCache() |
boolean |
getAllowsChildren() |
abstract javax.swing.tree.TreeNode |
getChildAt(int childIndex) |
abstract int |
getChildCount() |
int |
getIndex(javax.swing.tree.TreeNode node) |
Node |
getNode() |
abstract javax.swing.tree.TreeNode |
getParent() |
javax.swing.tree.TreeNode[] |
getPath() |
protected GUIProofTreeModel |
getProofTreeModel() |
abstract boolean |
isLeaf() |
private GUIProofTreeModel tree
private java.lang.ref.WeakReference<Node> noderef
public GUIAbstractTreeNode(GUIProofTreeModel tree, Node node)
protected GUIProofTreeModel getProofTreeModel()
public abstract javax.swing.tree.TreeNode getChildAt(int childIndex)
getChildAt
in interface javax.swing.tree.TreeNode
public abstract int getChildCount()
getChildCount
in interface javax.swing.tree.TreeNode
public abstract javax.swing.tree.TreeNode getParent()
getParent
in interface javax.swing.tree.TreeNode
public abstract boolean isLeaf()
isLeaf
in interface javax.swing.tree.TreeNode
public abstract void flushCache()
public int getIndex(javax.swing.tree.TreeNode node)
getIndex
in interface javax.swing.tree.TreeNode
public boolean getAllowsChildren()
getAllowsChildren
in interface javax.swing.tree.TreeNode
public java.util.Enumeration<javax.swing.tree.TreeNode> children()
children
in interface javax.swing.tree.TreeNode
public javax.swing.tree.TreeNode[] getPath()
protected javax.swing.tree.TreeNode findBranch(Node p_node)
public static java.lang.String ensureBranchLabelIsSet(Node p_node)
public Node getNode()