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

Class InQualifierObject

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

Example:

struct C {
  void mfunc(int n, char* p, float& r) const;
};
  • InQualifierObject represents the value of *this (with type C const) on entry to the function.

Import path

import cpp

Direct supertypes

Indirect supertypes

Predicates

getIndirectionInput

INTERNAL: Do not use.

isQualifierObject

Holds if this is the input value pointed to by the this pointer of an instance member function.

toString

Inherited predicates

isParameter

Holds if this is the input value of the parameter with index index.

from FunctionInput
isParameterDeref

Holds if this is the input value pointed to by a pointer parameter to a function, or the input value referred to by a reference parameter to a function, where the parameter has index index.

from FunctionInput
isParameterDeref

Holds if this is the input value pointed to (through ind number of indirections) by a pointer parameter to a function, or the input value referred to by a reference parameter to a function, where the parameter has index index.

from FunctionInput
isParameterDerefOrQualifierObject

Holds if i >= 0 and isParameterDeref(i) holds for this value, or if i = -1 and isQualifierObject() holds for this value.

from FunctionInput
isParameterDerefOrQualifierObject

Holds if i >= 0 and isParameterDeref(i, ind) holds for this value, or if i = -1 and isQualifierObject(ind) holds for this value.

from FunctionInput
isParameterOrQualifierAddress

Holds if i >= 0 and isParameter(i) holds for this value, or if i = -1 and isQualifierAddress() holds for this value.

from FunctionInput
isQualifierAddress

Holds if this is the input value of the this pointer of an instance member function.

from FunctionInput
isQualifierObject

Holds if this is the input value pointed to by the this pointer of an instance member function.

from FunctionInput
isReturnValueDeref

Holds if this is the input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference.

from FunctionInput
isReturnValueDeref

Holds if this is the input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference.

from FunctionInput