RdbgEvent · rdbg 1.196.12 · OCaml Packages

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