package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

Dune Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.v1.199.0.tgz

md5=da1c08e352dae8155c089823bf490f42

sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352

doc/rdbg/RdbgMain/index.html

Module `RdbgMain`Source

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