package rdbg

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

Install

Dune 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/Event/index.html

Module EventSource

Sourcetype src_info_atom = {
  1. str : string;
  2. file : string;
  3. line : int * int;
  4. char : int * int;
  5. stack : src_info_atom option;
}
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. kind : kind;
  8. name : string;
  9. lang : string;
  10. inputs : var list;
  11. outputs : var list;
  12. locals : var list;
  13. sinfo : (unit -> src_info) option;
}
Sourceexception End of int
Sourceexception Error of string * t
Sourceval set_nb : t -> int -> t
Sourceval incr_event_nb : t -> t
Sourceval decr_event_depth : t -> t
Sourceval incr_event_depth : t -> t
Sourceval print_expr : Format.formatter -> Expr.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct