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

Class ArgumentSpecialization.ArgumentSpecializationContextIntepreter

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.ArgumentSpecializationContextIntepreter

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

Enclosing class:

ArgumentSpecialization

public static class ArgumentSpecialization.ArgumentSpecializationContextIntepreter
extends com.ibm.wala.cast.ipa.callgraph.AstContextInsensitiveSSAContextInterpreter

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

options

Constructor Summary

Constructors

Constructor and Description
ArgumentSpecialization.ArgumentSpecializationContextIntepreter(com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.AnalysisCache cache)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.ssa.DefUse	getDU(com.ibm.wala.ipa.callgraph.CGNode node)
com.ibm.wala.ssa.IR	getIR(com.ibm.wala.ipa.callgraph.CGNode node)

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstContextInsensitiveSSAContextInterpreter

iterateCallSites, iterateNewSites, understands

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

getCFG, getIRView, getNumberOfStatements, recordFactoryType

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten

Methods inherited from class com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter

understands

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten

Methods inherited from interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

understands

Constructor Detail

ArgumentSpecialization.ArgumentSpecializationContextIntepreter

public ArgumentSpecialization.ArgumentSpecializationContextIntepreter(com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                                              com.ibm.wala.ipa.callgraph.AnalysisCache cache)

Method Detail

getIR

public com.ibm.wala.ssa.IR getIR(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getIR in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

Overrides:

getIR in class com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

getDU

public com.ibm.wala.ssa.DefUse getDU(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getDU in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

Overrides:

getDU in class com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter