indexing
	description: "Common controls initialization constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_ICC_CONSTANTS

feature -- Access

	icc_animate_class: INTEGER

	icc_bar_classes: INTEGER

	icc_cool_classes: INTEGER

	icc_date_classes: INTEGER

	icc_hotkey_class: INTEGER

	icc_listview_classes: INTEGER

	icc_progress_class: INTEGER

	icc_tab_classes: INTEGER

	icc_treeview_classes: INTEGER

	icc_updown_class: INTEGER

	icc_userex_classes: INTEGER

	icc_win95_classes: INTEGER
	
invariant

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

end -- class WEL_ICC_CONSTANTS