soot.jimple.toolkits.callgraph
Class ObjSensContextManager

java.lang.Object
  extended by soot.jimple.toolkits.callgraph.ObjSensContextManager
All Implemented Interfaces:
ContextManager

public class ObjSensContextManager
extends Object
implements ContextManager

A context manager which creates an object-sensitive call graph.

Author:
Ondrej Lhotak

Constructor Summary
ObjSensContextManager(CallGraph cg)
           
 
Method Summary
 void addStaticEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind)
           
 void addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
           
 CallGraph callGraph()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ObjSensContextManager

public ObjSensContextManager(CallGraph cg)
Method Detail

addStaticEdge

public void addStaticEdge(MethodOrMethodContext src,
                          Unit srcUnit,
                          SootMethod target,
                          Kind kind)
Specified by:
addStaticEdge in interface ContextManager

addVirtualEdge

public void addVirtualEdge(MethodOrMethodContext src,
                           Unit srcUnit,
                           SootMethod target,
                           Kind kind,
                           Context typeContext)
Specified by:
addVirtualEdge in interface ContextManager

callGraph

public CallGraph callGraph()
Specified by:
callGraph in interface ContextManager