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