boomerang.debugger

Class ConsoleDebugger<W extends wpds.impl.Weight>

java.lang.Object

boomerang.debugger.Debugger<W>

boomerang.debugger.ConsoleDebugger<W>

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

Constructor Summary

Constructors

Constructor and Description
ConsoleDebugger()

Method Summary

Modifier and Type	Method and Description
void	done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)

Methods inherited from class boomerang.debugger.Debugger

done

Methods inherited from class java.lang.Object

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

Constructor Detail

ConsoleDebugger

public ConsoleDebugger()

Method Detail

done

public void done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)