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