Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared
Predicates
| forceCachingInSameStage | If needed, call this predicate from ControlFlowGraphImplSpecific.qll in order to force a stage-dependency on the ControlFlowGraphImplShared.qll stage and thereby collapsing the two stages.
|
| getAControlFlowEntryNode | Gets a first control flow element executed within cfe.
|
| getAControlFlowExitNode | Gets a potential last control flow element executed within cfe.
|
| getASuccessor | Gets a successor node of a given flow type, if any.
|
| getNodeCfgScope | Gets the CFG scope of node n. Unlike getCfgScope, this predicate is calculated based on reachability from an entry node, and it may yield different results for AST elements that are split into multiple scopes.
|
| splitsToString | |
Datatypes
| TCfgNode | Internal representation of control flow nodes in the control flow graph. The control flow graph is pruned for unreachable nodes.
|
| TSplits | |