note
	description: "Features to access and interact with the SCOOP runtime."
	date: "$Date: 2018-04-28 20:50:36 +0000 (Sat, 28 Apr 2018) $"
	revision: "$Revision: 101699 $"

class interface
	ISE_SCOOP_RUNTIME

create 
	default_create

feature -- Access

	frozen invalid_region_id: NATURAL_16
			-- The special region ID used for invalid regions.
		ensure
			instance_free: class

	frozen region_id (a_object: separate ANY): NATURAL_16
			-- The region ID on which a_object is placed.
		ensure
			instance_free: class
	
feature -- Basic operations

	pin_to_thread
			-- Pin the current processor to its own thread.

	pin_processor_to_thread (a_object: separate ANY)
			-- Pin the processor behind the separate object a_object to its own thread.
		ensure
			instance_free: class
	
note
	copyright: "Copyright (c) 1984-2018, 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 ISE_SCOOP_RUNTIME

Generated by ISE EiffelStudio