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

static boolean

dkconfig_enabled Boolean.

Constructor Summary

DerivedParameterFilter()

Method Summary

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_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 class InvariantFilter