/ Hex Artifact Content
Login

Artifact 9caa9e22491dd8cd8aa36d7ac3b48b089817c895:


0000: 23 20 32 30 30 31 20 4e 6f 76 65 6d 62 65 72 20  # 2001 November 
0010: 32 32 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  22.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
0180: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
0190: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
01a0: 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75  ary.  The.# focu
01b0: 73 20 6f 66 20 74 68 69 73 20 73 63 72 69 70 74  s of this script
01c0: 20 69 73 20 62 74 72 65 65 20 64 61 74 61 62 61   is btree databa
01d0: 73 65 20 62 61 63 6b 65 6e 64 0a 23 0a 23 20 49  se backend.#.# I
01e0: 6e 20 70 61 72 74 69 63 75 6c 61 72 2c 20 74 68  n particular, th
01f0: 69 73 20 66 69 6c 65 20 74 65 73 74 73 20 61 20  is file tests a 
0200: 73 6d 61 6c 6c 20 70 61 72 74 20 6f 66 20 74 68  small part of th
0210: 65 20 44 65 6c 65 74 65 20 6c 6f 67 69 63 0a 23  e Delete logic.#
0220: 20 66 6f 72 20 74 68 65 20 42 54 72 65 65 20 62   for the BTree b
0230: 61 63 6b 65 6e 64 2e 20 20 57 68 65 6e 20 61 20  ackend.  When a 
0240: 72 6f 77 20 69 73 20 64 65 6c 65 74 65 64 20 66  row is deleted f
0250: 72 6f 6d 20 61 20 74 61 62 6c 65 2c 20 74 68 65  rom a table, the
0260: 0a 23 20 63 75 72 73 6f 72 20 69 73 20 73 75 70  .# cursor is sup
0270: 70 6f 73 65 20 74 6f 20 62 65 20 6c 65 66 74 20  pose to be left 
0280: 70 6f 69 6e 74 69 6e 67 20 61 74 20 65 69 74 68  pointing at eith
0290: 65 72 20 74 68 65 20 70 72 65 76 69 6f 75 73 20  er the previous 
02a0: 6f 72 0a 23 20 6e 65 78 74 20 65 6e 74 72 79 20  or.# next entry 
02b0: 69 6e 20 74 68 61 74 20 74 61 62 6c 65 2e 20 20  in that table.  
02c0: 49 66 20 74 68 65 20 63 75 72 73 6f 72 20 69 73  If the cursor is
02d0: 20 6c 65 66 74 20 70 6f 69 6e 74 69 6e 67 20 61   left pointing a
02e0: 74 20 74 68 65 0a 23 20 6e 65 78 74 20 65 6e 74  t the.# next ent
02f0: 72 79 2c 20 74 68 65 6e 20 74 68 65 20 6e 65 78  ry, then the nex
0300: 74 20 4e 65 78 74 20 6f 70 65 72 61 74 69 6f 6e  t Next operation
0310: 20 69 73 20 69 67 6e 6f 72 65 64 2e 20 20 53 6f   is ignored.  So
0320: 20 74 68 65 20 0a 23 20 73 65 71 75 65 6e 63 65   the .# sequence
0330: 20 6f 66 20 6f 70 65 72 61 74 69 6f 6e 73 20 28   of operations (
0340: 44 65 6c 65 74 65 2c 20 4e 65 78 74 29 20 73 68  Delete, Next) sh
0350: 6f 75 6c 64 20 61 6c 77 61 79 73 20 6c 65 61 76  ould always leav
0360: 65 20 74 68 65 0a 23 20 63 75 72 73 6f 72 20 70  e the.# cursor p
0370: 6f 69 6e 74 69 6e 67 20 61 74 20 74 68 65 20 66  ointing at the f
0380: 69 72 73 74 20 65 6e 74 72 79 20 70 61 73 74 20  irst entry past 
0390: 74 68 65 20 6f 6e 65 20 74 68 61 74 20 77 61 73  the one that was
03a0: 20 64 65 6c 65 74 65 64 2e 0a 23 20 54 68 69 73   deleted..# This
03b0: 20 74 65 73 74 20 69 73 20 64 65 73 69 67 6e 65   test is designe
03c0: 64 20 74 6f 20 76 65 72 69 66 79 20 74 68 61 74  d to verify that
03d0: 20 62 65 68 61 76 69 6f 72 2e 0a 23 0a 23 20 24   behavior..#.# $
03e0: 49 64 3a 20 62 74 72 65 65 33 2e 74 65 73 74 2c  Id: btree3.test,
03f0: 76 20 31 2e 31 20 32 30 30 31 2f 31 31 2f 32 33  v 1.1 2001/11/23
0400: 20 30 30 3a 32 34 3a 31 32 20 64 72 68 20 45 78   00:24:12 drh Ex
0410: 70 20 24 0a 0a 0a 73 65 74 20 74 65 73 74 64 69  p $...set testdi
0420: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
0430: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0440: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
0450: 63 6c 0a 0a 69 66 20 7b 5b 69 6e 66 6f 20 63 6f  cl..if {[info co
0460: 6d 6d 61 6e 64 73 20 62 74 72 65 65 5f 6f 70 65  mmands btree_ope
0470: 6e 5d 21 3d 22 22 7d 20 7b 0a 0a 23 20 4f 70 65  n]!=""} {..# Ope
0480: 6e 20 61 20 74 65 73 74 20 64 61 74 61 62 61 73  n a test databas
0490: 65 2e 0a 23 0a 66 69 6c 65 20 64 65 6c 65 74 65  e..#.file delete
04a0: 20 2d 66 6f 72 63 65 20 74 65 73 74 31 2e 62 74   -force test1.bt
04b0: 0a 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f  .file delete -fo
04c0: 72 63 65 20 74 65 73 74 31 2e 62 74 2d 6a 6f 75  rce test1.bt-jou
04d0: 72 6e 61 6c 0a 73 65 74 20 62 31 20 5b 62 74 72  rnal.set b1 [btr
04e0: 65 65 5f 6f 70 65 6e 20 74 65 73 74 31 2e 62 74  ee_open test1.bt
04f0: 5d 0a 62 74 72 65 65 5f 62 65 67 69 6e 5f 74 72  ].btree_begin_tr
0500: 61 6e 73 61 63 74 69 6f 6e 20 24 3a 3a 62 31 0a  ansaction $::b1.
0510: 0a 23 20 49 6e 73 65 72 74 20 61 20 66 65 77 20  .# Insert a few 
0520: 6f 6e 65 20 72 65 63 6f 72 64 73 0a 23 0a 73 65  one records.#.se
0530: 74 20 64 61 74 61 20 7b 61 62 63 64 65 66 67 68  t data {abcdefgh
0540: 69 6a 6b 6c 6d 6e 6f 70 71 72 73 74 75 76 77 78  ijklmnopqrstuvwx
0550: 79 7a 30 31 32 33 34 35 36 37 38 39 7d 0a 61 70  yz0123456789}.ap
0560: 70 65 6e 64 20 64 61 74 61 20 24 64 61 74 61 0a  pend data $data.
0570: 61 70 70 65 6e 64 20 64 61 74 61 20 24 64 61 74  append data $dat
0580: 61 0a 61 70 70 65 6e 64 20 64 61 74 61 20 24 64  a.append data $d
0590: 61 74 61 0a 61 70 70 65 6e 64 20 64 61 74 61 20  ata.append data 
05a0: 24 64 61 74 61 0a 66 6f 72 20 7b 73 65 74 20 6b  $data.for {set k
05b0: 20 32 7d 20 7b 24 6b 3c 3d 31 30 7d 20 7b 69 6e   2} {$k<=10} {in
05c0: 63 72 20 6b 7d 20 7b 0a 20 20 66 6f 72 20 7b 73  cr k} {.  for {s
05d0: 65 74 20 6a 20 31 7d 20 7b 24 6a 3c 3d 24 6b 7d  et j 1} {$j<=$k}
05e0: 20 7b 69 6e 63 72 20 6a 7d 20 7b 0a 20 20 20 20   {incr j} {.    
05f0: 73 65 74 20 6a 6b 65 79 20 5b 66 6f 72 6d 61 74  set jkey [format
0600: 20 25 30 32 64 20 24 6a 5d 0a 20 20 20 20 62 74   %02d $j].    bt
0610: 72 65 65 5f 63 6c 65 61 72 5f 74 61 62 6c 65 20  ree_clear_table 
0620: 24 3a 3a 62 31 20 32 0a 20 20 20 20 73 65 74 20  $::b1 2.    set 
0630: 3a 3a 63 31 20 5b 62 74 72 65 65 5f 63 75 72 73  ::c1 [btree_curs
0640: 6f 72 20 24 3a 3a 62 31 20 32 20 31 5d 0a 20 20  or $::b1 2 1].  
0650: 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31 7d 20    for {set i 1} 
0660: 7b 24 69 3c 3d 24 6b 2b 31 7d 20 7b 69 6e 63 72  {$i<=$k+1} {incr
0670: 20 69 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20   i} {.      set 
0680: 6b 65 79 20 5b 66 6f 72 6d 61 74 20 25 30 32 64  key [format %02d
0690: 20 24 69 5d 0a 20 20 20 20 20 20 64 6f 5f 74 65   $i].      do_te
06a0: 73 74 20 62 74 72 65 65 33 2d 24 6b 2e 24 6a 2e  st btree3-$k.$j.
06b0: 31 2e 24 69 20 7b 0a 20 20 20 20 20 20 20 20 62  1.$i {.        b
06c0: 74 72 65 65 5f 69 6e 73 65 72 74 20 24 3a 3a 63  tree_insert $::c
06d0: 31 20 24 3a 3a 6b 65 79 20 24 3a 3a 64 61 74 61  1 $::key $::data
06e0: 0a 20 20 20 20 20 20 7d 20 7b 7d 0a 20 20 20 20  .      } {}.    
06f0: 20 20 23 20 62 74 72 65 65 5f 74 72 65 65 5f 64    # btree_tree_d
0700: 75 6d 70 20 24 3a 3a 62 31 20 32 0a 20 20 20 20  ump $::b1 2.    
0710: 7d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 62 74  }.    do_test bt
0720: 72 65 65 33 2d 24 6b 2e 24 6a 2e 32 20 7b 0a 20  ree3-$k.$j.2 {. 
0730: 20 20 20 20 20 62 74 72 65 65 5f 6d 6f 76 65 5f       btree_move_
0740: 74 6f 20 24 3a 3a 63 31 20 24 3a 3a 6a 6b 65 79  to $::c1 $::jkey
0750: 0a 20 20 20 20 20 20 62 74 72 65 65 5f 6b 65 79  .      btree_key
0760: 20 24 3a 3a 63 31 0a 20 20 20 20 7d 20 24 3a 3a   $::c1.    } $::
0770: 6a 6b 65 79 0a 20 20 20 20 64 6f 5f 74 65 73 74  jkey.    do_test
0780: 20 62 74 72 65 65 33 2d 24 6b 2e 24 6a 2e 33 20   btree3-$k.$j.3 
0790: 7b 0a 20 20 20 20 20 20 62 74 72 65 65 5f 64 65  {.      btree_de
07a0: 6c 65 74 65 20 24 3a 3a 63 31 0a 20 20 20 20 7d  lete $::c1.    }
07b0: 20 7b 7d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20   {}.    do_test 
07c0: 62 74 72 65 65 33 2d 24 6b 2e 24 6a 2e 34 20 7b  btree3-$k.$j.4 {
07d0: 0a 20 20 20 20 20 20 62 74 72 65 65 5f 6e 65 78  .      btree_nex
07e0: 74 20 24 3a 3a 63 31 0a 20 20 20 20 20 20 62 74  t $::c1.      bt
07f0: 72 65 65 5f 6b 65 79 20 24 3a 3a 63 31 0a 20 20  ree_key $::c1.  
0800: 20 20 7d 20 5b 66 6f 72 6d 61 74 20 25 30 32 64    } [format %02d
0810: 20 5b 65 78 70 72 20 24 6a 2b 31 5d 5d 0a 20 20   [expr $j+1]].  
0820: 20 20 62 74 72 65 65 5f 63 6c 6f 73 65 5f 63 75    btree_close_cu
0830: 72 73 6f 72 20 24 3a 3a 63 31 0a 20 20 7d 0a 7d  rsor $::c1.  }.}
0840: 0a 0a 62 74 72 65 65 5f 72 6f 6c 6c 62 61 63 6b  ..btree_rollback
0850: 20 24 3a 3a 62 31 20 20 20 20 0a 62 74 72 65 65   $::b1    .btree
0860: 5f 70 61 67 65 72 5f 72 65 66 5f 64 75 6d 70 20  _pager_ref_dump 
0870: 24 3a 3a 62 31 0a 62 74 72 65 65 5f 63 6c 6f 73  $::b1.btree_clos
0880: 65 20 24 3a 3a 62 31 0a 0a 7d 20 3b 23 20 65 6e  e $::b1..} ;# en
0890: 64 20 69 66 28 20 6e 6f 74 20 6d 65 6d 3a 20 61  d if( not mem: a
08a0: 6e 64 20 68 61 73 20 70 61 67 65 72 5f 6f 70 65  nd has pager_ope
08b0: 6e 20 63 6f 6d 6d 61 6e 64 20 29 3b 0a 0a 66 69  n command );..fi
08c0: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.