Class DataFlowMake::MergePathGraph::PathNode

A node in a graph of path explanations that is formed by disjoint union of the two given graphs.

Import path

import codeql.dataflow.DataFlow

asPathNode1	Gets this as a projection on the first given `PathGraph`.
asPathNode2	Gets this as a projection on the second given `PathGraph`.
getLocation	Gets the location of this node.
getNode	Gets the underlying `Node`.
hasLocationInfo	Holds if this element 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 element.