Package daikon.inv.filter
Class ReadonlyPrestateFilter
- Object
-
- InvariantFilter
-
- ReadonlyPrestateFilter
-
public class ReadonlyPrestateFilter extends InvariantFilter
Suppress invariants that refer to the prestate value of a field marked withVarInfo.VarFlags.IS_READONLY
.
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_enabled
Boolean.
-
Constructor Summary
Constructors Constructor Description ReadonlyPrestateFilter()
-
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, ReadonlyPrestateFilter is initially turned on.
-
-
Constructor Detail
-
ReadonlyPrestateFilter
public ReadonlyPrestateFilter()
-
-
Method Detail
-
getDescription
public String getDescription()
- Specified by:
getDescription
in classInvariantFilter
-
-