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,
TreeNode parent,
int pos) |
protected boolean |
countChild(TreeNode child,
TreeNode parent,
int pos)
Decides wether a child should be counted while iterating all children.
|
Object |
getChild(Object parent,
int index) |
int |
getChildCount(Object parent) |
int |
getIndexOfChild(Object parent,
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, TreeNode parent, int pos)
public int getChildCount(Object parent)
protected boolean countChild(TreeNode child, TreeNode parent, int pos)