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