Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class UUID General cluster: uuid description: "UUID representation." create: default_create, make, make_from_string, make_from_array Ancestors COMPARABLE* DEBUG_OUTPUT* HASHABLE* Queries data_1: NATURAL_32 data_2: NATURAL_16 data_3: NATURAL_16 data_4: NATURAL_16 data_5: NATURAL_64 debug_output: STRING_8 hash_code: INTEGER_32 is_greater alias ">" (other: [like Current] UUID): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] UUID): BOOLEAN is_hashable: BOOLEAN is_less alias "<" (other: [like Current] UUID): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] UUID): BOOLEAN is_null: BOOLEAN is_valid_uuid (a_uuid: READABLE_STRING_GENERAL): BOOLEAN max alias "" (other: [like Current] UUID): [like Current] UUID min alias "" (other: [like Current] UUID): [like Current] UUID out: STRING_8 string: STRING_32 three_way_comparison alias "" (other: [like Current] UUID): INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org