package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

rdbg
- Library rdbg-plugin
  - Coverage
  - Event
  - Expr
  - OcamlRM
  - OcamlRun
  - RdbgMisc
  - RdbgPlugin
  - RdbgVersion
- Library rdbg-plugin.rdbg4lurette
  - ExtTool
  - LucioleRun
  - RdbgArg
  - RdbgRun
  - RdbgWrapperArgs
  - RifRun
  - StdioRun
- Sources
  - rdbg-plugin
    
    event.ml
    
    expr.ml
    
    rdbgMisc.ml
    
    rdbgVersion.ml
  - rdbg-plugin.rdbg4lurette
    
    extTool.ml
    
    rdbgArg.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `RdbgArg`Source

Sourceval cmxs_or_cma : string

Sourceval usage_msg : string

Sourceval print_usage : unit -> unit

Sourcetype verbose_level = int

Sourcetype program_kind =

| SUT
| Env
| Oracle

Sourcetype reactive_program =

| Stdio of string
| StdioInit of string
| Sock of string * int
| SockInit of string * int
| Ocaml of RdbgPlugin.t

Sourceval program_kind_of_string : string -> program_kind

Sourceval program_kind_to_string : program_kind -> string

Sourceval reactive_program_to_string : reactive_program -> string

Sourcetype 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;

}

Sourceval make_args : unit -> t

Sourceval args : t

Sourceval pspec : out_channel -> (string * string list) -> unit

Sourceval options : out_channel -> unit

Sourceval more_options : out_channel -> unit

Sourceval myexit : int -> 'a

Sourceval unexpected : string -> 'a

Sourceval file_notfound : string -> 'a

Sourceval parse_stdio_string : string -> reactive_program

Sourceval my_int_of_string : string -> int

Sourceval parse_sock_string : string -> reactive_program

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

Sourceval mkoptab : t -> unit

Sourceval add_other : t -> string -> unit

Sourceval current : int ref

Sourceval first_line : string -> string

Sourceval parse : string array -> unit