public class DefaultSSAInterpreter extends DefaultRTAInterpreter implements SSAContextInterpreter
Constructor and Description |
---|
DefaultSSAInterpreter(AnalysisOptions options,
AnalysisCache cache) |
Modifier and Type | Method and Description |
---|---|
ControlFlowGraph<SSAInstruction,ISSABasicBlock> |
getCFG(CGNode N) |
DefUse |
getDU(CGNode node) |
IR |
getIR(CGNode node) |
int |
getNumberOfStatements(CGNode node) |
Iterator<CallSiteReference> |
iterateCallSites(CGNode node) |
Iterator<NewSiteReference> |
iterateNewSites(CGNode node) |
boolean |
recordFactoryType(CGNode node,
IClass klass)
record that the "factory" method of a node should be interpreted to allocate a particular class.
|
iterateFieldsRead, iterateFieldsWritten, understands
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
iterateFieldsRead, iterateFieldsWritten
understands
public DefaultSSAInterpreter(AnalysisOptions options, AnalysisCache cache)
public IR getIR(CGNode node)
getIR
in interface SSAContextInterpreter
public int getNumberOfStatements(CGNode node)
getNumberOfStatements
in interface SSAContextInterpreter
public Iterator<NewSiteReference> iterateNewSites(CGNode node)
iterateNewSites
in interface RTAContextInterpreter
iterateNewSites
in class DefaultRTAInterpreter
public Iterator<CallSiteReference> iterateCallSites(CGNode node)
iterateCallSites
in interface CHAContextInterpreter
iterateCallSites
in class DefaultRTAInterpreter
public boolean recordFactoryType(CGNode node, IClass klass)
RTAContextInterpreter
recordFactoryType
in interface RTAContextInterpreter
recordFactoryType
in class DefaultRTAInterpreter
public ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode N)
getCFG
in interface SSAContextInterpreter
public DefUse getDU(CGNode node)
getDU
in interface SSAContextInterpreter