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.refSelected output kinds.
val verbose : bool Stdlib.refWhether verbose mode is activated.
val tab_size : int Stdlib.refTabulation size (HTML only).
val title : string Stdlib.refPage title (HTML only).
val separator : string Stdlib.refSeparator (CSV only).
: bool Stdlib.refWhether navigation bar is disabled (HTML only).
val no_folding : bool Stdlib.refWhether folding is disabled (HTML only).
val search_path : string list Stdlib.refSearch path for files.
val files : string list Stdlib.refFiles to gather (runtime data).
val combine_expr : string option Stdlib.refExpression used to combine data files.
val summary_only : bool Stdlib.refWhether to ouput onlly summary (text only).
val parse : unit -> unitParses the command-line.