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