/ Hex Artifact Content
Login

Artifact c003672a215124df7fc6000036d896f498b26b53:


0000: 23 20 32 30 30 36 20 4f 63 74 6f 62 65 72 20 31  # 2006 October 1
0010: 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  9.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 0a 23 0a 23 2a 2a 2a  rce code..#.#***
0050: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0060: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0070: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0080: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0090: 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69  ******.# This fi
00a0: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65  le implements re
00b0: 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66  gression tests f
00c0: 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  or SQLite librar
00d0: 79 2e 20 20 54 68 65 20 66 6f 63 75 73 0a 23 20  y.  The focus.# 
00e0: 6f 66 20 74 68 69 73 20 73 63 72 69 70 74 20 69  of this script i
00f0: 73 20 74 65 73 74 69 6e 67 20 68 61 6e 64 6c 69  s testing handli
0100: 6e 67 20 6f 66 20 65 64 67 65 20 63 61 73 65 73  ng of edge cases
0110: 20 66 6f 72 20 76 61 72 69 6f 75 73 20 64 6f 63   for various doc
0120: 6c 69 73 74 0a 23 20 6d 65 72 67 69 6e 67 20 66  list.# merging f
0130: 75 6e 63 74 69 6f 6e 73 20 69 6e 20 74 68 65 20  unctions in the 
0140: 46 54 53 33 20 6d 6f 64 75 6c 65 20 71 75 65 72  FTS3 module quer
0150: 79 20 6c 6f 67 69 63 2e 0a 23 0a 23 20 24 49 64  y logic..#.# $Id
0160: 3a 20 66 74 73 33 61 67 2e 74 65 73 74 2c 76 20  : fts3ag.test,v 
0170: 31 2e 32 20 32 30 30 37 2f 31 31 2f 31 36 20 30  1.2 2007/11/16 0
0180: 30 3a 32 33 3a 30 38 20 73 68 65 73 73 20 45 78  0:23:08 shess Ex
0190: 70 20 24 0a 23 0a 0a 73 65 74 20 74 65 73 74 64  p $.#..set testd
01a0: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
01b0: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
01c0: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
01d0: 74 63 6c 0a 0a 23 20 49 66 20 53 51 4c 49 54 45  tcl..# If SQLITE
01e0: 5f 45 4e 41 42 4c 45 5f 46 54 53 33 20 69 73 20  _ENABLE_FTS3 is 
01f0: 64 65 66 69 6e 65 64 2c 20 6f 6d 69 74 20 74 68  defined, omit th
0200: 69 73 20 66 69 6c 65 2e 0a 69 66 63 61 70 61 62  is file..ifcapab
0210: 6c 65 20 21 66 74 73 33 20 7b 0a 20 20 66 69 6e  le !fts3 {.  fin
0220: 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72  ish_test.  retur
0230: 6e 0a 7d 0a 0a 64 62 20 65 76 61 6c 20 7b 0a 20  n.}..db eval {. 
0240: 20 43 52 45 41 54 45 20 56 49 52 54 55 41 4c 20   CREATE VIRTUAL 
0250: 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47 20 66  TABLE t1 USING f
0260: 74 73 33 28 63 6f 6e 74 65 6e 74 29 3b 0a 20 20  ts3(content);.  
0270: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 28  INSERT INTO t1 (
0280: 72 6f 77 69 64 2c 20 63 6f 6e 74 65 6e 74 29 20  rowid, content) 
0290: 56 41 4c 55 45 53 28 31 2c 20 27 74 68 69 73 20  VALUES(1, 'this 
02a0: 69 73 20 61 20 74 65 73 74 27 29 3b 0a 20 20 49  is a test');.  I
02b0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 28 72  NSERT INTO t1 (r
02c0: 6f 77 69 64 2c 20 63 6f 6e 74 65 6e 74 29 20 56  owid, content) V
02d0: 41 4c 55 45 53 28 32 2c 20 27 61 6c 73 6f 20 61  ALUES(2, 'also a
02e0: 20 74 65 73 74 27 29 3b 0a 7d 0a 0a 23 20 4e 6f   test');.}..# No
02f0: 20 68 69 74 73 20 61 74 20 61 6c 6c 2e 20 20 52   hits at all.  R
0300: 65 74 75 72 6e 73 20 65 6d 70 74 79 20 64 6f 63  eturns empty doc
0310: 6c 69 73 74 73 20 66 72 6f 6d 20 74 65 72 6d 53  lists from termS
0320: 65 6c 65 63 74 28 29 2e 0a 64 6f 5f 74 65 73 74  elect()..do_test
0330: 20 66 74 73 33 61 67 2d 31 2e 31 20 7b 0a 20 20   fts3ag-1.1 {.  
0340: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0350: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0360: 45 52 45 20 74 31 20 4d 41 54 43 48 20 27 73 6f  ERE t1 MATCH 'so
0370: 6d 65 74 68 69 6e 67 27 7d 0a 7d 20 7b 7d 0a 0a  mething'}.} {}..
0380: 23 20 45 6d 70 74 79 20 6c 65 66 74 20 69 6e 20  # Empty left in 
0390: 64 6f 63 4c 69 73 74 45 78 63 65 70 74 4d 65 72  docListExceptMer
03a0: 67 65 28 29 2e 0a 64 6f 5f 74 65 73 74 20 66 74  ge()..do_test ft
03b0: 73 33 61 67 2d 31 2e 32 20 7b 0a 20 20 65 78 65  s3ag-1.2 {.  exe
03c0: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77  csql {SELECT row
03d0: 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45  id FROM t1 WHERE
03e0: 20 74 31 20 4d 41 54 43 48 20 27 2d 74 68 69 73   t1 MATCH '-this
03f0: 20 73 6f 6d 65 74 68 69 6e 67 27 7d 0a 7d 20 7b   something'}.} {
0400: 7d 0a 0a 23 20 45 6d 70 74 79 20 72 69 67 68 74  }..# Empty right
0410: 20 69 6e 20 64 6f 63 4c 69 73 74 45 78 63 65 70   in docListExcep
0420: 74 4d 65 72 67 65 28 29 2e 0a 64 6f 5f 74 65 73  tMerge()..do_tes
0430: 74 20 66 74 73 33 61 67 2d 31 2e 33 20 7b 0a 20  t fts3ag-1.3 {. 
0440: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
0450: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
0460: 48 45 52 45 20 74 31 20 4d 41 54 43 48 20 27 74  HERE t1 MATCH 't
0470: 68 69 73 20 2d 73 6f 6d 65 74 68 69 6e 67 27 7d  his -something'}
0480: 0a 7d 20 7b 31 7d 0a 0a 23 20 45 6d 70 74 79 20  .} {1}..# Empty 
0490: 6c 65 66 74 20 69 6e 20 64 6f 63 4c 69 73 74 50  left in docListP
04a0: 68 72 61 73 65 4d 65 72 67 65 28 29 2e 0a 64 6f  hraseMerge()..do
04b0: 5f 74 65 73 74 20 66 74 73 33 61 67 2d 31 2e 34  _test fts3ag-1.4
04c0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
04d0: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
04e0: 74 31 20 57 48 45 52 45 20 74 31 20 4d 41 54 43  t1 WHERE t1 MATC
04f0: 48 20 27 22 74 68 69 73 20 73 6f 6d 65 74 68 69  H '"this somethi
0500: 6e 67 22 27 7d 0a 7d 20 7b 7d 0a 0a 23 20 45 6d  ng"'}.} {}..# Em
0510: 70 74 79 20 72 69 67 68 74 20 69 6e 20 64 6f 63  pty right in doc
0520: 4c 69 73 74 50 68 72 61 73 65 4d 65 72 67 65 28  ListPhraseMerge(
0530: 29 2e 0a 64 6f 5f 74 65 73 74 20 66 74 73 33 61  )..do_test fts3a
0540: 67 2d 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71  g-1.5 {.  execsq
0550: 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20  l {SELECT rowid 
0560: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 74 31  FROM t1 WHERE t1
0570: 20 4d 41 54 43 48 20 27 22 73 6f 6d 65 74 68 69   MATCH '"somethi
0580: 6e 67 20 69 73 22 27 7d 0a 7d 20 7b 7d 0a 0a 23  ng is"'}.} {}..#
0590: 20 45 6d 70 74 79 20 6c 65 66 74 20 69 6e 20 64   Empty left in d
05a0: 6f 63 4c 69 73 74 4f 72 4d 65 72 67 65 28 29 2e  ocListOrMerge().
05b0: 0a 64 6f 5f 74 65 73 74 20 66 74 73 33 61 67 2d  .do_test fts3ag-
05c0: 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.6 {.  execsql 
05d0: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
05e0: 4f 4d 20 74 31 20 57 48 45 52 45 20 74 31 20 4d  OM t1 WHERE t1 M
05f0: 41 54 43 48 20 27 73 6f 6d 65 74 68 69 6e 67 20  ATCH 'something 
0600: 4f 52 20 74 68 69 73 27 7d 0a 7d 20 7b 31 7d 0a  OR this'}.} {1}.
0610: 0a 23 20 45 6d 70 74 79 20 72 69 67 68 74 20 69  .# Empty right i
0620: 6e 20 64 6f 63 4c 69 73 74 4f 72 4d 65 72 67 65  n docListOrMerge
0630: 28 29 2e 0a 64 6f 5f 74 65 73 74 20 66 74 73 33  ()..do_test fts3
0640: 61 67 2d 31 2e 37 20 7b 0a 20 20 65 78 65 63 73  ag-1.7 {.  execs
0650: 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64  ql {SELECT rowid
0660: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 74   FROM t1 WHERE t
0670: 31 20 4d 41 54 43 48 20 27 74 68 69 73 20 4f 52  1 MATCH 'this OR
0680: 20 73 6f 6d 65 74 68 69 6e 67 27 7d 0a 7d 20 7b   something'}.} {
0690: 31 7d 0a 0a 23 20 45 6d 70 74 79 20 6c 65 66 74  1}..# Empty left
06a0: 20 69 6e 20 64 6f 63 4c 69 73 74 41 6e 64 4d 65   in docListAndMe
06b0: 72 67 65 28 29 2e 0a 64 6f 5f 74 65 73 74 20 66  rge()..do_test f
06c0: 74 73 33 61 67 2d 31 2e 38 20 7b 0a 20 20 65 78  ts3ag-1.8 {.  ex
06d0: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f  ecsql {SELECT ro
06e0: 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52  wid FROM t1 WHER
06f0: 45 20 74 31 20 4d 41 54 43 48 20 27 73 6f 6d 65  E t1 MATCH 'some
0700: 74 68 69 6e 67 20 74 68 69 73 27 7d 0a 7d 20 7b  thing this'}.} {
0710: 7d 0a 0a 23 20 45 6d 70 74 79 20 72 69 67 68 74  }..# Empty right
0720: 20 69 6e 20 64 6f 63 4c 69 73 74 41 6e 64 4d 65   in docListAndMe
0730: 72 67 65 28 29 2e 0a 64 6f 5f 74 65 73 74 20 66  rge()..do_test f
0740: 74 73 33 61 67 2d 31 2e 39 20 7b 0a 20 20 65 78  ts3ag-1.9 {.  ex
0750: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f  ecsql {SELECT ro
0760: 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52  wid FROM t1 WHER
0770: 45 20 74 31 20 4d 41 54 43 48 20 27 74 68 69 73  E t1 MATCH 'this
0780: 20 73 6f 6d 65 74 68 69 6e 67 27 7d 0a 7d 20 7b   something'}.} {
0790: 7d 0a 0a 23 20 4e 6f 20 73 75 70 70 6f 72 74 20  }..# No support 
07a0: 66 6f 72 20 61 6c 6c 2d 65 78 63 65 70 74 20 71  for all-except q
07b0: 75 65 72 69 65 73 2e 0a 64 6f 5f 74 65 73 74 20  ueries..do_test 
07c0: 66 74 73 33 61 67 2d 31 2e 31 30 20 7b 0a 20 20  fts3ag-1.10 {.  
07d0: 63 61 74 63 68 73 71 6c 20 7b 53 45 4c 45 43 54  catchsql {SELECT
07e0: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
07f0: 48 45 52 45 20 74 31 20 4d 41 54 43 48 20 27 2d  HERE t1 MATCH '-
0800: 74 68 69 73 20 2d 73 6f 6d 65 74 68 69 6e 67 27  this -something'
0810: 7d 0a 7d 20 7b 31 20 7b 6d 61 6c 66 6f 72 6d 65  }.} {1 {malforme
0820: 64 20 4d 41 54 43 48 20 65 78 70 72 65 73 73 69  d MATCH expressi
0830: 6f 6e 3a 20 5b 2d 74 68 69 73 20 2d 73 6f 6d 65  on: [-this -some
0840: 74 68 69 6e 67 5d 7d 7d 0a 0a 23 20 54 65 73 74  thing]}}..# Test
0850: 20 74 68 61 74 20 64 6f 63 4c 69 73 74 4f 72 4d   that docListOrM
0860: 65 72 67 65 28 29 20 63 6f 72 72 65 63 74 6c 79  erge() correctly
0870: 20 68 61 6e 64 6c 65 73 20 72 65 61 63 68 69 6e   handles reachin
0880: 67 20 74 68 65 20 65 6e 64 20 6f 66 20 6f 6e 65  g the end of one
0890: 0a 23 20 64 6f 63 6c 69 73 74 20 62 65 66 6f 72  .# doclist befor
08a0: 65 20 69 74 20 72 65 61 63 68 65 73 20 74 68 65  e it reaches the
08b0: 20 65 6e 64 20 6f 66 20 74 68 65 20 6f 74 68 65   end of the othe
08c0: 72 2e 0a 64 6f 5f 74 65 73 74 20 66 74 73 33 61  r..do_test fts3a
08d0: 67 2d 31 2e 31 31 20 7b 0a 20 20 65 78 65 63 73  g-1.11 {.  execs
08e0: 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64  ql {SELECT rowid
08f0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 74   FROM t1 WHERE t
0900: 31 20 4d 41 54 43 48 20 27 74 68 69 73 20 4f 52  1 MATCH 'this OR
0910: 20 61 6c 73 6f 27 7d 0a 7d 20 7b 31 20 32 7d 0a   also'}.} {1 2}.
0920: 64 6f 5f 74 65 73 74 20 66 74 73 33 61 67 2d 31  do_test fts3ag-1
0930: 2e 31 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .12 {.  execsql 
0940: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
0950: 4f 4d 20 74 31 20 57 48 45 52 45 20 74 31 20 4d  OM t1 WHERE t1 M
0960: 41 54 43 48 20 27 61 6c 73 6f 20 4f 52 20 74 68  ATCH 'also OR th
0970: 69 73 27 7d 0a 7d 20 7b 31 20 32 7d 0a 0a 23 20  is'}.} {1 2}..# 
0980: 45 6d 70 74 79 20 6c 65 66 74 20 61 6e 64 20 72  Empty left and r
0990: 69 67 68 74 20 69 6e 20 64 6f 63 4c 69 73 74 4f  ight in docListO
09a0: 72 4d 65 72 67 65 28 29 2e 20 20 45 61 63 68 20  rMerge().  Each 
09b0: 74 65 72 6d 20 6d 61 74 63 68 65 73 20 6e 65 69  term matches nei
09c0: 74 68 65 72 0a 23 20 72 6f 77 2c 20 61 6e 64 20  ther.# row, and 
09d0: 77 68 65 6e 20 63 6f 6d 62 69 6e 65 64 20 74 68  when combined th
09e0: 65 72 65 20 77 61 73 20 61 6e 20 61 73 73 65 72  ere was an asser
09f0: 74 69 6f 6e 20 66 61 69 6c 75 72 65 2e 0a 64 6f  tion failure..do
0a00: 5f 74 65 73 74 20 66 74 73 33 61 67 2d 31 2e 31  _test fts3ag-1.1
0a10: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53  3 {.  execsql {S
0a20: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0a30: 20 74 31 20 57 48 45 52 45 20 74 31 20 4d 41 54   t1 WHERE t1 MAT
0a40: 43 48 20 27 73 6f 6d 65 74 68 69 6e 67 20 4f 52  CH 'something OR
0a50: 20 6e 6f 74 68 69 6e 67 27 7d 0a 7d 20 7b 7d 0a   nothing'}.} {}.
0a60: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.