Automatic generation produced by ISE Eiffel
class INTEGER_REF General cluster: base.kernel description: "References to objects containing an integer value" Ancestors COMPARABLE HASHABLE NUMERIC Queries infix "&" (i: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "//" (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix ">=" (other: [like Current] INTEGER_REF): BOOLEAN infix ">" (other: [like Current] INTEGER_REF): BOOLEAN infix "<=" (other: [like Current] INTEGER_REF): BOOLEAN infix "<" (other: [like Current] INTEGER_REF): BOOLEAN infix "-" (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "\\" (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "+" (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "^" (other: NUMERIC): DOUBLE infix "/" (other: [like Current] INTEGER_REF): DOUBLE infix "*" (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "|" (i: [like Current] INTEGER_REF): [like Current] INTEGER_REF infix "|..|" (other: INTEGER): INTEGER_INTERVAL infix "|<<" (n: INTEGER): [like Current] INTEGER_REF infix "|>>" (n: INTEGER): [like Current] INTEGER_REF prefix "-": [like Current] INTEGER_REF prefix "+": [like Current] INTEGER_REF abs: INTEGER ascii_char: CHARACTER bit_and (i: [like Current] INTEGER_REF): [like Current] INTEGER_REF bit_not: [like Current] INTEGER_REF bit_or (i: [like Current] INTEGER_REF): [like Current] INTEGER_REF bit_shift (n: INTEGER): [like Current] INTEGER_REF bit_shift_left (n: INTEGER): [like Current] INTEGER_REF bit_shift_right (n: INTEGER): [like Current] INTEGER_REF bit_test (n: INTEGER): BOOLEAN bit_xor (i: [like Current] INTEGER_REF): [like Current] INTEGER_REF divisible (other: INTEGER_REF): BOOLEAN exponentiable (other: NUMERIC): BOOLEAN hash_code: INTEGER is_equal (other: [like Current] INTEGER_REF): BOOLEAN is_hashable: BOOLEAN item: INTEGER max (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF min (other: [like Current] INTEGER_REF): [like Current] INTEGER_REF one: [like Current] INTEGER_REF out: STRING sign: INTEGER three_way_comparison (other: INTEGER_REF): INTEGER to_boolean: BOOLEAN to_integer_16: INTEGER_16 to_integer_64: INTEGER_64 to_integer_8: INTEGER_8 zero: [like Current] INTEGER_REF Commands set_item (i: INTEGER) Constraints sign times abs -- Generated by ISE Eiffel --
For more details: www.eiffel.com