Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_FEEDBACK_DRAWER General cluster: implementation_mswin description: "Objects that draw feedback when user dragging a window." create: make Ancestors ANY Queries feedback_rect: SD_FEEDBACK_RECT line_drawer: SD_LINE_DRAWER Commands clear draw_line_area (a_start_x, a_start_y, a_width, a_height: INTEGER_32) draw_pixmap (a_screen_x, a_screen_y: INTEGER_32; a_pixmap: EV_PIXMAP) draw_pixmap_by_colors (a_screen_x, a_screen_y: INTEGER_32; a_colors: SPECIAL [SPECIAL [INTEGER_32]]) draw_pixmap_with_mask (a_screen_x, a_screen_y: INTEGER_32; a_target_pixmap, a_mask, orignal_screen: EV_PIXMAP) draw_rectangle (a_left, a_top, a_width, a_height, a_line_width: INTEGER_32) draw_red_rectangle (left, top, width, height: INTEGER_32) draw_transparency_rectangle (a_left, a_top, a_width, a_height: INTEGER_32) draw_transparency_rectangle_for_tab (a_top_rect, a_bottom_rect: EV_RECTANGLE) reset_feedback_clearing
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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