Package daikon.inv.filter
Class DotNetStringFilter
- Object
-
- InvariantFilter
-
- DotNetStringFilter
-
public class DotNetStringFilter extends InvariantFilter
Suppress string invariants that are redundant for .NET. The following invariants will be discarded:x != null
, if!string.IsNullOrEmpty(...)
or!string.IsNullOrWhitespace(...)
is inferred.- Frame conditions for string properties, if the frame condition exists for the string (reference or value)
- String properties, if
OneOfString
is inferred. !string.IsNullOrEmpty(...)
if!string.IsNullOrWhitespace(...)
is inferred.string.IsNullOrWhitespace(...)
ifstring.IsNullOrEmpty(...)
is inferred.
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_enabled
Boolean.
-
Constructor Summary
Constructors Constructor Description DotNetStringFilter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDescription()
-
Methods inherited from class InvariantFilter
getSetting, shouldDiscard, turnOff, turnOn
-
-
-
-
Field Detail
-
dkconfig_enabled
public static boolean dkconfig_enabled
Boolean. If true, DotNetStringFilter is initially turned on. See its Javadoc.
-
-
Constructor Detail
-
DotNetStringFilter
public DotNetStringFilter()
-
-
Method Detail
-
getDescription
public String getDescription()
- Specified by:
getDescription
in classInvariantFilter
-
-