package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

rdbg-plugin
- Data
- Event
- Expr
- LocalGenlex
- OcamlRM
- OcamlRun
- RdbgPlugin
- RifIO
rdbg-plugin.rdbg
- Coverage
- ExtTool
- GnuplotRif
- Luciole
- LucioleRun
- LutinRdbg
- Mypervasives
  - StringMap
- RdbgArg
- RdbgMain
- RdbgMisc
- RdbgRun
- RdbgStdLib
- StdioRun
- Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

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;

}

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;
kind : kind;
name : string;
lang : string;
inputs : var list;
outputs : var list;
sinfo : (unit -> src_info) option;

}

type ctx = {

ctx_step : int;
ctx_name : string;
ctx_depth : int;
ctx_data : Data.subst list;
ctx_terminate : unit -> unit;
ctx_inputs : var list;
ctx_outputs : var list;

}

exception End of int

exception Error of string * t

val seed : int Pervasives.ref

val set_seed : int -> unit

val event_nb : int Pervasives.ref

val set_nb : int -> unit

val get_nb : unit -> int

val incr_nb : unit -> int