Class MakeImpl::Impl::Stage6Param::Ap
A list of Contents.
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.
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. |