Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
expanded class INTEGER_16 General cluster: base.kernel description: "Integer values coded on 16 bits" Ancestors INTEGER_16_REF Queries infix "&" (i: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "//" (other: [like Current] INTEGER_16): [like Current] INTEGER_16 infix ">=" (other: [like Current] INTEGER_16): BOOLEAN infix ">" (other: [like Current] INTEGER_16): BOOLEAN infix "<=" (other: [like Current] INTEGER_16): BOOLEAN infix "<" (other: [like Current] INTEGER_16): BOOLEAN infix "-" (other: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "\\" (other: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "+" (other: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "^" (other: NUMERIC): DOUBLE infix "/" (other: [like Current] INTEGER_16): DOUBLE infix "*" (other: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "|" (i: [like Current] INTEGER_16): [like Current] INTEGER_16 infix "|..|" (other: INTEGER_16): INTEGER_INTERVAL infix "|<<" (n: INTEGER): [like Current] INTEGER_16 infix "|>>" (n: INTEGER): [like Current] INTEGER_16 prefix "-": [like Current] INTEGER_16 prefix "+": [like Current] INTEGER_16 abs: INTEGER_16 ascii_char: CHARACTER bit_and (i: [like Current] INTEGER_16): [like Current] INTEGER_16 bit_not: [like Current] INTEGER_16 bit_or (i: [like Current] INTEGER_16): [like Current] INTEGER_16 bit_shift (n: INTEGER): [like Current] INTEGER_16 bit_shift_left (n: INTEGER): [like Current] INTEGER_16 bit_shift_right (n: INTEGER): [like Current] INTEGER_16 bit_test (n: INTEGER): BOOLEAN bit_xor (i: [like Current] INTEGER_16): [like Current] INTEGER_16 divisible (other: INTEGER_16_REF): BOOLEAN exponentiable (other: NUMERIC): BOOLEAN hash_code: INTEGER is_equal (other: [like Current] INTEGER_16): BOOLEAN is_hashable: BOOLEAN item: INTEGER_16 max (other: [like Current] INTEGER_16): [like Current] INTEGER_16 min (other: [like Current] INTEGER_16): [like Current] INTEGER_16 one: [like Current] INTEGER_16 out: STRING sign: INTEGER three_way_comparison (other: INTEGER_16_REF): INTEGER to_integer: INTEGER to_integer_64: INTEGER_64 to_integer_8: INTEGER_8 zero: [like Current] INTEGER_16 Commands set_item (i: INTEGER_16)
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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