Module DataFlowMake::MergePathGraph3
Constructs a PathGraph
from three PathGraph
s by disjoint union.
Import path
import codeql.dataflow.DataFlow
Classes
PathNode | A node in a graph of path explanations that is formed by disjoint union of the three given graphs. |
Modules
PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |
Parameters
PathNode1 | PathNodeSig | |
PathNode2 | PathNodeSig | |
PathNode3 | PathNodeSig | |
Graph1 | PathGraphSig<MergePathGraph3::PathNode1> | |
Graph2 | PathGraphSig<MergePathGraph3::PathNode2> | |
Graph3 | PathGraphSig<MergePathGraph3::PathNode3> |