daikon.inv.filter
Class ObviousFilter

Object
  InvariantFilter
      ObviousFilter

public class ObviousFilter
extends InvariantFilter

Field Summary

static boolean

dkconfig_enabled Boolean.

Constructor Summary

ObviousFilter()

Method Summary

String

getDescription()

Methods inherited from class InvariantFilter

getSetting, shouldDiscard, turnOff, turnOn

Methods inherited from class Object

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

Field Detail

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. If true, ObviousFilter is initially turned on.

Constructor Detail

ObviousFilter

public ObviousFilter()

Method Detail

getDescription

public String getDescription()

Specified by:

getDescription in class InvariantFilter