Member predicate DataFlow :: SourceNode :: hasPropertyWrite
Holds if there is an assignment to property propName
on this node,
and the right hand side of the assignment is rhs
.
predicate
hasPropertyWrite
(
string
propName
,
Node
rhs
)