rdbg

RDBG: a reactive programs debugger
IN THIS PACKAGE
Module RdbgEvent
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;
}

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

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

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

exception Error of string * t