A data-flow node on an inter-procedural path from a source to a sink.

A path node wraps a data-flow node `nd`

and a data-flow configuration `cfg`

such that `nd`

is
on a path from a source to a sink under `cfg`

.

There are three kinds of path nodes:

- source nodes: wrapping a source node and a configuration such that there is a path from that source to some sink under the configuration;
- sink nodes: wrapping a sink node and a configuration such that there is a path from some source to that sink under the configuration;
- mid nodes: wrapping a node, a configuration and a path summary such that there is a path from some source to the node with the given summary that can be extended to a path to some sink node, all under the configuration.

## Import path

`import javascript`

## Direct supertypes

## Known direct subtypes

## Predicates

getASuccessor | Gets a successor node of this path node. |

getConfiguration | Gets the underlying configuration of this path node. |

getNode | Gets the underlying data-flow node of this path node. |

hasLocationInfo | Holds if this path node is at the specified location. The location spans column |

toString | Gets a textual representation of this path node. |

wraps | Holds if this path node wraps data-flow node |