Predicate DataFlow::SharedFlowStep::loadStoreStep
Holds if the property loadProp should be copied from the object pred to the property storeProp of object succ.
Import path
import javascriptpredicate loadStoreStep(Node pred, Node succ, string loadProp, string storeProp)