note
	description: "An abstract ancestor of every events managers"
	author: "Louis Marchand"
	date: "Fri, 17 Apr 2015 03:54:10 +0000"
	revision: "2.0"

deferred class interface
	GAME_EVENTS

feature -- Access

	stop
			-- Put Current innactive.
		require
			stop_is_running: is_running
		ensure
			is_stopped: not is_running

	run
			-- Put Current active.
		require
			run_not_already_running: not is_running
		ensure
			is_running: is_running

	set_is_running (a_value: BOOLEAN)
			-- Assign to is_running the value of a_value
		ensure
			is_assign: is_running ~ a_value

	clear
			-- Remove all events.
		ensure
			running_unchanged: is_running = old is_running

	is_running: BOOLEAN assign set_is_running
			-- Is Current active

	events_controller: GAME_EVENTS_CONTROLLER
			-- Manage every internal events
	
end -- class GAME_EVENTS

Generated by ISE EiffelStudio