INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Base class for database table primary key"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
class PRIMARY_KEY
inherit

DALE_SERVER
redefine
out
end
creation

make
creation {DB_TABLE}

from_table
feature -- Attributes:

database: DATABASE

table: DB_TABLE

name: STRING

column_names: ARRAY [STRING]
feature -- Commands:

make (db: DATABASE)
-- creation procedure
require
valid_database: db /= void implies db.is_connected

refresh
-- ..
require
valid_handler: catalog_query /= void

out: STRING
-- ...

print_it
-- Print primary key.
feature {DB_TABLE}

from_table (t: DB_TABLE)
-- creation procedure; makes updatable catalog of table's indexes
require
valid_table: t /= void and then t.primary_database /= void and then t.primary_database.is_connected
end -- class PRIMARY_KEY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES