Member predicate DataflowAnnotation :: assignedBy
Holds if the variable v
is assigned this annotation when src
is an assignment
expression that assigns to v
and the control-flow edge (src, dest)
is taken.
predicate
assignedBy
(
LocalScopeVariable
v
,
ControlFlowNode
src
,
ControlFlowNode
dest
)