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

class interface
	WEL_UDN_CONSTANTS

feature -- Access

	udn_deltapos: INTEGER
			-- The operating system sends the UDN_DELTAPOS
			-- notification message to the parent window of an
			-- up-down control when the position of the control is
			-- about to change.
	
invariant

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

end -- class WEL_UDN_CONSTANTS