INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Collection with access by iterator, index, composed name"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
deferred class DB_CATALOG [G -> DB_CATALOG_ITEM]
inherit

NUMBERED_SORTED_TABLE [G, COMPOSED_NAME]
rename
make as ns_table_make,
remove as cn_remove,
remove_all as cn_remove_all,
search as cn_search,
count_of as cn_count_of,
put as cn_put,
put_no as cn_put_no,
item as cn_item,
items_at_key as cn_items_at_key
export
{ANY}
cn_put,
cn_put_no,
cn_remove,
cn_remove_all,
ns_table_make
redefine
on_new_item
end

DALE_SERVER
end
feature -- Attribute:

database: DATABASE

parent: DB_CATALOG_ITEM
feature -- Commands:

refresh
-- refresh the contents of this catalog from the attached database
require
attached: is_attached
no_obstacle: not is_protected

drop_cache
-- turn catalog to uncached state

search (s: STRING)
-- converts key from the specified string and calls 'search'
require
valid_string: s /= void and then not s.is_empty

remove (s: STRING)
-- remove first encountered object

remove_all (s: STRING)
-- convert key from the specified string and calls 'remove_all'
require
valid_string: s /= void and then not s.is_empty
no_obstacle: not is_bound and not is_protected
feature -- Queries:

is_attached: BOOLEAN
-- is this catalog attached to some database?

is_bound: BOOLEAN
-- returns True if this catalog is bound to a catalog query

count_of (s: STRING): INTEGER
-- converts key from the specified string and returns 'count_of'
require
valid_string: s /= void and then not s.is_empty

has (s: STRING): BOOLEAN
-- converts key from the specified string and returns 'has_key'
require
valid_string: s /= void and then not s.is_empty

item (s: STRING): G
-- returns first item having the specified name
require
valid_string: s /= void and then not s.is_empty

items_at_key (s: STRING): LIST_ [G]
-- converts key from the specified string and returns 'items_at_key'
require
valid_string: s /= void and then not s.is_empty
end -- class DB_CATALOG

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES