jpov.viewer.tree
Class TreeFilterConfiguration

java.lang.Object
  jpov.viewer.tree.TreeFilterConfiguration

public class TreeFilterConfiguration

extends java.lang.Object

Class containing the configuration for a TreeFilterWindow.

Author:

L. Burdy, A. Requet

Field Summary

static TreeFilterConfiguration	SHOW_ALL The default configuration Show all.
static TreeFilterConfiguration	SHOW_CASES
static TreeFilterConfiguration	SHOW_UNPROVED The default configuration Show unproved.

Constructor Summary

TreeFilterConfiguration(java.lang.String n)
Creates a new TreeFilterConfiguration with the given name n.

TreeFilterConfiguration(java.lang.String n, boolean show_proved, boolean show_unproved, int class_percent, int method_percent, int cases_percent)
Constructs a tree filter configuration

Methods inherited from class java.lang.Object

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

Field Detail

SHOW_ALL

public static final TreeFilterConfiguration SHOW_ALL

The default configuration Show all.

SHOW_UNPROVED

public static final TreeFilterConfiguration SHOW_UNPROVED

The default configuration Show unproved.

SHOW_CASES

public static final TreeFilterConfiguration SHOW_CASES

Constructor Detail

TreeFilterConfiguration

public TreeFilterConfiguration(java.lang.String n)

Creates a new TreeFilterConfiguration with the given name n.

TreeFilterConfiguration

public TreeFilterConfiguration(java.lang.String n,
                               boolean show_proved,
                               boolean show_unproved,
                               int class_percent,
                               int method_percent,
                               int cases_percent)

Constructs a tree filter configuration

Parameters:

n - The name of the configuration

show_proved - indicates whether the proved items must be displayed or not

show_unproved - indicates whether the unproved items must be displayed or not.

class_percent - The upper proof percentage bound for a class to be displayed

method_percent - The upper proof percentage bound for a method to be displayed

cases_percent - The upper proof percentage bound for a case to be displayed