Member predicate DataFlow::SharedFlowStep::storeStep
Holds if pred
should be stored in the object succ
under the property prop
.
The object succ
must be a DataFlow::SourceNode
for the object wherein the value is stored.
predicate storeStep(Node pred, SourceNode succ, string prop)