note
	description: "UUID data"
	date: "$Date$"
	revision: "$Revision$"

class
	UUID_DATA

inherit
	ANY
		redefine
			is_equal
		end

create
	make

feature {NONE} -- Init

	make (a_uuid_t: like uuid_t)
			-- Init
		do
			uuid_t := a_uuid_t
		ensure
			a_uuid_t_set: uuid_t = a_uuid_t
		end

feature -- Query

	is_equal (other: like Current): BOOLEAN
			-- Is `other' attached to an object considered
			-- equal to current object?
		do
			Result := other.uuid_t ~ uuid_t
		end

feature -- Access

	uuid_t: STRING

feature -- Element Change

	set_uuid_t (a_uuid_t: STRING)
			-- Set `uuid_t' with `a_uuid_t'
		do
			uuid_t := a_uuid_t
		end

end