This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

Table of Contents Previous Chapter

5.26 Class REAL_REF

indexing
    description: "Reference class for REAL"
class interface
    REAL_REF
feature -- Access
    item: REAL
-- Real value
    hash_code: INTEGER
-- Hash code value
-- (From HASHABLE.)
      ensure
good_hash_value: Result >= 0
feature -- Element change
    set_item (r: REAL)
-- Make r the associated real value.
      ensure
item_set: item = r
end

Table of Contents Next Chapter