Class AbstractValues::NullValue
Import path
import semmle.code.csharp.controlflow.GuardsDirect supertypes
Indirect supertypes
Inherited predicates
| asBooleanValue | Gets the boolean that this value represents, if any. | from GuardValue |
| asConstantValue | Gets the constant that this value represents, if any. | from GuardValue |
| asIntValue | Gets the integer that this value represents, if any. | from GuardValue |
| getDualValue | Gets the dual value. Examples of dual values include: - null vs. not null - true vs. false - evaluating to a specific value vs. evaluating to any other value - throwing an exception vs. not throwing an exception | from GuardValue |
| isIntRange | Holds if this value represents an integer range. | from GuardValue |
| isNonNullValue | Holds if this value represents non- | from GuardValue |
| isNullValue | Holds if this value represents | from GuardValue |
| isNullness | Holds if this value represents | from GuardValue |
| isSingleton | Holds if this value represents a single concrete value. | from GuardValue |
| isThrowsException | Holds if this value represents throwing an exception (or exiting). | from GuardValue |
| toString | Gets a textual representation of this value. | from GuardValue |