/ Hex Artifact Content
Login

Artifact 74d77f6cdb768ac49df5afda575cef14ae3d239a:


0000: 23 20 32 30 31 32 20 4d 61 72 63 68 20 32 36 0a  # 2012 March 26.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   you 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 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66  *******.# This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72  ile implements r
0180: 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20  egression tests 
0190: 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61  for SQLite libra
01a0: 72 79 2e 20 54 68 65 0a 23 20 66 6f 63 75 73 20  ry. The.# focus 
01b0: 6f 66 20 74 68 69 73 20 73 63 72 69 70 74 20 69  of this script i
01c0: 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 46 54  s testing the FT
01d0: 53 20 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65  S 'integrity-che
01e0: 63 6b 27 20 66 75 6e 63 74 69 6f 6e 2c 0a 23 20  ck' function,.# 
01f0: 75 73 65 64 20 74 6f 20 63 68 65 63 6b 20 69 66  used to check if
0200: 20 74 68 65 20 63 75 72 72 65 6e 74 20 46 54 53   the current FTS
0210: 20 69 6e 64 65 78 20 61 63 63 75 72 61 74 65 6c   index accuratel
0220: 79 20 72 65 66 6c 65 63 74 73 20 74 68 65 20 63  y reflects the c
0230: 6f 6e 74 65 6e 74 0a 23 20 6f 66 20 74 68 65 20  ontent.# of the 
0240: 74 61 62 6c 65 2e 0a 23 0a 0a 73 65 74 20 74 65  table..#..set te
0250: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
0260: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
0270: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
0280: 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74  er.tcl.source $t
0290: 65 73 74 64 69 72 2f 66 74 73 33 5f 63 6f 6d 6d  estdir/fts3_comm
02a0: 6f 6e 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73  on.tcl.set ::tes
02b0: 74 70 72 65 66 69 78 20 66 74 73 34 63 68 65 63  tprefix fts4chec
02c0: 6b 0a 0a 23 20 49 66 20 53 51 4c 49 54 45 5f 45  k..# If SQLITE_E
02d0: 4e 41 42 4c 45 5f 46 54 53 33 20 69 73 20 64 65  NABLE_FTS3 is de
02e0: 66 69 6e 65 64 2c 20 6f 6d 69 74 20 74 68 69 73  fined, omit this
02f0: 20 66 69 6c 65 2e 0a 69 66 63 61 70 61 62 6c 65   file..ifcapable
0300: 20 21 66 74 73 33 20 7b 0a 20 20 66 69 6e 69 73   !fts3 {.  finis
0310: 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a  h_test.  return.
0320: 7d 0a 0a 23 20 52 75 6e 20 74 68 65 20 69 6e 74  }..# Run the int
0330: 65 67 72 69 74 79 2d 63 68 65 63 6b 20 6f 6e 20  egrity-check on 
0340: 46 54 53 20 74 61 62 6c 65 20 24 74 62 6c 20 75  FTS table $tbl u
0350: 73 69 6e 67 20 64 61 74 61 62 61 73 65 20 68 61  sing database ha
0360: 6e 64 6c 65 20 24 64 62 2e 20 49 66 0a 23 20 74  ndle $db. If.# t
0370: 68 65 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65  he integrity-che
0380: 63 6b 20 70 61 73 73 65 73 2c 20 72 65 74 75 72  ck passes, retur
0390: 6e 20 22 6f 6b 22 2e 20 4f 74 68 65 72 77 69 73  n "ok". Otherwis
03a0: 65 2c 20 74 68 72 6f 77 20 61 6e 20 65 78 63 65  e, throw an exce
03b0: 70 74 69 6f 6e 2e 0a 23 0a 70 72 6f 63 20 66 74  ption..#.proc ft
03c0: 73 5f 69 6e 74 65 67 72 69 74 79 20 7b 64 62 20  s_integrity {db 
03d0: 74 62 6c 7d 20 7b 0a 20 20 24 64 62 20 65 76 61  tbl} {.  $db eva
03e0: 6c 20 22 49 4e 53 45 52 54 20 49 4e 54 4f 20 24  l "INSERT INTO $
03f0: 74 62 6c 20 28 24 74 62 6c 29 20 56 41 4c 55 45  tbl ($tbl) VALUE
0400: 53 28 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65  S('integrity-che
0410: 63 6b 27 29 22 0a 20 20 72 65 74 75 72 6e 20 22  ck')".  return "
0420: 6f 6b 22 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  ok".}..#--------
0430: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0440: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0450: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0460: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0470: 2d 0a 23 20 54 65 73 74 20 63 61 73 65 73 20 31  -.# Test cases 1
0480: 2e 2a 0a 23 0a 23 20 20 20 31 2e 30 3a 20 42 75  .*.#.#   1.0: Bu
0490: 69 6c 64 20 61 20 72 65 61 73 6f 6e 61 62 6c 79  ild a reasonably
04a0: 20 73 69 7a 65 64 20 46 54 53 20 74 61 62 6c 65   sized FTS table
04b0: 20 28 35 30 30 30 20 72 6f 77 73 29 2e 0a 23 0a   (5000 rows)..#.
04c0: 23 20 20 20 31 2e 31 3a 20 52 75 6e 20 74 68 65  #   1.1: Run the
04d0: 20 69 6e 74 65 67 72 69 74 79 20 63 68 65 63 6b   integrity check
04e0: 20 63 6f 64 65 20 74 6f 20 63 68 65 63 6b 20 69   code to check i
04f0: 74 20 70 61 73 73 65 73 2e 0a 23 0a 23 20 20 20  t passes..#.#   
0500: 31 2e 32 3a 20 4d 61 6b 65 20 61 20 73 65 72 69  1.2: Make a seri
0510: 65 73 20 6f 66 20 6d 69 6e 6f 72 20 63 68 61 6e  es of minor chan
0520: 67 65 73 20 74 6f 20 74 68 65 20 75 6e 64 65 72  ges to the under
0530: 6c 79 69 6e 67 20 46 54 53 20 64 61 74 61 20 73  lying FTS data s
0540: 74 72 75 63 74 75 72 65 73 0a 23 20 20 20 20 20  tructures.#     
0550: 20 20 20 28 65 2e 67 2e 20 64 65 6c 65 74 65 20     (e.g. delete 
0560: 6f 72 20 69 6e 73 65 72 74 20 61 20 72 6f 77 20  or insert a row 
0570: 66 72 6f 6d 20 74 68 65 20 25 5f 63 6f 6e 74 65  from the %_conte
0580: 6e 74 20 74 61 62 6c 65 29 2e 20 43 68 65 63 6b  nt table). Check
0590: 20 74 68 61 74 0a 23 20 20 20 20 20 20 20 20 74   that.#        t
05a0: 68 69 73 20 63 61 75 73 65 73 20 74 68 65 20 69  his causes the i
05b0: 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 20 63  ntegrity-check c
05c0: 6f 64 65 20 74 6f 20 66 61 69 6c 2e 0a 23 0a 0a  ode to fail..#..
05d0: 23 20 42 75 69 6c 64 20 61 6e 20 46 54 53 20 74  # Build an FTS t
05e0: 61 62 6c 65 20 61 6e 64 20 63 68 65 63 6b 20 74  able and check t
05f0: 68 65 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65  he integrity-che
0600: 63 6b 20 70 61 73 73 65 73 2e 0a 23 0a 64 6f 5f  ck passes..#.do_
0610: 74 65 73 74 20 31 2e 30 20 7b 20 66 74 73 33 5f  test 1.0 { fts3_
0620: 62 75 69 6c 64 5f 64 62 5f 31 20 35 30 30 30 20  build_db_1 5000 
0630: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 31 2e 31  } {}.do_test 1.1
0640: 20 7b 20 66 74 73 5f 69 6e 74 65 67 72 69 74 79   { fts_integrity
0650: 20 64 62 20 74 31 20 7d 20 7b 6f 6b 7d 0a 0a 23   db t1 } {ok}..#
0660: 20 4d 65 73 73 20 61 72 6f 75 6e 64 20 77 69 74   Mess around wit
0670: 68 20 74 68 65 20 75 6e 64 65 72 6c 79 69 6e 67  h the underlying
0680: 20 74 61 62 6c 65 73 2e 20 43 68 65 63 6b 20 74   tables. Check t
0690: 68 61 74 20 74 68 69 73 20 63 61 75 73 65 73 20  hat this causes 
06a0: 74 68 65 0a 23 20 69 6e 74 65 67 72 69 74 79 2d  the.# integrity-
06b0: 63 68 65 63 6b 20 74 65 73 74 20 74 6f 20 66 61  check test to fa
06c0: 69 6c 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74  il..#.foreach {t
06d0: 6e 20 64 69 73 72 75 70 74 69 6f 6e 7d 20 7b 0a  n disruption} {.
06e0: 20 20 31 20 7b 0a 20 20 20 20 49 4e 53 45 52 54    1 {.    INSERT
06f0: 20 49 4e 54 4f 20 74 31 5f 63 6f 6e 74 65 6e 74   INTO t1_content
0700: 28 64 6f 63 69 64 2c 20 63 30 78 2c 20 63 31 79  (docid, c0x, c1y
0710: 29 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 27  ) VALUES(NULL, '
0720: 61 27 2c 20 27 62 27 29 3b 0a 20 20 7d 0a 20 20  a', 'b');.  }.  
0730: 32 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  2 {.    DELETE F
0740: 52 4f 4d 20 74 31 5f 63 6f 6e 74 65 6e 74 20 57  ROM t1_content W
0750: 48 45 52 45 20 64 6f 63 69 64 20 3d 20 28 53 45  HERE docid = (SE
0760: 4c 45 43 54 20 6d 61 78 28 64 6f 63 69 64 29 20  LECT max(docid) 
0770: 46 52 4f 4d 20 74 31 5f 63 6f 6e 74 65 6e 74 29  FROM t1_content)
0780: 3b 0a 20 20 7d 0a 20 20 33 20 7b 0a 20 20 20 20  ;.  }.  3 {.    
0790: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 5f 73  DELETE FROM t1_s
07a0: 65 67 64 69 72 20 57 48 45 52 45 20 6c 65 76 65  egdir WHERE leve
07b0: 6c 3d 30 20 41 4e 44 20 69 64 78 3d 28 0a 20 20  l=0 AND idx=(.  
07c0: 20 20 20 20 53 45 4c 45 43 54 20 6d 61 78 28 69      SELECT max(i
07d0: 64 78 29 20 46 52 4f 4d 20 74 31 5f 73 65 67 64  dx) FROM t1_segd
07e0: 69 72 20 57 48 45 52 45 20 6c 65 76 65 6c 3d 30  ir WHERE level=0
07f0: 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 0a  .    );.  }.} {.
0800: 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73    do_execsql_tes
0810: 74 20 20 31 2e 32 2e 31 2e 24 74 6e 20 22 42 45  t  1.2.1.$tn "BE
0820: 47 49 4e 3b 20 24 64 69 73 72 75 70 74 69 6f 6e  GIN; $disruption
0830: 22 0a 20 20 64 6f 5f 63 61 74 63 68 73 71 6c 5f  ".  do_catchsql_
0840: 74 65 73 74 20 31 2e 32 2e 32 2e 24 74 6e 20 7b  test 1.2.2.$tn {
0850: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0860: 20 74 31 20 28 74 31 29 20 56 41 4c 55 45 53 28   t1 (t1) VALUES(
0870: 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b  'integrity-check
0880: 27 29 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62  ').  } {1 {datab
0890: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
08a0: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20 20  s malformed}}.  
08b0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
08c0: 20 31 2e 32 2e 33 2e 24 74 6e 20 22 52 4f 4c 4c   1.2.3.$tn "ROLL
08d0: 42 41 43 4b 22 0a 7d 0a 0a 64 6f 5f 74 65 73 74  BACK".}..do_test
08e0: 20 31 2e 33 20 7b 20 66 74 73 5f 69 6e 74 65 67   1.3 { fts_integ
08f0: 72 69 74 79 20 64 62 20 74 31 20 7d 20 7b 6f 6b  rity db t1 } {ok
0900: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }..#------------
0910: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0920: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0930: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0940: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20  -------------.# 
0950: 54 65 73 74 20 63 61 73 65 73 20 32 2e 2a 0a 23  Test cases 2.*.#
0960: 0a 23 20 20 20 32 2e 30 3a 20 42 75 69 6c 64 20  .#   2.0: Build 
0970: 61 20 72 65 61 73 6f 6e 61 62 6c 79 20 73 69 7a  a reasonably siz
0980: 65 64 20 46 54 53 20 74 61 62 6c 65 20 28 32 30  ed FTS table (20
0990: 30 30 30 20 72 6f 77 73 29 20 74 68 61 74 20 69  000 rows) that i
09a0: 6e 63 6c 75 64 65 73 0a 23 20 20 20 20 20 20 20  ncludes.#       
09b0: 20 70 72 65 66 69 78 20 69 6e 64 65 78 65 73 2e   prefix indexes.
09c0: 0a 23 0a 23 20 20 20 32 2e 31 3a 20 52 75 6e 20  .#.#   2.1: Run 
09d0: 74 68 65 20 69 6e 74 65 67 72 69 74 79 20 63 68  the integrity ch
09e0: 65 63 6b 20 63 6f 64 65 20 74 6f 20 63 68 65 63  eck code to chec
09f0: 6b 20 69 74 20 70 61 73 73 65 73 2e 0a 23 0a 23  k it passes..#.#
0a00: 20 20 20 32 2e 32 3a 20 4d 61 6b 65 20 61 20 73     2.2: Make a s
0a10: 65 72 69 65 73 20 6f 66 20 6d 69 6e 6f 72 20 63  eries of minor c
0a20: 68 61 6e 67 65 73 20 74 6f 20 74 68 65 20 75 6e  hanges to the un
0a30: 64 65 72 6c 79 69 6e 67 20 46 54 53 20 64 61 74  derlying FTS dat
0a40: 61 20 73 74 72 75 63 74 75 72 65 73 0a 23 20 20  a structures.#  
0a50: 20 20 20 20 20 20 28 65 2e 67 2e 20 64 65 6c 65        (e.g. dele
0a60: 74 65 20 6f 72 20 69 6e 73 65 72 74 20 61 20 72  te or insert a r
0a70: 6f 77 20 66 72 6f 6d 20 74 68 65 20 25 5f 63 6f  ow from the %_co
0a80: 6e 74 65 6e 74 20 74 61 62 6c 65 29 2e 20 43 68  ntent table). Ch
0a90: 65 63 6b 20 74 68 61 74 0a 23 20 20 20 20 20 20  eck that.#      
0aa0: 20 20 74 68 69 73 20 63 61 75 73 65 73 20 74 68    this causes th
0ab0: 65 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63  e integrity-chec
0ac0: 6b 20 63 6f 64 65 20 74 6f 20 66 61 69 6c 2e 0a  k code to fail..
0ad0: 23 0a 0a 64 6f 5f 74 65 73 74 20 32 2e 30 20 7b  #..do_test 2.0 {
0ae0: 20 66 74 73 33 5f 62 75 69 6c 64 5f 64 62 5f 32   fts3_build_db_2
0af0: 20 2d 65 78 74 72 61 20 7b 70 72 65 66 69 78 3d   -extra {prefix=
0b00: 22 33 2c 31 22 7d 20 32 30 30 30 30 20 7d 20 7b  "3,1"} 20000 } {
0b10: 7d 0a 64 6f 5f 74 65 73 74 20 32 2e 31 20 7b 20  }.do_test 2.1 { 
0b20: 66 74 73 5f 69 6e 74 65 67 72 69 74 79 20 64 62  fts_integrity db
0b30: 20 74 32 20 7d 20 7b 6f 6b 7d 0a 66 6f 72 65 61   t2 } {ok}.forea
0b40: 63 68 20 7b 74 6e 20 64 69 73 72 75 70 74 69 6f  ch {tn disruptio
0b50: 6e 7d 20 7b 0a 20 20 31 20 7b 0a 20 20 20 20 49  n} {.  1 {.    I
0b60: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 5f 63 6f  NSERT INTO t2_co
0b70: 6e 74 65 6e 74 20 56 41 4c 55 45 53 28 4e 55 4c  ntent VALUES(NUL
0b80: 4c 2c 20 27 78 79 7a 27 29 0a 20 20 7d 0a 20 20  L, 'xyz').  }.  
0b90: 33 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  3 {.    DELETE F
0ba0: 52 4f 4d 20 74 32 5f 73 65 67 64 69 72 20 57 48  ROM t2_segdir WH
0bb0: 45 52 45 20 6c 65 76 65 6c 3d 30 20 41 4e 44 20  ERE level=0 AND 
0bc0: 69 64 78 3d 28 0a 20 20 20 20 20 20 53 45 4c 45  idx=(.      SELE
0bd0: 43 54 20 6d 61 78 28 69 64 78 29 20 46 52 4f 4d  CT max(idx) FROM
0be0: 20 74 32 5f 73 65 67 64 69 72 20 57 48 45 52 45   t2_segdir WHERE
0bf0: 20 6c 65 76 65 6c 3d 31 30 32 34 0a 20 20 20 20   level=1024.    
0c00: 29 3b 0a 20 20 7d 0a 7d 20 7b 0a 20 20 64 6f 5f  );.  }.} {.  do_
0c10: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 20 32 2e  execsql_test  2.
0c20: 32 2e 31 2e 24 74 6e 20 22 42 45 47 49 4e 3b 20  2.1.$tn "BEGIN; 
0c30: 24 64 69 73 72 75 70 74 69 6f 6e 22 0a 20 20 64  $disruption".  d
0c40: 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74 20  o_catchsql_test 
0c50: 32 2e 32 2e 32 2e 24 74 6e 20 7b 0a 20 20 20 20  2.2.2.$tn {.    
0c60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 28  INSERT INTO t2 (
0c70: 74 32 29 20 56 41 4c 55 45 53 28 27 69 6e 74 65  t2) VALUES('inte
0c80: 67 72 69 74 79 2d 63 68 65 63 6b 27 29 0a 20 20  grity-check').  
0c90: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
0ca0: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0cb0: 66 6f 72 6d 65 64 7d 7d 0a 20 20 64 6f 5f 65 78  formed}}.  do_ex
0cc0: 65 63 73 71 6c 5f 74 65 73 74 20 20 32 2e 32 2e  ecsql_test  2.2.
0cd0: 33 2e 24 74 6e 20 22 52 4f 4c 4c 42 41 43 4b 22  3.$tn "ROLLBACK"
0ce0: 0a 7d 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .}...#----------
0cf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
0d30: 23 20 54 65 73 74 20 63 61 73 65 73 20 33 2e 2a  # Test cases 3.*
0d40: 0a 23 0a 23 20 20 20 33 2e 30 3a 20 42 75 69 6c  .#.#   3.0: Buil
0d50: 64 20 61 20 72 65 61 73 6f 6e 61 62 6c 79 20 73  d a reasonably s
0d60: 69 7a 65 64 20 46 54 53 20 74 61 62 6c 65 20 28  ized FTS table (
0d70: 35 30 30 30 20 72 6f 77 73 29 20 74 68 61 74 20  5000 rows) that 
0d80: 69 6e 63 6c 75 64 65 73 0a 23 20 20 20 20 20 20  includes.#      
0d90: 20 20 70 72 65 66 69 78 20 69 6e 64 65 78 65 73    prefix indexes
0da0: 20 61 6e 64 20 75 73 65 73 20 74 68 65 20 6c 61   and uses the la
0db0: 6e 67 75 61 67 65 69 64 3d 20 66 65 61 74 75 72  nguageid= featur
0dc0: 65 2e 0a 23 0a 23 20 20 20 33 2e 31 3a 20 52 75  e..#.#   3.1: Ru
0dd0: 6e 20 74 68 65 20 69 6e 74 65 67 72 69 74 79 20  n the integrity 
0de0: 63 68 65 63 6b 20 63 6f 64 65 20 74 6f 20 63 68  check code to ch
0df0: 65 63 6b 20 69 74 20 70 61 73 73 65 73 2e 0a 23  eck it passes..#
0e00: 0a 23 20 20 20 33 2e 32 3a 20 4d 61 6b 65 20 61  .#   3.2: Make a
0e10: 20 73 65 72 69 65 73 20 6f 66 20 6d 69 6e 6f 72   series of minor
0e20: 20 63 68 61 6e 67 65 73 20 74 6f 20 74 68 65 20   changes to the 
0e30: 75 6e 64 65 72 6c 79 69 6e 67 20 46 54 53 20 64  underlying FTS d
0e40: 61 74 61 20 73 74 72 75 63 74 75 72 65 73 0a 23  ata structures.#
0e50: 20 20 20 20 20 20 20 20 28 65 2e 67 2e 20 64 65          (e.g. de
0e60: 6c 65 74 65 20 6f 72 20 69 6e 73 65 72 74 20 61  lete or insert a
0e70: 20 72 6f 77 20 66 72 6f 6d 20 74 68 65 20 25 5f   row from the %_
0e80: 63 6f 6e 74 65 6e 74 20 74 61 62 6c 65 29 2e 20  content table). 
0e90: 43 68 65 63 6b 20 74 68 61 74 0a 23 20 20 20 20  Check that.#    
0ea0: 20 20 20 20 74 68 69 73 20 63 61 75 73 65 73 20      this causes 
0eb0: 74 68 65 20 69 6e 74 65 67 72 69 74 79 2d 63 68  the integrity-ch
0ec0: 65 63 6b 20 63 6f 64 65 20 74 6f 20 66 61 69 6c  eck code to fail
0ed0: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 33 2e 30 20  ..#.do_test 3.0 
0ee0: 7b 0a 20 20 72 65 73 65 74 5f 64 62 0a 20 20 66  {.  reset_db.  f
0ef0: 74 73 33 5f 62 75 69 6c 64 5f 64 62 5f 31 20 35  ts3_build_db_1 5
0f00: 30 30 30 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  000.  execsql {.
0f10: 20 20 20 20 43 52 45 41 54 45 20 56 49 52 54 55      CREATE VIRTU
0f20: 41 4c 20 54 41 42 4c 45 20 74 33 20 55 53 49 4e  AL TABLE t3 USIN
0f30: 47 20 66 74 73 34 28 78 2c 20 79 2c 20 70 72 65  G fts4(x, y, pre
0f40: 66 69 78 3d 22 32 2c 33 22 2c 20 6c 61 6e 67 75  fix="2,3", langu
0f50: 61 67 65 69 64 3d 6c 61 6e 67 69 64 29 3b 0a 20  ageid=langid);. 
0f60: 20 7d 0a 20 20 66 6f 72 65 61 63 68 20 64 6f 63   }.  foreach doc
0f70: 69 64 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c  id [execsql {SEL
0f80: 45 43 54 20 64 6f 63 69 64 20 46 52 4f 4d 20 74  ECT docid FROM t
0f90: 31 20 4f 52 44 45 52 20 42 59 20 31 20 41 53 43  1 ORDER BY 1 ASC
0fa0: 7d 5d 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  }] {.    execsql
0fb0: 20 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20   {.      INSERT 
0fc0: 49 4e 54 4f 20 74 33 28 78 2c 20 79 2c 20 6c 61  INTO t3(x, y, la
0fd0: 6e 67 69 64 29 20 0a 20 20 20 20 20 20 53 45 4c  ngid) .      SEL
0fe0: 45 43 54 20 78 2c 20 79 2c 20 28 64 6f 63 69 64  ECT x, y, (docid
0ff0: 25 39 29 2a 34 20 46 52 4f 4d 20 74 31 20 57 48  %9)*4 FROM t1 WH
1000: 45 52 45 20 64 6f 63 69 64 3d 24 64 6f 63 69 64  ERE docid=$docid
1010: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 20 7b 7d  ;.    }.  }.} {}
1020: 0a 64 6f 5f 74 65 73 74 20 33 2e 31 20 7b 20 66  .do_test 3.1 { f
1030: 74 73 5f 69 6e 74 65 67 72 69 74 79 20 64 62 20  ts_integrity db 
1040: 74 33 20 7d 20 7b 6f 6b 7d 0a 0a 66 6f 72 65 61  t3 } {ok}..forea
1050: 63 68 20 7b 74 6e 20 64 69 73 72 75 70 74 69 6f  ch {tn disruptio
1060: 6e 7d 20 7b 0a 20 20 31 20 7b 0a 20 20 20 20 49  n} {.  1 {.    I
1070: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 5f 63 6f  NSERT INTO t3_co
1080: 6e 74 65 6e 74 28 63 30 78 2c 20 63 31 79 2c 20  ntent(c0x, c1y, 
1090: 6c 61 6e 67 69 64 29 20 56 41 4c 55 45 53 28 4e  langid) VALUES(N
10a0: 55 4c 4c 2c 20 27 61 27 2c 20 30 29 3b 0a 20 20  ULL, 'a', 0);.  
10b0: 7d 0a 20 20 32 20 7b 0a 20 20 20 20 55 50 44 41  }.  2 {.    UPDA
10c0: 54 45 20 74 33 5f 63 6f 6e 74 65 6e 74 20 53 45  TE t3_content SE
10d0: 54 20 6c 61 6e 67 69 64 3d 6c 61 6e 67 69 64 2b  T langid=langid+
10e0: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 3d 20  1 WHERE rowid = 
10f0: 28 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 6d  (.      SELECT m
1100: 61 78 28 72 6f 77 69 64 29 20 46 52 4f 4d 20 74  ax(rowid) FROM t
1110: 33 5f 63 6f 6e 74 65 6e 74 0a 20 20 20 20 29 0a  3_content.    ).
1120: 20 20 7d 0a 7d 20 7b 0a 20 20 64 6f 5f 65 78 65    }.} {.  do_exe
1130: 63 73 71 6c 5f 74 65 73 74 20 20 33 2e 32 2e 31  csql_test  3.2.1
1140: 2e 24 74 6e 20 22 42 45 47 49 4e 3b 20 24 64 69  .$tn "BEGIN; $di
1150: 73 72 75 70 74 69 6f 6e 22 0a 20 20 64 6f 5f 63  sruption".  do_c
1160: 61 74 63 68 73 71 6c 5f 74 65 73 74 20 33 2e 32  atchsql_test 3.2
1170: 2e 32 2e 24 74 6e 20 7b 0a 20 20 20 20 49 4e 53  .2.$tn {.    INS
1180: 45 52 54 20 49 4e 54 4f 20 74 33 20 28 74 33 29  ERT INTO t3 (t3)
1190: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
11a0: 74 79 2d 63 68 65 63 6b 27 29 0a 20 20 7d 20 7b  ty-check').  } {
11b0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
11c0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
11d0: 6d 65 64 7d 7d 0a 20 20 64 6f 5f 65 78 65 63 73  med}}.  do_execs
11e0: 71 6c 5f 74 65 73 74 20 20 33 2e 32 2e 33 2e 24  ql_test  3.2.3.$
11f0: 74 6e 20 22 52 4f 4c 4c 42 41 43 4b 22 0a 7d 0a  tn "ROLLBACK".}.
1200: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
1210: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
1250: 65 73 74 20 63 61 73 65 20 34 2e 2a 0a 23 0a 23  est case 4.*.#.#
1260: 20 54 65 73 74 20 74 68 61 74 20 74 68 65 20 69   Test that the i
1270: 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 20 77  ntegrity-check w
1280: 6f 72 6b 73 20 69 66 20 74 68 65 72 65 20 61 72  orks if there ar
1290: 65 20 22 6e 6f 74 69 6e 64 65 78 65 64 22 20 63  e "notindexed" c
12a0: 6f 6c 75 6d 6e 73 2e 0a 23 0a 64 6f 5f 65 78 65  olumns..#.do_exe
12b0: 63 73 71 6c 5f 74 65 73 74 20 34 2e 30 20 7b 0a  csql_test 4.0 {.
12c0: 20 20 43 52 45 41 54 45 20 56 49 52 54 55 41 4c    CREATE VIRTUAL
12d0: 20 54 41 42 4c 45 20 74 34 20 55 53 49 4e 47 20   TABLE t4 USING 
12e0: 66 74 73 34 28 61 2c 20 62 2c 20 63 2c 20 6e 6f  fts4(a, b, c, no
12f0: 74 69 6e 64 65 78 65 64 3d 62 29 3b 0a 20 20 49  tindexed=b);.  I
1300: 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20 56 41  NSERT INTO t4 VA
1310: 4c 55 45 53 28 27 74 65 78 74 20 6f 6e 65 27 2c  LUES('text one',
1320: 20 27 74 65 78 74 20 74 77 6f 27 2c 20 27 74 65   'text two', 'te
1330: 78 74 20 74 68 72 65 65 27 29 3b 0a 20 20 49 4e  xt three');.  IN
1340: 53 45 52 54 20 49 4e 54 4f 20 74 34 28 74 34 29  SERT INTO t4(t4)
1350: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
1360: 74 79 2d 63 68 65 63 6b 27 29 3b 0a 7d 0a 0a 64  ty-check');.}..d
1370: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 34  o_execsql_test 4
1380: 2e 31 20 7b 0a 20 20 50 52 41 47 4d 41 20 77 72  .1 {.  PRAGMA wr
1390: 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20  itable_schema = 
13a0: 31 3b 0a 20 20 55 50 44 41 54 45 20 73 71 6c 69  1;.  UPDATE sqli
13b0: 74 65 5f 6d 61 73 74 65 72 20 0a 20 20 20 20 53  te_master .    S
13c0: 45 54 20 73 71 6c 20 3d 20 27 43 52 45 41 54 45  ET sql = 'CREATE
13d0: 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45 20 74   VIRTUAL TABLE t
13e0: 34 20 55 53 49 4e 47 20 66 74 73 34 28 61 2c 20  4 USING fts4(a, 
13f0: 62 2c 20 63 29 27 20 0a 20 20 20 20 57 48 45 52  b, c)' .    WHER
1400: 45 20 6e 61 6d 65 20 3d 20 27 74 34 27 3b 0a 7d  E name = 't4';.}
1410: 0a 0a 64 6f 5f 74 65 73 74 20 34 2e 32 20 7b 0a  ..do_test 4.2 {.
1420: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c    db close.  sql
1430: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
1440: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
1450: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 28   INSERT INTO t4(
1460: 74 34 29 20 56 41 4c 55 45 53 28 27 69 6e 74 65  t4) VALUES('inte
1470: 67 72 69 74 79 2d 63 68 65 63 6b 27 29 3b 0a 20  grity-check');. 
1480: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
1490: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
14a0: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 72 65 73 65  malformed}}.rese
14b0: 74 5f 64 62 0a 0a 66 69 6e 69 73 68 5f 74 65 73  t_db..finish_tes
14c0: 74 0a 0a                                         t..