class
	EV_PIXEL_BUFFER

General
	cluster: interface
	description: "Pixel buffer used for storing RGBA values."
	keywords: "drawable, primitives, figures, buffer, bitmap, picture"
	create: make_with_pixmap, make_with_size, default_create

Ancestors
	EV_ANY*

Queries
	data: ANY
	height: INTEGER_32
	implementation: EV_PIXEL_BUFFER_I
	is_destroyed: BOOLEAN
	is_locked: BOOLEAN
	pixel_iterator: EV_PIXEL_BUFFER_ITERATOR
	sub_pixel_buffer (a_rect: EV_RECTANGLE): EV_PIXEL_BUFFER
	sub_pixmap (a_rect: EV_RECTANGLE): EV_PIXMAP
	to_pixmap: EV_PIXMAP
	width: INTEGER_32

Commands
	copy (other: [like Current] EV_PIXEL_BUFFER)
	destroy
	draw_pixel_buffer_with_x_y (a_x, a_y: INTEGER_32; a_pixel_buffer: EV_PIXEL_BUFFER)
	draw_text (a_text: STRING_GENERAL; a_font: EV_FONT; a_point: EV_COORDINATE)
	lock
	save_to_named_file (a_file_name: STRING_8)
	set_data (some_data: [like data] ANY)
	set_with_named_file (a_file_name: STRING_8)
	unlock