Class InterproceduralCFG

All Implemented Interfaces:
EdgeManager<BasicBlockInContext<ISSABasicBlock>>, Graph<BasicBlockInContext<ISSABasicBlock>>, NodeManager<BasicBlockInContext<ISSABasicBlock>>, NumberedEdgeManager<BasicBlockInContext<ISSABasicBlock>>, NumberedGraph<BasicBlockInContext<ISSABasicBlock>>, NumberedNodeManager<BasicBlockInContext<ISSABasicBlock>>, Iterable<BasicBlockInContext<ISSABasicBlock>>

public class InterproceduralCFG extends AbstractInterproceduralCFG<ISSABasicBlock>
Interprocedural control-flow graph.

TODO: think about a better implementation; perhaps a lazy view of the constituent CFGs Lots of ways this can be optimized?