Class AstModRef<T extends InstanceKey>

java.lang.Object

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

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

Direct Known Subclasses:

AstJavaModRef, JavaScriptModRef

public class AstModRef<T extends InstanceKey>
extends ModRef<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	AstModRef.AstModVisitor<T extends InstanceKey>
protected static class	AstModRef.AstRefVisitor<T extends InstanceKey>

Nested classes/interfaces inherited from class ModRef

ModRef.ModVisitor<T,H>, ModRef.RefVisitor<T,H>

Constructor Summary

Constructors

Constructor	Description
AstModRef()

Method Summary

Modifier and Type	Method	Description
ExtendedHeapModel	makeHeapModel(PointerAnalysis<T> pa)
protected ModRef.ModVisitor<T, ? extends ExtendedHeapModel>	makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
protected ModRef.RefVisitor<T, ? extends ExtendedHeapModel>	makeRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h)

Methods inherited from class ModRef

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

Methods inherited from class Object

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

Constructor Details

AstModRef

public AstModRef()

Method Details

makeHeapModel

public ExtendedHeapModel makeHeapModel(PointerAnalysis<T> pa)

Overrides:

makeHeapModel in class ModRef<T extends InstanceKey>

makeRefVisitor

protected ModRef.RefVisitor<T, ? extends ExtendedHeapModel> makeRefVisitor(CGNode n,
 Collection<PointerKey> result,
 PointerAnalysis<T> pa,
 ExtendedHeapModel h)

Overrides:

makeRefVisitor in class ModRef<T extends InstanceKey>

makeModVisitor

protected ModRef.ModVisitor<T, ? extends ExtendedHeapModel> makeModVisitor(CGNode n,
 Collection<PointerKey> result,
 PointerAnalysis<T> pa,
 ExtendedHeapModel h,
 boolean ignoreAllocHeapDefs)

Overrides:

makeModVisitor in class ModRef<T extends InstanceKey>