+
Point of view
All features
expanded class TRISTATE
Summary
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
Features
Expressions:
{ANY}
{TRISTATE, TRISTATE_VALUES}
{ANY}
to_boolean: BOOLEAN
effective function
{ANY}
require
from_boolean (b: BOOLEAN): TRISTATE
effective function
{ANY}
is_equal (other: TRISTATE): BOOLEAN
effective function
{ANY}
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}
infix "and" (other: TRISTATE): TRISTATE
effective function
{ANY}
infix "or" (other: TRISTATE): TRISTATE
effective function
{ANY}
infix "and then" (other: TRISTATE): TRISTATE
effective function
{ANY}
infix "or else" (other: TRISTATE): TRISTATE
effective function
{ANY}
infix "implies" (other: TRISTATE): TRISTATE
effective function
{ANY}
infix "xor" (other: TRISTATE): TRISTATE
effective function
{ANY}
out_in_tagged_out_memory
effective procedure
{ANY}
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
value: INTEGER_8
writable attribute
yes_value: INTEGER_8
is 1
constant attribute
no_value: INTEGER_8
is -1
constant attribute
maybe_value: INTEGER_8
is 0
constant attribute
yes: TRISTATE
effective function
{ANY}
no: TRISTATE
effective function
{ANY}
maybe: TRISTATE
effective function
{ANY}