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

Member predicate SsaDefinition::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 idx, SsaSourceVariable v)