Module DataFlow::AdditionalFlowStep

Contains predicates for accessing the steps contributed by AdditionalFlowStep and SharedFlowStep subclasses.

Import path

import javascript

jumpStep	Holds if `pred` → `succ` should be considered a value-preserving data flow edge that crosses calling contexts.
readStep	Holds if the property `prop` of the object `pred` should be read into `succ`.
step	Holds if `pred` → `succ` should be considered a data flow edge.
storeStep	Holds if `pred` should be stored in the object `succ` under the property `prop`.