public class GetMethodContextInterpreter extends Object implements SSAContextInterpreter
GetMethodContext
.GetMethodContext
,
GetMethodContextSelector
Modifier and Type | Field and Description |
---|---|
static MethodReference |
GET_DECLARED_METHOD
TODO
MH: Maybe hard-code those in
MethodReference ? |
static MethodReference |
GET_METHOD
TODO
MH: Maybe hard-code those in
MethodReference ? |
Constructor and Description |
---|
GetMethodContextInterpreter() |
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<FieldReference> |
iterateFieldsRead(CGNode node) |
Iterator<FieldReference> |
iterateFieldsWritten(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.
|
boolean |
understands(CGNode node)
Does this object understand the given method? The caller had better check this before inquiring on other properties.
|
public static final MethodReference GET_METHOD
MethodReference
?public static final MethodReference GET_DECLARED_METHOD
MethodReference
?public IR getIR(CGNode node)
getIR
in interface SSAContextInterpreter
SSAContextInterpreter.getIR(com.ibm.wala.ipa.callgraph.CGNode)
public int getNumberOfStatements(CGNode node)
getNumberOfStatements
in interface SSAContextInterpreter
SSAContextInterpreter.getNumberOfStatements(com.ibm.wala.ipa.callgraph.CGNode)
public boolean understands(CGNode node)
CHAContextInterpreter
understands
in interface CHAContextInterpreter
CHAContextInterpreter.understands(com.ibm.wala.ipa.callgraph.CGNode)
public Iterator<NewSiteReference> iterateNewSites(CGNode node)
iterateNewSites
in interface RTAContextInterpreter
public Iterator<CallSiteReference> iterateCallSites(CGNode node)
iterateCallSites
in interface CHAContextInterpreter
public boolean recordFactoryType(CGNode node, IClass klass)
RTAContextInterpreter
recordFactoryType
in interface RTAContextInterpreter
public Iterator<FieldReference> iterateFieldsRead(CGNode node)
iterateFieldsRead
in interface RTAContextInterpreter
public Iterator<FieldReference> iterateFieldsWritten(CGNode node)
iterateFieldsWritten
in interface RTAContextInterpreter
public ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode N)
getCFG
in interface SSAContextInterpreter
public DefUse getDU(CGNode node)
getDU
in interface SSAContextInterpreter