Module EdgeKind

Predicates to access the single instance of each EdgeKind class.

Import path

import semmle.code.cpp.ir.IR

caseEdge	Gets the `CaseEdge` representing a `case` label with the specified lower and upper bounds. For example: switch (x) { case 1: // Edge kind is `caseEdge("1", "1")` return x; case 2...8: // Edge kind is `caseEdge("2", "8")` return x - 1; default: // Edge kind is `defaultEdge()` return 0; }
defaultEdge	Gets the single instance of the `DefaultEdge` class.
exceptionEdge	Gets the single instance of the `ExceptionEdge` class.
falseEdge	Gets the single instance of the `FalseEdge` class.
gotoEdge	Gets the single instance of the `GotoEdge` class.
trueEdge	Gets the single instance of the `TrueEdge` class.