Member predicate DataflowAnnotation :: generatedBy
Holds if this annotation is generated for the variable v
when
the control-flow edge (src, dest)
is taken.
predicate
generatedBy
(
LocalScopeVariable
v
,
ControlFlowNode
src
,
ControlFlowNode
dest
)