sl@0: # 2008 January 1
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library. Specifically,
sl@0: # it tests some compiler optimizations for SQL statements featuring
sl@0: # triggers:
sl@0: #
sl@0: #
sl@0: #
sl@0: 
sl@0: # trigger9-1.* -   Test that if there are no references to OLD.* cols, or a
sl@0: #                  reference to only OLD.rowid, the data is not loaded.
sl@0: #
sl@0: # trigger9-2.* -   Test that for NEW.* records populated by UPDATE 
sl@0: #                  statements, unused fields are populated with NULL values. 
sl@0: #
sl@0: # trigger9-3.* -   Test that the temporary tables used for OLD.* references
sl@0: #                  in "INSTEAD OF" triggers have NULL values in unused 
sl@0: #                  fields.
sl@0: #
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: ifcapable {!trigger} {
sl@0:   finish_test
sl@0:   return
sl@0: }
sl@0: 
sl@0: proc has_rowdata {sql} {
sl@0:   expr {[lsearch [execsql "explain $sql"] RowData]>=0}
sl@0: }
sl@0: 
sl@0: do_test trigger9-1.1 {
sl@0:   execsql {
sl@0:     PRAGMA page_size = 1024;
sl@0:     CREATE TABLE t1(x, y, z);
sl@0:     INSERT INTO t1 VALUES('1', randstr(10000,10000), '2');
sl@0:     INSERT INTO t1 VALUES('2', randstr(10000,10000), '4');
sl@0:     INSERT INTO t1 VALUES('3', randstr(10000,10000), '6');
sl@0:     CREATE TABLE t2(x);
sl@0:   }
sl@0: } {}
sl@0: 
sl@0: do_test trigger9-1.2.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE DELETE ON t1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.rowid);
sl@0:       END;
sl@0:       DELETE FROM t1;
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test trigger9-1.2.3 {
sl@0:   has_rowdata {DELETE FROM t1}
sl@0: } 0
sl@0: do_test trigger9-1.2.4 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-1.3.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE DELETE ON t1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.x);
sl@0:       END;
sl@0:       DELETE FROM t1;
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test trigger9-1.3.2 {
sl@0:   has_rowdata {DELETE FROM t1}
sl@0: } 1
sl@0: do_test trigger9-1.3.3 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-1.4.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE DELETE ON t1 WHEN old.x='1' BEGIN
sl@0:         INSERT INTO t2 VALUES(old.rowid);
sl@0:       END;
sl@0:       DELETE FROM t1;
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {1}
sl@0: do_test trigger9-1.4.2 {
sl@0:   has_rowdata {DELETE FROM t1}
sl@0: } 1
sl@0: do_test trigger9-1.4.3 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-1.5.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE UPDATE ON t1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.rowid);
sl@0:       END;
sl@0:       UPDATE t1 SET y = '';
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test trigger9-1.5.2 {
sl@0:   has_rowdata {UPDATE t1 SET y = ''}
sl@0: } 0
sl@0: do_test trigger9-1.5.3 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-1.6.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE UPDATE ON t1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.x);
sl@0:       END;
sl@0:       UPDATE t1 SET y = '';
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test trigger9-1.6.2 {
sl@0:   has_rowdata {UPDATE t1 SET y = ''}
sl@0: } 1
sl@0: do_test trigger9-1.6.3 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-1.7.1 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE TRIGGER trig1 BEFORE UPDATE ON t1 WHEN old.x>='2' BEGIN
sl@0:         INSERT INTO t2 VALUES(old.x);
sl@0:       END;
sl@0:       UPDATE t1 SET y = '';
sl@0:       SELECT * FROM t2;
sl@0:   }
sl@0: } {2 3}
sl@0: do_test trigger9-1.7.2 {
sl@0:   has_rowdata {UPDATE t1 SET y = ''}
sl@0: } 1
sl@0: do_test trigger9-1.7.3 { execsql { ROLLBACK } } {}
sl@0: 
sl@0: do_test trigger9-3.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t3(a, b);
sl@0:     INSERT INTO t3 VALUES(1, 'one');
sl@0:     INSERT INTO t3 VALUES(2, 'two');
sl@0:     INSERT INTO t3 VALUES(3, 'three');
sl@0:   }
sl@0: } {}
sl@0: do_test trigger9-3.2 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE VIEW v1 AS SELECT * FROM t3;
sl@0:       CREATE TRIGGER trig1 INSTEAD OF UPDATE ON v1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.a);
sl@0:       END;
sl@0:       UPDATE v1 SET b = 'hello';
sl@0:       SELECT * FROM t2;
sl@0:     ROLLBACK;
sl@0:   }
sl@0: } {1 2 3}
sl@0: do_test trigger9-3.3 {
sl@0:   # In this test the 'c' column of the view is not required by
sl@0:   # the INSTEAD OF trigger, but the expression is reused internally as
sl@0:   # part of the view's WHERE clause. Check that this does not cause
sl@0:   # a problem.
sl@0:   #
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       CREATE VIEW v1 AS SELECT a, b AS c FROM t3 WHERE c > 'one';
sl@0:       CREATE TRIGGER trig1 INSTEAD OF UPDATE ON v1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.a);
sl@0:       END;
sl@0:       UPDATE v1 SET c = 'hello';
sl@0:       SELECT * FROM t2;
sl@0:     ROLLBACK;
sl@0:   }
sl@0: } {2 3}
sl@0: do_test trigger9-3.4 {
sl@0:   execsql {
sl@0:     BEGIN;
sl@0:       INSERT INTO t3 VALUES(3, 'three');
sl@0:       INSERT INTO t3 VALUES(3, 'four');
sl@0:       CREATE VIEW v1 AS SELECT DISTINCT a, b FROM t3;
sl@0:       CREATE TRIGGER trig1 INSTEAD OF UPDATE ON v1 BEGIN
sl@0:         INSERT INTO t2 VALUES(old.a);
sl@0:       END;
sl@0:       UPDATE v1 SET b = 'hello';
sl@0:       SELECT * FROM t2;
sl@0:     ROLLBACK;
sl@0:   }
sl@0: } {1 2 3 3}
sl@0: 
sl@0: ifcapable compound {
sl@0:   do_test trigger9-3.5 {
sl@0:     execsql {
sl@0:       BEGIN;
sl@0:         INSERT INTO t3 VALUES(1, 'uno');
sl@0:         CREATE VIEW v1 AS SELECT a, b FROM t3 EXCEPT SELECT 1, 'one';
sl@0:         CREATE TRIGGER trig1 INSTEAD OF UPDATE ON v1 BEGIN
sl@0:           INSERT INTO t2 VALUES(old.a);
sl@0:         END;
sl@0:         UPDATE v1 SET b = 'hello';
sl@0:         SELECT * FROM t2;
sl@0:       ROLLBACK;
sl@0:     }
sl@0:   } {1 2 3}
sl@0:   do_test trigger9-3.6 {
sl@0:     execsql {
sl@0:       BEGIN;
sl@0:         INSERT INTO t3 VALUES(1, 'zero');
sl@0:         CREATE VIEW v1 AS 
sl@0:           SELECT sum(a) AS a, max(b) AS b FROM t3 GROUP BY t3.a HAVING b>'two';
sl@0:         CREATE TRIGGER trig1 INSTEAD OF UPDATE ON v1 BEGIN
sl@0:           INSERT INTO t2 VALUES(old.a);
sl@0:         END;
sl@0:         UPDATE v1 SET b = 'hello';
sl@0:         SELECT * FROM t2;
sl@0:       ROLLBACK;
sl@0:     }
sl@0:   } {2}
sl@0: }
sl@0: 
sl@0: finish_test