Package qilin.pta.toolkits.bean

Class ContextSelector

java.lang.Object

qilin.pta.toolkits.bean.ContextSelector

Direct Known Subclasses:

RepresentativeContextSelector

public abstract class ContextSelector
extends Object

Compute the contexts of each heap object via OAG.

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>>	allocation
protected Map<AllocNode,Set<ContextElements>>	contextMap
protected int	depth

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ContextSelector(OAG oag)
protected	ContextSelector(OAG oag, int depth)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

depth

protected int depth

contextMap

protected Map<AllocNode,Set<ContextElements>> contextMap

allocation

protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>> allocation

Constructor Details

ContextSelector

protected ContextSelector(OAG oag)

ContextSelector

protected ContextSelector(OAG oag,
 int depth)

Method Details

contextsOf

public Set<ContextElements> contextsOf(AllocNode heap)

allocatedBy

public Set<Pair<ContextElements,AllocNode>> allocatedBy(ContextElements ctx,
 AllocNode heap)

selectContext

protected abstract void selectContext(OAG oag)

addAllocation

protected void addAllocation(ContextElements ctx,
 AllocNode heap,
 ContextElements newCtx,
 AllocNode succ)