INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Control to indicate the progress of a lengthy operation. ", "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_PROGRESS_BAR
inherit

WEL_CONTROL
end

WEL_PBM_CONSTANTS
export
{NONE}
all
end
creation

make,
make_by_id
feature {NONE}-- Initialization

make (a_parent: WEL_WINDOW; a_x, a_y, a_width, a_height, an_id: INTEGER)
-- Make a progress bar.
require
a_parent_not_void: a_parent /= void
ensure
exists: exists
parent_set: parent = a_parent
id_set: id = an_id
feature -- Element change

step_it
-- Advance the current position by the step increment.

set_position (new_position: INTEGER)
-- Set the current position with `new_position'.
require
exists: exists
positive_position: new_position >= 0

set_range (minimum, maximum: INTEGER)
-- Set the range with `minimum' and `maximum'.

set_step (step: INTEGER)
-- Set the step increment with `step'.
require
exists: exists

set_delta_pos (increment: INTEGER)
-- Advance the current position by a specified
-- `increment'.
require
exists: exists
end -- class WEL_PROGRESS_BAR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES