Package soot.jimple.toolkits.callgraph

Class OneCFAContextManager

java.lang.Object

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

Constructors

Constructor	Description
OneCFAContextManager(CallGraph cg)

Method Summary

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