+
Point of view
All features
expanded class INTEGER_8
Summary
top
Direct parents
Insert list: INTEGER_GENERAL
Overview
top
Features
Conversions:
{ANY}
{}
{ANY}
  • one: INTEGER_8
    Neutral element for "*" and "/".
  • zero: INTEGER_8
    Neutral element for "+" and "-".
  • hash_code: INTEGER_32
    The hash-code value of Current.
  • sqrt: REAL_64
    Square root of Current.
  • log: REAL_64
    Natural Logarithm of Current.
  • log10: REAL_64
    Base-10 Logarithm of Current.
  • bit_count: INTEGER_8
    The number of bits used to store the value of Current
{}
{ANY}
{}
Conversions:
{ANY}
Bitwise Logical Operators:
{ANY}
  • bit_test (idx: INTEGER_8): BOOLEAN
    The value of the idx-ith bit (the right-most bit is at index 0).
  • bit_set (idx: INTEGER_8): INTEGER_8
    The value of the idx-ith bit (the right-most bit is at index 0).
  • bit_reset (idx: INTEGER_8): INTEGER_8
    The value of the idx-ith bit (the right-most bit is at index 0).
  • infix "|>>" (s: INTEGER_8): INTEGER_8
    Shift by s positions right (sign bit copied) bits falling off the end are lost.
  • bit_shift_right (s: INTEGER_8): INTEGER_8
    Shift by s positions right (sign bit copied) bits falling off the end are lost.
  • infix "|>>>" (s: INTEGER_8): INTEGER_8
    Shift by s positions right (sign bit not copied) bits falling off the end are lost.
  • bit_shift_right_unsigned (s: INTEGER_8): INTEGER_8
    Shift by s positions right (sign bit not copied) bits falling off the end are lost.
  • infix "|<<" (s: INTEGER_8): INTEGER_8
    Shift by s positions left bits falling off the end are lost.
  • bit_shift_left (s: INTEGER_8): INTEGER_8
    Shift by s positions left bits falling off the end are lost.
  • infix "#>>" (s: INTEGER_8): INTEGER_8
    Rotate by s positions right.
  • bit_rotate_right (s: INTEGER_8): INTEGER_8
    Rotate by s positions right.
  • infix "#<<" (s: INTEGER_8): INTEGER_8
    Rotate by s positions left.
  • bit_rotate_left (s: INTEGER_8): INTEGER_8
    Rotate by s positions left.
  • bit_rotate (s: INTEGER_8): INTEGER_8
    Rotate by s positions (positive s shifts right, negative left
  • prefix "~": INTEGER_8
    One's complement of Current.
  • bit_not: INTEGER_8
    One's complement of Current.
  • infix "&" (other: INTEGER_8): INTEGER_8
    Bitwise logical and of Current with other.
  • bit_and (other: INTEGER_8): INTEGER_8
    Bitwise logical and of Current with other.
  • infix "|" (other: INTEGER_8): INTEGER_8
    Bitwise logical inclusive or of Current with other.
  • bit_or (other: INTEGER_8): INTEGER_8
    Bitwise logical inclusive or of Current with other.
  • bit_xor (other: INTEGER_8): INTEGER_8
    Bitwise logical exclusive or of Current with other.
  • bit_shift (s: INTEGER_8): INTEGER_8
    Shift by s positions (positive s shifts right (sign bit copied), negative shifts left bits falling off the end are lost).
  • bit_shift_unsigned (s: INTEGER_8): INTEGER_8
    Shift by s positions (positive s shifts right (sign bit not copied), negative left bits falling off the end are lost).
Object Printing:
{ANY}
Miscellaneous:
{ANY}
Looping:
{ANY}
  • times (repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
    Repeats the procedure from 1 to Current.
  • loop_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
    Repeats the procedure from Current to bound.
  • loop_from (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
    Repeats the procedure from bound to Current.
  • loop_up_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
    Repeats the procedure from Current to a greater bound.
  • loop_down_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
    Repeats the procedure from Current to a lower bound.
Modular arithmetic (these wrap around on overflow)
{ANY}
  • infix "#+" (other: INTEGER_8): INTEGER_8
  • prefix "#-": INTEGER_8
  • infix "#-" (other: INTEGER_8): INTEGER_8
  • infix "#*" (other: INTEGER_8): INTEGER_8
  • infix "#//" (other: INTEGER_8): INTEGER_8
    Integer division of Current by other.
  • infix "#\\" (other: INTEGER_8): INTEGER_8
    Remainder of the integer division of Current by other.
{}
{ANY}
  • lcm (other: INTEGER_8): INTEGER_8
    Least Common Multiple of Current and other.
{ANY}
  • in_range (lower: INTEGER_8, upper: INTEGER_8): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: INTEGER_8): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: INTEGER_8): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: INTEGER_8): INTEGER_8
    Minimum of Current and other.
  • max (other: INTEGER_8): INTEGER_8
    Maximum of Current and other.
  • bounded_by (a_min: INTEGER_8, a_max: INTEGER_8): INTEGER_8
    A value that is equal to Current if it is between the limits set by a_min and a_max.
