jpov.viewer.tree
Class TreeFilter

java.lang.Object
  org.eclipse.jface.viewers.ViewerFilter
      jpov.viewer.tree.TreeFilter

public class TreeFilter

extends org.eclipse.jface.viewers.ViewerFilter

This class implements a filter for tree. Jmlfile, classes, methods, lemmas and goals are displayed or not depending of the configuration choosen in the filter window.

Author:

L. Burdy

Constructor Summary

TreeFilter(TreeFilterWindow tfw)
Constructs a filter with an associated filter window

Method Summary

boolean

select(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object parentElement, java.lang.Object element) Selects the node tree to display the jml file is always displayed a class is displayed if its proof percent reach the wished rank a method is displayed if its proof percent reach the wished rank a case is displayed if its proof percent reach the wished rank a goal is displayed if its proof status and its origin correspond to displayed ones.

Methods inherited from class org.eclipse.jface.viewers.ViewerFilter

filter, isFilterProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeFilter

public TreeFilter(TreeFilterWindow tfw)

Constructs a filter with an associated filter window

Parameters:

tfw - The filter window

Method Detail

select

public boolean select(org.eclipse.jface.viewers.Viewer viewer,
                      java.lang.Object parentElement,
                      java.lang.Object element)

Selects the node tree to display

• the jml file is always displayed
• a class is displayed if its proof percent reach the wished rank
• a method is displayed if its proof percent reach the wished rank
• a case is displayed if its proof percent reach the wished rank
• a goal is displayed if its proof status and its origin correspond to displayed ones.