package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

dune-project

Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.184.1.tgz

sha256=80c13ca3619b52c7e879ef90cd290d42775eb1032d526a9e1a770150d10a150d

md5=facf4de4f8b9f1a890e235d58163c66c

doc/rdbg-plugin/Event/index.html

Module `Event`

type var = Data.ident * Data.t

type src_info_atom = {

str : string;
file : string;
line : int * int;
char : int * int;
stack : src_info_atom option;

}

type src_info = {

expr : Expr.t;
atoms : src_info_atom list;
more : (unit -> Expr.t) option;
in_subst : (var * var) list;
out_subst : (var * var) list;

}

type kind =

| Ltop
| Call
| Exit
| MicroStep of string

type t = {

nb : int;
step : int;
depth : int;
data : Data.subst list;
next : unit -> t;
terminate : unit -> unit;
reset : unit -> unit;
save_state : int -> unit;
restore_state : int -> unit;
kind : kind;
name : string;
lang : string;
inputs : var list;
outputs : var list;
locals : var list;
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