public class ContextInsensitiveContextManager extends java.lang.Object implements ContextManager
Constructor and Description |
---|
ContextInsensitiveContextManager(CallGraph cg) |
Modifier and Type | Method and 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() |
public ContextInsensitiveContextManager(CallGraph cg)
public void addStaticEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind)
addStaticEdge
in interface ContextManager
public void addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
addVirtualEdge
in interface ContextManager
public CallGraph callGraph()
callGraph
in interface ContextManager