Class JavaScriptModRef<T extends 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 InstanceKey>
extends AstModRef<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JavaScriptModRef.JavaScriptModVisitor<T extends InstanceKey>
static class	JavaScriptModRef.JavaScriptRefVisitor<T extends InstanceKey>

Nested classes/interfaces inherited from class AstModRef

AstModRef.AstModVisitor<T>, AstModRef.AstRefVisitor<T>

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>

Modifier and Type	Class	Description
static class	ModRef.ModVisitor<T extends InstanceKey, H extends ExtendedHeapModel>
static class	ModRef.RefVisitor<T extends InstanceKey, H extends ExtendedHeapModel>

Constructor Summary

Constructors

Constructor	Description
JavaScriptModRef()

Method Summary

Modifier and Type	Method	Description
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 AstModRef

makeHeapModel

Modifier and Type	Method	Description
ExtendedHeapModel	makeHeapModel(PointerAnalysis<T> pa)

Methods inherited from class ModRef

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

Modifier and Type	Method	Description
Map<CGNode, OrdinalSet<PointerKey>>	computeMod(CallGraph cg, PointerAnalysis<T> pa)	For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively
Map<CGNode, OrdinalSet<PointerKey>>	computeMod(CallGraph cg, PointerAnalysis<T> pa, HeapExclusions heapExclude)	For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively
Map<CGNode, OrdinalSet<PointerKey>>	computeRef(CallGraph cg, PointerAnalysis<T> pa)	For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively
Map<CGNode, OrdinalSet<PointerKey>>	computeRef(CallGraph cg, PointerAnalysis<T> pa, HeapExclusions heapExclude)	For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively
Set<PointerKey>	getMod(CGNode n, ExtendedHeapModel h, PointerAnalysis<T> pa, SSAInstruction s, HeapExclusions hexcl)	Compute the set of PointerKeys that represent pointers that instruction s may write to.
Set<PointerKey>	getMod(CGNode n, ExtendedHeapModel h, PointerAnalysis<T> pa, SSAInstruction s, HeapExclusions hexcl, boolean ignoreAllocHeapDefs)	Compute the set of PointerKeys that represent pointers that instruction s may write to.
Set<PointerKey>	getRef(CGNode n, ExtendedHeapModel h, PointerAnalysis<T> pa, SSAInstruction s, HeapExclusions hexcl)	Compute the set of PointerKeys that represent pointers that instruction s may read.
static <U extends InstanceKey> ModRef<U>	make()
protected ModRef.ModVisitor<T,?>	makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h)

Methods inherited from class Object

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

Constructor Details

JavaScriptModRef

public JavaScriptModRef()

Method Details

makeRefVisitor

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

Overrides:

makeRefVisitor in class AstModRef<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 AstModRef<T extends InstanceKey>