daikon.inv.filter
Class InvariantFilter

Object
  InvariantFilter

Direct Known Subclasses:

DerivedParameterFilter, DerivedVariableFilter, ObviousFilter, OnlyConstantVariablesFilter, ParentFilter, SimplifyFilter, UnjustifiedFilter, UnmodifiedVariableEqualityFilter, VariableFilter

public abstract class InvariantFilter
extends Object

Constructor Summary

InvariantFilter()

InvariantFilter(boolean isOn)

Method Summary

abstract String	getDescription()
boolean	getSetting()
boolean	shouldDiscard(Invariant invariant)
void	turnOff()
void	turnOn()

Methods inherited from class Object

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

Constructor Detail

InvariantFilter

public InvariantFilter(boolean isOn)

InvariantFilter

public InvariantFilter()

Method Detail

getDescription

public abstract String getDescription()

turnOn

public void turnOn()

turnOff

public void turnOff()

getSetting

public boolean getSetting()

shouldDiscard

public boolean shouldDiscard(Invariant invariant)