Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_SCROLLER General cluster: wel description: "This class processes the scroll messages associated to a window." create: make, make_with_options Ancestors ANY WEL_SB_CONSTANTS WEL_SCROLL_BAR_CONSTANTS Queries horizontal_line: INTEGER_32 horizontal_page: INTEGER_32 horizontal_position: INTEGER_32 maximal_horizontal_position: INTEGER_32 maximal_vertical_position: INTEGER_32 minimal_horizontal_position: INTEGER_32 minimal_vertical_position: INTEGER_32 Sb_both: INTEGER_32 Sb_bottom: INTEGER_32 Sb_ctl: INTEGER_32 Sb_endscroll: INTEGER_32 Sb_horz: INTEGER_32 Sb_left: INTEGER_32 Sb_linedown: INTEGER_32 Sb_lineleft: INTEGER_32 Sb_lineright: INTEGER_32 Sb_lineup: INTEGER_32 Sb_pagedown: INTEGER_32 Sb_pageleft: INTEGER_32 Sb_pageright: INTEGER_32 Sb_pageup: INTEGER_32 Sb_right: INTEGER_32 Sb_thumbposition: INTEGER_32 Sb_thumbtrack: INTEGER_32 Sb_top: INTEGER_32 Sb_vert: INTEGER_32 Sbs_bottomalign: INTEGER_32 Sbs_horz: INTEGER_32 Sbs_leftalign: INTEGER_32 Sbs_rightalign: INTEGER_32 Sbs_sizebox: INTEGER_32 Sbs_sizeboxbottomrightalign: INTEGER_32 Sbs_sizeboxtopleftalign: INTEGER_32 Sbs_topalign: INTEGER_32 Sbs_vert: INTEGER_32 Sif_all: INTEGER_32 Sif_disablenoscroll: INTEGER_32 Sif_page: INTEGER_32 Sif_pos: INTEGER_32 Sif_range: INTEGER_32 Sif_trackpos: INTEGER_32 valid_maximal_horizontal_position (a_position: INTEGER_32): BOOLEAN valid_maximal_vertical_position (a_position: INTEGER_32): BOOLEAN valid_sif_constant (i: INTEGER_32): BOOLEAN valid_sif_mask (i: INTEGER_32): BOOLEAN vertical_line: INTEGER_32 vertical_page: INTEGER_32 vertical_position: INTEGER_32 window: WEL_COMPOSITE_WINDOW Commands horizontal_update (inc, position: INTEGER_32) make (a_window: WEL_COMPOSITE_WINDOW; horizontal_size, vertical_size, line, page: INTEGER_32) make_with_options (a_window: WEL_COMPOSITE_WINDOW; a_minimal_horizontal_position, a_maximal_horizontal_position, a_minimal_vertical_position, a_maximal_vertical_position, a_horizontal_line, a_horizontal_page, a_vertical_line, a_vertical_page: INTEGER_32) on_horizontal_scroll (scroll_code, pos: INTEGER_32) on_vertical_scroll (scroll_code, pos: INTEGER_32) set_horizontal_line (unit: INTEGER_32) set_horizontal_page (page_magnitude: INTEGER_32) set_horizontal_position (position: INTEGER_32) set_horizontal_range (minimum, maximum: INTEGER_32) set_vertical_line (unit: INTEGER_32) set_vertical_page (page_magnitude: INTEGER_32) set_vertical_position (position: INTEGER_32) set_vertical_range (minimum, maximum: INTEGER_32) vertical_update (inc, position: INTEGER_32) Constraints window not void horizontal position small enough horizontal position large enough vertical position small enough vertical position large enough consistent horizontal range consistent vertical range positive horizontal line positive vertical line positive horizontal page positive vertical page
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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