Mercurial > urweb
annotate tests/sql_indent.ur @ 416:679b2fbbd4d0
Counter demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 23 Oct 2008 11:59:48 -0400 |
parents | d3de57ce4bca |
children |
rev | line source |
---|---|
adamc@372 | 1 table t1 : {A : int, B : string, C : float} |
adamc@372 | 2 |
adamc@372 | 3 val q1 = (SELECT * |
adamc@375 | 4 FROM t1 |
adamc@372 | 5 WHERE A = 0) |
adamc@373 | 6 |
adamc@373 | 7 val a1 = (INSERT INTO t1 |
adamc@373 | 8 VALUES (0, "1", 2.0)) |
adamc@373 | 9 |
adamc@373 | 10 val a2 = (UPDATE t1 |
adamc@373 | 11 SET A = 3, B = "4", C = 5.0) |
adamc@375 | 12 |
adamc@373 | 13 val a3 = (DELETE FROM t1 |
adamc@373 | 14 WHERE B <> "good") |
adamc@374 | 15 |
adamc@374 | 16 |
adamc@374 | 17 val q2 = (SELECT * |
adamc@374 | 18 FROM t1 |
adamc@374 | 19 WHERE A = 0 |
adamc@374 | 20 OR B = "hi" |
adamc@374 | 21 AND (C <> 10.01 |
adamc@374 | 22 OR A = 8) |
adamc@374 | 23 AND (B = B |
adamc@374 | 24 OR B = B |
adamc@374 | 25 AND C = C OR (D = |
adamc@374 | 26 6 AND 8 = 8))) |