Member predicate Ssa::ExplicitDefinition::isCapturedVariableDefinitionFlowOut
DEPRECATED.
Holds if this definition updates a captured local scope variable, and the updated
value may be read from the implicit call definition cdef
using one or more calls
(as indicated by additionalCalls
).
Example:
class C {
void M1() {
int i = 0;
void M2() { i = 2; };
M2();
System.Console.WriteLine(i);
}
}
If this definition is the update of i
on line 4, then the value may be read outside
of M2
via the call on line 5.
predicate isCapturedVariableDefinitionFlowOut(ImplicitCallDefinition cdef, boolean additionalCalls)