indexing
	description: "Common control Progress Bar Message (PBM) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_PBM_CONSTANTS

feature -- Access

	pbm_deltapos: INTEGER

	pbm_getpos: INTEGER

	pbm_getrange: INTEGER

	pbm_setpos: INTEGER

	pbm_setrange: INTEGER

	pbm_setstep: INTEGER

	pbm_stepit: INTEGER
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_PBM_CONSTANTS