INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Ancestor to scroll bar and track bar. ", "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 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
deferred class WEL_BAR
inherit

WEL_CONTROL
end
feature -- Status report

position: INTEGER
-- Current position
require
exists: exists
ensure
valid_minimum: Result >= minimum
valid_maximum: Result <= maximum

minimum: INTEGER
-- Minimum position
require
exists: exists
ensure
minimum_ok: minimum <= maximum

maximum: INTEGER
-- Maximum position
require
exists: exists
ensure
maximum_ok: maximum >= minimum
feature -- Status setting

set_position (new_position: INTEGER)
-- Set `position' with `new_position'
require
exists: exists
valid_minimum: new_position >= minimum
valid_maximum: new_position <= maximum
ensure
position_set: position = new_position

set_range (a_minimum, a_maximum: INTEGER)
-- Set `minimum' and `maximum' with
-- `a_minimum' and `a_maximum'
require
exists: exists
valid_range: a_minimum <= a_maximum
ensure
minimum_set: minimum = a_minimum
maximum_set: maximum = a_maximum
end -- class WEL_BAR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES