indexing
description: "Abstract class for figure projection routines."
status: "See notice at end of class"
keywords: "projector, events, routines"
date: "$Date$"
revision: "$Revision$"
deferred class interface
EV_PROJECTION_ROUTINES
feature
is_projecting: BOOLEAN
project
register_figure (a_figure: EV_FIGURE; a_routine: PROCEDURE [ANY, TUPLE [EV_FIGURE]])
a_routinea_figure
feature
draw_figure_arc (arc: EV_FIGURE_ARC)
arc
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
arc_not_void: arc /= void
draw_figure_dot (dot: EV_FIGURE_DOT)
dot
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
dot_not_void: dot /= void
draw_figure_ellipse (ellipse: EV_FIGURE_ELLIPSE)
ellipse
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
ellipse_not_void: ellipse /= void
draw_figure_equilateral (eql: EV_FIGURE_EQUILATERAL)
eql
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
eql_not_void: eql /= void
draw_figure_line (line: EV_FIGURE_LINE)
line
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
line_not_void: line /= void
draw_figure_picture (picture: EV_FIGURE_PICTURE)
picture
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
picture_not_void: picture /= void
draw_figure_pie_slice (slice: EV_FIGURE_PIE_SLICE)
slice
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
slice_not_void: slice /= void
draw_figure_polygon (polygon: EV_FIGURE_POLYGON)
polygon
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
polygon_not_void: polygon /= void
draw_figure_polyline (line: EV_FIGURE_POLYLINE)
polyline
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
line_not_void: line /= void
draw_figure_rectangle (rectangle: EV_FIGURE_RECTANGLE)
rectangle
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
rectangle_not_void: rectangle /= void
draw_figure_rounded_rectangle (f: EV_FIGURE_ROUNDED_RECTANGLE)
f
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
f_not_void: f /= void
draw_figure_star (star: EV_FIGURE_STAR)
star
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
star_not_void: star /= void
draw_figure_text (text_figure: EV_FIGURE_TEXT)
text_figure
EV_FIGURE_DRAWING_ROUTINES
require EV_FIGURE_DRAWING_ROUTINES
text_figure_not_void: text_figure /= void
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- EV_PROJECTION_ROUTINES