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*
	STRING_HANDLER

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

Commands
	append_to_string (a_delimiter: CHARACTER_8; a_string: STRING_8)
	append_to_string_32 (a_delimiter: CHARACTER_32; a_string: STRING_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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