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.v1.199.0.tgz
md5=da1c08e352dae8155c089823bf490f42
sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352

doc/rdbg/RdbgEvent/index.html

Module RdbgEventSource

Sourcetype src_info_atom = {
  1. str : string;
  2. file : string;
  3. line : int * int;
  4. char : int * int;
  5. stack : src_info_atom option;
}

Source info related to the current control point. Its content depends on the plugin it comes from.

Sourcetype src_info = {
  1. expr : Expr.t;
  2. atoms : src_info_atom list;
  3. more : (unit -> Expr.t) option;
  4. in_subst : (var * var) list;
  5. out_subst : (var * var) list;
}
Sourcetype kind =
  1. | Ltop
  2. | Call
  3. | Exit
  4. | MicroStep of string
Sourcetype t = {
  1. nb : int;
  2. step : int;
  3. depth : int;
  4. data : Data.subst list;
  5. next : unit -> t;
  6. terminate : unit -> unit;
  7. reset : unit -> unit;
  8. save_state : int -> unit;
  9. restore_state : int -> unit;
  10. kind : kind;
  11. name : string;
  12. lang : string;
  13. inputs : var list;
  14. outputs : var list;
  15. locals : var list;
  16. sinfo : (unit -> src_info) option;
}
Sourceexception End of int

raised by next when there is no next event. Holds the event number.

Sourceexception Error of string * t