CodeQL library for JavaScript

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)