Class AbstractInterproceduralCFG<T extends ISSABasicBlock>

java.lang.Object
com.ibm.wala.ipa.cfg.AbstractInterproceduralCFG<T>
All Implemented Interfaces:
EdgeManager<BasicBlockInContext<T>>, Graph<BasicBlockInContext<T>>, NodeManager<BasicBlockInContext<T>>, NumberedEdgeManager<BasicBlockInContext<T>>, NumberedGraph<BasicBlockInContext<T>>, NumberedNodeManager<BasicBlockInContext<T>>, Iterable<BasicBlockInContext<T>>
Direct Known Subclasses:
ExplodedInterproceduralCFG, InterproceduralCFG

public abstract class AbstractInterproceduralCFG<T extends ISSABasicBlock> extends Object implements NumberedGraph<BasicBlockInContext<T>>
Interprocedural control-flow graph, constructed lazily.