Member predicate Ssa::ExplicitDefinition::isCapturedVariableDefinitionFlowIn
DEPRECATED.
Holds if this definition updates a captured local scope variable, and the updated
value may be read from the implicit entry definition def
using one or more calls
(as indicated by additionalCalls
), starting from call c
.
Example:
class C {
void M1() {
int i = 0;
void M2() => System.Console.WriteLine(i);
i = 1;
M2();
}
}
If this definition is the update of i
on line 5, then the value may be read inside
M2
via the call on line 6.
predicate isCapturedVariableDefinitionFlowIn(ImplicitEntryDefinition def, ElementNode c, boolean additionalCalls)