Module SharedTypeTrackingStep

Provides access to the steps contributed by subclasses of SharedTypeTrackingStep.

Import path

import semmle.javascript.dataflow.TypeTracking

loadStep	Holds if type-tracking should step from the `prop` property of `pred` to `succ`.
loadStoreStep	Holds if type-tracking should step from the `prop` property of `pred` to the same property in `succ`.
loadStoreStep	Holds if type-tracking should step from the `loadProp` property of `pred` to the `storeProp` property in `succ`.
step	Holds if type-tracking should step from `pred` to `succ`.
storeStep	Holds if type-tracking should step from `pred` into the `prop` property of `succ`.
withoutPropStep	Holds if type-tracking should step from `pred` to `succ` but block flow of `prop` through here.