Package daikon.inv.filter
Class DerivedParameterFilter
- Object
-
- InvariantFilter
-
- DerivedParameterFilter
-
public class DerivedParameterFilter extends InvariantFilter
Filter for not printing an Invariant if its VarInfos return isDerivedParameterAndUninteresting == true.
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_enabled
Boolean.
-
Constructor Summary
Constructors Constructor Description DerivedParameterFilter()
-
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, DerivedParameterFilter is initially turned on.
-
-
Constructor Detail
-
DerivedParameterFilter
public DerivedParameterFilter()
-
-
Method Detail
-
getDescription
public String getDescription()
- Specified by:
getDescription
in classInvariantFilter
-
-