CodeQL library for C/C++
codeql/cpp-all 0.12.6 (changelog, source)
Search

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

Predicates

getIndirectionOutput

INTERNAL: Do not use.

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) 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
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