Class DataFlow::MidPathNode

A path node corresponding to an intermediate node on a path from a source to a sink.

A mid node is a triple (nd, cfg, summary) where nd is a data-flow node and cfg is a configuration such that nd is on a path from a source to a sink under cfg summarized by summary.

Import path

import javascript

Direct supertypes

Indirect supertypes

Fields

Inherited fields

Predicates

getPathSummary

Gets the summary of the path underlying this path node.

isHidden

Holds if this node is hidden from paths in path explanation queries, except in cases where it is the source or sink.

wraps

Holds if this path node wraps data-flow node nd, configuration c and summary s.

Inherited predicates

getASuccessor

Gets a successor node of this path node.

from PathNode
getConfiguration

Gets the underlying configuration of this path node.

from PathNode
getNode

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

from PathNode
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.

from PathNode
toString

Gets a textual representation of this path node.

from PathNode
wraps

Holds if this path node wraps data-flow node nd and configuration c.

from PathNode

Charpred