CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.13 (changelog, source)
Search

Member predicate SsaVariableCapture::definesAt

INTERNAL: Use getBasicBlock() and getSourceVariable() instead.

Holds if this is a definition of source variable v at index idx in basic block bb.

Phi nodes are considered to be at index -1, all other definitions at the index of the control flow node they correspond to.

predicate definesAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)