Class AbstractValue
An abstract value.
Import path
import semmle.code.csharp.controlflow.Guards
Direct supertypes
Known direct subtypes
Predicates
branch |
Holds if the |
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. |
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. |