Predicate DataFlow :: SharedTypeTrackingStep :: storeStep
Holds if type-tracking should step from pred
into the prop
property of succ
.
Import path
import javascript
predicate
storeStep
(
Node
pred
,
SourceNode
succ
,
string
prop
)