note
	description: "An internal array of pixels."
	author: "Louis Marchand"
	date: "Sat, 02 Jan 2016 21:31:37 +0000"
	revision: "2.1"

class interface
	GAME_PIXEL_BUFFER

create 
	make

feature -- Access

	item: POINTER
			-- Memory pointer to the pixels array
		require
			pointer_valid: is_valid

	width: INTEGER_32
			-- Dimensions of the pixel array

	height: INTEGER_32
			-- Dimensions of the pixel array

	pitch: INTEGER_32
			-- Length of a row of pixels in bytes

	pixel_format: GAME_PIXEL_FORMAT_READABLE
	
feature -- Status report

	is_valid: BOOLEAN
			-- item can be accessed
	
invariant
	exists: not has_error implies not item.is_default_pointer

end -- class GAME_PIXEL_BUFFER

Generated by ISE EiffelStudio