indexing
	description: "System metrics and system configuration settings informations."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_SYSTEM_METRICS

feature -- Status report

	caption_height: INTEGER
			-- Height of normal caption area

	cursor_height: INTEGER
			-- Height of the cursor

	cursor_width: INTEGER
			-- Width of the cursor

	dbcs_installed: BOOLEAN
			-- Is the double-byte character set (DBCS) version
			-- of USER.EXE installed?

	debug_installed: BOOLEAN
			-- Is the debugging version of USER.EXE installed?

	dialog_window_frame_height: INTEGER
			-- Height of window frame for window that
			-- has the Ws_dlgframe style

	dialog_window_frame_width: INTEGER
			-- Width of window frame for window that
			-- has the Ws_dlgframe style

	double_click_height: INTEGER
			-- Height of a rectangle around the location of a
			-- first click in a double-click sequence. The second
			-- click must occur within this rectangle for the
			-- system to consider the two clicks a double-click.

	double_click_width: INTEGER
			-- Width of a rectangle around the location of a
			-- first click in a double-click sequence. The second
			-- click must occur within this rectangle for the
			-- system to consider the two clicks a double-click.

	full_screen_client_area_height: INTEGER
			-- Height of the client area for a full-screen window

	full_screen_client_area_width: INTEGER
			-- Width of the client area for a full-screen window

	horizontal_scroll_bar_arrow_height: INTEGER
			-- Height of arrow bitmap on horizontal scrollbar

	horizontal_scroll_bar_arrow_width: INTEGER
			-- Width of arrow bitmap on horizontal scrollbar

	horizontal_scroll_bar_thumb_width: INTEGER

	icon_height: INTEGER
			-- Height of an icon

	icon_spacing_height: INTEGER
			-- Height of rectangular cell that Program Manager
			-- uses to position tiled icons

	icon_spacing_width: INTEGER
			-- Width of rectangular cell that Program Manager
			-- uses to position tiled icons

	icon_width: INTEGER
			-- Width of an icon

	kanji_window_height: INTEGER
			-- Height of the Kanji window at the bottom of the
			-- screen. For double-byte character set versions of
			-- Windows only.

	maximized_window_height: INTEGER
			-- Height of a maximized window

	maximized_window_width: INTEGER
			-- Width of a maximized window

	menu_bar_height: INTEGER
			-- Height of single-line menu bar

	mouse_button_swapped: BOOLEAN
			-- Are the meanings of the left and right mouse
			-- buttons swapped?

	mouse_installed: BOOLEAN
			-- Is a mouse installed?

	pen_installed: BOOLEAN
			-- Is a pen installed?

	popup_menu_right_aligned: BOOLEAN
			-- Are pop-up menus right-aligned relative to the
			-- corresponding menu-bar item?

	screen_height: INTEGER
			-- Screen height

	screen_width: INTEGER
			-- Screen width

	title_bar_height: INTEGER
			-- Height of bitmaps contained in title bar

	title_bar_width: INTEGER
			-- Width of bitmaps contained in title bar

	vertical_scroll_bar_arrow_height: INTEGER
			-- Height of arrow bitmap on vertical scrollbar

	vertical_scroll_bar_arrow_width: INTEGER
			-- Width of arrow bitmap on vertical scrollbar

	vertical_scroll_bar_thumb_height: INTEGER
			-- Height of vertical scrollbar thumb

	window_border_height: INTEGER
			-- Height of the border of a window

	window_border_width: INTEGER
			-- Width of the border of a window

	window_frame_height: INTEGER
			-- Height of window frame for a window
			-- that can be resized

	window_frame_width: INTEGER
			-- Width of window frame for a window
			-- that can be resized

	window_minimum_height: INTEGER
			-- Minimum height of a window

	window_minimum_width: INTEGER
			-- Minimum width of a window
	
invariant

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

end -- class WEL_SYSTEM_METRICS