public class AstModRef<T extends InstanceKey> extends ModRef<T>
Modifier and Type | Class and Description |
---|---|
protected static class |
AstModRef.AstModVisitor<T extends InstanceKey> |
protected static class |
AstModRef.AstRefVisitor<T extends InstanceKey> |
ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel>, ModRef.RefVisitor<T extends InstanceKey,H extends ExtendedHeapModel>
Constructor and Description |
---|
AstModRef() |
Modifier and Type | Method and Description |
---|---|
ExtendedHeapModel |
makeHeapModel(PointerAnalysis pa) |
protected ModRef.ModVisitor |
makeModVisitor(CGNode n,
Collection<PointerKey> result,
PointerAnalysis<T> pa,
ExtendedHeapModel h,
boolean ignoreAllocHeapDefs) |
protected ModRef.RefVisitor |
makeRefVisitor(CGNode n,
Collection<PointerKey> result,
PointerAnalysis<T> pa,
ExtendedHeapModel h) |
computeMod, computeMod, computeRef, computeRef, getMod, getMod, getRef, make, makeModVisitor
public ExtendedHeapModel makeHeapModel(PointerAnalysis pa)
makeHeapModel
in class ModRef<T extends InstanceKey>
protected ModRef.RefVisitor makeRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h)
makeRefVisitor
in class ModRef<T extends InstanceKey>
protected ModRef.ModVisitor makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
makeModVisitor
in class ModRef<T extends InstanceKey>