Source file `test_parsing_lisp.ml`

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
open Common

module Flag = Flag_parsing

(*****************************************************************************)
(* Subsystem testing *)
(*****************************************************************************)

let test_tokens_lisp file = 
  (match File_type.file_type_of_file file with
  | File_type.PL (File_type.Lisp _) -> ()
  | _ -> pr2 "warning: seems not a lisp file";
  );

  Flag.verbose_lexing := true;
  Flag.verbose_parsing := true;

  let toks = Parse_lisp.tokens file in
  toks |> List.iter (fun x -> pr2_gen x);
  ()

let test_parse_lisp xs =

  let fullxs = Lib_parsing_lisp.find_source_files_of_dir_or_files xs in
  let stat_list = ref [] in

  fullxs |> List.iter (fun file -> 
    pr2 ("PARSING: " ^ file);

    let (_xs, stat) = Parse_lisp.parse file in
    Common.push stat stat_list;
  );
  Parse_info.print_parsing_stat_list !stat_list;
  ()

(*****************************************************************************)
(* Unit tests *)
(*****************************************************************************)

(*****************************************************************************)
(* Main entry for Arg *)
(*****************************************************************************)

let actions () = [
  "-tokens_lisp", "   <file>", 
  Common.mk_action_1_arg test_tokens_lisp;
  "-parse_lisp", "   <files or dirs>", 
  Common.mk_action_n_arg test_parse_lisp;
]