indexing
	description: "Messages associated with WEL_HEADER_CONTROL."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_HDM_CONSTANTS

feature -- Access

	hdm_delete_item: INTEGER
			-- Deletes an item from a header control

	hdm_get_item: INTEGER
			-- Retrieves information about an item in a header control

	hdm_get_item_count: INTEGER
			-- Retrieves number of items in a header control

	hdm_hit_test: INTEGER
			-- Tests a point to determine which header item, if any, is at the specified point.

	hdm_insert_item: INTEGER
			-- Inserts a new item into a header control.

	hdm_layout: INTEGER
			-- Retrieves the size and position of a header control within a given rectangle.
			-- This message is used to determine the appropriate dimensions for a new header
			-- control that is to occupy the given rectangle.

	hdm_set_item: INTEGER
			-- Sets the attributes of the specified item in a header control
	
invariant

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

end -- class WEL_HDM_CONSTANTS