module ReportArgs:sig
..end
This module defines the values related to command-line analysis.
type
output_kind =
| |
Html_output of |
|||
| |
Xml_output of |
|||
| |
Xml_emma_output of |
|||
| |
Csv_output of |
|||
| |
Text_output of |
|||
| |
Dump_output of |
|||
| |
Bisect_output of |
(* | 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).
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.