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
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
|
open OUnit2
module T = ImportExpression.T
module Expr = Expression_builder
module M = Expr.Make (ImportExpression.Query.Query)
let eval =
M.eval ~path_repr:(fun formatter n -> Format.fprintf formatter "%s" n)
let printer = Fun.id
let test_expr ?(nested = ImportExpression.Query.QueryParameter.Literal) expr =
let buffer = Buffer.create 16 in
let formatter = Format.formatter_of_buffer buffer in
let () = ImportExpression.Query.Query.observe expr formatter ~nested in
Format.pp_print_flush formatter ();
Buffer.contents buffer
let empty =
"empty" >:: fun _ ->
let expr = eval Expr.empty in
let content = test_expr expr and expected = "''" in
assert_equal ~printer expected content
let litteral =
"literal" >:: fun _ ->
let expr = eval Expr.literal_test in
let content = test_expr expr and expected = "'test'" in
assert_equal ~printer expected content
let litteral_quoted =
"literal_quoted" >:: fun _ ->
let expr = eval Expr.literal_quoted in
let content = test_expr expr and expected = "'\''" in
assert_equal ~printer expected content
let litteral_raw =
"literal_raw" >:: fun _ ->
let expr = eval Expr.literal_test in
let nested = ImportExpression.Query.QueryParameter.(Raw Literal) in
let content = test_expr expr ~nested and expected = "test" in
assert_equal ~printer expected content
let path =
"path" >:: fun _ ->
(* In the path, the given function do all the job *)
let expr = eval @@ Expr.path "test" in
let content = test_expr expr and expected = "test" in
assert_equal ~printer expected content
let concat =
"concat" >:: fun _ ->
let expr = eval Expr.concat in
let content = test_expr expr and expected = "'' || 'test'" in
assert_equal ~printer expected content
let nvl =
"nvl" >:: fun _ ->
let expr = eval @@ Expr.nvl Expr.empty Expr.literal_test in
let content = test_expr expr and expected = "COALESCE('', 'test')" in
assert_equal ~printer expected content
let upper =
"upper" >:: fun _ ->
let expr = eval @@ Expr.function' T.Upper [ Expr.literal_test ] in
let content = test_expr expr and expected = "UPPER('test')" in
assert_equal ~printer expected content
let join =
"join" >:: fun _ ->
let expr =
ImportExpression.Query.Query.(
join "," [ eval Expr.empty; eval Expr.literal_test ])
in
let content = test_expr expr and expected = "CONCAT(',', '', 'test')" in
assert_equal ~printer expected content
let boperator_eq =
"boperator_eq" >:: fun _ ->
let expr = eval @@ Expr.equal Expr.empty Expr.literal_test in
let content = test_expr expr and expected = "''='test'" in
assert_equal ~printer expected content
let boperator_div =
"boperator_div" >:: fun _ ->
let expr = eval @@ Expr.divide Expr.integer_one Expr.integer_zero in
let content = test_expr expr and expected = "CAST(1 AS REAL)/0" in
assert_equal ~printer expected content
let boperator_neq =
"boperator_neq" >:: fun _ ->
let expr = eval @@ Expr.different Expr.empty Expr.literal_test in
let content = test_expr expr and expected = "''<>'test'" in
assert_equal ~printer expected content
let expr =
"expr" >:: fun _ ->
let expr = eval Expr.expr in
let content = test_expr expr and expected = "(test NOT NULL)" in
assert_equal ~printer expected content
let unify_int =
"unify_int" >:: fun _ ->
let expr = eval @@ Expr.equal (Expr.path "external") Expr.integer_zero in
let content = test_expr expr and expected = "COALESCE(external,0)=0" in
assert_equal ~printer expected content
let unify_string =
"unify_string" >:: fun _ ->
let expr = eval @@ Expr.equal (Expr.path "external") Expr.literal_zero in
let content = test_expr expr and expected = "COALESCE(external,'')='0'" in
assert_equal ~printer expected content
let in_string =
"in_string" >:: fun _ ->
let expr = eval @@ Expr.in_ (Expr.path "external") [ Expr.literal_zero ] in
let content = test_expr expr and expected = "COALESCE(external,'') IN('0')" in
assert_equal ~printer expected content
let not_in_string =
"in_string" >:: fun _ ->
let expr = eval @@ Expr.not_in (Expr.path "external") [ Expr.literal_zero ] in
let content = test_expr expr
and expected = "COALESCE(external,'') NOT IN('0')" in
assert_equal ~printer expected content
(* Evaluate the max function *)
let max =
"max" >:: fun _ ->
let expr =
eval @@ Expr.(max (path ":C") [ path ":A" ] [ path ":A"; path ":B" ])
in
let content = test_expr expr
and expected =
"LAST_VALUE(:C) OVER (PARTITION BY :A ORDER BY :A, :B RANGE BETWEEN \
UNBOUNDED PRECEDING AND UNBOUNDED FOLLOWING)"
in
assert_equal ~printer expected content
let in_int =
"in_int" >:: fun _ ->
let expr =
eval
@@ Expr.in_ (Expr.path "external") [ Expr.integer_zero; Expr.integer_one ]
in
let content = test_expr expr and expected = "COALESCE(external,0) IN(0, 1)" in
assert_equal ~printer expected content
let counter_no_order =
"counter_no_order" >:: fun _ ->
let expr = eval @@ Expr.(counter [ path ":A" ] []) in
let content = test_expr expr
and expected = "COUNT() OVER (PARTITION BY :A)" in
assert_equal ~printer expected content
let counter_order =
"counter_no_order" >:: fun _ ->
let expr = eval @@ Expr.(counter [ path ":A" ] [ path ":B" ]) in
let content = test_expr expr
and expected = "ROW_NUMBER() OVER (PARTITION BY :A ORDER BY :B)" in
assert_equal ~printer expected content
let test_suit =
[
empty;
litteral;
litteral_quoted;
litteral_raw;
path;
concat;
nvl;
upper;
join;
boperator_eq;
boperator_neq;
boperator_div;
expr;
unify_int;
unify_string;
in_string;
not_in_string;
in_int;
max;
counter_no_order;
counter_order;
]
let tests = "expression_query" >::: test_suit
|
