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

static Pattern	class_re
static String	dkconfig_class_re Regular expression to match against the class name of derived variables.

Constructor Summary

DerivedVariableFilter()

Method Summary

String	get_derivation_class_re()
String	getDescription()

Methods inherited from class InvariantFilter

getSetting, shouldDiscard, turnOff, turnOn

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

dkconfig_class_re

public static 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.

class_re

public static Pattern class_re

Constructor Detail

DerivedVariableFilter

public DerivedVariableFilter()

Method Detail

getDescription

public String getDescription()

Specified by:

getDescription in class InvariantFilter

get_derivation_class_re

public String get_derivation_class_re()