Package daikon.inv.filter
-
Class Summary Class Description DerivedParameterFilter Filter for not printing an Invariant if its VarInfos return isDerivedParameterAndUninteresting == true.DerivedVariableFilter A filter that filters out invariants that contain derived variables of a specified derivation.DotNetStringFilter Suppress string invariants that are redundant for .NET.InvariantFilter InvariantFilters ObviousFilter OnlyConstantVariablesFilter ParentFilter Filter for not printing invariants that have a matching invariant at their parent PPT.ReadonlyPrestateFilter Suppress invariants that refer to the prestate value of a field marked withVarInfo.VarFlags.IS_READONLY.SimplifyFilter UnjustifiedFilter UnmodifiedVariableEqualityFilter Suppress invariants that merely indicate that a variable was unmodified.VariableFilter