An abstract class that can be extended to add additional edges to the
control-flow graph. Instances of this class correspond to the source nodes
of such edges, and the predicate
getAnEdgeTarget should be overridden to
produce the target nodes of each source.
Changing the control-flow graph in some queries and not others can be expensive in execution time and disk space. Most cached predicates in the library depend on the control-flow graph, so these predicates will be computed and cached for each variation of the control-flow graph that is used.
Edges added by this class will still be removed by the library if they
appear to be unreachable. See the documentation on
more information about the control-flow graph.
Gets a target node of this edge, where the source node is