package rdbg

  1. Overview
  2. Docs

Module RdbgMainSource

Sourceval run : unit -> RdbgEvent.t

Runs the debuggees and returns the first event.

Sourceval info : unit -> unit

main:Displays info about the test parameters

Sourceval info_string : unit -> string
Sourceval i : unit -> unit

main:A Shortcut for info

Sourceval apropos : string -> unit

main:Lists functions related to a string

Sourceval a : string -> unit

main:A Shortcut for apropos

Sourceval help : string -> unit

main:Displays help about rdbg commands

Sourceval help_string : string -> string
Sourceval h : string -> unit

main:A Shortcut for help

Sourceval man : unit -> unit

main:Displays a small online manual

Sourceval off : unit -> unit

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

Sourceval quit : unit -> unit

main:Quits rdbg

Sourceval q : unit -> unit

main:Quits rdbg

Sourceval add_doc_entry : string -> string -> string -> string -> string -> unit

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

Sourceval doc_prof : string -> string

Gets the profile of a documented function

Sourceval doc_msg : string -> string

Gets the documentation message of a documented function

Sourceval doc_label : string -> string

Gets the documentation label of a documented function

Sourceval doc_file : string -> string

Gets the filename where the function is defined