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

TPathNode

Fields

summary

Inherited fields

cfg		from PathNode
nd		from PathNode

Predicates

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 `n`, 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
getFlowLabel	Gets a flow label for the path node.	from PathNode
getNode	Gets the underlying data-flow node of this path node.	from PathNode
getPathSummary	Gets a summary for the 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 `n` and configuration `c`.	from PathNode

Charpred

MidPathNode