Class CaseEdge
A “case” edge, representing the successor of a Switch instruction when the
the condition value matches a corresponding case label.
Import path
import semmle.code.cpp.ir.IRDirect supertypes
Indirect supertypes
Predicates
| getMaxValue | Gets the largest value of the switch expression for which control will flow along this edge. |
| getMinValue | Gets the smallest value of the switch expression for which control will flow along this edge. |
| toString | Gets a textual representation of this edge kind. |
Inherited predicates
| getValue | Gets the unique value of the switch expression for which control will flow along this edge, if any. | from SwitchEdgeKindImpl |
| isDefault | Holds if this edge is the default edge. | from SwitchEdgeKindImpl |