indexing
	description: "Implementation of IRootStorage interface"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	ECOM_ROOT_STORAGE

create 

	make_from_other (other: ECOM_INTERFACE)
			-- Make from other Queriable.
			-- (from ECOM_QUERIABLE)
		require -- from ECOM_QUERIABLE
			non_void_other: other /= void
		ensure -- from ECOM_QUERIABLE
			valid_initializer: initializer /= default_pointer
			exists: exists

	make_from_pointer (cpp_obj: POINTER)
			-- Make from pointer
		require -- from ECOM_QUERIABLE
			non_default_pointer: a_pointer /= default_pointer
		ensure -- from ECOM_QUERIABLE
			valid_initializer: initializer /= default_pointer
			exists: exists

feature -- Access

	exists: BOOLEAN
			-- Is wrapped structure initialized?
			-- (from ECOM_QUERIABLE)

	item: POINTER
			-- Pointer to COM object wrapper.
			-- (from ECOM_QUERIABLE)
	
feature -- Basic Operations

	swith_to_file (a_name: STRING)
			-- Copy current file associated with storage object
			-- to new file a_name. New file is then used for storage
			-- object and any uncommitted changes.
		require
			non_void_name: a_name /= void
			valid_name: not a_name.is_empty
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)
		-- from ECOM_QUERIABLE
	queriable_invariant: initializer /= default_pointer and then exists

end -- class ECOM_ROOT_STORAGE