Automatic generation produced by ISE Eiffel
class EV_POSTSCRIPT_DRAWABLE_IMP General cluster: implementation_interface description: "EiffelVision postscript drawing area implementation." create: make Ancestors EV_DRAWABLE_I* EV_POSTSCRIPT_PAGE_CONSTANTS REFACTORING_HELPER Queries A0: INTEGER_32 A1: INTEGER_32 A2: INTEGER_32 A3: INTEGER_32 A4: INTEGER_32 A5: INTEGER_32 A6: INTEGER_32 A7: INTEGER_32 A8: INTEGER_32 A9: INTEGER_32 arc_cosine (v: REAL_32): REAL_32 arc_sine (v: REAL_32): REAL_32 arc_tangent (v: REAL_32): REAL_32 B0: INTEGER_32 B1: INTEGER_32 B10: INTEGER_32 B2: INTEGER_32 B3: INTEGER_32 B4: INTEGER_32 B5: INTEGER_32 B6: INTEGER_32 B7: INTEGER_32 B8: INTEGER_32 B9: INTEGER_32 background_color: EV_COLOR background_color_internal: detachable EV_COLOR bottom_margin: INTEGER_32 C5envelope: INTEGER_32 ceiling (v: REAL_32): REAL_32 clip_area: detachable EV_RECTANGLE Comm10envelope: INTEGER_32 cosine (v: REAL_32): REAL_32 dashed_line_style: BOOLEAN Default_bottom_margin: INTEGER_32 Default_left_margin: INTEGER_32 Dlenvelope: INTEGER_32 drawing_mode: INTEGER_32 Drawing_mode_and: INTEGER_32 Drawing_mode_copy: INTEGER_32 Drawing_mode_invert: INTEGER_32 Drawing_mode_or: INTEGER_32 Drawing_mode_xor: INTEGER_32 drawing_session_depth: INTEGER_32 Euler: REAL_64 Executive: INTEGER_32 exp (x: REAL_32): REAL_32 floor (v: REAL_32): REAL_32 Folio: INTEGER_32 font: EV_FONT foreground_color: EV_COLOR foreground_color_internal: detachable EV_COLOR height: INTEGER_32 intersect (p, q: EV_RECTANGLE): EV_RECTANGLE is_destroyed: BOOLEAN is_in_drawing_session: BOOLEAN is_in_top_drawing_session: BOOLEAN landscape: BOOLEAN Ledger: INTEGER_32 left_margin: INTEGER_32 Legal: INTEGER_32 Letter: INTEGER_32 line_width: INTEGER_32 log (v: REAL_32): REAL_32 log10 (v: REAL_32): REAL_32 log_2 (v: REAL_32): REAL_32 page_height (a_size: INTEGER_32; landscape: BOOLEAN): INTEGER_32 page_width (a_size: INTEGER_32; landscape: BOOLEAN): INTEGER_32 Pi: REAL_64 Pi_2: REAL_64 Pi_4: REAL_64 rabs (v: REAL_32): REAL_32 sine (v: REAL_32): REAL_32 sqrt (v: REAL_32): REAL_32 Sqrt2: REAL_64 sub_pixmap (area: EV_RECTANGLE): EV_PIXMAP Tabloid: INTEGER_32 tangent (v: REAL_32): REAL_32 tile: detachable EV_PIXMAP to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN valid_drawing_mode (a_mode: INTEGER_32): BOOLEAN valid_page_size (a_size: INTEGER_32): BOOLEAN width: INTEGER_32 Commands clear clear_rectangle (x1, y1, a_width, a_height: INTEGER_32) disable_dashed_line_style draw_arc (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) draw_ellipse (x, y, a_bounding_width, a_bounding_height: INTEGER_32) draw_ellipsed_text (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL; clipping_width: INTEGER_32) draw_ellipsed_text_top_left (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL; clipping_width: INTEGER_32) draw_pie_slice (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) draw_pixmap (x, y: INTEGER_32; a_pixmap: EV_PIXMAP) draw_point (x, y: INTEGER_32) draw_polyline (points: ARRAY [EV_COORDINATE]; is_closed: BOOLEAN) draw_rectangle (x, y, a_width, a_height: INTEGER_32) draw_rotated_text (x, y: INTEGER_32; angle: REAL_32; a_text: READABLE_STRING_GENERAL) draw_segment (x1, y1, x2, y2: INTEGER_32) draw_straight_line (x1, y1, x2, y2: INTEGER_32) draw_sub_pixel_buffer (a_x, a_y: INTEGER_32; a_pixel_buffer: EV_PIXEL_BUFFER; area: EV_RECTANGLE) draw_sub_pixmap (x, y: INTEGER_32; a_pixmap: EV_PIXMAP; area: EV_RECTANGLE) draw_text (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL) draw_text_top_left (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL) enable_dashed_line_style end_drawing_session fill_ellipse (x, y, a_bounding_width, a_bounding_height: INTEGER_32) fill_pie_slice (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) fill_polygon (points: ARRAY [EV_COORDINATE]) fill_rectangle (x, y, a_width, a_height: INTEGER_32) fixme (comment: READABLE_STRING_8) old_make (an_interface: EV_POSTSCRIPT_DRAWABLE) redraw remove_clip_area remove_clipping remove_tile save_to_named_path (a_file_name: PATH) set_anti_aliasing (value: BOOLEAN) set_background_color (a_color: [like background_color] EV_COLOR) set_clip_area (an_area: EV_RECTANGLE) set_clip_region (a_region: EV_REGION) set_default_colors set_default_font set_default_page_size set_drawing_mode (a_mode: INTEGER_32) set_font (a_font: EV_FONT) set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_line_width (a_width: INTEGER_32) set_margins (a_left_margin, a_bottom_margin: INTEGER_32) set_page_size (a_size: INTEGER_32; a_landscape: BOOLEAN) set_size (a_width, a_height: INTEGER_32) set_tile (a_pixmap: EV_PIXMAP) start_drawing_session to_implement (comment: READABLE_STRING_8) -- Generated by Eiffel Studio --
For more details: eiffel.org