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

feature(s) from BOOLEAN   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.


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


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


   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.


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


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


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


   to_string: STRING
      ensure
         (once "True").is_equal(Result) implies Current;
         (once "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)

feature(s) from BOOLEAN
   -- Object Printing:

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

      ensure
         not_cleared: tagged_out_memory.count >= old tagged_out_memory.count;
         append_only: (old tagged_out_memory.twin).is_equal(tagged_out_memory.substring(1,old tagged_out_memory.count))

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


feature(s) from BOOLEAN
   -- For compatibility with the obsolete BOOLEAN_REF style:

   item: BOOLEAN

   set_item (value: like item)
      ensure
         item = value



end of expanded BOOLEAN