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
|
(******************************************************************************)
(* OASIS: architecture for building OCaml libraries and applications *)
(* *)
(* Copyright (C) 2011-2016, Sylvain Le Gall *)
(* Copyright (C) 2008-2011, OCamlCore SARL *)
(* *)
(* This library is free software; you can redistribute it and/or modify it *)
(* under the terms of the GNU Lesser General Public License as published by *)
(* the Free Software Foundation; either version 2.1 of the License, or (at *)
(* your option) any later version, with the OCaml static compilation *)
(* exception. *)
(* *)
(* This library is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *)
(* or FITNESS FOR A PARTICULAR PURPOSE. See the file COPYING for more *)
(* details. *)
(* *)
(* You should have received a copy of the GNU Lesser General Public License *)
(* along with this library; if not, write to the Free Software Foundation, *)
(* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA *)
(******************************************************************************)
(** Tests for BaseVersion
@author Sylvain Le Gall
*)
open OUnit2
open TestCommon
open OASISVersion
let tests =
let vstr_compare v1 v2 =
version_compare
(version_of_string v1)
(version_of_string v2)
in
let version_compare_of_vector (v1, v2, exp) =
(Printf.sprintf "version_compare %S %S" v1 v2) >::
(fun test_ctxt ->
let norm_sign i =
if i = 0 then
0
else if i < 0 then
-1
else
1
in
assert_equal
~msg:(Printf.sprintf
"Result of '%s' and '%s' comparison"
v1
v2)
~printer:string_of_int
exp
(norm_sign (vstr_compare v1 v2)))
in
let comparator_apply_of_vector (v, c, exp) =
(Printf.sprintf "comparator_apply %S %S" v c) >::
(fun test_ctxt ->
let op =
comparator_of_string c
in
assert_equal
~msg:(Printf.sprintf
"Result of applying comparator '%s' to '%s'"
c
v)
~printer:string_of_bool
exp
(comparator_apply
(version_of_string v)
op))
in
"Version" >:::
[
"compare" >:::
(List.map version_compare_of_vector
[
"1.0.2", "1.0.2", 0;
"1.0.1", "1.0.2", -1;
"1.0.3", "1.0.2", 1;
"0.6.0", "0.7", -1;
"1.2.0", "1.2.0~rc1", 1;
"1.2.0~rc1", "1.2.0~rc2", -1;
"0.1.0", "0.2.0~alpha1", -1;
"0.2.0", "0.2.0~alpha1", 1;
"2.0beta", "2.0beta", 0;
"0.1.1", "0.1.99", -1;
]);
"comparator" >:::
(List.map comparator_apply_of_vector
[
"1.0.2", ">= 1.0.2", true;
"1.0.2", "= 1.0.2", true;
"1.0.2", "> 1.0.2", false;
"1.0.1", ">= 1.0.2", false;
"1.0", ">= 1.0 && < 2.0", true;
"0.1.1", "< 0.1.99", true;
"4.01.0+dev1_2012-03-31", ">= 3.12", true;
]);
"sort" >::
(fun test_ctxt ->
let lst =
["0.2.0~rc2"; "0.2.0~alpha1"; "0.1.0"; "0.2.0~alpha2"; "0.2.0~beta1";
"0.2.0"]
in
assert_equal
~printer:(String.concat "; ")
["0.1.0"; "0.2.0~alpha1"; "0.2.0~alpha2"; "0.2.0~beta1"; "0.2.0~rc2";
"0.2.0"]
(List.sort vstr_compare lst));
"back-and-forth" >::
(fun test_ctxt ->
List.iter
(fun str ->
let cmp = comparator_of_string str in
let cmp' = comparator_of_string (string_of_comparator cmp) in
assert_equal
~printer:string_of_comparator
cmp
cmp')
[
">= 1.0 && <= 2.0 || = 3.0";
"> 0.5";
]);
"reduce" >::
(fun test_ctxt ->
List.iter
(fun (scmp1, scmp2) ->
let cmp1 = comparator_reduce (comparator_of_string scmp1) in
let cmp2 = comparator_of_string scmp2 in
non_fatal test_ctxt
(fun test_ctxt ->
assert_equal
~msg:"comparator_reduce2"
~printer:string_of_comparator
cmp2
cmp1))
[
">= 1.0 && >= 0.5", ">= 1.0";
">= 1.0 || >= 0.5", ">= 0.5";
"= 1.0 || >= 0.5", ">= 0.5";
"= 1.0 && >= 0.5", "= 1.0";
"<= 1.0 && >= 0.5", ">= 0.5 && <= 1.0";
"< 1.0 && >= 0.5", ">= 0.5 && < 1.0";
"< 1.0 && > 0.5", "> 0.5 && < 1.0";
"<= 1.0 && > 0.5", "> 0.5 && <= 1.0";
"( >= 0.1.0 && <= 0.1.99 ) || ( >= 0.1.1 && <= 0.1.1.99 )",
">= 0.1.0 && <= 0.1.99";
]);
]
|
