class
	WEL_SCROLLER

General
	cluster: wel.support
	description: "This class processes the scroll messages associated to a window."
	create: make_with_options, make

Ancestors
	WEL_SB_CONSTANTS
	WEL_SCROLL_BAR_CONSTANTS

Queries
	horizontal_line: INTEGER
	horizontal_page: INTEGER
	horizontal_position: INTEGER
	maximal_horizontal_position: INTEGER
	maximal_vertical_position: INTEGER
	minimal_horizontal_position: INTEGER
	minimal_vertical_position: INTEGER
	vertical_line: INTEGER
	vertical_page: INTEGER
	vertical_position: INTEGER
	window: WEL_COMPOSITE_WINDOW

Commands
	horizontal_update (inc, position: INTEGER)
	make (a_window: WEL_COMPOSITE_WINDOW; horizontal_size, vertical_size, line, page: INTEGER)
	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)
	on_horizontal_scroll (scroll_code, pos: INTEGER)
	on_vertical_scroll (scroll_code, pos: INTEGER)
	set_horizontal_line (unit: INTEGER)
	set_horizontal_page (page_magnitude: INTEGER)
	set_horizontal_position (position: INTEGER)
	set_horizontal_range (minimum, maximum: INTEGER)
	set_vertical_line (unit: INTEGER)
	set_vertical_page (page_magnitude: INTEGER)
	set_vertical_position (position: INTEGER)
	set_vertical_range (minimum, maximum: INTEGER)
	vertical_update (inc, position: INTEGER)

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