INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

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

DALE_SERVER
end
creation {DB_CATALOG, QUERY, TABLES}

make
feature -- Attributes:

attributes: COMPOSED_NAME_ATTRIBUTES

array: ARRAY [COMPOSED_NAME]
feature -- Commands:

make (attrs: COMPOSED_NAME_ATTRIBUTES)
-- creation procedure
require
valid_attributes: attrs /= void

from_string (s: STRING)
-- creates list of composed names parsing the specified string
require
valid_string: s /= void
feature -- Query:

item (k: INTEGER): COMPOSED_NAME
-- ...
require
index_in_bounds: 1 <= k and k <= array.count
ensure
not_void: Result /= void

count: INTEGER
-- count of composed names in this list
ensure
valid_result: 0 <= Result

to_string: STRING
-- returns string presentation of this list
ensure
well_done: Result /= void

empty: BOOLEAN
-- is this list empty?
end -- class COMPOSED_NAMES_LIST

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES