/ Hex Artifact Content
Login

Artifact 87fb9548debcc2cd141c5299002dd94672fa76a3:


0000: 23 20 32 30 31 35 2d 30 38 2d 32 36 0a 23 0a 23  # 2015-08-26.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69  **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73  mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53  sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a 23  QLite library..#
01a0: 20 0a 23 20 54 68 69 73 20 66 69 6c 65 20 73 65   .# This file se
01b0: 65 6b 73 20 74 6f 20 76 65 72 69 66 79 20 74 68  eks to verify th
01c0: 61 74 20 65 78 70 72 65 73 73 69 6f 6e 73 20 28  at expressions (
01d0: 61 6e 64 20 65 73 70 65 63 69 61 6c 6c 79 20 66  and especially f
01e0: 75 6e 63 74 69 6f 6e 73 29 0a 23 20 74 68 61 74  unctions).# that
01f0: 20 61 72 65 20 69 6e 20 62 6f 74 68 20 74 68 65   are in both the
0200: 20 4f 52 44 45 52 20 42 59 20 63 6c 61 75 73 65   ORDER BY clause
0210: 20 61 6e 64 20 74 68 65 20 72 65 73 75 6c 74 20   and the result 
0220: 73 65 74 20 61 72 65 20 6f 6e 6c 79 0a 23 20 65  set are only.# e
0230: 76 61 6c 75 61 74 65 64 20 6f 6e 63 65 2e 0a 23  valuated once..#
0240: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
0250: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
0260: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
0270: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73  dir/tester.tcl.s
0280: 65 74 20 3a 3a 74 65 73 74 70 72 65 66 69 78 20  et ::testprefix 
0290: 6f 72 64 65 72 62 79 39 0a 0a 0a 64 6f 5f 65 78  orderby9...do_ex
02a0: 65 63 73 71 6c 5f 74 65 73 74 20 73 65 74 75 70  ecsql_test setup
02b0: 20 7b 0a 20 20 2d 2d 20 63 72 65 61 74 65 20 61   {.  -- create a
02c0: 20 74 61 62 6c 65 20 77 69 74 68 20 6d 61 6e 79   table with many
02d0: 20 65 6e 74 72 69 65 73 0a 20 20 43 52 45 41 54   entries.  CREAT
02e0: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
02f0: 20 57 49 54 48 20 52 45 43 55 52 53 49 56 45 0a   WITH RECURSIVE.
0300: 20 20 20 20 20 63 28 78 29 20 41 53 20 28 56 41       c(x) AS (VA
0310: 4c 55 45 53 28 31 29 20 55 4e 49 4f 4e 20 41 4c  LUES(1) UNION AL
0320: 4c 20 53 45 4c 45 43 54 20 78 2b 31 20 46 52 4f  L SELECT x+1 FRO
0330: 4d 20 63 20 57 48 45 52 45 20 78 3c 31 30 30 29  M c WHERE x<100)
0340: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0350: 31 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20  1 SELECT x FROM 
0360: 63 3b 0a 7d 0a 0a 23 20 53 6f 6d 65 20 76 65 72  c;.}..# Some ver
0370: 73 69 6f 6e 73 20 6f 66 20 54 43 4c 20 61 72 65  sions of TCL are
0380: 20 75 6e 61 62 6c 65 20 74 6f 20 5b 6c 73 6f 72   unable to [lsor
0390: 74 20 2d 69 6e 74 5d 20 66 6f 72 0a 23 20 36 34  t -int] for.# 64
03a0: 2d 62 69 74 20 69 6e 74 65 67 65 72 73 2e 20 20  -bit integers.  
03b0: 53 6f 20 77 65 20 77 72 69 74 65 20 6f 75 72 20  So we write our 
03c0: 6f 77 6e 20 63 6f 6d 70 61 72 69 73 6f 6e 0a 23  own comparison.#
03d0: 20 72 6f 75 74 69 6e 65 2e 0a 70 72 6f 63 20 62   routine..proc b
03e0: 69 67 69 6e 74 63 6f 6d 70 61 72 65 20 7b 61 20  igintcompare {a 
03f0: 62 7d 20 7b 0a 20 20 73 65 74 20 78 20 5b 65 78  b} {.  set x [ex
0400: 70 72 20 7b 24 61 2d 24 62 7d 5d 0a 20 20 69 66  pr {$a-$b}].  if
0410: 20 7b 24 78 3c 30 7d 20 7b 72 65 74 75 72 6e 20   {$x<0} {return 
0420: 2d 31 7d 0a 20 20 69 66 20 7b 24 78 3e 30 7d 20  -1}.  if {$x>0} 
0430: 7b 72 65 74 75 72 6e 20 2b 31 7d 0a 20 20 72 65  {return +1}.  re
0440: 74 75 72 6e 20 30 0a 7d 0a 64 6f 5f 74 65 73 74  turn 0.}.do_test
0450: 20 31 2e 30 20 7b 0a 20 20 73 65 74 20 6c 31 20   1.0 {.  set l1 
0460: 7b 7d 0a 20 20 23 20 49 66 20 72 61 6e 64 6f 6d  {}.  # If random
0470: 28 29 20 69 73 20 6f 6e 6c 79 20 65 76 61 6c 75  () is only evalu
0480: 61 74 65 64 20 6f 6e 63 65 20 61 6e 64 20 74 68  ated once and th
0490: 65 6e 20 72 65 75 73 65 64 20 66 6f 72 20 65 61  en reused for ea
04a0: 63 68 20 72 6f 77 2c 20 74 68 65 6e 0a 20 20 23  ch row, then.  #
04b0: 20 74 68 65 20 6f 75 74 70 75 74 20 73 68 6f 75   the output shou
04c0: 6c 64 20 61 70 70 65 61 72 20 69 6e 20 73 6f 72  ld appear in sor
04d0: 74 65 64 20 6f 72 64 65 72 2e 20 20 49 66 20 72  ted order.  If r
04e0: 61 6e 64 6f 6d 28 29 20 69 73 20 65 76 61 6c 75  andom() is evalu
04f0: 61 74 65 64 20 0a 20 20 23 20 73 65 70 61 72 61  ated .  # separa
0500: 74 65 6c 79 20 66 6f 72 20 74 68 65 20 72 65 73  tely for the res
0510: 75 6c 74 20 73 65 74 20 61 6e 64 20 74 68 65 20  ult set and the 
0520: 4f 52 44 45 52 20 42 59 20 63 6c 61 75 73 65 2c  ORDER BY clause,
0530: 20 74 68 65 6e 20 74 68 65 20 6f 75 74 70 75 74   then the output
0540: 0a 20 20 23 20 6f 72 64 65 72 20 77 69 6c 6c 20  .  # order will 
0550: 62 65 20 72 61 6e 64 6f 6d 2e 0a 20 20 64 62 20  be random..  db 
0560: 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 72 61 6e  eval {SELECT ran
0570: 64 6f 6d 28 29 20 41 53 20 79 20 46 52 4f 4d 20  dom() AS y FROM 
0580: 74 31 20 4f 52 44 45 52 20 42 59 20 31 3b 7d 20  t1 ORDER BY 1;} 
0590: 7b 6c 61 70 70 65 6e 64 20 6c 31 20 24 79 7d 0a  {lappend l1 $y}.
05a0: 20 20 65 78 70 72 20 7b 24 6c 31 3d 3d 5b 6c 73    expr {$l1==[ls
05b0: 6f 72 74 20 2d 63 6f 6d 6d 61 6e 64 20 62 69 67  ort -command big
05c0: 69 6e 74 63 6f 6d 70 61 72 65 20 24 6c 31 5d 7d  intcompare $l1]}
05d0: 0a 7d 20 7b 31 7d 0a 0a 64 6f 5f 74 65 73 74 20  .} {1}..do_test 
05e0: 31 2e 31 20 7b 0a 20 20 73 65 74 20 6c 31 20 7b  1.1 {.  set l1 {
05f0: 7d 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c  }.  db eval {SEL
0600: 45 43 54 20 72 61 6e 64 6f 6d 28 29 20 41 53 20  ECT random() AS 
0610: 79 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20  y FROM t1 ORDER 
0620: 42 59 20 72 61 6e 64 6f 6d 28 29 3b 7d 20 7b 6c  BY random();} {l
0630: 61 70 70 65 6e 64 20 6c 31 20 24 79 7d 0a 20 20  append l1 $y}.  
0640: 65 78 70 72 20 7b 24 6c 31 3d 3d 5b 6c 73 6f 72  expr {$l1==[lsor
0650: 74 20 2d 63 6f 6d 6d 61 6e 64 20 62 69 67 69 6e  t -command bigin
0660: 74 63 6f 6d 70 61 72 65 20 24 6c 31 5d 7d 0a 7d  tcompare $l1]}.}
0670: 20 7b 31 7d 0a 0a 64 6f 5f 74 65 73 74 20 31 2e   {1}..do_test 1.
0680: 32 20 7b 0a 20 20 73 65 74 20 6c 31 20 7b 7d 0a  2 {.  set l1 {}.
0690: 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43    db eval {SELEC
06a0: 54 20 72 61 6e 64 6f 6d 28 29 20 41 53 20 79 20  T random() AS y 
06b0: 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59  FROM t1 ORDER BY
06c0: 20 2b 72 61 6e 64 6f 6d 28 29 3b 7d 20 7b 6c 61   +random();} {la
06d0: 70 70 65 6e 64 20 6c 31 20 24 79 7d 0a 20 20 65  ppend l1 $y}.  e
06e0: 78 70 72 20 7b 24 6c 31 3d 3d 5b 6c 73 6f 72 74  xpr {$l1==[lsort
06f0: 20 2d 63 6f 6d 6d 61 6e 64 20 62 69 67 69 6e 74   -command bigint
0700: 63 6f 6d 70 61 72 65 20 24 6c 31 5d 7d 0a 7d 20  compare $l1]}.} 
0710: 7b 30 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  {0}..finish_test
0720: 0a                                               .