+
Point of view
INTERNALS_HANDLER
expanded class INTEGER_64
Summary
Overview
exported features
Conversions:
• infix "+" (other: INTEGER_64): INTEGER_64
Sum with other (commutative).
• infix "-" (other: INTEGER_64): INTEGER_64
Result of substracting other.
• infix "*" (other: INTEGER_64): INTEGER_64
Product by other.
• infix "/" (other: INTEGER_64): REAL_64
Division by other.
• infix "//" (other: INTEGER_64): INTEGER_64
Quotient of the euclidian division of Current by other.
• infix "#//" (other: INTEGER_64): INTEGER_64
Integer division of Current by other.
• infix "\\" (other: INTEGER_64): INTEGER_64
Remainder of the euclidian division of Current by other.
• infix "#\\" (other: INTEGER_64): INTEGER_64
Remainder of the integer division of Current by other.
• infix "^" (exp: INTEGER_64): INTEGER_64
Integer power of Current by other
• abs: INTEGER_64
Absolute value of Current.
• infix "<" (other: INTEGER_64): BOOLEAN
Is Current strictly less than other?
• infix "<=" (other: INTEGER_64): BOOLEAN
• infix ">" (other: INTEGER_64): BOOLEAN
• infix ">=" (other: INTEGER_64): BOOLEAN
• prefix "+": INTEGER_64
Unary plus of Current.
• prefix "-": INTEGER_64
Unary minus of Current.
• is_odd: BOOLEAN
Is odd?
• is_even: BOOLEAN
Is even?
• gcd (other: INTEGER_64): INTEGER_64
Great Common Divisor of Current and other.
Conversions:
Bitwise Logical Operators:
• 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_64
The value of the idx-ith bit (the right-most bit is at index 0).
• bit_reset (idx: INTEGER_8): INTEGER_64
The value of the idx-ith bit (the right-most bit is at index 0).
• infix "|>>" (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit copied) bits falling off the end are lost.
• bit_shift_right (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit copied) bits falling off the end are lost.
• infix "|>>>" (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
• bit_shift_right_unsigned (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
• infix "|<<" (s: INTEGER_8): INTEGER_64
Shift by s positions left bits falling off the end are lost.
• bit_shift_left (s: INTEGER_8): INTEGER_64
Shift by s positions left bits falling off the end are lost.
• infix "#>>" (s: INTEGER_8): INTEGER_64
Rotate by s positions right.
• bit_rotate_right (s: INTEGER_8): INTEGER_64
Rotate by s positions right.
• infix "#<<" (s: INTEGER_8): INTEGER_64
Rotate by s positions left.
• bit_rotate_left (s: INTEGER_8): INTEGER_64
Rotate by s positions left.
• bit_rotate (s: INTEGER_8): INTEGER_64
Rotate by s positions (positive s shifts right, negative left
• prefix "~": INTEGER_64
One's complement of Current.
• bit_not: INTEGER_64
One's complement of Current.
• infix "&" (other: INTEGER_64): INTEGER_64
Bitwise logical and of Current with other.
• bit_and (other: INTEGER_64): INTEGER_64
Bitwise logical and of Current with other.
• infix "|" (other: INTEGER_64): INTEGER_64
Bitwise logical inclusive or of Current with other.
• bit_or (other: INTEGER_64): INTEGER_64
Bitwise logical inclusive or of Current with other.
• bit_xor (other: INTEGER_64): INTEGER_64
Bitwise logical exclusive or of Current with other.
• bit_shift (s: INTEGER_8): INTEGER_64
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_64
Shift by s positions (positive s shifts right (sign bit not copied), negative left bits falling off the end are lost).
Object Printing:
Miscellaneous:
For experts only: native operators with potential untrapped overflow (no protection):
• in_range (lower: INTEGER_64, upper: INTEGER_64): BOOLEAN
Return True if Current is in range [lower..upper]
• compare (other: INTEGER_64): INTEGER_32
If current object equal to other, 0 if smaller, -1; if greater, 1.
• three_way_comparison (other: INTEGER_64): INTEGER_32
If current object equal to other, 0 if smaller, -1; if greater, 1.
• min (other: INTEGER_64): INTEGER_64
Minimum of Current and other.
• max (other: INTEGER_64): INTEGER_64
Maximum of Current and other.
fit_integer_8: BOOLEAN
effective function
Does Current fit in INTEGER_8?
to_integer_8: INTEGER_8
Explicit conversion to INTEGER_8.
fit_integer_16: BOOLEAN
effective function
Does Current fit in INTEGER_16?
to_integer_16: INTEGER_16
Explicit conversion to INTEGER_16.
fit_integer_32: BOOLEAN
effective function
Does Current fit in INTEGER_32?
to_integer_32: INTEGER_32
Explicit conversion to INTEGER_32.
to_integer: INTEGER_32
effective function
force_to_real_32: REAL_32
Forced conversion to REAL_32 (possible loss of precision).
fit_real_32: BOOLEAN
effective function
Does Current fit in REAL_32?
to_real_32: REAL_32
effective function
Explicit conversion to REAL_32.
force_to_real_64: REAL_64
Forced conversion to REAL_64 (possible loss of precision).
fit_real_64: BOOLEAN
effective function
Does Current fit in REAL_64?
to_real_64: REAL_64
effective function
Explicit conversion to REAL_64.
to_number: NUMBER
effective function
Convert Current into a new allocated NUMBER.
decimal_digit: CHARACTER
effective function
Gives the corresponding CHARACTER for range 0..9.
effective function
Gives the corresponding CHARACTER for range 0..15.
low_32: INTEGER_32
The 32 low bits of Current (i.e. the right-most part).
high_32: INTEGER_32
effective function
The 32 high bits of Current (i.e. the left-most part).
one: INTEGER_8
constant attribute
Neutral element for "*" and "/".
zero: INTEGER_8
constant attribute
Neutral element for "+" and "-".
hash_code: INTEGER_32
effective function
The hash-code value of Current.
sqrt: REAL_64
effective function
Square root of Current.
log: REAL_64
effective function
Natural Logarithm of Current.
log10: REAL_64
effective function
Base-10 Logarithm of Current.
infix "+" (other: INTEGER_64): INTEGER_64
effective function
Sum with other (commutative).
infix "-" (other: INTEGER_64): INTEGER_64
effective function
Result of substracting other.
infix "*" (other: INTEGER_64): INTEGER_64
effective function
Product by other.
infix "/" (other: INTEGER_64): REAL_64
Division by other.
infix "//" (other: INTEGER_64): INTEGER_64
effective function
Quotient of the euclidian division of Current by other.
infix "#//" (other: INTEGER_64): INTEGER_64
Integer division of Current by other.
infix "\\" (other: INTEGER_64): INTEGER_64
effective function
Remainder of the euclidian division of Current by other.
infix "#\\" (other: INTEGER_64): INTEGER_64
Remainder of the integer division of Current by other.
infix "^" (exp: INTEGER_64): INTEGER_64
effective function
Integer power of Current by other
abs: INTEGER_64
effective function
Absolute value of Current.
infix "<" (other: INTEGER_64): BOOLEAN
Is Current strictly less than other?
infix "<=" (other: INTEGER_64): BOOLEAN
infix ">" (other: INTEGER_64): BOOLEAN
infix ">=" (other: INTEGER_64): BOOLEAN
prefix "+": INTEGER_64
effective function
Unary plus of Current.
prefix "-": INTEGER_64
effective function
Unary minus of Current.
is_odd: BOOLEAN
effective function
Is odd?
is_even: BOOLEAN
effective function
Is even?
gcd (other: INTEGER_64): INTEGER_64
effective function
Great Common Divisor of Current and other.
to_string: STRING
effective function
The decimal view of Current into a new allocated STRING.
to_unicode_string: UNICODE_STRING
effective function
The decimal view of Current into a new allocated UNICODE_STRING.
to_boolean: BOOLEAN
effective function
Return False for 0, otherwise True.
append_in (buffer: STRING)
effective procedure
Append in the buffer the equivalent of to_string.
append_in_unicode (buffer: UNICODE_STRING)
effective procedure
Append in the buffer the equivalent of to_unicode_string.
to_string_format (s: INTEGER_32): STRING
effective function
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
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
Append in the buffer the equivalent of to_string_format.
append_in_unicode_format (buffer: UNICODE_STRING, s: INTEGER_32)
effective procedure
Append in the buffer the equivalent of to_unicode_string_format.
digit: CHARACTER
effective function
Legacy synonym for decimal_digit.
to_character: CHARACTER
Return the coresponding ASCII character.
to_octal_in (buffer: STRING)
effective procedure
Append in the buffer the equivalent of to_octal.
to_octal: STRING
effective function
The octal view of Current into a new allocated STRING.
effective function
The hexadecimal view of Current into a new allocated STRING.
effective procedure
Append in the buffer the equivalent of to_hexadecimal.
bit_test (idx: INTEGER_8): BOOLEAN
effective function
The value of the idx-ith bit (the right-most bit is at index 0).
bit_set (idx: INTEGER_8): INTEGER_64
effective function
The value of the idx-ith bit (the right-most bit is at index 0).
bit_reset (idx: INTEGER_8): INTEGER_64
effective function
The value of the idx-ith bit (the right-most bit is at index 0).
infix "|>>" (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit copied) bits falling off the end are lost.
bit_shift_right (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit copied) bits falling off the end are lost.
infix "|>>>" (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
bit_shift_right_unsigned (s: INTEGER_8): INTEGER_64
Shift by s positions right (sign bit not copied) bits falling off the end are lost.
infix "|<<" (s: INTEGER_8): INTEGER_64
Shift by s positions left bits falling off the end are lost.
bit_shift_left (s: INTEGER_8): INTEGER_64
Shift by s positions left bits falling off the end are lost.
infix "#>>" (s: INTEGER_8): INTEGER_64
Rotate by s positions right.
bit_rotate_right (s: INTEGER_8): INTEGER_64
Rotate by s positions right.
infix "#<<" (s: INTEGER_8): INTEGER_64
Rotate by s positions left.
bit_rotate_left (s: INTEGER_8): INTEGER_64
Rotate by s positions left.
bit_rotate (s: INTEGER_8): INTEGER_64
Rotate by s positions (positive s shifts right, negative left
prefix "~": INTEGER_64
One's complement of Current.
bit_not: INTEGER_64
One's complement of Current.
infix "&" (other: INTEGER_64): INTEGER_64
Bitwise logical and of Current with other.
bit_and (other: INTEGER_64): INTEGER_64
Bitwise logical and of Current with other.
infix "|" (other: INTEGER_64): INTEGER_64
Bitwise logical inclusive or of Current with other.
bit_or (other: INTEGER_64): INTEGER_64
Bitwise logical inclusive or of Current with other.
bit_xor (other: INTEGER_64): INTEGER_64
Bitwise logical exclusive or of Current with other.
bit_shift (s: INTEGER_8): INTEGER_64
effective function
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_64
effective function
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
Append terse printable represention of current object in tagged_out_memory.
fill_tagged_out_memory
effective procedure
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
sign: INTEGER_8
effective function
Sign of Current (0 or -1 or 1).
divisible (other: INTEGER_64): BOOLEAN
effective function
May Current be divided by other ?
is_equal (other: INTEGER_64): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
is_a_power_of_2: BOOLEAN
effective function
Is Current a power of 2?
infix "#+" (other: INTEGER_64): INTEGER_64
prefix "#-": INTEGER_64
infix "#-" (other: INTEGER_64): INTEGER_64
infix "#*" (other: INTEGER_64): INTEGER_64
in_range (lower: INTEGER_64, upper: INTEGER_64): BOOLEAN
effective function
Return True if Current is in range [lower..upper]