soot.jimple.toolkits.callgraph
Interface ContextManager

All Known Implementing Classes:
ContextInsensitiveContextManager, ObjSensContextManager, OneCFAContextManager

public interface ContextManager

Interface for context managers, which decide how edges should be added to a context-sensitive call graph.

Author:
Ondrej Lhotak

Method Summary
 void addStaticEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, int kind)
           
 void addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, int kind, java.lang.Object typeContext)
           
 CallGraph callGraph()
           
 

Method Detail

addStaticEdge

public void addStaticEdge(MethodOrMethodContext src,
                          Unit srcUnit,
                          SootMethod target,
                          int kind)

addVirtualEdge

public void addVirtualEdge(MethodOrMethodContext src,
                           Unit srcUnit,
                           SootMethod target,
                           int kind,
                           java.lang.Object typeContext)

callGraph

public CallGraph callGraph()