Class MakeImpl::Impl::Stage6Param::Ap
A list of Contents where nested tails are also paired with a
DataFlowType. If data flows from a source to a given node with a given
AccessPath, this indicates the sequence of dereference operations needed
to get from the value in the node to the tracked object. The
DataFlowTypes indicate the types of the stored values.
Import path
import codeql.dataflow.internal.DataFlowImplDirect supertypes
Predicates
| getApprox | Gets the approximation of this access path. |
| getFront | Gets the front of this access path. |
| getHead | Gets the head of this access path, if any. |
| isCons | Holds if this is a representation of |
| length | Gets the length of this access path. |
| toString | Gets a textual representation of this access path. |