Class ArgumentSpecialization.ArgumentSpecializationContextInterpreter

java.lang.Object

com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter

com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter

com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

com.ibm.wala.cast.ipa.callgraph.AstContextInsensitiveSSAContextInterpreter

com.ibm.wala.cast.js.ipa.callgraph.ArgumentSpecialization.ArgumentSpecializationContextInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

Enclosing class:

ArgumentSpecialization

public static class ArgumentSpecialization.ArgumentSpecializationContextInterpreter
extends AstContextInsensitiveSSAContextInterpreter

Field Summary

Fields inherited from class ContextInsensitiveSSAInterpreter

options

Modifier and Type	Field	Description
protected final AnalysisOptions	options

Constructor Summary

Constructors

Constructor	Description
ArgumentSpecializationContextInterpreter(AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)

Methods inherited from class AstContextInsensitiveSSAContextInterpreter

iterateCallSites, iterateNewSites, understands

Modifier and Type	Method	Description
Iterator<CallSiteReference>	iterateCallSites(CGNode N)
Iterator<NewSiteReference>	iterateNewSites(CGNode N)
boolean	understands(IMethod method)

Methods inherited from class ContextInsensitiveSSAInterpreter

getCFG, getIRView, getNumberOfStatements, recordFactoryType

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	getCFG(CGNode N)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass)	record that the "factory" method of a node should be interpreted to allocate a particular class.

Methods inherited from class ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten

Modifier and Type	Method	Description
IAnalysisCacheView	getAnalysisCache()
Iterator<FieldReference>	iterateFieldsRead(CGNode node)
Iterator<FieldReference>	iterateFieldsWritten(CGNode node)

Methods inherited from class ContextInsensitiveCHAContextInterpreter

understands

Modifier and Type	Method	Description
boolean	understands(CGNode node)	Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ArgumentSpecializationContextInterpreter

public ArgumentSpecializationContextInterpreter(AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

getIR

public IR getIR(CGNode node)

Specified by:

getIR in interface SSAContextInterpreter

Overrides:

getIR in class ContextInsensitiveSSAInterpreter

Returns:

the IR that models the method context, or null if it's an unmodelled native method

getDU

public DefUse getDU(CGNode node)

Specified by:

getDU in interface SSAContextInterpreter

Overrides:

getDU in class ContextInsensitiveSSAInterpreter

Returns:

DefUse for the IR that models the method context, or null if it's an unmodelled native method