indexing
	description: "Registry manager"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_REGISTRY_KEY

create 

	make (a_name, a_class_id: STRING; a_modification_time: WEL_FILE_TIME)
			-- Create current instance.
		ensure
			name_set: name = a_name
			class_id_set: class_id = a_class_id
			last_change_set: last_change = a_modification_time

feature -- Initialization

	make (a_name, a_class_id: STRING; a_modification_time: WEL_FILE_TIME)
			-- Create current instance.
		ensure
			name_set: name = a_name
			class_id_set: class_id = a_class_id
			last_change_set: last_change = a_modification_time
	
feature -- Access

	class_id: STRING
			-- Class of key

	last_change: WEL_FILE_TIME
			-- Last modification time

	name: STRING
			-- Name of key
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_REGISTRY_KEY