Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	WEL_GUID

General
	cluster: wel
	description: "Abstraction of a GUID data structure."
	create: make, make_empty, share_from_pointer

Ancestors
	ANY

Queries
	data_1: NATURAL_32
	data_2: NATURAL_16
	data_3: NATURAL_16
	data_4: ARRAY [NATURAL_8]
	Data_4_count: INTEGER_32
	is_equal (other: [like Current] WEL_GUID): BOOLEAN
	item: POINTER
	Size: INTEGER_32

Commands
	copy (other: [like Current] WEL_GUID)
	set_data_1 (a_value: NATURAL_32)
	set_data_2 (a_value: NATURAL_16)
	set_data_3 (a_value: NATURAL_16)
	set_data_4 (a_values: ARRAY [NATURAL_8]; a_index: INTEGER_32)

Constraints
	internal item not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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