Class SwitchEdge
An edge from a Switch instruction to one of the cases, or to the default
branch.
Import path
import semmle.code.cpp.ir.IRDirect supertypes
Indirect supertypes
Known direct subtypes
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. |
| getValue | Gets the unique value of the switch expression for which control will flow along this edge, if any. |
| isDefault | Holds if this edge is the default edge. |
Inherited predicates
| toString | Gets a textual representation of this edge kind. | from EdgeKindImpl |