Package boomerang.debugger

Class IDEVizDebugger<W extends wpds.impl.Weight>

java.lang.Object

boomerang.debugger.Debugger<W>

boomerang.debugger.IDEVizDebugger<W>

public class IDEVizDebugger<W extends wpds.impl.Weight>
extends Debugger<W>

Constructor Summary

Constructors

Constructor	Description
IDEVizDebugger(File ideVizFile)

Method Summary

Modifier and Type	Method	Description
void	done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph confg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers)
Integer	id(Object u)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IDEVizDebugger

public IDEVizDebugger(File ideVizFile)

Method Detail

done

public void done(ObservableICFG<Statement,Method> icfg,
                 ObservableControlFlowGraph confg,
                 Set<Method> visitedMethods,
                 Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers)

Overrides:

done in class Debugger<W extends wpds.impl.Weight>

id

public Integer id(Object u)