Class AbstractValue
DEPRECATED: Use GuardValue instead.
An abstract value. This is either a boolean value, or a switch case.
Import path
import semmle.code.cpp.controlflow.IRGuardsDirect supertypes
Indirect supertypes
Known direct subtypes
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 |