# 2001 September 15

 #

 # The author disclaims copyright to this source code.  In place of

 # a legal notice, here is a blessing:

 #

 #    May you do good and not evil.

 #    May you find forgiveness for yourself and forgive others.

 #    May you share freely, never taking more than you give.

 #

 #***********************************************************************

 # This file implements regression tests for SQLite library.  The

 # focus of this file is testing the VACUUM statement.

 #

 # $Id: vacuum.test,v 1.41 2008/04/15 02:36:34 drh Exp $

 set testdir [file dirname $argv0]

 source $testdir/tester.tcl

 # If the VACUUM statement is disabled in the current build, skip all

 # the tests in this file.

 #

 ifcapable {!vacuum} {

   omit_test vacuum.test {Compiled with SQLITE_OMIT_VACUUM}

   finish_test

   return

 }

 if $AUTOVACUUM {

   omit_test vacuum.test {Auto-vacuum is enabled}

   finish_test

   return

 }

 set fcnt 1

 do_test vacuum-1.1 {

   execsql {

     BEGIN;

     CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c);

     INSERT INTO t1 VALUES(NULL,randstr(10,100),randstr(5,50));

     INSERT INTO t1 VALUES(123456,randstr(10,100),randstr(5,50));

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     INSERT INTO t1 SELECT NULL, b||'-'||rowid, c||'-'||rowid FROM t1;

     CREATE INDEX i1 ON t1(b,c);

     CREATE UNIQUE INDEX i2 ON t1(c,a);

     CREATE TABLE t2 AS SELECT * FROM t1;

     COMMIT;

     DROP TABLE t2;

   }

   set ::size1 [file size test.db]

   set ::cksum [cksum]

   expr {$::cksum!=""}

 } {1}

 do_test vacuum-1.2 {

   execsql {

     VACUUM;

   }

   cksum

 } $cksum

 ifcapable vacuum {

   do_test vacuum-1.3 {

     expr {[file size test.db]<$::size1}

   } {1}

 }

 do_test vacuum-1.4 {

   set sql_script {

     BEGIN;

     CREATE TABLE t2 AS SELECT * FROM t1;

     CREATE TABLE t3 AS SELECT * FROM t1;

     CREATE VIEW v1 AS SELECT b, c FROM t3;

     CREATE TRIGGER r1 AFTER DELETE ON t2 BEGIN SELECT 1; END;

     COMMIT;

     DROP TABLE t2;

   }

   # If the library was compiled to omit view support, comment out the

   # create view in the script $sql_script before executing it. Similarly,

   # if triggers are not supported, comment out the trigger definition.

   ifcapable !view {

     regsub {CREATE VIEW} $sql_script {-- CREATE VIEW} sql_script

   }

   ifcapable !trigger {

     regsub {CREATE TRIGGER} $sql_script {-- CREATE TRIGGER} sql_script

   }

   execsql $sql_script

   set ::size1 [file size test.db]

   set ::cksum [cksum]

   expr {$::cksum!=""}

 } {1}

 do_test vacuum-1.5 {

   execsql {

     VACUUM;

   }

   cksum

 } $cksum

 ifcapable vacuum {

   do_test vacuum-1.6 {

     expr {[file size test.db]<$::size1}

   } {1}

 }

 ifcapable vacuum {

   do_test vacuum-2.1 {

     catchsql {

       BEGIN;

       VACUUM;

       COMMIT;

     }

   } {1 {cannot VACUUM from within a transaction}}

   catch {db eval COMMIT}

 }

 do_test vacuum-2.2 {

   sqlite3 db2 test.db

   execsql {

     BEGIN;

     CREATE TABLE t4 AS SELECT * FROM t1;

     CREATE TABLE t5 AS SELECT * FROM t1;

     COMMIT;

     DROP TABLE t4;

     DROP TABLE t5;

   } db2

   set ::cksum [cksum db2]

   catchsql {

     VACUUM

   }

 } {0 {}}

 do_test vacuum-2.3 {

   cksum

 } $cksum

 do_test vacuum-2.4 {

   catch {db2 eval {SELECT count(*) FROM sqlite_master}}

   cksum db2

 } $cksum

 # Make sure the schema cookie is incremented by vacuum.

 #

 do_test vacuum-2.5 {

   execsql {

     BEGIN;

     CREATE TABLE t6 AS SELECT * FROM t1;

     CREATE TABLE t7 AS SELECT * FROM t1;

     COMMIT;

   }

   sqlite3 db3 test.db

   execsql {

     -- The "SELECT * FROM sqlite_master" statement ensures that this test

     -- works when shared-cache is enabled. If shared-cache is enabled, then

     -- db3 shares a cache with db2 (but not db - it was opened as 

     -- "./test.db").

     SELECT * FROM sqlite_master;

     SELECT * FROM t7 LIMIT 1

   } db3

   execsql {

     VACUUM;

   }

   execsql {

     INSERT INTO t7 VALUES(1234567890,'hello','world');

   } db3

   execsql {

     SELECT * FROM t7 WHERE a=1234567890

   }

 } {1234567890 hello world}

 integrity_check vacuum-2.6

 do_test vacuum-2.7 {

   execsql {

     SELECT * FROM t7 WHERE a=1234567890

   } db3

 } {1234567890 hello world}

 do_test vacuum-2.8 {

   execsql {

     INSERT INTO t7 SELECT * FROM t6;

     SELECT count(*) FROM t7;

   }

 } 513

 integrity_check vacuum-2.9

 do_test vacuum-2.10 {

   execsql {

     DELETE FROM t7;

     SELECT count(*) FROM t7;

   } db3

 } 0

 integrity_check vacuum-2.11

 db3 close

 # Ticket #427.  Make sure VACUUM works when the EMPTY_RESULT_CALLBACKS

 # pragma is turned on.

 #

 do_test vacuum-3.1 {

   db close

   db2 close

   file delete test.db

   sqlite3 db test.db

   execsql {

     PRAGMA empty_result_callbacks=on;

     VACUUM;

   }

 } {}

 # Ticket #464.  Make sure VACUUM works with the sqlite3_prepare() API.

 #

 do_test vacuum-4.1 {

   db close

   sqlite3 db test.db; set DB [sqlite3_connection_pointer db]

   set VM [sqlite3_prepare $DB {VACUUM} -1 TAIL]

   sqlite3_step $VM

 } {SQLITE_DONE}

 do_test vacuum-4.2 {

   sqlite3_finalize $VM

 } SQLITE_OK

 # Ticket #515.  VACUUM after deleting and recreating the table that

 # a view refers to. Omit this test if the library is not view-enabled.

 #

 ifcapable view {

 do_test vacuum-5.1 {

   db close

   file delete -force test.db

   sqlite3 db test.db

   catchsql {

     CREATE TABLE Test (TestID int primary key);

     INSERT INTO Test VALUES (NULL);

     CREATE VIEW viewTest AS SELECT * FROM Test;

     BEGIN;

     CREATE TABLE tempTest (TestID int primary key, Test2 int NULL);

     INSERT INTO tempTest SELECT TestID, 1 FROM Test;

     DROP TABLE Test;

     CREATE TABLE Test(TestID int primary key, Test2 int NULL);

     INSERT INTO Test SELECT * FROM tempTest;

     DROP TABLE tempTest;

     COMMIT;

     VACUUM;

   }

 } {0 {}}

 do_test vacuum-5.2 {

   catchsql {

     VACUUM;

   }

 } {0 {}}

 } ;# ifcapable view

 # Ensure vacuum works with complicated tables names.

 do_test vacuum-6.1 {

   execsql {

     CREATE TABLE "abc abc"(a, b, c);

     INSERT INTO "abc abc" VALUES(1, 2, 3);

     VACUUM;

   }

 } {}

 do_test vacuum-6.2 {

   execsql {

     select * from "abc abc";

   }

 } {1 2 3}

 # Also ensure that blobs survive a vacuum.

 ifcapable {bloblit} {

   do_test vacuum-6.3 {

     execsql {

       DELETE FROM "abc abc";

       INSERT INTO "abc abc" VALUES(X'00112233', NULL, NULL);

       VACUUM;

     }

   } {}

   do_test vacuum-6.4 {

     execsql {

       select count(*) from "abc abc" WHERE a = X'00112233';

     }

   } {1}

 }

 # Check what happens when an in-memory database is vacuumed. The

 # [file delete] command covers us in case the library was compiled

 # without in-memory database support.

 #

 file delete -force :memory:

 do_test vacuum-7.0 {

   sqlite3 db2 :memory:

   execsql {

     CREATE TABLE t1(t);

     VACUUM;

   } db2

 } {}

 db2 close

 # Ticket #873.  VACUUM a database that has ' in its name.

 #

 do_test vacuum-8.1 {

   file delete -force a'z.db

   file delete -force a'z.db-journal

   sqlite3 db2 a'z.db

   execsql {

     CREATE TABLE t1(t);

     VACUUM;

   } db2

 } {}

 db2 close

 # Ticket #1095:  Vacuum a table that uses AUTOINCREMENT

 #

 ifcapable {autoinc} {

   do_test vacuum-9.1 {

     execsql {

       DROP TABLE 'abc abc';

       CREATE TABLE autoinc(a INTEGER PRIMARY KEY AUTOINCREMENT, b);

       INSERT INTO autoinc(b) VALUES('hi');

       INSERT INTO autoinc(b) VALUES('there');

       DELETE FROM autoinc;

     }

     set ::cksum [cksum]

     expr {$::cksum!=""}

   } {1}

   do_test vacuum-9.2 {

     execsql {

       VACUUM;

     }

     cksum

   } $::cksum

   do_test vacuum-9.3 {

     execsql {

       INSERT INTO autoinc(b) VALUES('one');

       INSERT INTO autoinc(b) VALUES('two');

     }

     set ::cksum [cksum]

     expr {$::cksum!=""}

   } {1}

   do_test vacuum-9.4 {

     execsql {

       VACUUM;

     }

     cksum

   } $::cksum

 }

 file delete -force {a'z.db}

 finish_test