expanded class BOOLEAN

All features

Note: An Eiffel BOOLEAN is mapped as a C char or as a Java byte.

Direct parents

non-conformant parents

ANY

Summary

exported features

Object Printing:

Details

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.

and then (other: BOOLEAN): BOOLEAN

Semi-strict and of Current with other.

implies (other: BOOLEAN): BOOLEAN

Does Current imply other.

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.

or else (other: BOOLEAN): BOOLEAN

Semi-strict or of Current with other

xor (other: BOOLEAN): BOOLEAN

xor of Current with other

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)
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 a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.