all tests pass and impl actually makes sense
[dbsrgits/SQL-Abstract.git] / t / 10test.t
1 #!/usr/bin/perl
2
3 use strict;
4 use warnings;
5 use List::Util qw(sum);
6
7 use Test::More;
8
9 use Data::Dumper;
10 $Data::Dumper::Terse = 1;
11 $Data::Dumper::Sortkeys = 1;
12
13 my @sql_tests = (
14       # WHERE condition - equal
15       {
16         equal => 1,
17         statements => [
18           q/SELECT foo FROM bar WHERE a = 1/,
19           q/SELECT foo FROM bar WHERE a=1/,
20           q/SELECT foo FROM bar WHERE (a = 1)/,
21           q/SELECT foo FROM bar WHERE (a=1)/,
22           q/SELECT foo FROM bar WHERE ( a = 1 )/,
23           q/
24             SELECT
25               foo
26             FROM
27               bar
28             WHERE
29               a = 1
30           /,
31           q/
32             SELECT
33               foo
34             FROM
35               bar
36             WHERE
37               (a = 1)
38           /,
39           q/
40             SELECT
41               foo
42             FROM
43               bar
44             WHERE
45               ( a = 1 )
46           /,
47           q/SELECT foo FROM bar WHERE ((a = 1))/,
48           q/SELECT foo FROM bar WHERE ( (a = 1) )/,
49           q/SELECT foo FROM bar WHERE ( ( a = 1 ) )/,
50         ]
51       },
52       {
53         equal => 1,
54         statements => [
55           q/SELECT foo FROM bar WHERE a = 1 AND b = 1/,
56           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1)/,
57           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 1))/,
58           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1)/,
59           q/SELECT foo FROM bar WHERE ((a = 1 AND b = 1))/,
60           q/SELECT foo FROM bar WHERE (((a = 1) AND (b = 1)))/,
61           q/
62             SELECT
63               foo
64             FROM
65               bar
66             WHERE
67               a = 1
68               AND
69               b = 1
70           /,
71           q/
72             SELECT
73               foo
74             FROM
75               bar
76             WHERE
77               (a = 1
78               AND
79               b = 1)
80           /,
81           q/
82             SELECT
83               foo
84             FROM
85               bar
86             WHERE
87               (a = 1)
88               AND
89               (b = 1)
90           /,
91           q/
92             SELECT
93               foo
94             FROM
95               bar
96             WHERE
97               ((a = 1)
98               AND
99               (b = 1))
100           /,
101         ]
102       },
103       {
104         equal => 1,
105         statements => [
106           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND c = 1/,
107           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1 AND c = 1)/,
108           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) AND c = 1/,
109           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 AND c = 1)/,
110           q/SELECT foo FROM bar WHERE ((((a = 1))) AND (b = 1 AND c = 1))/,
111         ]
112       },
113       {
114         equal => 1,
115         statements => [
116           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 OR c = 1/,
117           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) OR c = 1/,
118           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 OR c = 1)/,
119           q/SELECT foo FROM bar WHERE a = 1 OR ((b = 1 OR (c = 1)))/,
120         ]
121       },
122       {
123         equal => 1,
124         statements => [
125           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1 OR c = 1 OR d = 1) AND (e = 1 AND f = 1)/,
126           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1 OR d = 1) AND e = 1 AND (f = 1)/,
127           q/SELECT foo FROM bar WHERE ( ((a = 1) AND ( b = 1 OR (c = 1 OR d = 1) )) AND ((e = 1)) AND f = 1) /,
128         ]
129       },
130       {
131         equal => 1,
132         statements => [
133           q/SELECT foo FROM bar WHERE (a) AND (b = 2)/,
134           q/SELECT foo FROM bar WHERE (a AND b = 2)/,
135           q/SELECT foo FROM bar WHERE (a AND (b = 2))/,
136           q/SELECT foo FROM bar WHERE a AND (b = 2)/,
137         ]
138       },
139       {
140         equal => 1,
141         statements => [
142           q/SELECT foo FROM bar WHERE ((NOT a) AND b = 2)/,
143           q/SELECT foo FROM bar WHERE (NOT a) AND (b = 2)/,
144           q/SELECT foo FROM bar WHERE (NOT (a)) AND b = 2/,
145         ],
146       },
147       {
148         equal => 0,
149         statements => [
150           q/SELECT foo FROM bar WHERE NOT a AND (b = 2)/,
151           q/SELECT foo FROM bar WHERE (NOT a) AND (b = 2)/,
152         ]
153       },
154       {
155         equal => 0,
156         parenthesis_significant => 1,
157         statements => [
158           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND c = 1/,
159           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1 AND c = 1)/,
160           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) AND c = 1/,
161           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 AND c = 1)/,
162           q/SELECT foo FROM bar WHERE ((((a = 1))) AND (b = 1 AND c = 1))/,
163         ]
164       },
165       {
166         equal => 0,
167         parenthesis_significant => 1,
168         statements => [
169           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 OR c = 1/,
170           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) OR c = 1/,
171           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 OR c = 1)/,
172           q/SELECT foo FROM bar WHERE a = 1 OR ((b = 1 OR (c = 1)))/,
173         ]
174       },
175       {
176         equal => 0,
177         parenthesis_significant => 1,
178         statements => [
179           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1 OR c = 1 OR d = 1) AND (e = 1 AND f = 1)/,
180           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1 OR d = 1) AND e = 1 AND (f = 1)/,
181           q/SELECT foo FROM bar WHERE ( ((a = 1) AND ( b = 1 OR (c = 1 OR d = 1) )) AND ((e = 1)) AND f = 1) /,
182         ]
183       },
184
185       # WHERE condition - different
186       {
187         equal => 0,
188         statements => [
189           q/SELECT foo FROM bar WHERE a = 1/,
190           q/SELECT quux FROM bar WHERE a = 1/,
191           q/SELECT foo FROM quux WHERE a = 1/,
192           q/FOOBAR foo FROM bar WHERE a = 1/,
193
194           q/SELECT foo FROM bar WHERE a = 2/,
195           q/SELECT foo FROM bar WHERE a < 1/,
196           q/SELECT foo FROM bar WHERE b = 1/,
197           q/SELECT foo FROM bar WHERE (c = 1)/,
198           q/SELECT foo FROM bar WHERE (d = 1)/,
199
200           q/SELECT foo FROM bar WHERE a = 1 AND quux/,
201           q/SELECT foo FROM bar WHERE a = 1 GROUP BY foo/,
202           q/SELECT foo FROM bar WHERE a = 1 ORDER BY foo/,
203           q/SELECT foo FROM bar WHERE a = 1 LIMIT 1/,
204           q/SELECT foo FROM bar WHERE a = 1 OFFSET 1/,
205           q/SELECT foo FROM bar JOIN quux WHERE a = 1/,
206           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE a = 1/,
207         ]
208       },
209       {
210         equal => 0,
211         statements => [
212           q/SELECT foo FROM bar WHERE a = 1 AND b = 1/,
213           q/SELECT quux FROM bar WHERE a = 1 AND b = 1/,
214           q/SELECT foo FROM quux WHERE a = 1 AND b = 1/,
215           q/FOOBAR foo FROM bar WHERE a = 1 AND b = 1/,
216
217           q/SELECT foo FROM bar WHERE a = 2 AND b = 1/,
218           q/SELECT foo FROM bar WHERE a = 3 AND (b = 1)/,
219           q/SELECT foo FROM bar WHERE (a = 4) AND b = 1/,
220           q/SELECT foo FROM bar WHERE (a = 5) AND (b = 1)/,
221           q/SELECT foo FROM bar WHERE ((a = 6) AND (b = 1))/,
222           q/SELECT foo FROM bar WHERE ((a = 7) AND (b = 1))/,
223
224           q/SELECT foo FROM bar WHERE a = 1 AND b = 2/,
225           q/SELECT foo FROM bar WHERE a = 1 AND (b = 3)/,
226           q/SELECT foo FROM bar WHERE (a = 1) AND b = 4/,
227           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 5)/,
228           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 6))/,
229           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 7))/,
230
231           q/SELECT foo FROM bar WHERE a < 1 AND b = 1/,
232           q/SELECT foo FROM bar WHERE b = 1 AND b = 1/,
233           q/SELECT foo FROM bar WHERE (c = 1) AND b = 1/,
234           q/SELECT foo FROM bar WHERE (d = 1) AND b = 1/,
235
236           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND quux/,
237           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 GROUP BY foo/,
238           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 ORDER BY foo/,
239           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 LIMIT 1/,
240           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 OFFSET 1/,
241           q/SELECT foo FROM bar JOIN quux WHERE a = 1 AND b = 1/,
242           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE a = 1 AND b = 1/,
243         ]
244       },
245       {
246         equal => 0,
247         statements => [
248           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 OR c = 1/,
249           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) OR c = 1/,
250           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1)/,
251         ]
252       },
253       {
254         equal => 0,
255         statements => [
256           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 AND c = 1/,
257           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) AND c = 1/,
258           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 AND c = 1)/,
259         ]
260       },
261       {
262         equal => 0,
263         parenthesis_significant => 1,
264         statements => [
265           q/SELECT foo FROM bar WHERE a IN (1,2,3)/,
266           q/SELECT foo FROM bar WHERE a IN (1,3,2)/,
267           q/SELECT foo FROM bar WHERE a IN ((1,2,3))/,
268         ]
269       },
270       {
271         equal => 0,
272         statements => [
273           # BETWEEN with/without parenthesis around itself/RHS is a sticky business
274           # if I made a mistake here, simply rewrite the special BETWEEN handling in
275           # _recurse_parse()
276           #
277           # by RIBASUSHI
278           q/SELECT foo FROM bar WHERE ( completion_date BETWEEN ? AND ? AND status = ? )/,
279           q/SELECT foo FROM bar WHERE completion_date BETWEEN (? AND ?) AND status = ?/,
280           q/SELECT foo FROM bar WHERE ( (completion_date BETWEEN (? AND ?) ) AND status = ? )/,
281           q/SELECT foo FROM bar WHERE ( (completion_date BETWEEN (? AND ? AND status = ?) ) )/,
282         ]
283       },
284
285       # IS NULL (special LHS-only op)
286       {
287         equal => 1,
288         statements => [
289           q/WHERE a IS NOT NULL AND b IS NULL/,
290           q/WHERE (a IS NOT NULL) AND b IS NULL/,
291           q/WHERE a IS NOT NULL AND (b IS NULL)/,
292           q/WHERE (a IS NOT NULL) AND ((b IS NULL))/,
293         ],
294       },
295
296       # JOIN condition - equal
297       {
298         equal => 1,
299         statements => [
300           q/SELECT foo FROM bar JOIN baz ON a = 1 WHERE x = 1/,
301           q/SELECT foo FROM bar JOIN baz ON a=1 WHERE x = 1/,
302           q/SELECT foo FROM bar JOIN baz ON (a = 1) WHERE x = 1/,
303           q/SELECT foo FROM bar JOIN baz ON (a=1) WHERE x = 1/,
304           q/SELECT foo FROM bar JOIN baz ON ( a = 1 ) WHERE x = 1/,
305           q/
306             SELECT
307               foo
308             FROM
309               bar
310             JOIN
311               baz
312             ON
313               a = 1
314             WHERE
315               x = 1
316           /,
317           q/
318             SELECT
319               foo
320             FROM
321               bar
322             JOIN
323               baz
324             ON
325               (a = 1)
326             WHERE
327               x = 1
328           /,
329           q/
330             SELECT
331               foo
332             FROM
333               bar
334             JOIN
335               baz
336             ON
337               ( a = 1 )
338             WHERE
339               x = 1
340           /,
341           q/SELECT foo FROM bar JOIN baz ON ((a = 1)) WHERE x = 1/,
342           q/SELECT foo FROM bar JOIN baz ON ( (a = 1) ) WHERE x = 1/,
343           q/SELECT foo FROM bar JOIN baz ON ( ( a = 1 ) ) WHERE x = 1/,
344         ]
345       },
346       {
347         equal => 1,
348         statements => [
349           q/SELECT foo FROM bar JOIN baz ON a = 1 AND b = 1 WHERE x = 1/,
350           q/SELECT foo FROM bar JOIN baz ON (a = 1) AND (b = 1) WHERE x = 1/,
351           q/SELECT foo FROM bar JOIN baz ON ((a = 1) AND (b = 1)) WHERE x = 1/,
352           q/SELECT foo FROM bar JOIN baz ON (a = 1 AND b = 1) WHERE x = 1/,
353           q/SELECT foo FROM bar JOIN baz ON ((a = 1 AND b = 1)) WHERE x = 1/,
354           q/SELECT foo FROM bar JOIN baz ON (((a = 1) AND (b = 1))) WHERE x = 1/,
355           q/
356             SELECT
357               foo
358             FROM
359               bar
360             JOIN
361               baz
362             ON
363               a = 1
364               AND
365               b = 1
366             WHERE
367               x = 1
368           /,
369           q/
370             SELECT
371               foo
372             FROM
373               bar
374             JOIN
375               baz
376             ON
377               (a = 1
378               AND
379               b = 1)
380             WHERE
381               x = 1
382           /,
383           q/
384             SELECT
385               foo
386             FROM
387               bar
388             JOIN
389               baz
390             ON
391               (a = 1)
392               AND
393               (b = 1)
394             WHERE
395               x = 1
396           /,
397           q/
398             SELECT
399               foo
400             FROM
401               bar
402             JOIN
403               baz
404             ON
405               ((a = 1)
406               AND
407               (b = 1))
408             WHERE
409               x = 1
410           /,
411         ]
412       },
413
414       # JOIN condition - different
415       {
416         equal => 0,
417         statements => [
418           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE quuux/,
419           q/SELECT quux FROM bar JOIN quux ON a = 1 WHERE quuux/,
420           q/SELECT foo FROM quux JOIN quux ON a = 1 WHERE quuux/,
421           q/FOOBAR foo FROM bar JOIN quux ON a = 1 WHERE quuux/,
422
423           q/SELECT foo FROM bar JOIN quux ON a = 2 WHERE quuux/,
424           q/SELECT foo FROM bar JOIN quux ON a < 1 WHERE quuux/,
425           q/SELECT foo FROM bar JOIN quux ON b = 1 WHERE quuux/,
426           q/SELECT foo FROM bar JOIN quux ON (c = 1) WHERE quuux/,
427           q/SELECT foo FROM bar JOIN quux ON (d = 1) WHERE quuux/,
428
429           q/SELECT foo FROM bar JOIN quux ON a = 1 AND quuux/,
430           q/SELECT foo FROM bar JOIN quux ON a = 1 GROUP BY foo/,
431           q/SELECT foo FROM bar JOIN quux ON a = 1 ORDER BY foo/,
432           q/SELECT foo FROM bar JOIN quux ON a = 1 LIMIT 1/,
433           q/SELECT foo FROM bar JOIN quux ON a = 1 OFFSET 1/,
434           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux/,
435           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux ON a = 1/,
436         ]
437       },
438       {
439         equal => 0,
440         statements => [
441           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
442           q/SELECT quux FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
443           q/SELECT foo FROM quux JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
444           q/FOOBAR foo FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
445
446           q/SELECT foo FROM bar JOIN quux ON a = 2 AND b = 1 WHERE quuux/,
447           q/SELECT foo FROM bar JOIN quux ON a = 3 AND (b = 1) WHERE quuux/,
448           q/SELECT foo FROM bar JOIN quux ON (a = 4) AND b = 1 WHERE quuux/,
449           q/SELECT foo FROM bar JOIN quux ON (a = 5) AND (b = 1) WHERE quuux/,
450           q/SELECT foo FROM bar JOIN quux ON ((a = 6) AND (b = 1)) WHERE quuux/,
451           q/SELECT foo FROM bar JOIN quux ON ((a = 7) AND (b = 1)) WHERE quuux/,
452
453           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 2 WHERE quuux/,
454           q/SELECT foo FROM bar JOIN quux ON a = 1 AND (b = 3) WHERE quuux/,
455           q/SELECT foo FROM bar JOIN quux ON (a = 1) AND b = 4 WHERE quuux/,
456           q/SELECT foo FROM bar JOIN quux ON (a = 1) AND (b = 5) WHERE quuux/,
457           q/SELECT foo FROM bar JOIN quux ON ((a = 1) AND (b = 6)) WHERE quuux/,
458           q/SELECT foo FROM bar JOIN quux ON ((a = 1) AND (b = 7)) WHERE quuux/,
459
460           q/SELECT foo FROM bar JOIN quux ON a < 1 AND b = 1 WHERE quuux/,
461           q/SELECT foo FROM bar JOIN quux ON b = 1 AND b = 1 WHERE quuux/,
462           q/SELECT foo FROM bar JOIN quux ON (c = 1) AND b = 1 WHERE quuux/,
463           q/SELECT foo FROM bar JOIN quux ON (d = 1) AND b = 1 WHERE quuux/,
464
465           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 AND quuux/,
466           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 GROUP BY foo/,
467           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 ORDER BY foo/,
468           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 LIMIT 1/,
469           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 OFFSET 1/,
470           q/SELECT foo FROM bar JOIN quux JOIN quuux ON a = 1 AND b = 1/,
471           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux ON a = 1 AND b = 1/,
472         ]
473       },
474
475       # DISTINCT ON (...) not confused with JOIN ON (...)
476       {
477         equal => 1,
478         statements => [
479           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE a = 1/,
480           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE a=1/,
481           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE (a = 1)/,
482           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE (a=1)/,
483           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( a = 1 )/,
484           q/
485             SELECT DISTINCT ON (foo, quux)
486               foo,
487               quux
488             FROM
489               bar
490             WHERE
491               a = 1
492           /,
493           q/
494             SELECT DISTINCT ON (foo, quux)
495               foo,
496               quux
497             FROM
498               bar
499             WHERE
500               (a = 1)
501           /,
502           q/
503             SELECT DISTINCT ON (foo, quux)
504               foo,
505               quux
506             FROM
507               bar
508             WHERE
509               ( a = 1 )
510           /,
511           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ((a = 1))/,
512           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( (a = 1) )/,
513           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( ( a = 1 ) )/,
514         ]
515       },
516
517       # subselects - equal
518       {
519         equal => 1,
520         statements => [
521           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 1/,
522           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE (a = 1)/,
523           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE a = 1/,
524           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE (a = 1)/,
525         ]
526       },
527       {
528         equal => 1,
529         statements => [
530           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 1/,
531           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 1)) AS foo WHERE a = 1/,
532           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 1) AS foo WHERE a = 1/,
533           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 1)) AS foo WHERE a = 1/,
534           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 1))) AS foo WHERE a = 1/,
535
536           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE (a = 1)/,
537           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 1)) AS foo WHERE (a = 1)/,
538           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 1) AS foo WHERE (a = 1)/,
539           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 1)) AS foo WHERE (a = 1)/,
540           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 1))) AS foo WHERE (a = 1)/,
541         ]
542       },
543
544       # subselects - different
545       {
546         equal => 0,
547         statements => [
548           q/DELETE FROM cd WHERE ( cdid IN ( SELECT me.cdid FROM (SELECT * FROM cd me WHERE ( year != ? ) GROUP BY me.cdid) me WHERE ( year != ? ) ) )/,
549           q/DELETE FROM cd WHERE ( cdid IN ( SELECT me.cdid FROM cd me WHERE ( year != ? ) GROUP BY me.cdid ) )/,
550         ],
551       },
552       {
553         equal => 0,
554         statements => [
555           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 1/,
556           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 2/,
557           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE (a = 3)/,
558           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE a = 4/,
559           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE (a = 5)/,
560           q/SELECT * FROM (SELECT * FROM bar WHERE b = 2) AS foo WHERE a = 1/,
561           q/SELECT * FROM (SELECT * FROM bar WHERE b = 3) AS foo WHERE (a = 1)/,
562           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 4)) AS foo WHERE a = 1/,
563           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 5)) AS foo WHERE (a = 1)/,
564         ]
565       },
566       {
567         equal => 0,
568         statements => [
569           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 1/,
570           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 2) AS foo WHERE a = 1/,
571           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 3)) AS foo WHERE a = 1/,
572           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 4)) AS foo WHERE a = 1/,
573           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 5))) AS foo WHERE a = 1/,
574
575           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 6) AS foo WHERE (a = 1)/,
576           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 7) AS foo WHERE (a = 1)/,
577           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 8)) AS foo WHERE (a = 1)/,
578           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 9)) AS foo WHERE (a = 1)/,
579           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 10))) AS foo WHERE (a = 1)/,
580
581           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 2/,
582           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 2) AS foo WHERE a = 2/,
583           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 3)) AS foo WHERE a = 2/,
584           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 4)) AS foo WHERE a = 2/,
585           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 5))) AS foo WHERE a = 2/,
586
587           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 6) AS foo WHERE (a = 2)/,
588           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 7) AS foo WHERE (a = 2)/,
589           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 8)) AS foo WHERE (a = 2)/,
590           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 9)) AS foo WHERE (a = 2)/,
591           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 10))) AS foo WHERE (a = 2)/,
592         ]
593       },
594
595       # list permutations
596       {
597         equal => 0,
598         statements => [
599           'SELECT a,b,c FROM foo',
600           'SELECT a,c,b FROM foo',
601           'SELECT b,a,c FROM foo',
602           'SELECT b,c,a FROM foo',
603           'SELECT c,a,b FROM foo',
604           'SELECT c,b,a FROM foo',
605         ],
606       },
607       {
608         equal => 0,
609         statements => [
610           'SELECT * FROM foo WHERE a IN (1,2,3)',
611           'SELECT * FROM foo WHERE a IN (1,3,2)',
612           'SELECT * FROM foo WHERE a IN (2,1,3)',
613           'SELECT * FROM foo WHERE a IN (2,3,1)',
614           'SELECT * FROM foo WHERE a IN (3,1,2)',
615           'SELECT * FROM foo WHERE a IN (3,2,1)',
616         ]
617       },
618
619       # list consistency
620       {
621         equal => 0,
622         statements => [
623           'SELECT a,b FROM foo',
624           'SELECT a,,b FROM foo',
625           'SELECT a,b, FROM foo',
626           'SELECT ,a,b, FROM foo',
627           'SELECT ,a,,b, FROM foo',
628         ],
629       },
630
631       # misc func
632       {
633         equal => 0,
634         statements => [
635           'SELECT count(*) FROM foo',
636           'SELECT count(*) AS bar FROM foo',
637           'SELECT count(*) AS "bar" FROM foo',
638           'SELECT count(a) FROM foo',
639           'SELECT count(1) FROM foo',
640         ]
641       },
642       {
643         equal => 1,
644         statements => [
645           'SELECT foo() bar FROM baz',
646           'SELECT foo (  )bar FROM baz',
647           'SELECT foo (())bar FROM baz',
648           'SELECT foo(( ) ) bar FROM baz',
649         ]
650       },
651       {
652         equal => 0,
653         statements => [
654           'SELECT foo() FROM bar',
655           'SELECT foo FROM bar',
656           'SELECT foo FROM bar ()',
657         ]
658       },
659       {
660         equal => 0,
661         statements => [
662           'SELECT COUNT * FROM foo',
663           'SELECT COUNT( * ) FROM foo',
664         ]
665       },
666       # single ? of unknown funcs do not unroll unless
667       # explicitly allowed (e.g. Like)
668       {
669         equal => 0,
670         statements => [
671           'SELECT foo FROM bar WHERE bar > foo ?',
672           'SELECT foo FROM bar WHERE bar > foo( ? )',
673         ]
674       },
675       {
676         equal => 1,
677         statements => [
678           'SELECT foo FROM bar WHERE bar LIKE ?',
679           'SELECT foo FROM bar WHERE bar LiKe (?)',
680           'SELECT foo FROM bar WHERE bar lIkE( (?))',
681         ]
682       },
683       # test multival
684       {
685         equal => 0,
686         statements => [
687           'SELECT foo FROM bar WHERE foo IN (?, ?)',
688           'SELECT foo FROM bar WHERE foo IN ?, ?',
689         ]
690       },
691       # math
692       {
693         equal => 0,
694         statements => [
695           'SELECT * FROM foo WHERE 1 = ( a > b)',
696           'SELECT * FROM foo WHERE 1 = a > b',
697           'SELECT * FROM foo WHERE (1 = a) > b',
698         ]
699       },
700       {
701         equal => 1,
702         statements => [
703           'SELECT * FROM foo WHERE bar = baz(buzz)',
704           'SELECT * FROM foo WHERE bar = (baz( buzz ))',
705         ]
706       },
707 );
708
709 my @bind_tests = (
710   # scalar - equal
711   {
712     equal => 1,
713     bindvals => [
714       undef,
715       undef,
716     ]
717   },
718   {
719     equal => 1,
720     bindvals => [
721       'foo',
722       'foo',
723     ]
724   },
725   {
726     equal => 1,
727     bindvals => [
728       42,
729       42,
730       '42',
731     ]
732   },
733
734   # scalarref - equal
735   {
736     equal => 1,
737     bindvals => [
738       \'foo',
739       \'foo',
740     ]
741   },
742   {
743     equal => 1,
744     bindvals => [
745       \42,
746       \42,
747       \'42',
748     ]
749   },
750
751   # arrayref - equal
752   {
753     equal => 1,
754     bindvals => [
755       [],
756       []
757     ]
758   },
759   {
760     equal => 1,
761     bindvals => [
762       [42],
763       [42],
764       ['42'],
765     ]
766   },
767   {
768     equal => 1,
769     bindvals => [
770       [1, 42],
771       [1, 42],
772       ['1', 42],
773       [1, '42'],
774       ['1', '42'],
775     ]
776   },
777
778   # hashref - equal
779   {
780     equal => 1,
781     bindvals => [
782       { foo => 42 },
783       { foo => 42 },
784       { foo => '42' },
785     ]
786   },
787   {
788     equal => 1,
789     bindvals => [
790       { foo => 42, bar => 1 },
791       { foo => 42, bar => 1 },
792       { foo => '42', bar => 1 },
793     ]
794   },
795
796   # blessed object - equal
797   {
798     equal => 1,
799     bindvals => [
800       bless(\(local $_ = 42), 'Life::Universe::Everything'),
801       bless(\(local $_ = 42), 'Life::Universe::Everything'),
802     ]
803   },
804   {
805     equal => 1,
806     bindvals => [
807       bless([42], 'Life::Universe::Everything'),
808       bless([42], 'Life::Universe::Everything'),
809     ]
810   },
811   {
812     equal => 1,
813     bindvals => [
814       bless({ answer => 42 }, 'Life::Universe::Everything'),
815       bless({ answer => 42 }, 'Life::Universe::Everything'),
816     ]
817   },
818
819   # complex data structure - equal
820   {
821     equal => 1,
822     bindvals => [
823       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
824       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
825     ]
826   },
827
828
829   # scalar - different
830   {
831     equal => 0,
832     bindvals => [
833       undef,
834       'foo',
835       42,
836     ]
837   },
838
839   # scalarref - different
840   {
841     equal => 0,
842     bindvals => [
843       \undef,
844       \'foo',
845       \42,
846     ]
847   },
848
849   # arrayref - different
850   {
851     equal => 0,
852     bindvals => [
853       [undef],
854       ['foo'],
855       [42],
856     ]
857   },
858
859   # hashref - different
860   {
861     equal => 0,
862     bindvals => [
863       { foo => undef },
864       { foo => 'bar' },
865       { foo => 42 },
866     ]
867   },
868
869   # different types
870   {
871     equal => 0,
872     bindvals => [
873       'foo',
874       \'foo',
875       ['foo'],
876       { foo => 'bar' },
877     ]
878   },
879
880   # complex data structure - different
881   {
882     equal => 0,
883     bindvals => [
884       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
885       [43, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
886       [42, { foo => 'baz', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
887       [42, { bar => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
888       [42, { foo => 'bar', quuux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
889       [42, { foo => 'bar', quux => [0, 1, 2, \3, { quux => [4, 5] } ] }, 8 ],
890       [42, { foo => 'bar', quux => [1, 2, 3, { quux => [4, 5] } ] }, 8 ],
891       [42, { foo => 'bar', quux => [1, 2, \4, { quux => [4, 5] } ] }, 8 ],
892       [42, { foo => 'bar', quux => [1, 2, \3, { quuux => [4, 5] } ] }, 8 ],
893       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5, 6] } ] }, 8 ],
894       [42, { foo => 'bar', quux => [1, 2, \3, { quux => 4 } ] }, 8 ],
895       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5], quuux => 1 } ] }, 8 ],
896       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8, 9 ],
897     ]
898   },
899 );
900
901 plan tests => 1 +
902   sum(
903     map { $_ * ($_ - 1) / 2 }
904       map { scalar @{$_->{statements}} }
905         @sql_tests
906   ) +
907   sum(
908     map { $_ * ($_ - 1) / 2 }
909       map { scalar @{$_->{bindvals}} }
910         @bind_tests
911   ) +
912   3;
913
914 use_ok('SQL::Abstract::Test', import => [qw(
915   eq_sql_bind eq_sql eq_bind is_same_sql_bind
916 )]);
917
918 for my $test (@sql_tests) {
919   my $statements = $test->{statements};
920   while (@$statements) {
921     my $sql1 = shift @$statements;
922     foreach my $sql2 (@$statements) {
923
924       no warnings qw/once/; # perl 5.10 is dumb
925       local $SQL::Abstract::Test::parenthesis_significant = $test->{parenthesis_significant}
926         if $test->{parenthesis_significant};
927       my $equal = eq_sql($sql1, $sql2);
928
929       TODO: {
930         local $TODO = $test->{todo} if $test->{todo};
931
932         if ($test->{equal}) {
933           ok($equal, "equal SQL expressions should have been considered equal");
934         } else {
935           ok(!$equal, "different SQL expressions should have been considered not equal");
936         }
937
938         if ($equal ^ $test->{equal}) {
939           my ($ast1, $ast2) = map { SQL::Abstract::Test::parse ($_) } ($sql1, $sql2);
940           $_ = Dumper $_ for ($ast1, $ast2);
941
942           diag "sql1: $sql1";
943           diag "sql2: $sql2";
944           note $SQL::Abstract::Test::sql_differ;
945           note "ast1: $ast1";
946           note "ast2: $ast2";
947         }
948       }
949     }
950   }
951 }
952
953 for my $test (@bind_tests) {
954   my $bindvals = $test->{bindvals};
955   while (@$bindvals) {
956     my $bind1 = shift @$bindvals;
957     foreach my $bind2 (@$bindvals) {
958       my $equal = eq_bind($bind1, $bind2);
959       if ($test->{equal}) {
960         ok($equal, "equal bind values considered equal");
961       } else {
962         ok(!$equal, "different bind values considered not equal");
963       }
964
965       if ($equal ^ $test->{equal}) {
966         diag("bind1: " . Dumper($bind1));
967         diag("bind2: " . Dumper($bind2));
968       }
969     }
970   }
971 }
972
973 ok(eq_sql_bind(
974     "SELECT * FROM foo WHERE id = ?", [42],
975     "SELECT * FROM foo WHERE (id = ?)", [42],
976   ),
977   "eq_sql_bind considers equal SQL expressions and bind values equal"
978 );
979
980
981 ok(!eq_sql_bind(
982     "SELECT * FROM foo WHERE id = ?", [42],
983     "SELECT * FROM foo WHERE (id = ?)", [0],
984   ),
985   "eq_sql_bind considers equal SQL expressions and different bind values different"
986 );
987
988 ok(!eq_sql_bind(
989     "SELECT * FROM foo WHERE id = ?", [42],
990     "SELECT * FROM bar WHERE (id = ?)", [42],
991   ),
992   "eq_sql_bind considers different SQL expressions and equal bind values different"
993 );