rdbg

RDBG: a reactive programs debugger
Library rdbg
Module RdbgMain
val run : unit -> RdbgEvent.t

Runs the debuggees and returns the first event.

val info : unit -> unit

main:Displays info about the test parameters

val info_string : unit -> string
val i : unit -> unit

main:A Shortcut for info

val apropos : string -> unit

main:Lists functions related to a string

val a : string -> unit

main:A Shortcut for apropos

val help : string -> unit

main:Displays help about rdbg commands

val help_string : string -> string
val h : string -> unit

main:A Shortcut for help

val man : unit -> unit

main:Displays a small online manual

val off : unit -> unit

main:Stops the interaction with the rdbg (behaves as lurette after that)

val quit : unit -> unit

main:Quits rdbg

val q : unit -> unit

main:Quits rdbg

val add_doc_entry : string -> string -> string -> string -> string -> unit

misc:Adds an entry in the doc add_doc_entry name profile message category file.

val doc_prof : string -> string

Gets the profile of a documented function

val doc_msg : string -> string

Gets the documentation message of a documented function

val doc_label : string -> string

Gets the documentation label of a documented function

val doc_file : string -> string

Gets the filename where the function is defined