-
Notifications
You must be signed in to change notification settings - Fork 106
/
test_substring.ml
173 lines (162 loc) · 5.28 KB
/
test_substring.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
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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
open OUnit
open BatSubstring
open BatPervasives
let test_dropr =
let aeq = assert_equal ~printer:identity in
[
begin "dropr empty" >:: fun () ->
aeq "" (to_string (dropr (const true) (of_string "")));
aeq "" (to_string (dropr (const false) (of_string "")))
end;
begin "dropr none" >:: fun () ->
aeq "foo" (to_string (dropr (const false) (of_string "foo")))
end;
begin "dropr all" >:: fun () ->
aeq "" (to_string (dropr (const true) (of_string "foo")))
end;
begin "dropr some" >:: fun () ->
aeq "f" (to_string (dropr ((=) 'o') (of_string "foo")))
end;
];;
let test_dropl =
let aeq = assert_equal ~printer:identity in
[
begin "dropl empty" >:: fun () ->
aeq "" (to_string (dropl (const true) (of_string "")));
aeq "" (to_string (dropl (const false) (of_string "")))
end;
begin "dropl none" >:: fun () ->
aeq "foo" (to_string (dropl (const false) (of_string "foo")))
end;
begin "dropl all" >:: fun () ->
aeq "" (to_string (dropl (const true) (of_string "foo")))
end;
begin "dropl some" >:: fun () ->
aeq "oo" (to_string (dropl ((=) 'f') (of_string "foo")))
end;
];;
let test_taker =
let aeq = assert_equal ~printer:identity in
[
begin "taker empty" >:: fun () ->
aeq "" (to_string (taker (const true) (of_string "")));
aeq "" (to_string (taker (const false) (of_string "")))
end;
begin "taker none" >:: fun () ->
aeq "" (to_string (taker (const false) (of_string "foo")))
end;
begin "taker all" >:: fun () ->
aeq "foo" (to_string (taker (const true) (of_string "foo")))
end;
begin "taker some" >:: fun () ->
aeq "oo" (to_string (taker ((=) 'o') (of_string "foo")))
end;
];;
let test_takel =
let aeq = assert_equal ~printer:identity in
[
begin "takel empty" >:: fun () ->
aeq "" (to_string (takel (const true) (of_string "")));
aeq "" (to_string (takel (const false) (of_string "")))
end;
begin "takel none" >:: fun () ->
aeq "" (to_string (takel (const false) (of_string "foo")))
end;
begin "takel all" >:: fun () ->
aeq "foo" (to_string (takel (const true) (of_string "foo")))
end;
begin "takel some" >:: fun () ->
aeq "f" (to_string (takel ((=) 'f') (of_string "foo")))
end;
];;
let to_strings = to_string *** to_string
let test_splitr =
let printer (s1,s2) = Printf.sprintf "(%S,%S)" s1 s2 in
let aeq = assert_equal ~printer in
[
begin "splitr empty" >:: fun () ->
aeq ("","") (to_strings (splitr (const true) (of_string "")));
aeq ("","") (to_strings (splitr (const false) (of_string "")))
end;
begin "splitr none" >:: fun () ->
aeq ("foo","")
(to_strings (splitr (const false) (of_string "foo")))
end;
begin "splitr all" >:: fun () ->
aeq ("","foo") (to_strings (splitr (const true) (of_string "foo")))
end;
begin "splitr some" >:: fun () ->
aeq ("f","oo") (to_strings (splitr ((=) 'o') (of_string "foo")))
end;
];;
let test_splitl =
let printer (s1,s2) = Printf.sprintf "(%S,%S)" s1 s2 in
let aeq = assert_equal ~printer in
[
begin "splitl empty" >:: fun () ->
aeq ("","") (to_strings (splitl (const true) (of_string "")));
aeq ("","") (to_strings (splitl (const false) (of_string "")))
end;
begin "splitl none" >:: fun () ->
aeq ("","foo")
(to_strings (splitl (const false) (of_string "foo")))
end;
begin "splitl all" >:: fun () ->
aeq ("foo","") (to_strings (splitl (const true) (of_string "foo")))
end;
begin "splitl some" >:: fun () ->
aeq ("f","oo") (to_strings (splitl ((=) 'f') (of_string "foo")))
end;
];;
let test_slice =
let printer sus =
let (s,i,n) = base sus in Printf.sprintf "(%S,%d,%d)" s i n
in
let cmp sus1 sus2 = to_string sus1 = to_string sus2 in
let aeq = assert_equal ~printer ~cmp in
[
begin "slice empty" >:: fun () ->
aeq (empty ()) (slice (empty ()) 0 None)
end;
begin "slice all" >:: fun () ->
aeq (of_string "foo") (slice (of_string "foo") 0 None);
aeq (of_string "foo") (slice (of_string "foo") 0 (Some 3));
end;
begin "slice none" >:: fun () ->
aeq (of_string "") (slice (of_string "foo") 3 None);
aeq (of_string "") (slice (of_string "foo") 3 (Some 0));
end;
begin "slice some" >:: fun () ->
aeq (of_string "oo") (slice (of_string "foo") 1 None);
aeq (of_string "oo") (slice (of_string "foo") 1 (Some 2));
end;
begin "slice pick" >:: fun () ->
aeq (of_string "i") (slice (of_string "jim") 1 (Some 1));
end;
];;
let test_index_from =
let aeq = assert_equal ~printer:string_of_int in
[
begin "index from" >:: fun () ->
aeq (index_from (of_string "foobar") 2 'b')
(2+index (triml 2 (of_string "foobar")) 'b')
end;
];;
let test_rindex_from =
let aeq = assert_equal ~printer:string_of_int in
[
begin "rindex from" >:: fun () ->
aeq (rindex_from (of_string "foobar") 2 'b')
(rindex (trimr 2 (of_string "foobar")) 'b')
end;
];;
let tests = "Substring" >::: [
"dropr" >::: test_dropr;
"dropl" >::: test_dropl;
"taker" >::: test_taker;
"takel" >::: test_takel;
"splitr" >::: test_splitr;
"splitl" >::: test_splitl;
"slice" >::: test_slice;
"index_from" >::: test_index_from;
];;