Automatic generation produced by ISE Eiffel
expanded class INTEGER_64 General cluster: base.kernel description: "Integer values coded on 64 bits" Ancestors INTEGER_64_REF Queries infix "&" (i: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "//" (other: [like Current] INTEGER_64): [like Current] INTEGER_64 infix ">=" (other: [like Current] INTEGER_64): BOOLEAN infix ">" (other: [like Current] INTEGER_64): BOOLEAN infix "<=" (other: [like Current] INTEGER_64): BOOLEAN infix "<" (other: [like Current] INTEGER_64): BOOLEAN infix "-" (other: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "\\" (other: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "+" (other: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "^" (other: NUMERIC): DOUBLE infix "/" (other: [like Current] INTEGER_64): DOUBLE infix "*" (other: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "|" (i: [like Current] INTEGER_64): [like Current] INTEGER_64 infix "|<<" (n: INTEGER): [like Current] INTEGER_64 infix "|>>" (n: INTEGER): [like Current] INTEGER_64 prefix "-": [like Current] INTEGER_64 prefix "+": [like Current] INTEGER_64 abs: INTEGER_64 ascii_char: CHARACTER bit_and (i: [like Current] INTEGER_64): [like Current] INTEGER_64 bit_not: [like Current] INTEGER_64 bit_or (i: [like Current] INTEGER_64): [like Current] INTEGER_64 bit_shift (n: INTEGER): [like Current] INTEGER_64 bit_shift_left (n: INTEGER): [like Current] INTEGER_64 bit_shift_right (n: INTEGER): [like Current] INTEGER_64 bit_test (n: INTEGER): BOOLEAN bit_xor (i: [like Current] INTEGER_64): [like Current] INTEGER_64 divisible (other: INTEGER_64_REF): BOOLEAN exponentiable (other: NUMERIC): BOOLEAN hash_code: INTEGER is_equal (other: [like Current] INTEGER_64): BOOLEAN is_hashable: BOOLEAN item: INTEGER_64 max (other: [like Current] INTEGER_64): [like Current] INTEGER_64 min (other: [like Current] INTEGER_64): [like Current] INTEGER_64 one: [like Current] INTEGER_64 out: STRING sign: INTEGER three_way_comparison (other: INTEGER_64_REF): INTEGER to_integer: INTEGER to_integer_16: INTEGER_16 to_integer_8: INTEGER_8 zero: [like Current] INTEGER_64 Commands set_item (i: INTEGER_64) -- Generated by ISE Eiffel --
For more details: www.eiffel.com