Class ControlFlowGraph::AdditionalControlFlowEdge

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 ControlFlowNode for more information about the control-flow graph.

Direct supertypes

Indirect supertypes



Gets a target node of this edge, where the source node is this.

Inherited predicates


Gets a textual representation of this element.

from ElementBase