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

Table of Contents Previous Chapter

5.22 Class CHARACTER_REF

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

Table of Contents Next Chapter