public class CallGraphDebugger<W extends wpds.impl.Weight> extends Debugger<W>
| Constructor and Description |
|---|
CallGraphDebugger(File dotFile,
ObservableICFG<Statement,Method> icfg) |
| Modifier and Type | Method and Description |
|---|---|
void |
done(ObservableICFG<Statement,Method> icfg,
ObservableControlFlowGraph cfg,
Set<Method> visitedMethods,
Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers) |
String |
getCallGraphStatisticsAsCsv() |
String |
getCsvHeader() |
public CallGraphDebugger(File dotFile, ObservableICFG<Statement,Method> icfg)
public void done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
public String getCsvHeader()
public String getCallGraphStatisticsAsCsv()
Copyright © 2024. All rights reserved.