+
Point of view
All features
deferred class NATURAL_GENERAL
Summary
General natural number abstraction to share common code for NATURAL_8, NATURAL_16, NATURAL_32 and NATURAL_64.
All implementations have a limited size (8, 16, 32 or 64 bits). As NATURAL_8, NATURAL_16, NATURAL_32 and NATURAL_64 are expanded classes, it is not possible to expect any form of polymorphism (but you are sure to get the very best execution speed).
See also INTEGER_8, INTEGER_16, INTEGER_32, INTEGER_64, NUMBER or MUTABLE_BIG_INTEGER.
Direct parents
Inherit list: COMPARABLE, HASHABLE
Insert list: PLATFORM
Known children
Insert list: NATURAL_16, NATURAL_32, NATURAL_64, NATURAL_8
Overview
Features
{ANY}
  • infix "+" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Sum with other (commutative).
  • infix "-" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Result of subtracting other.
  • infix "*" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Product by other.
  • infix "/" (other: NATURAL_GENERAL): REAL_64
    Division by other.
  • infix "//" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Quotient of the Euclidian division of Current by other.
  • infix "\\" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Remainder of the Euclidian division of Current by other.
  • infix "<" (other: NATURAL_GENERAL): BOOLEAN
    Is Current strictly less than other?
  • infix "<=" (other: NATURAL_GENERAL): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: NATURAL_GENERAL): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: NATURAL_GENERAL): BOOLEAN
    Is Current greater than or equal than other?
  • is_odd: BOOLEAN
    Is odd?
  • is_even: BOOLEAN
    Is even?
  • is_equal (other: NATURAL_GENERAL): BOOLEAN
    Is other attached to an object considered equal to current object?
Conversions:
{ANY}
Modular arithmetic (these wrap around on overflow)
{ANY}
  • infix "#+" (other: NATURAL_GENERAL): NATURAL_GENERAL
  • infix "#-" (other: NATURAL_GENERAL): NATURAL_GENERAL
  • infix "#\\" (other: NATURAL_GENERAL): NATURAL_GENERAL
  • infix "#//" (other: NATURAL_GENERAL): NATURAL_GENERAL
