Class FinalParameterUse
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaImplDirect supertypes
Indirect supertypes
Fields
Inherited fields
Predicates
| getArgumentIndex | |
| 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 | |
| getSourceVariable | Gets the variable that is defined or used. |
| hasIndexInBlock | Holds if this definition or use has index |
| isCertain | Holds if this use is guaranteed to read the associated variable. |
| toString | Gets a textual representation of this element. |
Inherited predicates
| getBlock | Gets the block of this definition or use. | from UseImpl |
| getIndirectionIndex | Gets the indirection index of this use. | from UseImpl |
| hasIndexInBlock | Holds if this definition (or use) has index | from UseImpl |