package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

rdbg-plugin
- Coverage
- Event
- Expr
- OcamlRM
- OcamlRun
- RdbgMisc
- RdbgPlugin
- RdbgVersion
rdbg-plugin.rdbg
- Coverage
- ExtTool
- LucioleRun
- LutinRdbg
- RdbgArg
- RdbgMain
- RdbgRun
- RdbgStdLib
- RdbgVersion
- StdioRun

Legend:
Library
Module
Module type
Parameter
Class
Class type

val cmxs_or_cma : string

val usage_msg : string

val print_usage : unit -> unit

type verbose_level = int

type program_kind =

| SUT
| Env
| Oracle

type reactive_program =

| Stdio of string
| StdioInit of string
| Ocaml of RdbgPlugin.t

val program_kind_of_string : string -> program_kind

val program_kind_to_string : program_kind -> string

val reactive_program_to_string : reactive_program -> string

type t = {

mutable _args : (string * Arg.spec * string) list;
mutable _user_man : (string * string list) list;
mutable _hidden_man : (string * string list) list;
mutable suts : reactive_program list;
mutable envs : reactive_program list;
mutable oracles : reactive_program list;
mutable step_nb : int;
mutable draw_nb : int;
mutable draw_inside : int;
mutable draw_edges : int;
mutable draw_vertices : int;
mutable all_formula : bool;
mutable all_vertices : bool;
mutable luciole_mode : bool;
mutable delay_env_outputs : bool;
mutable display_sim2chro : bool;
mutable display_gnuplot : bool;
mutable precision : int;
mutable verbose : verbose_level;
mutable display_local_var : bool;
mutable show_step : bool;
mutable output : string;
mutable overwrite_output : bool;
mutable prompt : string option;
mutable go : bool;
mutable log : bool;
mutable tmp_dir : string;
mutable tmp_dir_provided : string option;
mutable socket_inet_addr : string option;
mutable socket_port : int option;
mutable socket_err_port : int option;
mutable debug_rdbg : bool;
mutable rdbg : bool;
mutable cov_file : string;
mutable reset_cov_file : bool;
mutable stop_on_oracle_error : bool;
mutable icr : Pervasives.in_channel;
mutable ocr : Pervasives.out_channel;
mutable ecr : Pervasives.out_channel;
mutable _others : string list;
mutable _margin : int;

}

val make_args : unit -> t

val args : t

val pspec : Pervasives.out_channel -> (string * string list) -> unit

val options : Pervasives.out_channel -> unit

val more_options : Pervasives.out_channel -> unit

val myexit : int -> 'a

val unexpected : string -> 'a

val file_notfound : string -> 'a

val parse_sock_string : string -> reactive_program

val mkopt : 
  t ->
  string list ->
  ?hide:bool ->
  ?arg:string ->
  Arg.spec ->
  string list ->
  unit

val mkoptab : t -> unit

val add_other : t -> string -> unit

val current : int Pervasives.ref

val first_line : string -> string

val parse : string array -> unit