Package daikon.inv.filter
Class VariableFilter
- Object
-
- InvariantFilter
-
- VariableFilter
-
public class VariableFilter extends InvariantFilter
-
-
Constructor Summary
Constructors Constructor Description VariableFilter(String variable)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDescription()
String
getVariable()
-
Methods inherited from class InvariantFilter
getSetting, shouldDiscard, turnOff, turnOn
-
-
-
-
Constructor Detail
-
VariableFilter
public VariableFilter(String variable)
-
-
Method Detail
-
getDescription
public String getDescription()
- Specified by:
getDescription
in classInvariantFilter
-
getVariable
public String getVariable()
-
-