OQamlDebug

Demonstration Video

Features

Emulates only the emacs mode from OCamlDebug, does not need any hooks into ocaml core.
Full Qt application: can be compiled on Windows, MacOS and Linux
Save/Restore of window position, and debug parameter.
Detection of the modification of the debugged application or sources. (automatically reloaded when modifed)
Syntax highlighting of ocamldebug command and ocaml sources.
Persistent command line history
Mouse support: middle click on a symbol in the code to print it, and mouse wheel to step/backstep through the code.
Setting breakpoints directly into the source code and highlighting it into the source code.
Expression watch window.
Breakpoint management window.
Call stack window.
Application output is displayed in a separate window.
Execution control command (step, run, ...) from the graphical interface are hidden.
ocamldebug command line window displays the execution timestamp for each command.
Source window has now an incremental search dialog.

Download

Sources

Version 0.9.2:	http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.2.tar.gz
Version 0.9.1:	http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.1.tar.gz
Version 0.9.0:	http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.0.tar.gz
Version 0.0.0:	http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.0.0.tar.gz

Compiling

First install Qt 4.7 or above. then:

$ qmake
$ make

Usage

$ oqamldebug "ocamldebug arguments"

if no arguments are provided, OQamlDebug starts with the arguments of the previous session.

Using it with an IDE

OQamlDebug reloads automatically the ocaml sources as soon as they are modified. If the debugged application is modified, the debugger is automatically reinitialized. So it is not necessary to close OQamlDebug when editing a project.

Mouse

Source Window

In the source window, a click with the middle button displays the contains of a variable. The context menu permits to set a breakpoint to the selected location.

Debugger Window

In the debugger window, the wheel mouse can be use for debugging purpose:

Shift+Wheel:: performs a single step or a single backstep.
Control+Wheel:: performs a step over (next command) or a step over backwards (previous command).
Control+Shift+Wheel:: navigate through the call stack.

Limitation

Ctrl-C on Windows

Ctrl-C on Unix is implemented by sending a SIGINT to a process. This mechanism does not work on Windows. This explains why interrupting an application does not work on Windows.
For a support of this, ocamldebug has to be extended.