com.ibm.wala.cast.ipa.modref

Class AstModRef<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>

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AstModRef.AstModVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
protected static class	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
AstModRef()

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.ipa.modref.ExtendedHeapModel	makeHeapModel(com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa)
protected com.ibm.wala.ipa.modref.ModRef.ModVisitor<T,? extends com.ibm.wala.ipa.modref.ExtendedHeapModel>	makeModVisitor(com.ibm.wala.ipa.callgraph.CGNode n, java.util.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<T,? extends com.ibm.wala.ipa.modref.ExtendedHeapModel>	makeRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n, java.util.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.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

AstModRef

public AstModRef()

Method Detail

makeHeapModel

public com.ibm.wala.ipa.modref.ExtendedHeapModel makeHeapModel(com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa)

Overrides:

makeHeapModel in class com.ibm.wala.ipa.modref.ModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

makeRefVisitor

protected com.ibm.wala.ipa.modref.ModRef.RefVisitor<T,? extends com.ibm.wala.ipa.modref.ExtendedHeapModel> makeRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n,
                                                                                                                          java.util.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.ipa.modref.ModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

makeModVisitor

protected com.ibm.wala.ipa.modref.ModRef.ModVisitor<T,? extends com.ibm.wala.ipa.modref.ExtendedHeapModel> makeModVisitor(com.ibm.wala.ipa.callgraph.CGNode n,
                                                                                                                          java.util.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.ipa.modref.ModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>