soot.jimple.toolkits.callgraph
Class OneCFAContextManager

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

public class OneCFAContextManager
extends Object
implements ContextManager

A context manager which creates a 1-CFA call graph.

Author:
Ondrej Lhotak

Constructor Summary
OneCFAContextManager(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

OneCFAContextManager

public OneCFAContextManager(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