use of int and overflow review

[chiark-tcl.git] / cdb / cdb.tct

diff --git a/cdb/cdb.tct b/cdb/cdb.tct
index 29325f19cb339e0ebdd0a7e707f70b0caaea3fe1..d414f0d9939b8786d4507bb497539b887e247f23 100644 (file)
--- a/cdb/cdb.tct
+++ b/cdb/cdb.tct
@@ -1,10 +1,27 @@
+# cdb, cdb-wr - Tcl bindings for tinycdb and a journalling write extension
+# Copyright 2006 Ian Jackson
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this library; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
+# 02110-1301, USA.
+
+
 Table *cdbtoplevel TopLevel_Command
        cdb
-               subcmd  enum(Cdb/_SubCommand, "cdb subcommand")
-               ...     obj
+               dispatch(Cdb/_SubCommand, "cdb subcommand")
        cdb-wr
-               subcmd  enum(Cdbwr/_SubCommand, "cdb-wr subcommand")
-               ...     obj
+               dispatch(Cdbwr/_SubCommand, "cdb-wr subcommand")
 
 Table cdb Cdb_SubCommand
        open
@@ -13,11 +30,13 @@ Table cdb Cdb_SubCommand
        lookup
                db      iddata(&cdbtcl_databases)
                key     obj
+               ?def    obj
                =>      obj
        lookup-hb
                db      iddata(&cdbtcl_databases)
                key     hb
-               =>      hb
+               ?def    obj
+               =>      obj
        close
                db      iddata(&cdbtcl_databases)
 
@@ -28,7 +47,7 @@ Table cdbwr Cdbwr_SubCommand
                #       <pathb>.main
                #       <pathb>.lock
                #       <pathb>.cdb
-               #       <pathb>.log
+               #       <pathb>.jrn
                #       <pathb>.tmp (might be new .main or new .cdb)
                # invariants:
                #       .lock is an empty file
@@ -38,23 +57,23 @@ Table cdbwr Cdbwr_SubCommand
                #       .cdb is a cdb database containing data
                #         equivalent to and at least as recent as .main
                #         (maybe not identical, because .cdb may
-               #         have been updated with data from .log but
-               #         .main not yet); if .log does not exist then
+               #         have been updated with data from .jrn but
+               #         .main not yet); if .jrn does not exist then
                #         they are identical)
                #       .cdb may not exist; in which case it is to
                #         be treated as if it existed and was empty
                #         but this is maximally early (so main must
                #         exist and be empty since .main is never
                #         newer than .cdb)
-               #       if .log exists, it is a cdb native
+               #       if .jrn exists, it is a cdb native
                #         text file _without the trailing newline_;
                #         its contents override values from .main or .cdb
                #       if .main.tmp or .cdb.tmp exists it is irrelevant
-               # zero length values mean record is deleted (in .log only;
+               # zero length values mean record is deleted (in .jrn only;
                #  forbidden elsewhere)
                # while db is open:
                #       .lock is locked
-               #       .log and open hash table contain same info
+               #       .jrn and open hash table contain same info
        open 0
                pathb   string
                on_info obj
@@ -89,8 +108,8 @@ Table cdbwr Cdbwr_SubCommand
        lookup-hb 0
                db      iddata(&cdbtcl_rwdatabases)
                key     string
-               ?def    hb
-               =>      hb
+               ?def    obj
+               =>      obj
        delete 0
                db      iddata(&cdbtcl_rwdatabases)
                key     string