A Node augmented with a call context (except for sinks) and an access path.
Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.
Import path
import codeql.dataflow.internal.DataFlowImplPredicates
| getASuccessor | Gets a successor of this node, if any. |
| getLocation | Gets the location of this node. |
| getNode | Gets the underlying |
| getState | Gets the |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column |
| isSinkGroup | Holds if this node is a grouping of sink nodes. |
| isSource | Holds if this node is a source. |
| isSourceGroup | Holds if this node is a grouping of source nodes. |
| toString | Gets a textual representation of this element. |
| toStringWithContext | Gets a textual representation of this element, including a textual representation of the call context. |