Import path
import codeql.controlflow.ControlFlowGraph
Predicates
| beginAbruptCompletion | Holds if ast may result in an abrupt completion c originating at n. The boolean always indicates whether the abrupt completion always occurs or whether n may also terminate normally.
|
| catchAll | Holds if this catch clause catches all exceptions.
|
| endAbruptCompletion | Holds if an abrupt completion c from within ast is caught with flow continuing at n.
|
| matchAll | Holds if this case matches all possible values, for example, if it is a default case or a match-all pattern like Object o or if it is the final case in a switch that is known to be exhaustive.
|
| step | Holds if there is a local non-abrupt step from n1 to n2.
|