expanded class interface BOOLEAN
   -- 
   --  Note: An Eiffel BOOLEAN is mapped as a C int or as a Java int.
   -- 

feature(s) from BOOLEAN_REF
   item: BOOLEAN
      --  Value of Current


   make (value: BOOLEAN)
      --  Initialize object


feature(s) from BOOLEAN_REF
   set_item (value: like item)

   infix "and" (other: BOOLEAN): BOOLEAN
      --  and of Current with other.
      --  
      --  Note: when evaluation of other has no side effects, it 
      --  may be better to use "and then" to avoid execution-time
      --  overhead.

      require
         other /= Void

   infix "and then" (other: BOOLEAN): BOOLEAN
      --  Semi-strict and of Current with other.

      require
         other /= Void

   infix "implies" (other: BOOLEAN): BOOLEAN
      --  Does Current imply other.

      require
         other /= Void

   infix "or" (other: BOOLEAN): BOOLEAN
      --  or of Current with other
      -- 
      --  Note: when evaluation of other has no side effects, it 
      --  may be better to use "or else" to avoid execution-time
      --  overhead.

      require
         other_not_void: other /= Void

   infix "or else" (other: BOOLEAN): BOOLEAN
      --  Semi-strict or of Current with other

      require
         other_not_void: other /= Void

   infix "xor" (other: BOOLEAN): BOOLEAN
      --  xor of Current with other

      require
         other /= Void

   prefix "not": BOOLEAN
      --  not of Current.


   out_in_tagged_out_memory
      --  Append terse printable represention of current object
      --  in tagged_out_memory.


   fill_tagged_out_memory
      --  Append terse printable represention of current object
      --  in tagged_out_memory.


feature(s) from BOOLEAN
   to_string: STRING
      ensure
         ("true").is_equal(Result) implies Current;
         ("false").is_equal(Result) implies not Current

   to_integer: INTEGER
      ensure
         Result = 1 implies Current;
         Result = 0 implies not Current

   to_character: CHARACTER
      ensure
         Result = '1' implies Current;
         Result = '0' implies not Current

   append_in (str: STRING)


end of expanded BOOLEAN