Module `RdbgStdLib`Source

Sourceval run : ?call_hooks:bool -> unit -> RdbgEvent.t

main:Launches the debuggees, calls hooks (by default), and returns the first event

Moving forwards

Sourceval next : RdbgEvent.t -> RdbgEvent.t

move:Computes the next event, calls the hooks functions on it, and returns that event

Sourceval next_np : RdbgEvent.t -> RdbgEvent.t

move:as next, without printing the current event

Sourceval nexti : RdbgEvent.t -> int -> RdbgEvent.t

move:Returns the ith next event

Sourceval nexti_np : RdbgEvent.t -> int -> RdbgEvent.t

move:Returns the ith next event without printing events

Sourceval step : RdbgEvent.t -> RdbgEvent.t

move:Goes to the next simulation step of the current node

Sourceval stepi : RdbgEvent.t -> int -> RdbgEvent.t

move:Goes to the ith simulation step of the current node

Sourceval next_cond : RdbgEvent.t -> (RdbgEvent.t -> bool) -> RdbgEvent.t

move:Returns the next event that satisfies a condition

Sourcetype ckptl = RdbgEvent.t list

Source

val next_cond_gen : 
  RdbgEvent.t ->
  (RdbgEvent.t -> bool) ->
  (RdbgEvent.t -> RdbgEvent.t) ->
  RdbgEvent.t

Sourceval next_match : RdbgEvent.t -> string -> RdbgEvent.t

move:Returns the next event s.t. the string arg is a substring of the event name

Sourceval previous_match : RdbgEvent.t -> string -> RdbgEvent.t

move:Returns the previous event s.t. the string arg is a substring of the event name

Sourceval loopforever : RdbgEvent.t -> unit

move:Loops forever

Moving backwards

Sourceval time_travel : bool -> unit

misc:Turns on/on the possibility to run backwards

Sourceval back : RdbgEvent.t -> RdbgEvent.t

move:Moves one event backwards

Sourceval backi : RdbgEvent.t -> int -> RdbgEvent.t

move:Moves i events backwards

Sourceval prev : RdbgEvent.t -> RdbgEvent.t

move:Moves one step backwards

Sourceval previ : RdbgEvent.t -> int -> RdbgEvent.t

move:Moves i steps backwards

Sourceval rev_cond : RdbgEvent.t -> (RdbgEvent.t -> bool) -> RdbgEvent.t

move:Returns the previous event satisfying a condition

Source

val rev_cond_gen : 
  RdbgEvent.t ->
  (RdbgEvent.t -> bool) ->
  (RdbgEvent.t -> RdbgEvent.t) ->
  (int -> unit) ->
  RdbgEvent.t

move:Returns the previous event satisfying a condition p using a custom next.

Since the next function may modify some (external) state, rev_cond_gen is parameterized by the restore_state:int->unit function that is able to restore the external state at its value at event i (the save_state i ought to be done by the caller)

Sourceval goto_s : RdbgEvent.t -> int -> RdbgEvent.t

move:Goes to step number i

Sourceval goto : RdbgEvent.t -> int -> RdbgEvent.t

move:Goes to event nb i

Sourceval ckpt_rate : int ref

Checkpoint rate (that can be changed).

Sourceval check_ref : (RdbgEvent.t -> bool) ref

A predicate that controls when check-point are done. By default, it is done periodically every !ckpt_rate event.

But of course one can change it (hence the ref)

Sourceval ckpt_list : RdbgEvent.t list ref

List of checkpoints made when !check_ref is true. This list is used and modified by the commands

rev
rev_cond
back/backi
goto

Sourceval goto_last_ckpt : int -> RdbgEvent.t

Breakpoints

Sourceval break : string -> unit

move:Adds a breakpoint on a node or a file. A breakpoint is a string of the form: "node" "node@line" "file" "file@line"

Sourceval breakpoints : string list ref

move:The list of breakpoints

Sourceval delete : unit -> unit

move:Removes all breakpoints

Sourceval continue : RdbgEvent.t -> RdbgEvent.t

move:continues to the next breakpoint

Sourceval rev : RdbgEvent.t -> RdbgEvent.t

move:runs backwards until the next breakpoint

Sourceval goto_brk : RdbgEvent.t -> string -> RdbgEvent.t

move:Goes to to a specific explicit breakpoint (cf 'break' for breakpoints syntax)

View data

Sourceval v : string -> RdbgEvent.t -> Data.v

data:Gets the value of an int variable

Sourceval vi : string -> RdbgEvent.t -> int

data:Gets the value of an int variable

Sourceval vf : string -> RdbgEvent.t -> float

data:Gets the value of a float variable

Sourceval vb : string -> RdbgEvent.t -> bool

data:Gets the value of a boolean variable

Sourceval print_src : RdbgEvent.t -> unit

data:Prints some source code information attached to an event

Sourceval print_call_stack : RdbgEvent.t -> unit

data:Prints the call stack

Hooks

Sourceval add_hook : string -> (RdbgEvent.t -> unit) -> unit

misc:Hooks are functions that are called each time a new event is obtained with the next function and thus with functions that use next, such as nexti, next_cond, rev_conv, step, stepi, and more).

add_hook adds (or replaces) a hook function in the hooks list.

Sourceval get_hook : string -> RdbgEvent.t -> unit

misc:Gets a hook function (may raise Not_found)

Sourceval del_hook : string -> unit

misc:Removes a hook

Sourceval del_all_hooks : unit -> unit

misc:Removes all hooks

Sourceval list_hooks : unit -> string list

misc:Lists hooks

Misc

Sourceval show_trace : bool ref

Controls the printing of skipped events

Sourceval show_data : bool ref

Controls the behavior of print_event

Sourceval show_src : bool ref

Controls the behavior of print_event

Sourceval string_of_event : RdbgEvent.t -> string

data:Prints an event

Sourceval print_event : RdbgEvent.t -> unit

package rdbg

Module RdbgStdLibSource