    class
    	EV_DRAWING_AREA_PROJECTOR

    General
    	cluster: interface
    	description:
    		"Projectors that make representations of `world' on
    		EV_DRAWING_AREA."
    	keywords: "figures, project, pointer, drawing, points"
    	create: make_with_buffer, make

    Ancestors
    	EV_WIDGET_PROJECTOR*

    Queries
    	area: EV_DRAWABLE
    	area_x: INTEGER_32
    	area_y: INTEGER_32
    	buffer_used: BOOLEAN
    	Default_colors: EV_STOCK_COLORS
    	drawable: EV_DRAWABLE
    	is_projecting: BOOLEAN
    	widget: EV_WIDGET
    	world: EV_FIGURE_WORLD

    Commands
    	change_area_position (a_x, a_y: INTEGER_32)
    	clear_device
    	draw_figure_arc (arc: EV_FIGURE_ARC)
    	draw_figure_dot (dot: EV_FIGURE_DOT)
    	draw_figure_ellipse (ellipse: EV_FIGURE_ELLIPSE)
    	draw_figure_equilateral (eql: EV_FIGURE_EQUILATERAL)
    	draw_figure_line (line: EV_FIGURE_LINE)
    	draw_figure_picture (picture: EV_FIGURE_PICTURE)
    	draw_figure_pie_slice (slice: EV_FIGURE_PIE_SLICE)
    	draw_figure_polygon (polygon: EV_FIGURE_POLYGON)
    	draw_figure_polyline (line: EV_FIGURE_POLYLINE)
    	draw_figure_rectangle (rectangle: EV_FIGURE_RECTANGLE)
    	draw_figure_rounded_rectangle (f: EV_FIGURE_ROUNDED_RECTANGLE)
    	draw_figure_star (star: EV_FIGURE_STAR)
    	draw_figure_text (text_figure: EV_FIGURE_TEXT)
    	draw_grid
    	full_project
    	project
    	project_rectangle (u: EV_RECTANGLE)
    	register_figure (a_figure: EV_FIGURE; a_routine: PROCEDURE [ANY, TUPLE [EV_FIGURE]])
    	set_drawable (a_drawable: EV_DRAWABLE)
    	set_world (a_world: EV_FIGURE_WORLD)
    	update_rectangle (u: EV_RECTANGLE; a_x, a_y: INTEGER_32)