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.1.175.tgz
sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608
md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/rdbg-plugin/Event/index.html

Module Event

type var = Data.ident * Data.t
type src_info_atom = {
  1. str : string;
  2. file : string;
  3. line : int * int;
  4. char : int * int;
  5. stack : src_info_atom option;
}
type 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;
}
type kind =
  1. | Ltop
  2. | Call
  3. | Exit
  4. | MicroStep of string
type 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;
}
exception End of int
exception Error of string * t
val set_nb : t -> int -> t
val incr_event_nb : t -> t
val decr_event_depth : t -> t
val incr_event_depth : t -> t
val print_expr : Format.formatter -> Expr.t -> unit