Class AbstractValues::EmptyCollectionValue

A value that represents an empty or non-empty collection.

Import path

import semmle.code.csharp.controlflow.Guards

branch	Holds if the `s` branch out of `cfe` is taken iff `e` has this value.
getAnExpr	Gets an expression that has this abstract value. Two expressions that have the same concrete value also have the same abstract value, but not necessarily the other way around.
getDualValue	Gets an abstract value that represents the dual of this value, if any.
isEmpty	Holds if this value represents an empty collection.
isNonEmpty	Holds if this value represents a non-empty collection.
isReferentialProperty	Holds if this value describes a referential property. For example, emptiness of a collection is a referential property.
isSingleton	Holds if this is a singleton abstract value. That is, two expressions that have this abstract value also have the same concrete value.
toString	Gets a textual representation of this abstract value.