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