Member predicate OutReturnValue::isReturnValue
Holds if this is the value returned by a function.
Example:
int getInt();
char* getPointer();
float& getReference();
isReturnValue()
holds for theFunctionOutput
that represents the value returned bygetInt()
(with typeint
).isReturnValue()
holds for theFunctionOutput
that represents the value returned bygetPointer()
(with typechar*
).isReturnValue()
holds for theFunctionOutput
that represents the “value” of the reference returned bygetReference()
(with typefloat&
), not the value of the referred-tofloat
.
predicate isReturnValue()