package rdbg

  1. Overview
  2. Docs
val next : Event.t -> Event.t

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

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

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 goto_i : Event.t -> int -> Event.t

go to event number i

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 -> Event.t

loop forever

val show_trace : bool Pervasives.ref

control the printing of skipped events

val show_data : bool Pervasives.ref

control the behavior of print_event

val show_src : bool Pervasives.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
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 time_travel : bool -> unit

turns on/on the possibility to run backwards

val ckpt_rate : int Pervasives.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 run : unit -> Event.t
val back : Event.t -> Event.t

move one step back

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

go to event nb i (backward or forward)

OCaml

Innovation. Community. Security.