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

deferred class interface
	ECOM_QUERIABLE

feature -- Access

	exists: BOOLEAN
			-- Is wrapped structure initialized?

	item: POINTER
			-- Pointer to COM object wrapper.
	
invariant

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

end -- class ECOM_QUERIABLE