Module ReportArgs

module ReportArgs: sig .. end

This module defines the values related to command-line analysis.


type output_kind = 
| Html_output of string
| Xml_output of string
| Xml_emma_output of string
| Csv_output of string
| Text_output of string
| Dump_output of string
| Bisect_output of string (*

The type of output kinds.

*)
val outputs : output_kind list Stdlib.ref

Selected output kinds.

val verbose : bool Stdlib.ref

Whether verbose mode is activated.

val tab_size : int Stdlib.ref

Tabulation size (HTML only).

val title : string Stdlib.ref

Page title (HTML only).

val separator : string Stdlib.ref

Separator (CSV only).

val no_navbar : bool Stdlib.ref

Whether navigation bar is disabled (HTML only).

val no_folding : bool Stdlib.ref

Whether folding is disabled (HTML only).

val search_path : string list Stdlib.ref

Search path for files.

val files : string list Stdlib.ref

Files to gather (runtime data).

val combine_expr : string option Stdlib.ref

Expression used to combine data files.

val summary_only : bool Stdlib.ref

Whether to ouput onlly summary (text only).

val parse : unit -> unit

Parses the command-line.