INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

copyright: "Object Tools, 1996-1997"
version: "1.1"
cluster: formats
class G_FORMAT_TABLE [G -> G_FORMAT_TABLE_ELEMENT]
inherit

ARRAY [G]
rename
make as array_make
end
creation

make
feature

found: BOOLEAN

found_item: G

found_index: INTEGER

make
feature -- search

search (g: G)
require
non_void_parameter: g /= void

search_by_example (sample: ANY)
-- in ISE-Eiffel a naked floated point value is assumed to be a 
-- `DOUBLE', because `DOUBLE' does not conform to `REAL' we can't assing
-- one
-- to another. We check `sample' to be a REAL_REF and then we promote
-- it to a `DOUBLE_REF'
-- should be corrected ASAP 14.07.99 (frido)
-- maybe adding a `DOUBLE_FORMATTER'?
-- more interesting:
-- naked floating point number in ISE-Eiffel -> DOUBLE
-- naked floating point number in Visual Eiffel -> REAL
-- arrg
require
non_void_parameter: sample /= void
feature -- add/modify

put_at_end (new_g: G)
require
non_void_new_item: new_g /= void
ensure
count > 0

contain (g: G): BOOLEAN
end -- class G_FORMAT_TABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES