indexing
	description: "Dialog response (ID) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_ID_CONSTANTS

feature -- Access

	Idabort: INTEGER is 3
			-- Abort button was selected.

	Idcancel: INTEGER is 2
			-- Cancel button was selected.

	Idignore: INTEGER is 5
			-- Ignore button was selected.

	Idno: INTEGER is 7
			-- No button was selected.

	Idok: INTEGER is 1
			-- OK button was selected.

	Idretry: INTEGER is 4
			-- Retry button was selected.

	Idyes: INTEGER is 6
			-- Yes button was selected.
	
invariant

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

end -- class WEL_ID_CONSTANTS