Predicate DataFlow::localFieldStep
Holds if there is a step from pred
to succ
through a field accessed through this
in a class.
Import path
import javascript
predicate localFieldStep(Node pred, Node succ)
Holds if there is a step from pred
to succ
through a field accessed through this
in a class.
import javascript
predicate localFieldStep(Node pred, Node succ)