Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
expanded class INTEGER General cluster: base.kernel description: "Integer values" Ancestors INTEGER_REF Queries infix "&" (i: [like Current] INTEGER): [like Current] INTEGER infix "//" (other: [like Current] INTEGER): [like Current] INTEGER infix ">=" (other: [like Current] INTEGER): BOOLEAN infix ">" (other: [like Current] INTEGER): BOOLEAN infix "<=" (other: [like Current] INTEGER): BOOLEAN infix "<" (other: [like Current] INTEGER): BOOLEAN infix "-" (other: [like Current] INTEGER): [like Current] INTEGER infix "\\" (other: [like Current] INTEGER): [like Current] INTEGER infix "+" (other: [like Current] INTEGER): [like Current] INTEGER infix "^" (other: NUMERIC): DOUBLE infix "/" (other: [like Current] INTEGER): DOUBLE infix "*" (other: [like Current] INTEGER): [like Current] INTEGER infix "|" (i: [like Current] INTEGER): [like Current] INTEGER infix "|..|" (other: INTEGER): INTEGER_INTERVAL infix "|<<" (n: INTEGER): [like Current] INTEGER infix "|>>" (n: INTEGER): [like Current] INTEGER prefix "-": [like Current] INTEGER prefix "+": [like Current] INTEGER abs: INTEGER ascii_char: CHARACTER bit_and (i: [like Current] INTEGER): [like Current] INTEGER bit_not: [like Current] INTEGER bit_or (i: [like Current] INTEGER): [like Current] INTEGER bit_shift (n: INTEGER): [like Current] INTEGER bit_shift_left (n: INTEGER): [like Current] INTEGER bit_shift_right (n: INTEGER): [like Current] INTEGER bit_test (n: INTEGER): BOOLEAN bit_xor (i: [like Current] INTEGER): [like Current] INTEGER divisible (other: INTEGER_REF): BOOLEAN exponentiable (other: NUMERIC): BOOLEAN hash_code: INTEGER is_equal (other: [like Current] INTEGER): BOOLEAN is_hashable: BOOLEAN item: INTEGER max (other: [like Current] INTEGER): [like Current] INTEGER min (other: [like Current] INTEGER): [like Current] INTEGER one: [like Current] INTEGER 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 Commands set_item (i: INTEGER)
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com