Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
note
	description: "Facility to mark objects once when traversing an object graph."
	author: ""
	date: "$Date: 2013-11-19 13:31:09 -0800 (Tue, 19 Nov 2013) $"
	revision: "$Revision: 93439 $"

class 
	OBJECT_GRAPH_MARKER

create 
	default_create

feature {OBJECT_GRAPH_TRAVERSABLE} -- Status report

	is_marked (obj: separate ANY): BOOLEAN
			-- Is `obj' marked?
		require
			object_exists: obj /= Void
		do
			Result := {ISE_RUNTIME}.is_object_marked ($obj.to_pointer)
		end
	
feature {OBJECT_GRAPH_TRAVERSABLE} -- Marking

	mark (obj: separate ANY)
			-- Mark object `obj'.
			-- To be thread safe, make sure to call this feature when you
			-- have the marking lock that you acquire using lock_marking.
		require
			object_not_void: obj /= Void
		do
			{ISE_RUNTIME}.mark_object ($obj.to_pointer)
		ensure
			is_marked: is_marked (obj)
		end

	unmark (obj: separate ANY)
			-- Unmark object `obj'.
			-- To be thread safe, make sure to call this feature when you
			-- have the marking lock that you acquire using lock_marking.
		require
			object_not_void: obj /= Void
		do
			{ISE_RUNTIME}.unmark_object ($obj.to_pointer)
		ensure
			is_not_marked: not is_marked (obj)
		end

	lock_marking
			-- Get a lock on mark and unmark routine so that 2 threads cannot mark and
			-- unmark at the same time.
		do
			{ISE_RUNTIME}.lock_marking
		end

	unlock_marking
			-- Release a lock on mark and unmark, so that another thread can
			-- use mark and unmark.
		do
			{ISE_RUNTIME}.unlock_marking
		end
	
note
	copyright: "Copyright (c) 1984-2013, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
		Eiffel Software
		5949 Hollister Ave., Goleta, CA 93117 USA
		Telephone 805-685-1006, Fax 805-685-6869
		Website http://www.eiffel.com
		Customer support http://support.eiffel.com
	]"

end -- class OBJECT_GRAPH_MARKER


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com