note
	description: "Read and write access to an internal array of pixels."
	author: "Louis Marchand"
	date: "Tue, 26 Jan 2016 19:34:13 +0000"
	revision: "2.1"

class interface
	GAME_PIXEL_READER_WRITER

create 
	make_from_pointer,
	make

feature -- Access

	pixel (a_line, a_column: INTEGER_32): GAME_COLOR_READABLE assign set_pixel
			-- Get the color of the pixel at line a_line and column a_column

	index (a_line, a_column: INTEGER_32): NATURAL_8 assign set_index
			-- Get the index of the indexed pixel at line a_line and column a_column
	
invariant
	null_means_invalid: internal_item.item.is_default_pointer implies not is_valid

end -- class GAME_PIXEL_READER_WRITER

Generated by ISE EiffelStudio