Package qilin.parm.contextconstruction

Class TypeContextConstructor

java.lang.Object

qilin.parm.contextconstruction.TypeContextConstructor

All Implemented Interfaces:

ContextConstructor

public class TypeContextConstructor
extends Object
implements ContextConstructor

Field Summary

Fields inherited from interface qilin.parm.contextconstruction.ContextConstructor

emptyContext

Constructor Summary

Constructors

Constructor	Description
TypeContextConstructor()

Method Summary

Modifier and Type	Method	Description
Context	constructContext(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

TypeContextConstructor

public TypeContextConstructor()

Method Details

constructContext

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

Specified by:

constructContext in interface ContextConstructor