jpov.viewer.tree
Class TreeFilterWindow

java.lang.Object
  org.eclipse.jface.window.Window
      org.eclipse.jface.dialogs.Dialog
          jpov.viewer.tree.TreeFilterWindow

public class TreeFilterWindow

extends org.eclipse.jface.dialogs.Dialog

This class implements the dialog that displays the window allowing to choose the filter to apply to the tree

Author:

L. Burdy, A. Requet

Nested Class Summary

Nested classes inherited from class org.eclipse.jface.window.Window

org.eclipse.jface.window.Window.IExceptionHandler

Field Summary

Fields inherited from class org.eclipse.jface.dialogs.Dialog

blockedHandler, buttonBar, DLG_IMG_ERROR, DLG_IMG_INFO, DLG_IMG_MESSAGE_ERROR, DLG_IMG_MESSAGE_INFO, DLG_IMG_MESSAGE_WARNING, DLG_IMG_QUESTION, DLG_IMG_WARNING, ELLIPSIS

Fields inherited from class org.eclipse.jface.window.Window

CANCEL, OK

Constructor Summary

TreeFilterWindow(org.eclipse.swt.widgets.Shell parent, ICaseExplorer v)
Constructs the tree filter windows.

Method Summary

int	getCasesPercent() Returns the ipper proof percentage bound for a case to be displayed
int	getClassPercent() Returns the upper proof percentage bound for a class to be displayed
int	getMethodPercent() Returns the upper proof percentage bound for a method to be displayed.
boolean	getShowTypes(int i) Returns whether a goal type should be displayed or not.
boolean	isShowGoalType() Returns whether some goal types are not displayed.
boolean	isShowProved() Returns whether the proved item should be display or not.
boolean	isShowUnProved() Returns whether the unproved item should be display or not.

Methods inherited from class org.eclipse.jface.dialogs.Dialog

applyDialogFont, close, convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, create, getBlockedHandler, getImage, setBlockedHandler, shortenText

Methods inherited from class org.eclipse.jface.window.Window

getDefaultImage, getDefaultImages, getReturnCode, getShell, getWindowManager, open, setBlockOnOpen, setDefaultImage, setDefaultImages, setExceptionHandler, setWindowManager

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeFilterWindow

public TreeFilterWindow(org.eclipse.swt.widgets.Shell parent,
                        ICaseExplorer v)

Constructs the tree filter windows. Initializes the configurations.

Parameters:

parent - The parent shell

v - The current viewer

Method Detail

getCasesPercent

public int getCasesPercent()

Returns the ipper proof percentage bound for a case to be displayed

Returns:

casesPercent

getClassPercent

public int getClassPercent()

Returns the upper proof percentage bound for a class to be displayed

Returns:

classPercent

getMethodPercent

public int getMethodPercent()

Returns the upper proof percentage bound for a method to be displayed.

Returns:

methodPercent

isShowProved

public boolean isShowProved()

Returns whether the proved item should be display or not.

Returns:

showProved

isShowUnProved

public boolean isShowUnProved()

Returns whether the unproved item should be display or not.

Returns:

showUnProved

isShowGoalType

public boolean isShowGoalType()

Returns whether some goal types are not displayed.

Returns:

showGoalType

getShowTypes

public boolean getShowTypes(int i)

Returns whether a goal type should be displayed or not.

Parameters:

i - The goal type