public abstract class ContextSelector extends Object
| Modifier and Type | Field and Description |
|---|---|
protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>> |
allocation |
protected Map<AllocNode,Set<ContextElements>> |
contextMap |
protected int |
depth |
| Modifier | Constructor and Description |
|---|---|
protected |
ContextSelector(OAG oag) |
protected |
ContextSelector(OAG oag,
int depth) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addAllocation(ContextElements ctx,
AllocNode heap,
ContextElements newCtx,
AllocNode succ) |
Set<Pair<ContextElements,AllocNode>> |
allocatedBy(ContextElements ctx,
AllocNode heap) |
Set<ContextElements> |
contextsOf(AllocNode heap) |
protected abstract void |
selectContext(OAG oag) |
protected int depth
protected Map<AllocNode,Set<ContextElements>> contextMap
protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>> allocation
protected ContextSelector(OAG oag)
protected ContextSelector(OAG oag, int depth)
public Set<ContextElements> contextsOf(AllocNode heap)
public Set<Pair<ContextElements,AllocNode>> allocatedBy(ContextElements ctx, AllocNode heap)
protected abstract void selectContext(OAG oag)
protected void addAllocation(ContextElements ctx, AllocNode heap, ContextElements newCtx, AllocNode succ)
Copyright © 2024 Soot OSS. All rights reserved.