Module DataFlow :: MergePathGraph
Constructs a PathGraph from two PathGraphs by disjoint union.
Import path
import semmle.code.java.dataflow.DataFlow
Classes
| PathNode |
A node in a graph of path explanations that is formed by disjoint union of the two given graphs. |
Modules
| PathGraph |
Provides the query predicates needed to include a graph in a path-problem query. |
Parameters
| PathNode1 | PathNodeSig | |
| PathNode2 | PathNodeSig | |
| Graph1 | PathGraphSig<MergePathGraph::PathNode1> | |
| Graph2 | PathGraphSig<MergePathGraph::PathNode2> |