Predicate PromiseFlow::loadStoreStep
Holds if there is a step copying a resolved/rejected promise value from promise pred
to promise succ
.
prop
is either valueProp()
if the value is a resolved value, or errorProp()
if the promise has been rejected.
Import path
import javascript
predicate loadStoreStep(Node pred, Node succ, string prop)