5.23 Class DOUBLE_REF PreviousNext 
indexing
description: "Reference class for DOUBLE"
class interface
DOUBLE_REF
feature -- Access
item: DOUBLE
        -- Double value
hash_code: INTEGER
        -- Hash code value
        -- (From HASHABLE.)
    ensure
        good_hash_value: Result >= 0
feature -- Element change
set_item (d: DOUBLE)
        -- Make d the associated double value.
    ensure
        item_set: item = d
end
Copyright © 1995, Nonprofit International Consortium for Eiffel
mailto:nice@atlanta.twr.com
Last Updated: 26 October 1997
 HomeTocPreviousNext