Member predicate OutParameterDeref::isParameterDeref
Holds if this is the output value pointed to by a pointer parameter (through ind
number
of indirections) to a function, or the output value referred to by a reference parameter to
a function, where the parameter has index index
.
Example:
void func(int n, char* p, float& r);
isParameterDeref(1, 1)
holds for theFunctionOutput
that represents the value of*p
(with typechar
) on return from the function.isParameterDeref(2, 1)
holds for theFunctionOutput
that represents the value ofr
(with typefloat
) on return from the function.- There is no
FunctionOutput
for whichisParameterDeref(0, _)
holds, becausen
is neither a pointer nor a reference.
predicate isParameterDeref(ParameterIndex i, int ind)