Object printing
{ANY}
Bitwise Logical Operators:
{ANY}
  • infix "#>>" (s: INTEGER_8): NATURAL_GENERAL
    Rotate by s positions right.
  • bit_rotate_right (s: INTEGER_8): NATURAL_GENERAL
    Rotate by s positions right.
  • infix "#<<" (s: INTEGER_8): NATURAL_GENERAL
    Rotate by s positions left.
  • bit_rotate_left (s: INTEGER_8): NATURAL_GENERAL
    Rotate by s positions left.
  • bit_rotate (s: INTEGER_8): NATURAL_GENERAL
    Rotate by s positions (positive s shifts right, negative left
  • prefix "~": NATURAL_GENERAL
    One's complement of Current.
  • bit_not: NATURAL_GENERAL
    One's complement of Current.
  • infix "&" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Bitwise logical and of Current with other.
  • bit_and (other: NATURAL_GENERAL): NATURAL_GENERAL
    Bitwise logical and of Current with other.
  • infix "|" (other: NATURAL_GENERAL): NATURAL_GENERAL
    Bitwise logical inclusive or of Current with other.
  • bit_or (other: NATURAL_GENERAL): NATURAL_GENERAL
    Bitwise logical inclusive or of Current with other.
  • bit_xor (other: NATURAL_GENERAL): NATURAL_GENERAL
    Bitwise logical exclusive or of Current with other.
  • infix "|>>" (s: INTEGER_8): NATURAL_GENERAL
    Shift by s positions right (sign bit copied) bits falling off the end are lost.
  • bit_shift_right (s: INTEGER_8): NATURAL_GENERAL
    Shift by s positions right (sign bit copied) bits falling off the end are lost.
  • infix "|<<" (s: INTEGER_8): NATURAL_GENERAL
    Shift by s positions left bits falling off the end are lost.
  • bit_shift_left (s: INTEGER_8): NATURAL_GENERAL
    Shift by s positions left bits falling off the end are lost.
Size query
{ANY}
{}
{ANY}
  • in_range (lower: NATURAL_GENERAL, upper: NATURAL_GENERAL): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: NATURAL_GENERAL): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: NATURAL_GENERAL): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: NATURAL_GENERAL): NATURAL_GENERAL
    Minimum of Current and other.
  • max (other: NATURAL_GENERAL): NATURAL_GENERAL
    Maximum of Current and other.
  • bounded_by (a_min: NATURAL_GENERAL, a_max: NATURAL_GENERAL): NATURAL_GENERAL
    A value that is equal to Current if it is between the limits set by a_min and a_max.
{ANY}
Maximum:
{}
Minimum:
{}
Bits:
{}
infix "+" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Sum with other (commutative).
infix "-" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Result of subtracting other.
infix "*" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Product by other.
infix "/" (other: NATURAL_GENERAL): REAL_64
{ANY}
Division by other.
infix "//" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Quotient of the Euclidian division of Current by other.
infix "\\" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Remainder of the Euclidian division of Current by other.
infix "<" (other: NATURAL_GENERAL): BOOLEAN
{ANY}
Is Current strictly less than other?
infix "<=" (other: NATURAL_GENERAL): BOOLEAN
{ANY}
Is Current less than or equal other?
infix ">" (other: NATURAL_GENERAL): BOOLEAN
{ANY}
Is Current strictly greater than other?
infix ">=" (other: NATURAL_GENERAL): BOOLEAN
{ANY}
Is Current greater than or equal than other?
is_odd: BOOLEAN
deferred function
{ANY}
Is odd?
is_even: BOOLEAN
deferred function
{ANY}
Is even?
is_equal (other: NATURAL_GENERAL): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
to_string: STRING
effective function
{ANY}
The decimal view of Current into a new allocated STRING.
to_unicode_string: UNICODE_STRING
effective function
{ANY}
The decimal view of Current into a new allocated UNICODE_STRING.
append_in_format (buffer: STRING, s: INTEGER_32)
effective procedure
{ANY}
Append in the buffer the equivalent of to_string_format.
append_in_unicode_format (buffer: UNICODE_STRING, s: INTEGER_32)
effective procedure
{ANY}
Append in the buffer the equivalent of to_unicode_string_format.
decimal_digit: CHARACTER
deferred function
{ANY}
Gives the corresponding CHARACTER for range 0..9.
hexadecimal_digit: CHARACTER
deferred function
{ANY}
Gives the corresponding CHARACTER for range 0..15.
to_character: CHARACTER
deferred function
{ANY}
Return the corresponding ASCII character.
to_number: NUMBER
deferred function
{ANY}
Convert Current into a new allocated NUMBER.
infix "#+" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
infix "#-" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
infix "#\\" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
infix "#//" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
fill_tagged_out_memory
effective procedure
{ANY}
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
to_hexadecimal: STRING
effective function
{ANY}
to_hexadecimal_in (buffer: STRING)
effective procedure
{ANY}
append_in (buffer: STRING)
deferred procedure
{ANY}
Append in the buffer the equivalent of to_string.
append_in_unicode (buffer: UNICODE_STRING)
deferred procedure
{ANY}
Append in the buffer the equivalent of to_unicode_string.
infix "#>>" (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Rotate by s positions right.
bit_rotate_right (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Rotate by s positions right.
infix "#<<" (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Rotate by s positions left.
bit_rotate_left (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Rotate by s positions left.
bit_rotate (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Rotate by s positions (positive s shifts right, negative left
See also bit_rotate_right and bit_rotate_left.
prefix "~": NATURAL_GENERAL
{ANY}
One's complement of Current.
bit_not: NATURAL_GENERAL
{ANY}
One's complement of Current.
infix "&" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Bitwise logical and of Current with other.
bit_and (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Bitwise logical and of Current with other.
infix "|" (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Bitwise logical inclusive or of Current with other.
bit_or (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Bitwise logical inclusive or of Current with other.
bit_xor (other: NATURAL_GENERAL): NATURAL_GENERAL
{ANY}
Bitwise logical exclusive or of Current with other.
infix "|>>" (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Shift by s positions right (sign bit copied) bits falling off the end are lost.
bit_shift_right (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Shift by s positions right (sign bit copied) bits falling off the end are lost.
infix "|<<" (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Shift by s positions left bits falling off the end are lost.
bit_shift_left (s: INTEGER_8): NATURAL_GENERAL
{ANY}
Shift by s positions left bits falling off the end are lost.
bit_count: INTEGER_8
deferred function
{ANY}
The number of bits used to store the value of Current (it is 8 for NATURAL_8, 16 for NATURAL_16 and so on) This is actually used only for assertion here, in NATURAL_GENERAL.
string_buffer: STRING
once function
{}
unicode_string_buffer: UNICODE_STRING
once function
{}
in_range (lower: NATURAL_GENERAL, upper: NATURAL_GENERAL): BOOLEAN
effective function
{ANY}
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: NATURAL_GENERAL): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: NATURAL_GENERAL): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: NATURAL_GENERAL): NATURAL_GENERAL
effective function
{ANY}
Minimum of Current and other.
max (other: NATURAL_GENERAL): NATURAL_GENERAL
effective function
{ANY}
Maximum of Current and other.
bounded_by (a_min: NATURAL_GENERAL, a_max: NATURAL_GENERAL): NATURAL_GENERAL
effective function
{ANY}
A value that is equal to Current if it is between the limits set by a_min and a_max.
hash_code: INTEGER_32
deferred function
{ANY}
The hash-code value of Current.
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
Real_bits: INTEGER_32
is 64
constant attribute
{}
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
Number of bits in a value of type POINTER.