Library

Module

Module type

Parameter

Class

Class type

sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)">

On This Page

Legend:

Library

Module

Module type

Parameter

Class

Class type

Library

Module

Module type

Parameter

Class

Class type

`val run : ?call_hooks:bool -> unit -> RdbgEvent.t`

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

`val next : RdbgEvent.t -> RdbgEvent.t`

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

`val next_np : RdbgEvent.t -> RdbgEvent.t`

move:as next, without printing the current event

`val nexti : RdbgEvent.t -> int -> RdbgEvent.t`

move:Returns the ith next event

`val nexti_np : RdbgEvent.t -> int -> RdbgEvent.t`

move:Returns the ith next event without printing events

`val step : RdbgEvent.t -> RdbgEvent.t`

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

`val stepi : RdbgEvent.t -> int -> RdbgEvent.t`

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

`val next_cond : RdbgEvent.t -> (RdbgEvent.t -> bool) -> RdbgEvent.t`

move:Returns the next event that satisfies a condition

`type ckptl = RdbgEvent.t list`

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

`val next_match : RdbgEvent.t -> string -> RdbgEvent.t`

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

`val previous_match : RdbgEvent.t -> string -> RdbgEvent.t`

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

`val loopforever : RdbgEvent.t -> unit`

move:Loops forever

`val back : RdbgEvent.t -> RdbgEvent.t`

move:Moves one event backwards

`val backi : RdbgEvent.t -> int -> RdbgEvent.t`

move:Moves i events backwards

`val prev : RdbgEvent.t -> RdbgEvent.t`

move:Moves one step backwards

`val previ : RdbgEvent.t -> int -> RdbgEvent.t`

move:Moves i steps backwards

`val rev_cond : RdbgEvent.t -> (RdbgEvent.t -> bool) -> RdbgEvent.t`

move:Returns the previous event satisfying a condition

```
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)

`val goto_s : RdbgEvent.t -> int -> RdbgEvent.t`

move:Goes to step number i

`val goto : RdbgEvent.t -> int -> RdbgEvent.t`

move:Goes to event nb i

`val check_ref : (RdbgEvent.t -> bool) Stdlib.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)

`val ckpt_list : RdbgEvent.t list Stdlib.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

`val goto_last_ckpt : int -> RdbgEvent.t`

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

`val continue : RdbgEvent.t -> RdbgEvent.t`

move:continues to the next breakpoint

`val rev : RdbgEvent.t -> RdbgEvent.t`

move:runs backwards until the next breakpoint

`val goto_brk : RdbgEvent.t -> string -> RdbgEvent.t`

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

`val v : string -> RdbgEvent.t -> Data.v`

data:Gets the value of an int variable

`val vi : string -> RdbgEvent.t -> int`

data:Gets the value of an int variable

`val vf : string -> RdbgEvent.t -> float`

data:Gets the value of a float variable

`val vb : string -> RdbgEvent.t -> bool`

data:Gets the value of a boolean variable

`val print_src : RdbgEvent.t -> unit`

data:Prints some source code information attached to an event

`val print_call_stack : RdbgEvent.t -> unit`

data:Prints the call stack

`val 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.

`val get_hook : string -> RdbgEvent.t -> unit`

misc:Gets a hook function (may raise `Not_found`

)

`val string_of_event : RdbgEvent.t -> string`

data:Prints an event

`val print_event : RdbgEvent.t -> unit`

On This Page