indexing
	description: "Up-down control (UD) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_UD_CONSTANTS

feature -- Access

	Ud_maxval: INTEGER is 32767
			-- Maximum value allowed in an up-down control.
			--
			-- Declared in Windows as UD_MAXVAL

	Ud_minval: INTEGER is -32767
			-- Minimum value allowed in an up-down control.
			--
			-- Declared in Windows as UD_MINVAL
	
invariant

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

end -- class WEL_UD_CONSTANTS