de.uka.ilkd.key.gui.prooftree

Class ProofTreeViewFilter.OnlyInteractiveFilter

java.lang.Object

de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter

de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter.NodeFilter

de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter.OnlyInteractiveFilter

Enclosing class:

ProofTreeViewFilter

private static class ProofTreeViewFilter.OnlyInteractiveFilter
extends ProofTreeViewFilter.NodeFilter

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter

ProofTreeViewFilter.NodeFilter

Field Summary

Fields inherited from class de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter

ALL, HIDE_CLOSED_SUBTREES, HIDE_INTERMEDIATE, ONLY_INTERACTIVE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	OnlyInteractiveFilter()

Method Summary

Modifier and Type	Method and Description
boolean	countChild(GUIProofTreeNode node, TreeNode parent, int pos)
boolean	isActive() Whether the filter is currently active.
String	name() Name of the filter used in GUI elements.
(package private) void	setActive(boolean active) Should only be called through GUIProofTreeNode#setFilter().

Methods inherited from class de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter.NodeFilter

countChild, getChild, getChildCount, getIndexOfChild, global

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OnlyInteractiveFilter

private OnlyInteractiveFilter()

Method Detail

isActive

public boolean isActive()

Description copied from class: ProofTreeViewFilter

Whether the filter is currently active.

Specified by:

isActive in class ProofTreeViewFilter

setActive

void setActive(boolean active)

Description copied from class: ProofTreeViewFilter

Should only be called through GUIProofTreeNode#setFilter().

Specified by:

setActive in class ProofTreeViewFilter

name

public String name()

Description copied from class: ProofTreeViewFilter

Name of the filter used in GUI elements.

Specified by:

name in class ProofTreeViewFilter

countChild

public boolean countChild(GUIProofTreeNode node,
                          TreeNode parent,
                          int pos)

Specified by:

countChild in class ProofTreeViewFilter.NodeFilter