Module Make::Cached::Public

Import path

import codeql.controlflow.Cfg

forceCachingInSameStage	If needed, call this predicate from in order to force a stage-dependency on this cached stage.
getAControlFlowEntryNode	Gets a first AST node executed within `n`.
getAControlFlowExitNode	Gets a potential last AST node executed within `n`.
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.