blob: f2b21f9e0f0c1f12218bb1c5e5383a85a837c5fa (
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
open StdLabels
module Report = Qsp_syntax.Report
type result = Report.t list [@@deriving show]
type filters = { level : Report.level option }
module Args = struct
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 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 =
[ ("--level", Arg.String level, "Message level [debug, warn, error]") ]
let parse () =
let () = Arg.parse speclist anon_fun usage in
let filters = { level = !level_value } in
(!input_files, filters)
end
(** Filter the results given by the analysis *)
let filter_report : filters -> Report.t list -> Report.t -> Report.t list =
fun filters reports r ->
let is_ok =
match filters.level with
| None -> true
| Some level -> Report.level_to_enum level >= Report.level_to_enum r.level
in
match is_ok with true -> r :: reports | _ -> reports
let () =
let file_names, filters = Args.parse () in
let file_name = List.hd file_names in
let ic = Stdlib.open_in file_name in
(*let lexer = Lexing.from_channel ~with_positions:true ic in*)
let lexer = Sedlexing.Utf8.from_channel ic in
let result =
Qparser.Analyzer.parse
(module Qsp_syntax.Type_of)
(module Sedlexing.Utf8)
lexer
in
match result with
| Ok f -> (
let report = List.fold_left (f []) ~init:[] ~f:(filter_report filters) in
(* Display the result *)
match report with
| [] -> exit 0
| _ ->
Format.fprintf Format.std_formatter "Location %s@;%a@." file_name
pp_result report;
let () =
match Sys.os_type with "Win32" -> ignore @@ read_line () | _ -> ()
in
exit 1)
| Error e ->
Format.fprintf Format.std_formatter "\nError in location %s\n%a" file_name
Qparser.Analyzer.format_error e;
let () =
match Sys.os_type with "Win32" -> ignore @@ read_line () | _ -> ()
in
exit 1
|
