blob: e4e892ce2b5df8a8d2a0320911abb6711aeb3fc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
module Report = Qsp_syntax.Report
let input_files = ref []
let usage = "qsp_parser input_file"
let anon_fun filename = input_files := filename :: !input_files
let level_value = ref None
let reset_line = ref false
let interractive = ref true
type filters = { level : Report.level option }
type t = { reset_line : bool; filters : filters; interractive : bool }
(** All the arguments given from the command line *)
let level : string -> unit =
fun str_level ->
match Report.level_of_string str_level with
| Ok level_ -> level_value := Some level_
| Error e ->
print_endline e;
exit 1
let speclist =
let common_arguments =
[
( "--version",
Arg.Unit
(fun () ->
Printf.printf "Version %s\n" Tools.Git_hash.revision;
exit 0),
"\tDisplay the version of the application and exit" );
("--level", Arg.String level, "\tMessage level [debug, warn, error]");
( "--global",
Arg.Set reset_line,
"\tEach line is refered from the begining of the file and not the \
location" );
]
and windows_arguments =
match Sys.os_type with
| "Win32" ->
[
( "--no-prompt",
Arg.Clear interractive,
"\tDo not ask the user to press enter after processing the source"
);
]
| _ ->
interractive := false;
[]
in
common_arguments @ windows_arguments
let parse : unit -> string list * t =
fun () ->
let () = Arg.parse (Arg.align speclist) anon_fun usage in
let filters = { level = !level_value } in
( !input_files,
{ reset_line = !reset_line; filters; interractive = !interractive } )
|
