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