com.ibm.wala.cast.js.ipa.modref

Class JavaScriptModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

java.lang.Object

com.ibm.wala.ipa.modref.ModRef<T>

com.ibm.wala.cast.ipa.modref.AstModRef<T>

com.ibm.wala.cast.js.ipa.modref.JavaScriptModRef<T>

public class JavaScriptModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
extends com.ibm.wala.cast.ipa.modref.AstModRef<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	JavaScriptModRef.JavaScriptModVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
protected static class	JavaScriptModRef.JavaScriptRefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.modref.AstModRef

com.ibm.wala.cast.ipa.modref.AstModRef.AstModVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>, com.ibm.wala.cast.ipa.modref.AstModRef.AstRefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

Nested classes/interfaces inherited from class com.ibm.wala.ipa.modref.ModRef

com.ibm.wala.ipa.modref.ModRef.ModVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,H extends com.ibm.wala.ipa.modref.ExtendedHeapModel>, com.ibm.wala.ipa.modref.ModRef.RefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,H extends com.ibm.wala.ipa.modref.ExtendedHeapModel>

Constructor Summary

Constructors

Constructor and Description
JavaScriptModRef()

Method Summary

Methods

Modifier and Type	Method and Description
protected com.ibm.wala.ipa.modref.ModRef.ModVisitor	makeModVisitor(com.ibm.wala.ipa.callgraph.CGNode n, Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa, com.ibm.wala.ipa.modref.ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
protected com.ibm.wala.ipa.modref.ModRef.RefVisitor	makeRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n, Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa, com.ibm.wala.ipa.modref.ExtendedHeapModel h)

Methods inherited from class com.ibm.wala.cast.ipa.modref.AstModRef

makeHeapModel

Methods inherited from class com.ibm.wala.ipa.modref.ModRef

computeMod, computeMod, computeRef, computeRef, getMod, getMod, getRef, make, makeModVisitor

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaScriptModRef

public JavaScriptModRef()

Method Detail

makeRefVisitor

protected com.ibm.wala.ipa.modref.ModRef.RefVisitor makeRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n,
                                                       Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result,
                                                       com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa,
                                                       com.ibm.wala.ipa.modref.ExtendedHeapModel h)

Overrides:

makeRefVisitor in class com.ibm.wala.cast.ipa.modref.AstModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

makeModVisitor

protected com.ibm.wala.ipa.modref.ModRef.ModVisitor makeModVisitor(com.ibm.wala.ipa.callgraph.CGNode n,
                                                       Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result,
                                                       com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa,
                                                       com.ibm.wala.ipa.modref.ExtendedHeapModel h,
                                                       boolean ignoreAllocHeapDefs)

Overrides:

makeModVisitor in class com.ibm.wala.cast.ipa.modref.AstModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>