indexing
	description: "Icon (IDI) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"
	note: "Constants changed from INTEGER to POINTER"

class interface
	WEL_IDI_CONSTANTS

feature -- Access

	idi_application: POINTER

	idi_asterisk: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_information.

	idi_error: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_hand.

	idi_exclamation: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_warning.

	idi_hand: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_error.

	idi_information: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_asterisk.

	idi_question: POINTER

	idi_warning: POINTER
			-- Was declared in WEL_IDI_CONSTANTS as synonym of idi_exclamation.
	
invariant

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

end -- class WEL_IDI_CONSTANTS