Class DataFlow::PathNode

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

cfg
nd

getASuccessor	Gets a successor node of this path node.
getConfiguration	Gets the underlying configuration of this path node.
getFlowLabel	Gets a flow label for the path node.
getNode	Gets the underlying data-flow node of this path node.
getPathSummary	Gets a summary for the path node.
hasLocationInfo	Holds if this path node is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.
toString	Gets a textual representation of this path node.
wraps	Holds if this path node wraps data-flow node `n` and configuration `c`.