Class DataFlowMake::MergePathGraph3::PathNode

A node in a graph of path explanations that is formed by disjoint union of the three 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`.
asPathNode3	Gets this as a projection on the third 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.