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

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)