Source file `test_parsing_nw.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
open Common

module Flag = Flag_parsing

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

let test_tokens_nw file = 
  if not (file =~ ".*\\.nw") 
  then pr2 "warning: seems not a noweb file";

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

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

let test_parse_nw file =
  Parse_nw.parse file |> ignore

let test_dump_nw file =
  let ((trees, _toks), _stat) = Parse_nw.parse file in
  let v = Meta_ast_fuzzy.vof_trees trees in
  let s = Ocaml.string_of_v v in
  pr2 s

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

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

let actions () = [
  "-tokens_nw", "   <file>", 
  Common.mk_action_1_arg test_tokens_nw;
  "-parse_nw", "   <file>", 
  Common.mk_action_1_arg test_parse_nw;
  "-dump_nw", "   <file>", 
  Common.mk_action_1_arg test_dump_nw;
]