private static class ProofTreeViewFilter.OnlyInteractiveFilter extends ProofTreeViewFilter.NodeFilter
ProofTreeViewFilter.NodeFilter
ALL, HIDE_CLOSED_SUBTREES, HIDE_INTERMEDIATE, ONLY_INTERACTIVE
Modifier | Constructor and Description |
---|---|
private |
OnlyInteractiveFilter() |
Modifier and Type | Method and Description |
---|---|
boolean |
countChild(GUIProofTreeNode node,
javax.swing.tree.TreeNode parent,
int pos) |
boolean |
isActive()
Whether the filter is currently active.
|
java.lang.String |
name()
Name of the filter used in GUI elements.
|
(package private) void |
setActive(boolean active)
Should only be called through GUIProofTreeNode#setFilter().
|
countChild, getChild, getChildCount, getIndexOfChild, global
public boolean isActive()
ProofTreeViewFilter
isActive
in class ProofTreeViewFilter
void setActive(boolean active)
ProofTreeViewFilter
setActive
in class ProofTreeViewFilter
public java.lang.String name()
ProofTreeViewFilter
name
in class ProofTreeViewFilter
public boolean countChild(GUIProofTreeNode node, javax.swing.tree.TreeNode parent, int pos)
countChild
in class ProofTreeViewFilter.NodeFilter