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

Table of Contents Previous Chapter

5.24 Class INTEGER_REF

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

Table of Contents Next Chapter