Package daikon.inv.filter
Class ObviousFilter
- Object
-
- InvariantFilter
-
- ObviousFilter
-
public class ObviousFilter extends InvariantFilter
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_enabled
Boolean.
-
Constructor Summary
Constructors Constructor Description ObviousFilter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDescription()
-
Methods inherited from class InvariantFilter
getSetting, shouldDiscard, turnOff, turnOn
-
-
-
-
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 classInvariantFilter
-
-