CodeQL library for Rust
codeql/rust-all 0.2.23 (changelog, source)
Search

Class RustDataFlowGen::ArgumentPosition

The position of an argument in a call.

In Rust there is a 1-to-1 correspondence between parameter positions and arguments positions, so we use the same underlying type for both.

Import path

import codeql.rust.dataflow.internal.DataFlowImpl

Direct supertypes

Indirect supertypes

Predicates

getArgument

Gets the argument of call at this position, if any.

Inherited predicates

getParameterfrom ParameterPosition
getParameterInfrom ParameterPosition
getPosition

Gets the underlying integer position, if any.

from ParameterPosition
hasPositionfrom ParameterPosition
isClosureSelf

Holds if this position represents a reference to a closure itself. Only used for tracking flow through captured variables.

from ParameterPosition
isSelf

Holds if this position represents the self position.

from ParameterPosition
toString

Gets a textual representation of this position.

from ParameterPosition