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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
open Base
open Ocamlformat_lib
module Test_location = struct
let test_compare_width_decreasing =
let open Migrate_ast in
let test name a b expected =
let test_name = "compare_width_decreasing: " ^ name in
( test_name
, `Quick
, fun () ->
let got = Location.compare_width_decreasing a b in
Alcotest.check Alcotest.int test_name expected got )
in
let make_pos pos_cnum =
{Lexing.pos_fname= "fname"; pos_lnum= 0; pos_bol= 0; pos_cnum}
in
let make_loc s e loc_ghost =
{Location.loc_start= make_pos s; loc_end= make_pos e; loc_ghost}
in
[ test "equal" (make_loc 0 0 false) (make_loc 0 0 false) 0
; test "different start" (make_loc 0 0 false) (make_loc 1 0 false) (-1)
; test "same start" (make_loc 0 0 false) (make_loc 0 1 false) 1
; test "same start, same end" (make_loc 0 0 true) (make_loc 0 0 false) 1
]
let tests = test_compare_width_decreasing
end
module Test_noit = struct
module Itv = struct
module T = struct
type t = int * int
let sexp_of_t (s, e) =
Base.Sexp.List [Base.Int.sexp_of_t s; Base.Int.sexp_of_t e]
let compare = Poly.compare
end
include T
include Comparator.Make (T)
let contains (sa, ea) (sb, eb) = sa <= sb && eb <= ea
let compare_width_decreasing (sa, ea) (sb, eb) =
Poly.compare (sa, -ea) (sb, -eb)
let pp ppf (s, e) = Stdlib.Format.fprintf ppf "(%d, %d)" s e
let equal = Poly.equal
end
module T = Non_overlapping_interval_tree.Make (Itv)
let itv_list = Alcotest.list (module Itv)
let test_dump =
let to_string t = Format_.asprintf "%a" Fmt.eval (T.dump t) in
let test name l expected =
let test_name = "dump: " ^ name in
( test_name
, `Quick
, fun () ->
let t = T.of_list l in
let got = to_string t in
Alcotest.check Alcotest.string test_name expected got )
in
[ test "empty" [] ""
; test "singleton" [(1, 2)] "(1 2)"
; test "disjoint" [(1, 2); (3, 5)] "(1 2)\n(3 5)"
; test "same start" [(1, 2); (1, 3)] "(1 3)\n {(1 2) }"
; test "same end" [(2, 3); (1, 3)] "(1 3)\n {(2 3) }"
; test "inclusion"
[(1, 8); (2, 7); (3, 6); (4, 5)]
"(1 8)\n {(2 7)\n {(3 6)\n {(4 5) } } }" ]
let test_roots =
let test name l expected =
let test_name = "roots: " ^ name in
( test_name
, `Quick
, fun () ->
let t = T.of_list l in
let got = T.roots t in
Alcotest.check itv_list test_name expected got )
in
[ test "empty" [] []
; test "singleton" [(1, 2)] [(1, 2)]
; test "disjoint" [(1, 2); (3, 4)] [(1, 2); (3, 4)]
; test "inclusion" [(1, 2); (3, 6); (4, 5)] [(1, 2); (3, 6)] ]
let test_children =
let test name l i expected =
let test_name = "children: " ^ name in
( test_name
, `Quick
, fun () ->
let t = T.of_list l in
let got = T.children t i in
Alcotest.check itv_list test_name expected got )
in
[ test "empty" [] (1, 2) []
; test "no children" [(1, 2)] (1, 2) []
; test "not present" [(1, 2)] (3, 4) []
; test "one level" [(1, 2); (3, 6); (4, 5)] (3, 6) [(4, 5)]
; test "two levels" [(1, 2); (3, 8); (4, 7); (5, 6)] (3, 8) [(4, 7)]
; test "no partial results" [(1, 2); (3, 6); (4, 5)] (3, 5) [] ]
let tests = test_dump @ test_roots @ test_children
end
let tests =
[ ("Location", Test_location.tests)
; ("Conf", Test_conf.tests)
; ("Eol_compat", Test_eol_compat.tests)
; ("non overlapping interval tree", Test_noit.tests)
; ("Ast", Test_ast.tests)
; ("Literal_lexer", Test_literal_lexer.tests)
; ("Fmt", Test_fmt.tests)
; ("Fmt_ast", Test_fmt_ast.tests)
; ("Translation_unit", Test_translation_unit.tests) ]
let () = Alcotest.run "ocamlformat" tests ~compact:true
|
