INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Control that displays a slider and optional tick marks. ", "note: The common controls dll (WEL_COMMON_CONTROLS_DLL) ", " needs to be loaded to use this control. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997-2001 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_TRACK_BAR
inherit

WEL_BAR
end

WEL_TBM_CONSTANTS
export
{NONE}
all
end

WEL_TBS_CONSTANTS
export
{NONE}
all
end
creation

make_by_id,
make_horizontal,
make_vertical
feature {NONE}-- Initialization

make_vertical (a_parent: WEL_WINDOW; a_x, a_y, a_width, a_height, an_id: INTEGER)
-- Make a vertical track bar.
require
a_parent_not_void: a_parent /= void
ensure
exists: exists
parent_set: parent = a_parent
id_set: id = an_id
position_equal_zero: position = 0

make_horizontal (a_parent: WEL_WINDOW; a_x, a_y, a_width, a_height, an_id: INTEGER)
-- Make a horizontal track bar.
require
a_parent_not_void: a_parent /= void
ensure
parent_set: parent = a_parent
exists: exists
id_set: id = an_id
position_equal_zero: position = 0
feature -- Access

position: INTEGER
-- Current position

minimum: INTEGER
-- Minimum position

maximum: INTEGER
-- Maximum position

tick_mark_position (index: INTEGER): INTEGER
-- Tick mark position at the zero-based `index'
require
exists: exists
valid_index: valid_index (index)
ensure
positive_result: Result >= 0
feature -- Status report

valid_index (index: INTEGER): BOOLEAN
-- Is `index' valid?
require
exists: exists
feature -- Element change

set_position (new_position: INTEGER)
-- Set `position' with `new_position'

set_range (a_minimum, a_maximum: INTEGER)
-- Set `minimum' and `maximum' with
-- `a_minimum' and `a_maximum'

set_tick_mark (pos: INTEGER)
-- Set a tick mark at `pos'.
require
exists: exists
pos_large_enough: pos > minimum
pos_small_enough: pos < maximum

clear_tick_marks
-- Clear the current tick marks from the track bar.
require
exists: exists
end -- class WEL_TRACK_BAR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES