Package daikon.inv.filter
Class DerivedVariableFilter
- Object
-
- InvariantFilter
-
- DerivedVariableFilter
-
public class DerivedVariableFilter extends InvariantFilter
A filter that filters out invariants that contain derived variables of a specified derivation. If the derivation class name contains the regular expression in dkconfig_class_re, the invariant is filtered out. By default, no derived variables are matched.
-
-
Field Summary
Fields Modifier and Type Field Description static @Nullable Pattern
class_re
static @Nullable @Regex String
dkconfig_class_re
Regular expression to match against the class name of derived variables.
-
Constructor Summary
Constructors Constructor Description DerivedVariableFilter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable @Regex String
get_derivation_class_re()
String
getDescription()
-
Methods inherited from class InvariantFilter
getSetting, shouldDiscard, turnOff, turnOn
-
-
-
-
Field Detail
-
dkconfig_class_re
public static @Nullable @Regex String dkconfig_class_re
Regular expression to match against the class name of derived variables. Invariants that contain derived variables that match will be filtered out. If null, nothing will be filtered out.
-
-
Constructor Detail
-
DerivedVariableFilter
public DerivedVariableFilter()
-
-
Method Detail
-
getDescription
public String getDescription()
- Specified by:
getDescription
in classInvariantFilter
-
get_derivation_class_re
public @Nullable @Regex String get_derivation_class_re()
-
-