Class 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(...) if string.IsNullOrEmpty(...) is inferred.