Uses of Class
qilin.core.context.ContextElements

Packages that use ContextElements

Package	Description
qilin.core.context
qilin.pta.toolkits.bean

Uses of ContextElements in qilin.core.context

Methods in qilin.core.context that return ContextElements

Modifier and Type	Method	Description
static ContextElements	ContextElements.newContext(ContextElements c, ContextElement ce, int depth)	Compose a new context by a given context and a heap.

Methods in qilin.core.context with parameters of type ContextElements

Modifier and Type	Method	Description
static ContextElements	ContextElements.newContext(ContextElements c, ContextElement ce, int depth)	Compose a new context by a given context and a heap.

Uses of ContextElements in qilin.pta.toolkits.bean

Fields in qilin.pta.toolkits.bean with type parameters of type ContextElements

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

Methods in qilin.pta.toolkits.bean that return types with arguments of type ContextElements

Modifier and Type	Method	Description
Set<Pair<ContextElements,AllocNode>>	ContextSelector.allocatedBy(ContextElements ctx, AllocNode heap)
Set<ContextElements>	ContextSelector.contextsOf(AllocNode heap)

Methods in qilin.pta.toolkits.bean with parameters of type ContextElements

Modifier and Type	Method	Description
protected void	ContextSelector.addAllocation(ContextElements ctx, AllocNode heap, ContextElements newCtx, AllocNode succ)
Set<Pair<ContextElements,AllocNode>>	ContextSelector.allocatedBy(ContextElements ctx, AllocNode heap)