Member predicate OutReturnValueDeref::isReturnValueDeref
Holds if this is the output value pointed to by the return value of a function, if the function returns a pointer, or the output value referred to by the return value of a function, if the function returns a reference.
Example:
char* getPointer();
float& getReference();
int getInt();
isReturnValueDeref()
holds for theFunctionOutput
that represents the value of*getPointer()
(with typechar
).isReturnValueDeref()
holds for theFunctionOutput
that represents the value ofgetReference()
(with typefloat
).- There is no
FunctionOutput
ofgetInt()
for whichisReturnValueDeref()
holds because the return type ofgetInt()
is neither a pointer nor a reference.
predicate isReturnValueDeref()