GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
BOOLEAN
+
Point of view
All features
ANY
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
Features
{
ANY
}
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:
{
ANY
}
out_in_tagged_out_memory
Append terse printable representation 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
{
ANY
}
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
{
ANY
}
top
Semi-strict
and
of Current with
other
.
infix "implies"
(other: BOOLEAN): BOOLEAN
{
ANY
}
top
Does Current imply
other
.
infix "or"
(other: BOOLEAN): BOOLEAN
effective function
{
ANY
}
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
{
ANY
}
top
Semi-strict
or
of Current with
other
infix "xor"
(other: BOOLEAN): BOOLEAN
effective function
{
ANY
}
top
xor
of Current with
other
prefix "not"
: BOOLEAN
effective function
{
ANY
}
top
not
of Current.
to_string
:
STRING
effective function
{
ANY
}
top
ensure
"True".is_equal(Result)
implies
Current
"False".is_equal(Result)
implies
not
Current
to_integer
:
INTEGER_32
effective function
{
ANY
}
top
ensure
Result = 1
implies
Current
Result = 0
implies
not
Current
to_character
:
CHARACTER
effective function
{
ANY
}
top
ensure
Result = '1'
implies
Current
Result = '0'
implies
not
Current
append_in
(str:
STRING
)
effective procedure
{
ANY
}
top
out_in_tagged_out_memory
effective procedure
{
ANY
}
top
Append terse printable representation of current object in
tagged_out_memory
.
require
locked:
tagged_out_locked
ensure
still_locked:
tagged_out_locked
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
{
ANY
}
top
Append a viewable information in
tagged_out_memory
in order to affect the behavior of
out
,
tagged_out
, etc.
require
locked:
tagged_out_locked
ensure
still_locked:
tagged_out_locked