indexing
	description: "Wrapper of C structures and Interfaces"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	ECOM_WRAPPER

feature -- Initialization

	make_from_pointer (a_pointer: POINTER)
			-- Initialize
		require
			valid_pointer: a_pointer /= default_pointer
		ensure
			wrapper_exist: initializer /= default_pointer and then exists
			valid_item: item = a_pointer
	
feature -- Access

	exists: BOOLEAN
			-- Is wrapped structure initialized?

	item: POINTER
			-- Pointer to COM structure
	
invariant

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

end -- class ECOM_WRAPPER