note
	description: "An image source used to create a GAME_SURFACE or a GAME_TEXTURE"
	author: "Louis Marchand"
	date: "Thu, 02 Apr 2015 02:40:10 +0000"
	revision: "2.0"

class interface
	GAME_IMAGE

create {GAME_SDL_ANY}
	share_from_pointer,
	own_from_pointer,
	make_from_pointer


create 
	make_from_other

feature -- Access

	is_openable: BOOLEAN
			-- Can Current be open

	open
			-- Open Current
		ensure then
			exists: not has_error implies exists
			is_open: not has_error implies is_open

	exists: BOOLEAN
			-- Is item valid memory pointer
	
feature -- Implementation

	dispose
			-- Action to be executed just before garbage collection
			-- reclaims an object.
			-- Effect it in descendants to perform specific dispose
			-- actions. Those actions should only take care of freeing
			-- external resources; they should not perform remote calls
			-- on other objects since these may also be dead and reclaimed.
	
invariant
	image_source_valid: is_open implies exists

end -- class GAME_IMAGE

Generated by ISE EiffelStudio