Package qilin.pta.toolkits.zipper.analysis

Class PotentialContextElement

java.lang.Object

qilin.pta.toolkits.zipper.analysis.PotentialContextElement

public class PotentialContextElement
extends Object

Method Summary

Modifier and Type	Method	Description
Set<SootMethod>	methodsInvokedOn(AllocNode obj)
Set<SootMethod>	PCEMethodsOf(Type type)

Methods inherited from class java.lang.Object

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

Method Details

PCEMethodsOf

public Set<SootMethod> PCEMethodsOf(Type type)

methodsInvokedOn

public Set<SootMethod> methodsInvokedOn(AllocNode obj)