Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
expanded class WIDE_CHARACTER General cluster: base.kernel description: "Unicode characters, with comparison operations" Ancestors WIDE_CHARACTER_REF Queries infix ">=" (other: [like Current] WIDE_CHARACTER): BOOLEAN infix ">" (other: [like Current] WIDE_CHARACTER): BOOLEAN infix "<=" (other: [like Current] WIDE_CHARACTER): BOOLEAN infix "<" (other: [like Current] WIDE_CHARACTER): BOOLEAN code: INTEGER hash_code: INTEGER is_equal (other: [like Current] WIDE_CHARACTER): BOOLEAN Is_hashable: BOOLEAN item: WIDE_CHARACTER max (other: [like Current] WIDE_CHARACTER): [like Current] WIDE_CHARACTER min (other: [like Current] WIDE_CHARACTER): [like Current] WIDE_CHARACTER three_way_comparison (other: WIDE_CHARACTER_REF): INTEGER Commands set_item (c: WIDE_CHARACTER)
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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