indexing
	description: "Registry keys constants"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"
	note: "Changed the type of Keys from INTEGER to POINTER"

class interface
	WEL_HKEY

feature -- Access

	hkey_classes_root: POINTER

	hkey_current_config: POINTER

	hkey_current_user: POINTER

	hkey_dyn_data: POINTER

	hkey_local_machine: POINTER

	hkey_performance_data: POINTER

	hkey_users: POINTER
	
feature -- Status

	basic_valid_name_for_hkey (name: STRING): BOOLEAN
			-- Return TRUE if 'name' correspond to one of the
			-- value names below.
		require
			name_possible: name /= void

	basic_valid_value_for_hkey (value: POINTER): BOOLEAN
			-- Return TRUE if 'value' is one of the basic following values.

	index_value_for_root_keys (name: STRING): POINTER
			-- Return the index corresponding to a root key.
		require
			name_possible: name /= void and then basic_valid_name_for_hkey (name)
	
invariant

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

end -- class WEL_HKEY