Class OutReturnValue

The value returned by a function.

Example:

int getInt();
char* getPointer();
float& getReference();

OutReturnValue represents the value returned by getInt() (with type int).
OutReturnValue represents the value returned by getPointer() (with type char*).
OutReturnValue represents the “value” of the reference returned by getReference() (with type float&), not the value of the referred-to float.

Import path

import cpp

Direct supertypes

Indirect supertypes

TFunctionOutput

Predicates

getIndirectionOutput	INTERNAL: Do not use.
isReturnValue	Holds if this is the value returned by a function.
toString

Inherited predicates

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`.	from FunctionOutput
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 `i`.	from FunctionOutput
isParameterDerefOrQualifierObject	Holds if `i >= 0` and `isParameterDeref(i)` holds for this is the value, or if `i = -1` and `isQualifierObject()` holds for this value.	from FunctionOutput
isParameterDerefOrQualifierObject	Holds if `i >= 0` and `isParameterDeref(i, ind)` holds for this is the value, or if `i = -1` and `isQualifierObject(ind)` holds for this value.	from FunctionOutput
isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member function.	from FunctionOutput
isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member function.	from FunctionOutput
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.	from FunctionOutput
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.	from FunctionOutput