daikon.inv.filter
Class InvariantFilters

Object
  InvariantFilters

public class InvariantFilters
extends Object

Field Summary

static int	ALL_VARIABLES
static int	ANY_VARIABLE

Constructor Summary

InvariantFilters()

Method Summary

static List<Invariant>	addEqualityInvariants(List<Invariant> invariants) This function takes a list of invariants, finds the equality Comparison invariants (x==y, y==z), and deletes and replaces them with Equality invariants (x==y==z).
void	addVariableFilter(String variable)
void	changeFilterSetting(String description, boolean turnOn)
boolean	containsVariableFilter(String variable)
static InvariantFilters	defaultFilters()
boolean	getFilterSetting(String description)
Iterator<InvariantFilter>	getPropertyFiltersIterator()
void	removeVariableFilter(String variable)
void	setVariableFilterType(int variableFilterType)
InvariantFilter	shouldKeep(Invariant invariant)
InvariantFilter	shouldKeepPropFilters(Invariant invariant)
InvariantFilter	shouldKeepVarFilters(Invariant invariant)
void	turnFiltersOff()
void	turnFiltersOn()

Methods inherited from class Object

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

Field Detail

ANY_VARIABLE

public static final int ANY_VARIABLE

See Also:

Constant Field Values

ALL_VARIABLES

public static final int ALL_VARIABLES

See Also:

Constant Field Values

Constructor Detail

InvariantFilters

public InvariantFilters()

Method Detail

defaultFilters

public static InvariantFilters defaultFilters()

shouldKeepVarFilters

public InvariantFilter shouldKeepVarFilters(Invariant invariant)

shouldKeepPropFilters

public InvariantFilter shouldKeepPropFilters(Invariant invariant)

shouldKeep

public InvariantFilter shouldKeep(Invariant invariant)

getPropertyFiltersIterator

public Iterator<InvariantFilter> getPropertyFiltersIterator()

getFilterSetting

public boolean getFilterSetting(String description)

changeFilterSetting

public void changeFilterSetting(String description,
                                boolean turnOn)

turnFiltersOn

public void turnFiltersOn()

turnFiltersOff

public void turnFiltersOff()

addVariableFilter

public void addVariableFilter(String variable)

containsVariableFilter

public boolean containsVariableFilter(String variable)

removeVariableFilter

public void removeVariableFilter(String variable)

setVariableFilterType

public void setVariableFilterType(int variableFilterType)

addEqualityInvariants

public static List<Invariant> addEqualityInvariants(List<Invariant> invariants)

This function takes a list of invariants, finds the equality Comparison invariants (x==y, y==z), and deletes and replaces them with Equality invariants (x==y==z). The first variable in an Equality invariant is always the canonical variable of the group. The Equality invariants are inserted into the beginning. Equality invariants are useful when it comes to displaying invariants.