indexing
	description: "Class meant to record which thread has created a certain object so that another thread can't call its dispose routine."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	OBJECT_OWNER

feature -- Access

	has_owner: BOOLEAN
			-- Is object already associated with a thread?

	record_owner
			-- Record calling thread's id.
		require
			not_recorded_yet: not has_owner

	thread_is_owner: BOOLEAN
			-- Is calling thread creator of the object?
	
invariant

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

end -- class OBJECT_OWNER