de.uka.ilkd.key.gui.prooftree

Class ProofTreeViewFilter.NodeFilter

java.lang.Object

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

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

Direct Known Subclasses:

ProofTreeViewFilter.HideIntermediateFilter, ProofTreeViewFilter.OnlyInteractiveFilter

Enclosing class:

ProofTreeViewFilter

abstract static class ProofTreeViewFilter.NodeFilter
extends ProofTreeViewFilter

Filters working locally on nodes. There may only be one such filter active at any time.

Author:

bruns

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

Constructor and Description
NodeFilter()

Method Summary

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).

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

isActive, name, setActive

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeFilter

NodeFilter()

Method Detail

global

boolean global()

Description copied from class: ProofTreeViewFilter

Returns whether the filter's scope is on the whole tree (like hiding subtrees).

Specified by:

global in class ProofTreeViewFilter

countChild

public abstract boolean countChild(GUIProofTreeNode child,
                                   TreeNode parent,
                                   int pos)

getChildCount

public int getChildCount(Object parent)

getChild

public Object getChild(Object parent,
                       int index)

getIndexOfChild

public int getIndexOfChild(Object parent,
                           Object child)

countChild

protected boolean countChild(TreeNode child,
                             TreeNode parent,
                             int pos)

Decides wether a child should be counted while iterating all children. A child should not be counted if intermediate proofsteps are hidden and the child is not the last child, i.e. not an open or closed goal. Used by getChild, getChildCount and getIndexOfChild (implementing TreeModel).