abstract static class ProofTreeViewFilter.NodeFilter extends ProofTreeViewFilter
ProofTreeViewFilter.NodeFilter
ALL, HIDE_CLOSED_SUBTREES, HIDE_INTERMEDIATE, ONLY_INTERACTIVE
Constructor and Description |
---|
NodeFilter() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
countChild(GUIProofTreeNode child,
javax.swing.tree.TreeNode parent,
int pos) |
protected boolean |
countChild(javax.swing.tree.TreeNode child,
javax.swing.tree.TreeNode parent,
int pos)
Decides wether a child should be counted while iterating all children.
|
java.lang.Object |
getChild(java.lang.Object parent,
int index) |
int |
getChildCount(java.lang.Object parent) |
int |
getIndexOfChild(java.lang.Object parent,
java.lang.Object child) |
(package private) boolean |
global()
Returns whether the filter's scope is on the whole tree (like hiding subtrees).
|
isActive, name, setActive
boolean global()
ProofTreeViewFilter
global
in class ProofTreeViewFilter
public abstract boolean countChild(GUIProofTreeNode child, javax.swing.tree.TreeNode parent, int pos)
public int getChildCount(java.lang.Object parent)
public java.lang.Object getChild(java.lang.Object parent, int index)
public int getIndexOfChild(java.lang.Object parent, java.lang.Object child)
protected boolean countChild(javax.swing.tree.TreeNode child, javax.swing.tree.TreeNode parent, int pos)