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

Class InParameter

The input value of a parameter.

Example:

void func(int n, char* p, float& r);
  • There is an InParameter representing the value of n (with type int) on entry to the function.
  • There is an InParameter representing the value of p (with type char*) on entry to the function.
  • There is an InParameter representing the “value” of the reference r (with type float&) on entry to the function, not the value of the referred-to float.

Import path

import cpp

Direct supertypes

Indirect supertypes

Fields

Predicates

getIndex

Gets the zero-based index of the parameter.

getIndirectionInput

INTERNAL: Do not use.

isParameter

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

toString

Inherited predicates

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

Charpred