note
	description: "A ressource manager. Must be herited from."
	author: "Louis Marchand"
	date: "Thu, 02 Apr 2015 04:11:03 +0000"
	revision: "2.0"

deferred class interface
	GAME_RESSOURCE

feature -- Access

	is_openable: BOOLEAN
			-- Can Current be open

	open
			-- Open Current
		require
			ressource_is_openable: is_openable
			ressource_is_not_open: not is_open and not has_error
		ensure
			ressource_is_open: is_open or has_error

	is_open: BOOLEAN
			-- Is Current has been properly opened

	has_error: BOOLEAN
			-- Has an error occured while opening Current
	
end -- class GAME_RESSOURCE

Generated by ISE EiffelStudio