package rdbg

  1. Overview
  2. Docs
RDBG: a reactive programs debugger.

Install 

dune-project
 Dependency

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

Authors

  1. E
    Erwan Jahier

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.175.tgz
sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608
md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/rdbg-plugin.rdbg/RdbgStdLib/index.html

Module RdbgStdLib

val next : Event.t -> Event.t

Compute the next event, call the hooks functions on it, and return that event

val next_np : Event.t -> Event.t
val add_hook : string -> (Event.t -> unit) -> unit

Add a function that is called after each next call

val get_hook : string -> Event.t -> unit

Get a hook function (raise Not_found if it does not exist)

val del_hook : string -> unit

Remove a hook

val del_all_hooks : unit -> unit

Remove all hooks

val list_hooks : unit -> string list

List hooks

val nexti : Event.t -> int -> Event.t

Returns the ith next event

val nexti_np : Event.t -> int -> Event.t

Returns the ith next event without printing events

val step : Event.t -> Event.t

go to the next simulation step of the current node

val stepi : Event.t -> int -> Event.t

go to the ith simulation step of the current node

val goto_s : Event.t -> int -> Event.t

go to step number i

val loopforever : Event.t -> unit

loop forever

val show_trace : bool ref

control the printing of skipped events

val show_data : bool ref

control the behavior of print_event

val show_src : bool ref

control the behavior of print_event

val print_event : Event.t -> unit

Print an event

val next_cond : Event.t -> (Event.t -> bool) -> Event.t

Returns the next event that satisfies a condition

val v : string -> Event.t -> Data.v

Get the value of an int variable

val vi : string -> Event.t -> int

Get the value of an int variable

val vf : string -> Event.t -> float

Get the value of a float variable

val vb : string -> Event.t -> bool

Get the value of a boolean variable

val print_src : Event.t -> unit

Print some source code information attached to an event

val print_call_stack : Event.t -> unit

print the call stack

val break : string -> unit

add a breapoint on a node or a file. A breakpoint is a string of the form: "node" "node::line" "file" "file::line"

val delete : unit -> unit

Remove all breakpoints

val continue : Event.t -> Event.t

continue to the next breakpoint

val goto_brk : Event.t -> string -> Event.t

Goto to a specific explicit breakpoint (cf 'break' for breakpoints syntax)

val goto : Event.t -> int -> Event.t

go to event nb i

val time_travel : bool -> unit

turns on/on the possibility to run backwards

val ckpt_rate : int ref

checkpoint rate

val rev : Event.t -> Event.t

run backwards until the next breakpoint

val rev_cond : Event.t -> (Event.t -> bool) -> Event.t

run backwards until the next breakpoint or condition

val back : Event.t -> Event.t

move one event back

move i events back

val backi : Event.t -> int -> Event.t

move i events back

val run : unit -> Event.t