Previous  Up  Next

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 Pervasives.ref
Selected output kinds.
val verbose : bool Pervasives.ref
Whether verbose mode is activated.
val tab_size : int Pervasives.ref
Tabulation size (HTML only).
val title : string Pervasives.ref
Page title (HTML only).
val separator : string Pervasives.ref
Separator (CSV only).
val no_navbar : bool Pervasives.ref
Whether navigation bar is disabled (HTML only).
val no_folding : bool Pervasives.ref
Whether folding is disabled (HTML only).
val search_path : string list Pervasives.ref
Search path for files.
val files : string list Pervasives.ref
Files to gather (runtime data).
val combine_expr : string option Pervasives.ref
Expression used to combine data files.
val summary_only : bool Pervasives.ref
Whether to ouput onlly summary (text only).
val parse : unit -> unit
Parses the command-line.