Maximum:
{}
Minimum:
{}
Bits:
{}
to_integer_16: INTEGER_16
effective function
{ANY}
top
Explicit conversion to INTEGER_16.
to_integer_32: INTEGER_32
effective function
{ANY}
top
Explicit conversion to INTEGER_32.
to_integer_64: INTEGER_64
effective function
{ANY}
top
Explicit conversion to INTEGER_64.
to_natural_8: NATURAL_8
{ANY}
top
Explicit conversion to NATURAL_8.
to_natural_16: NATURAL_16
{ANY}
top
Explicit conversion to NATURAL_16.
to_natural_32: NATURAL_32
{ANY}
top
Explicit conversion to NATURAL_32.
to_natural_64: NATURAL_64
{ANY}
top
Explicit conversion to NATURAL_64.
to_real_32: REAL_32
effective function
{ANY}
top
Explicit conversion to REAL_32.
to_real_64: REAL_64
effective function
{ANY}
top
Explicit conversion to REAL_64.
to_number: NUMBER
effective function
{ANY}
top
Explicit conversion to NUMBER.
decimal_digit: CHARACTER
effective function
{ANY}
top
Gives the corresponding CHARACTER for range 0..9.
hexadecimal_digit: CHARACTER
effective function
{ANY}
top
Gives the corresponding CHARACTER for range 0..15.
infix "|..|" (other: INTEGER_8): INTEGER_RANGE[INTEGER_8]
effective function
{ANY}
top
integer_range_itemize: FUNCTION[TUPLE 1[INTEGER_32], INTEGER_8]
once function
{}
top
integer_range_indexize: FUNCTION[TUPLE 1[INTEGER_8], INTEGER_32]
once function
{}
top
one: INTEGER_8
is 1
constant attribute
{ANY}
top
Neutral element for "*" and "/".
zero: INTEGER_8
is 0
constant attribute
{ANY}
top
Neutral element for "+" and "-".
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
sqrt: REAL_64
effective function
{ANY}
top
Square root of Current.
log: REAL_64
effective function
{ANY}
top
Natural Logarithm of Current.
log10: REAL_64
effective function
{ANY}
top
Base-10 Logarithm of Current.
bit_count: INTEGER_8
is 8
constant attribute
{ANY}
top
The number of bits used to store the value of Current
_inline_agent30 (i: INTEGER_32): INTEGER_8
frozen
effective function
{}
top
_inline_agent31 (i: INTEGER_8): INTEGER_32
frozen
effective function
{}
top
infix "+" (other: INTEGER_8): INTEGER_8
{ANY}
top
Sum with other (commutative).
infix "-" (other: INTEGER_8): INTEGER_8
{ANY}
top
Result of subtracting other.
infix "*" (other: INTEGER_8): INTEGER_8
{ANY}
top
Product by other.
infix "/" (other: INTEGER_8): REAL_64
{ANY}
top
Division by other.
infix "//" (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Quotient of the Euclidian division of Current by other.
infix "\\" (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Remainder of the Euclidian division of Current by other.
infix "^" (exp: INTEGER_8): INTEGER_64
effective function
{ANY}
top
Integer power of Current by other
abs: INTEGER_8
effective function
{ANY}
top
Absolute value of Current.
infix "<" (other: INTEGER_8): BOOLEAN
{ANY}
top
Is Current strictly less than other?
infix "<=" (other: INTEGER_8): BOOLEAN
{ANY}
top
infix ">" (other: INTEGER_8): BOOLEAN
{ANY}
top
infix ">=" (other: INTEGER_8): BOOLEAN
{ANY}
top
prefix "+": INTEGER_8
effective function
{ANY}
top
Unary plus of Current.
prefix "-": INTEGER_8
{ANY}
top
Unary minus of Current.
is_odd: BOOLEAN
effective function
{ANY}
top
Is odd?
is_even: BOOLEAN
effective function
{ANY}
top
Is even?
is_prime: BOOLEAN
effective function
{ANY}
top
Is prime?
is_fibonacci: BOOLEAN
effective function
{ANY}
top
Is Fibonacci number?
gcd (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Greatest Common Divisor of Current and other.
is_perfect_square (other: INTEGER_8): BOOLEAN
effective function
{}
top
to_string: STRING
effective function
{ANY}
top
The decimal view of Current into a new allocated STRING.
to_unicode_string: UNICODE_STRING
effective function
{ANY}
top
The decimal view of Current into a new allocated UNICODE_STRING.
to_boolean: BOOLEAN
effective function
{ANY}
top
Return False for 0, otherwise True.
append_in (buffer: STRING)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_string.
append_in_unicode (buffer: UNICODE_STRING)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_unicode_string.
to_string_format (s: INTEGER_32): STRING
effective function
{ANY}
top
Same as to_string but the result is on s character and the number is right aligned.
to_unicode_string_format (s: INTEGER_32): UNICODE_STRING
effective function
{ANY}
top
Same as to_unicode_string but the result is on s character and the number is right aligned.
append_in_format (buffer: STRING, s: INTEGER_32)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_string_format.
append_in_unicode_format (buffer: UNICODE_STRING, s: INTEGER_32)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_unicode_string_format.
digit: CHARACTER
effective function
{ANY}
top
Legacy synonym for decimal_digit.
is_decimal_digit: BOOLEAN
effective function
{ANY}
top
is_hexadecimal_digit: BOOLEAN
effective function
{ANY}
top
to_character: CHARACTER
{ANY}
top
Return the corresponding ASCII character.
to_octal_in (buffer: STRING)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_octal.
to_octal: STRING
effective function
{ANY}
top
The octal view of Current into a new allocated STRING.
to_hexadecimal: STRING
effective function
{ANY}
top
The hexadecimal view of Current into a new allocated STRING.
to_hexadecimal_in (buffer: STRING)
effective procedure
{ANY}
top
Append in the buffer the equivalent of to_hexadecimal.
bit_test (idx: INTEGER_8): BOOLEAN
effective function
{ANY}
top
The value of the idx-ith bit (the right-most bit is at index 0).
bit_set (idx: INTEGER_8): INTEGER_8
effective function
{ANY}
top
The value of the idx-ith bit (the right-most bit is at index 0).
bit_reset (idx: INTEGER_8): INTEGER_8
effective function
{ANY}
top
The value of the idx-ith bit (the right-most bit is at index 0).
infix "|>>" (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions right (sign bit copied) bits falling off the end are lost.
bit_shift_right (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions right (sign bit copied) bits falling off the end are lost.
infix "|>>>" (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
bit_shift_right_unsigned (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
infix "|<<" (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions left bits falling off the end are lost.
bit_shift_left (s: INTEGER_8): INTEGER_8
{ANY}
top
Shift by s positions left bits falling off the end are lost.
infix "#>>" (s: INTEGER_8): INTEGER_8
{ANY}
top
Rotate by s positions right.
bit_rotate_right (s: INTEGER_8): INTEGER_8
{ANY}
top
Rotate by s positions right.
infix "#<<" (s: INTEGER_8): INTEGER_8
{ANY}
top
Rotate by s positions left.
bit_rotate_left (s: INTEGER_8): INTEGER_8
{ANY}
top
Rotate by s positions left.
bit_rotate (s: INTEGER_8): INTEGER_8
{ANY}
top
Rotate by s positions (positive s shifts right, negative left
See also bit_rotate_right and bit_rotate_left.
prefix "~": INTEGER_8
{ANY}
top
One's complement of Current.
bit_not: INTEGER_8
{ANY}
top
One's complement of Current.
infix "&" (other: INTEGER_8): INTEGER_8
{ANY}
top
Bitwise logical and of Current with other.
bit_and (other: INTEGER_8): INTEGER_8
{ANY}
top
Bitwise logical and of Current with other.
infix "|" (other: INTEGER_8): INTEGER_8
{ANY}
top
Bitwise logical inclusive or of Current with other.
bit_or (other: INTEGER_8): INTEGER_8
{ANY}
top
Bitwise logical inclusive or of Current with other.
bit_xor (other: INTEGER_8): INTEGER_8
{ANY}
top
Bitwise logical exclusive or of Current with other.
bit_shift (s: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Shift by s positions (positive s shifts right (sign bit copied), negative shifts left bits falling off the end are lost).
bit_shift_unsigned (s: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Shift by s positions (positive s shifts right (sign bit not copied), negative left bits falling off the end are lost).
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
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.
sign: INTEGER_8
effective function
{ANY}
top
Sign of Current (0 or -1 or 1).
divisible (other: INTEGER_8): BOOLEAN
effective function
{ANY}
top
May Current be divided by other ?
is_equal (other: INTEGER_8): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
is_a_power_of_2: BOOLEAN
effective function
{ANY}
top
Is Current a power of 2?
times (repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
effective procedure
{ANY}
top
Repeats the procedure from 1 to Current.
loop_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
effective procedure
{ANY}
top
Repeats the procedure from Current to bound.
loop_from (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
effective procedure
{ANY}
top
Repeats the procedure from bound to Current.
loop_up_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
effective procedure
{ANY}
top
Repeats the procedure from Current to a greater bound.
loop_down_to (bound: INTEGER_8, repeat: PROCEDURE[TUPLE[TUPLE 1[INTEGER_8]]])
effective procedure
{ANY}
top
Repeats the procedure from Current to a lower bound.
infix "#+" (other: INTEGER_8): INTEGER_8
{ANY}
top
prefix "#-": INTEGER_8
{ANY}
top
infix "#-" (other: INTEGER_8): INTEGER_8
{ANY}
top
infix "#*" (other: INTEGER_8): INTEGER_8
{ANY}
top
infix "#//" (other: INTEGER_8): INTEGER_8
{ANY}
top
Integer division of Current by other.
infix "#\\" (other: INTEGER_8): INTEGER_8
{ANY}
top
Remainder of the integer division of Current by other.
string_buffer: STRING
once function
{}
top
unicode_string_buffer: UNICODE_STRING
once function
{}
top
lcm (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Least Common Multiple of Current and other.
in_range (lower: INTEGER_8, upper: INTEGER_8): BOOLEAN
effective function
{ANY}
top
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: INTEGER_8): INTEGER_32
effective function
{ANY}
top
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: INTEGER_8): INTEGER_32
effective function
{ANY}
top
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Minimum of Current and other.
max (other: INTEGER_8): INTEGER_8
effective function
{ANY}
top
Maximum of Current and other.
bounded_by (a_min: INTEGER_8, a_max: INTEGER_8): INTEGER_8
effective function
{ANY}
top
A value that is equal to Current if it is between the limits set by a_min and a_max.
Maximum_character_code: INTEGER_16
{}
top
Largest supported code for CHARACTER values.
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
top
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
top
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
top
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
top
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
top
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
top
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
top
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_64: REAL_64
{}
top
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_80: REAL_EXTENDED
{}
top
Largest supported value of type REAL_80.
Minimum_character_code: INTEGER_16
{}
top
Smallest supported code for CHARACTER values.
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
top
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
top
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
top
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
top
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
top
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_64: REAL_64
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_80: REAL_64
{}
top
Smallest supported value of type REAL_80.
Boolean_bits: INTEGER_32
{}
top
Number of bits in a value of type BOOLEAN.
Character_bits: INTEGER_32
{}
top
Number of bits in a value of type CHARACTER.
Integer_bits: INTEGER_32
{}
top
Number of bits in a value of type INTEGER.
Real_bits: INTEGER_32
is 64
constant attribute
{}
top
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
top
Number of bits in a value of type POINTER.