Class OutQualifierObject

The output value pointed to by the this pointer of an instance member function.

Example:

struct C {
  void mfunc(int n, char* p, float& r);
};

The OutQualifierObject represents the value of *this (with type C) on return from the function.

Import path


                                import cpp

Direct supertypes

Indirect supertypes

TFunctionOutput

Predicates

isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member 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 `index`.	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 `index`.	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
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
isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member function.	from FunctionOutput
isReturnValue	Holds if this is the value returned by a 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