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, makeModVisitorpublic 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>