public class InterproceduralCFG extends AbstractInterproceduralCFG<ISSABasicBlock>
Constructor and Description |
---|
InterproceduralCFG(CallGraph CG) |
InterproceduralCFG(CallGraph cg,
Filtersection<CGNode> filtersection) |
Modifier and Type | Method and Description |
---|---|
ControlFlowGraph<SSAInstruction,ISSABasicBlock> |
getCFG(CGNode n) |
addEdge, addEdgesToNonEntryBlock, addNode, callGraphUpdated, containsNode, getCallGraph, getCallSiteForCallBlock, getCallSites, getCallTargets, getCFG, getCGNode, getEntry, getExit, getLastInstructionForBlock, getMaxNumber, getNode, getNumber, getNumberOfNodes, getPredNodeCount, getPredNodeNumbers, getPredNodes, getReturnSites, getSuccNodeCount, getSuccNodeNumbers, getSuccNodes, hasCall, hasCall, hasEdge, isReturn, iterateNodes, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEach, spliterator
public InterproceduralCFG(CallGraph CG)
public InterproceduralCFG(CallGraph cg, Filtersection<CGNode> filtersection)
public ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode n) throws IllegalArgumentException
getCFG
in class AbstractInterproceduralCFG<ISSABasicBlock>
IllegalArgumentException
- if n == null