Member predicate ParameterDef::getVariable
Gets the target variable of this definition or use.
The isDef
parameter is needed in order to ensure disjointness
of definitions and uses; in a variable initialization such as
int x = y
, y
is both a definition of x
, as well as a use of
y
, and isDef
is used to distinguish the two situations.