Automatic generation produced by ISE Eiffel
deferred class EV_SCREEN_I General cluster: implementation_interface description: "EiffelVision screen. Implementation interface." keywords: "screen, root, window, visual, top" Ancestors EV_DRAWABLE_I* Queries arc_cosine (v: REAL_32): REAL_32 arc_sine (v: REAL_32): REAL_32 arc_tangent (v: REAL_32): REAL_32 background_color: EV_COLOR ceiling (v: REAL_32): REAL_32 clip_area: detachable EV_RECTANGLE cosine (v: REAL_32): REAL_32 dashed_line_style: BOOLEAN 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 exp (x: REAL_32): REAL_32 floor (v: REAL_32): REAL_32 font: EV_FONT foreground_color: EV_COLOR height: INTEGER_32 horizontal_resolution: INTEGER_32 is_destroyed: BOOLEAN is_in_drawing_session: BOOLEAN is_in_top_drawing_session: BOOLEAN line_width: INTEGER_32 log (v: REAL_32): REAL_32 log10 (v: REAL_32): REAL_32 log_2 (v: REAL_32): REAL_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 Pi: REAL_64 Pi_2: REAL_64 Pi_4: REAL_64 pointer_position: EV_COORDINATE 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 tangent (v: REAL_32): REAL_32 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 working_area_from_position (a_x, a_y: INTEGER_32): EV_RECTANGLE working_area_from_window (a_window: EV_WINDOW): EV_RECTANGLE 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 fake_key_press (a_key: EV_KEY) fake_key_release (a_key: EV_KEY) 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) redraw remove_clipping remove_tile 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_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_pointer_position (a_x, a_y: INTEGER_32) set_tile (a_pixmap: EV_PIXMAP) start_drawing_session -- Generated by Eiffel Studio --
For more details: eiffel.org