GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
TRISTATE
+
Point of view
All features
ANY
TRISTATE
TRISTATE_VALUES
All features
expanded class TRISTATE
Summary
top
Yes, No, Maybe tri-state operators. Convert to and from booleans. All boolean operators are implemented with
"maybe"
management.
Direct parents
Insert list:
TRISTATE_VALUES
Overview
top
Features
Expressions:
{
ANY
}
to_boolean
:
BOOLEAN
from_boolean
(b:
BOOLEAN
): TRISTATE
is_equal
(other: TRISTATE):
BOOLEAN
Is
other
attached to an object considered equal to current object?
prefix "not"
: TRISTATE
infix "and"
(other: TRISTATE): TRISTATE
infix "or"
(other: TRISTATE): TRISTATE
infix "and then"
(other: TRISTATE): TRISTATE
infix "or else"
(other: TRISTATE): TRISTATE
infix "implies"
(other: TRISTATE): TRISTATE
infix "xor"
(other: TRISTATE): TRISTATE
out_in_tagged_out_memory
Append terse printable representation of current object in
tagged_out_memory
.
{
TRISTATE
,
TRISTATE_VALUES
}
with_value
(a_value:
INTEGER_8
): TRISTATE
value
:
INTEGER_8
yes_value
:
INTEGER_8
no_value
:
INTEGER_8
maybe_value
:
INTEGER_8
{
ANY
}
yes
: TRISTATE
no
: TRISTATE
maybe
: TRISTATE
to_boolean
:
BOOLEAN
effective function
{
ANY
}
top
require
certain_state:
not
is_equal
(
maybe
)
from_boolean
(b:
BOOLEAN
): TRISTATE
effective function
{
ANY
}
top
is_equal
(other: TRISTATE):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
prefix "not"
: TRISTATE
effective function
{
ANY
}
top
infix "and"
(other: TRISTATE): TRISTATE
effective function
{
ANY
}
top
infix "or"
(other: TRISTATE): TRISTATE
effective function
{
ANY
}
top
infix "and then"
(other: TRISTATE): TRISTATE
effective function
{
ANY
}
top
infix "or else"
(other: TRISTATE): TRISTATE
effective function
{
ANY
}
top
infix "implies"
(other: TRISTATE): TRISTATE
effective function
{
ANY
}
top
infix "xor"
(other: TRISTATE): TRISTATE
effective function
{
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))
with_value
(a_value:
INTEGER_8
): TRISTATE
effective function
{
TRISTATE
,
TRISTATE_VALUES
}
top
value
:
INTEGER_8
writable attribute
{
TRISTATE
,
TRISTATE_VALUES
}
top
yes_value
:
INTEGER_8
is 1
constant attribute
{
TRISTATE
,
TRISTATE_VALUES
}
top
no_value
:
INTEGER_8
is -1
constant attribute
{
TRISTATE
,
TRISTATE_VALUES
}
top
maybe_value
:
INTEGER_8
is 0
constant attribute
{
TRISTATE
,
TRISTATE_VALUES
}
top
yes
: TRISTATE
effective function
{
ANY
}
top
no
: TRISTATE
effective function
{
ANY
}
top
maybe
: TRISTATE
effective function
{
ANY
}
top