Predicate PromiseFlow::storeStep
Holds if there is a step for storing a value
into a promise obj
.
prop
is either valueProp()
if the value is a resolved value, or errorProp()
if the promise has been rejected.
Import path
import javascript
predicate storeStep(Node value, SourceNode obj, string prop)