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

Table of Contents Previous Chapter

5.21 Class BOOLEAN_REF

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

Table of Contents Next Chapter