Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_SCREEN General cluster: interface description: "Facilities for direct drawing on the screen." keywords: "screen, root, window, visual, top" create: default_create Ancestors EV_DRAWABLE* Queries background_color: EV_COLOR clip_area: detachable EV_RECTANGLE dashed_line_style: BOOLEAN data: detachable ANY 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 font: EV_FONT foreground_color: EV_COLOR height: INTEGER_32 horizontal_resolution: INTEGER_32 is_background_color_void: BOOLEAN is_destroyed: BOOLEAN is_foreground_color_void: BOOLEAN line_width: INTEGER_32 monitor_area_from_position (a_x, a_y: INTEGER_32): EV_RECTANGLE monitor_area_from_window (a_window: EV_WINDOW): EV_RECTANGLE monitor_count: INTEGER_32 pixel_color_relative_to (a_widget: EV_WIDGET; a_x, a_y: INTEGER_32): EV_COLOR pointer_position: EV_COORDINATE sub_pixmap (area: EV_RECTANGLE): EV_PIXMAP tile: detachable EV_PIXMAP valid_drawing_mode (a_mode: INTEGER_32): BOOLEAN vertical_resolution: INTEGER_32 virtual_bottom: INTEGER_32 virtual_height: INTEGER_32 virtual_left: INTEGER_32 virtual_right: INTEGER_32 virtual_top: INTEGER_32 virtual_width: INTEGER_32 virtual_x: INTEGER_32 virtual_y: INTEGER_32 widget_at_mouse_pointer: detachable EV_WIDGET widget_at_position (x, y: INTEGER_32): detachable EV_WIDGET width: INTEGER_32 Commands clear clear_rectangle (x, y, a_width, a_height: INTEGER_32) destroy 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 (x, 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 fake_key_click (a_key: EV_KEY) fake_key_press (a_key: EV_KEY) fake_key_release (a_key: EV_KEY) fake_pointer_button_click (a_button: INTEGER_32) fake_pointer_button_press (a_button: INTEGER_32) fake_pointer_button_release (a_button: INTEGER_32) fake_pointer_wheel_down fake_pointer_wheel_up 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) remove_clip_area remove_clipping remove_tile set_and_mode 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_copy_mode set_data (some_data: [like data] detachable ANY) set_default_colors set_drawing_mode (a_mode: INTEGER_32) set_font (a_font: EV_FONT) set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_invert_mode set_line_width (a_width: INTEGER_32) set_or_mode set_pointer_position (x, y: INTEGER_32) set_tile (a_pixmap: EV_PIXMAP) set_xor_mode
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org