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(1)
holds for theFunctionOutput
that represents the value of*getPointer()
(with typechar
).isReturnValueDeref(1)
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(int indirectionIndex_)