Package qilin.parm.ctxcons

Class TypeCtxConstructor

java.lang.Object

qilin.parm.ctxcons.TypeCtxConstructor

All Implemented Interfaces:

CtxConstructor

public class TypeCtxConstructor
extends Object
implements CtxConstructor

Field Summary

Fields inherited from interface qilin.parm.ctxcons.CtxConstructor

emptyContext

Constructor Summary

Constructors

Constructor	Description
TypeCtxConstructor()

Method Summary

Modifier and Type	Method	Description
Context	constructCtx(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeCtxConstructor

public TypeCtxConstructor()

Method Details

constructCtx

public Context constructCtx(ContextMethod caller,
 ContextAllocNode receiverNode,
 CallSite callSite,
 SootMethod target)

Specified by:

constructCtx in interface CtxConstructor