Class MatchValue
DEPRECATED: Use GuardValue instead.
A value that represents a match against a specific switch case.
Import path
import semmle.code.cpp.controlflow.IRGuardsDirect supertypes
Indirect supertypes
Predicates
| getCase | Gets the case. |
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. | from GuardValue |
| toString | Gets a textual representation of this value. | from GuardValue |