Class FinalParameterUse

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals

getArgumentIndex
getBaseSourceVariable	Gets the base source variable (i.e., the variable without any indirection) of this definition or use.
getIndirection	Gets the index (i.e., the number of loads required) of this definition or use.
getLocation	Gets the location of this element.
getNode	Gets the node associated with this use.
getParameter
hasIndexInBlock	Holds if this definition or use has index `index` in block `block`.
isCertain	Holds if this use is guaranteed to read the associated variable.
toString	Gets a textual representation of this element.

getBlock	Gets the block of this definition or use.	from UseImpl
getIndirectionIndex	Gets the indirection index of this use.	from UseImpl
getSourceVariable	Gets the variable that is defined or used.	from UseImpl
hasIndexInBlock	Holds if this definition (or use) has index `index` in block `block`, and is a definition (or use) of the variable `sv`	from UseImpl