home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
expanded class BOOLEAN
Summary
top
Note: An Eiffel
BOOLEAN
is mapped as a C char or as a Java byte.
Direct parents
insert list:
ANY
Overview
top
exported features
infix "and"
(other: BOOLEAN): BOOLEAN
and
of Current with
other
.
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
to_integer
:
INTEGER_32
to_character
:
CHARACTER
append_in
(str:
STRING
)
Object Printing:
out_in_tagged_out_memory
Append terse printable represention of current object in
tagged_out_memory
.
fill_tagged_out_memory
Append a viewable information in
tagged_out_memory
in order to affect the behavior of
out
,
tagged_out
, etc.
infix "and"
(other: BOOLEAN): BOOLEAN
effective function
top
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
top
Semi-strict
and
of Current with
other
.
infix "implies"
(other: BOOLEAN): BOOLEAN
top
Does Current imply
other
.
infix "or"
(other: BOOLEAN): BOOLEAN
effective function
top
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
top
Semi-strict
or
of Current with
other
infix "xor"
(other: BOOLEAN): BOOLEAN
effective function
top
xor
of Current with
other
prefix "not"
: BOOLEAN
effective function
top
not
of Current.
to_string
:
STRING
effective function
top
ensure
"True".is_equal(Result)
implies
Current
"False".is_equal(Result)
implies
not
Current
to_integer
:
INTEGER_32
effective function
top
ensure
Result = 1
implies
Current
Result = 0
implies
not
Current
to_character
:
CHARACTER
effective function
top
ensure
Result = '1'
implies
Current
Result = '0'
implies
not
Current
append_in
(str:
STRING
)
effective procedure
top
out_in_tagged_out_memory
effective procedure
top
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
effective procedure
top
Append a viewable information in
tagged_out_memory
in order to affect the behavior of
out
,
tagged_out
, etc.