INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Catalog of data types"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
class TYPES
inherit

DB_CATALOG [DB_TYPE]
end
creation

make
creation {DATABASE}

from_database
feature -- Command:

make (db: DATABASE)
-- creation procedure; makes non-updatable catalog of data types
feature -- Query:

item_by_sql_type (sqlt: INTEGER): DB_TYPE
-- returns a description for specified SQL type with maximum
-- precision or Void if there's no such SQL type in given DBMS

has_sql_type (sqlt: INTEGER): BOOLEAN
-- returns True when the specified SQL type exists

pick_up_type_name (type: INTEGER): STRING
-- picks up a DBMS-dependent type name for specified
-- data type; 'type' can be either SQL or Eiffel type
-- constant
require
valid_data_type: valid_type (type) or else valid_sql_type (type)
ensure
type_found: Result /= void
feature -- Validations:

valid_type (t: INTEGER): BOOLEAN
-- returns True if this is valid Eiffel data type

valid_sql_type (sqlt: INTEGER): BOOLEAN
-- returns True if this is valid SQL type
feature {DATABASE}

from_database (db: DATABASE)
-- creation procedure; makes updatable catalog of data types
end -- class TYPES

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES