    indexing
    	description: "Window managment constants (WM_xxxx, ...)"
    	legal: "See notice at end of class."
    	status: "See notice at end of class."
    	date: "$Date: 2006-01-22 18:25:44 -0800 (Sun, 22 Jan 2006) $"
    	revision: "$Revision: 56675 $"

    class interface
    	WEL_WINDOW_CONSTANTS

    create
    	default_create
    			-- Process instances of classes with no creation clause.
    			-- (Default: do nothing.)
    			-- (from ANY)

    feature -- Access

    	generating_type: STRING_8
    			-- Name of current object's generating type
    			-- (type of which it is a direct instance)
    			-- (from ANY)

    	generator: STRING_8
    			-- Name of current object's generating class
    			-- (base class of the type of which it is a direct instance)
    			-- (from ANY)

    feature -- Comparison

    	frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void
    			-- or attached to isomorphic object structures?
    			-- (from ANY)
    		ensure -- from ANY
    			shallow_implies_deep: standard_equal (some, other) implies Result
    			both_or_none_void: (some = Void) implies (Result = (other = Void))
    			same_type: (Result and (some /= Void)) implies some.same_type (other)
    			symmetric: Result implies deep_equal (other, some)

    	frozen equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void or attached
    			-- to objects considered equal?
    			-- (from ANY)
    		ensure -- from ANY
    			definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))

    	is_equal (other: like Current): BOOLEAN
    			-- Is `other' attached to an object considered
    			-- equal to current object?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			symmetric: Result implies other.is_equal (Current)
    			consistent: standard_is_equal (other) implies Result

    	frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void or attached to
    			-- field-by-field identical objects of the same type?
    			-- Always uses default object comparison criterion.
    			-- (from ANY)
    		ensure -- from ANY
    			definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))

    	frozen standard_is_equal (other: like Current): BOOLEAN
    			-- Is `other' attached to an object of the same type
    			-- as current object, and field-by-field identical to it?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			same_type: Result implies same_type (other)
    			symmetric: Result implies other.standard_is_equal (Current)

    feature -- Status report

    	conforms_to (other: ANY): BOOLEAN
    			-- Does type of current object conform to type
    			-- of `other' (as per Eiffel: The Language, chapter 13)?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void

    	same_type (other: ANY): BOOLEAN
    			-- Is type of current object identical to type of `other'?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			definition: Result = (conforms_to (other) and other.conforms_to (Current))

    feature -- Duplication

    	copy (other: like Current)
    			-- Update current object using fields of object attached
    			-- to `other', so as to yield equal objects.
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    			type_identity: same_type (other)
    		ensure -- from ANY
    			is_equal: is_equal (other)

    	frozen deep_copy (other: like Current)
    			-- Effect equivalent to that of:
    			--		copy (`other' . deep_twin)
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			deep_equal: deep_equal (Current, other)

    	frozen deep_twin: like Current
    			-- New object structure recursively duplicated from Current.
    			-- (from ANY)
    		ensure -- from ANY
    			deep_equal: deep_equal (Current, Result)

    	frozen standard_copy (other: like Current)
    			-- Copy every field of `other' onto corresponding field
    			-- of current object.
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    			type_identity: same_type (other)
    		ensure -- from ANY
    			is_standard_equal: standard_is_equal (other)

    	frozen standard_twin: like Current
    			-- New object field-by-field identical to `other'.
    			-- Always uses default copying semantics.
    			-- (from ANY)
    		ensure -- from ANY
    			standard_twin_not_void: Result /= Void
    			equal: standard_equal (Result, Current)

    	frozen twin: like Current
    			-- New object equal to `Current'
    			-- twin calls copy; to change copying/twining semantics, redefine copy.
    			-- (from ANY)
    		ensure -- from ANY
    			twin_not_void: Result /= Void
    			is_equal: Result.is_equal (Current)

    feature -- Basic operations

    	frozen default: like Current
    			-- Default value of object's type
    			-- (from ANY)

    	frozen default_pointer: POINTER
    			-- Default value of type `POINTER'
    			-- (Avoid the need to write `p'.default for
    			-- some `p' of type `POINTER'.)
    			-- (from ANY)

    	default_rescue
    			-- Process exception for routines with no Rescue clause.
    			-- (Default: do nothing.)
    			-- (from ANY)

    	frozen do_nothing
    			-- Execute a null action.
    			-- (from ANY)

    feature -- Extended window styles

    	cw_usedefault: INTEGER_32 is -2147483648
    			-- Declared in Windows as CW_USEDEFAULT

    	ws_ex_acceptfiles: INTEGER_32 is 16
    			-- Declared in Windows as WS_EX_ACCEPTFILES

    	ws_ex_clientedge: INTEGER_32 is 512
    			-- Declared in Windows as WS_EX_CLIENTEDGE

    	ws_ex_contexthelp: INTEGER_32 is 1024
    			-- Declared in Windows as WS_EX_CONTEXTHELP

    	ws_ex_controlparent: INTEGER_32 is 65536
    			-- Declared in Windows as WS_EX_CONTROLPARENT

    	ws_ex_dlgmodalframe: INTEGER_32 is 1
    			-- Declared in Windows as WS_EX_DLGMODALFRAME

    	ws_ex_left: INTEGER_32 is 0
    			-- Declared in Windows as WS_EX_LEFT

    	ws_ex_leftscrollbar: INTEGER_32 is 16384
    			-- Declared in Windows as WS_EX_LEFTSCROLLBAR

    	ws_ex_ltrreading: INTEGER_32 is 0
    			-- Declared in Windows as WS_EX_LTRREADING

    	ws_ex_mdichild: INTEGER_32 is 64
    			-- Declared in Windows as WS_EX_MDICHILD

    	ws_ex_noparentnotify: INTEGER_32 is 4
    			-- Declared in Windows as WS_EX_NOPARENTNOTIFY

    	ws_ex_overlappedwindow: INTEGER_32 is 768
    			-- Declared in Windows as WS_EX_OVERLAPPEDWINDOW

    	ws_ex_palettewindow: INTEGER_32 is 392
    			-- Declared in Windows as WS_EX_PALETTEWINDOW

    	ws_ex_right: INTEGER_32 is 4096
    			-- Declared in Windows as WS_EX_RIGHT

    	ws_ex_rightscrollbar: INTEGER_32 is 0
    			-- Declared in Windows as WS_EX_RIGHTSCROLLBAR

    	ws_ex_rtlreading: INTEGER_32 is 8192
    			-- Declared in Windows as WS_EX_RTLREADING

    	ws_ex_staticedge: INTEGER_32 is 131072
    			-- Declared in Windows as WS_EX_STATICEDGE

    	ws_ex_toolwindow: INTEGER_32 is 128
    			-- Declared in Windows as WS_EX_TOOLWINDOW

    	ws_ex_topmost: INTEGER_32 is 8
    			-- Declared in Windows as WS_EX_TOPMOST

    	ws_ex_transparent: INTEGER_32 is 32
    			-- Declared in Windows as WS_EX_TRANSPARENT

    	ws_ex_windowedge: INTEGER_32 is 256
    			-- Declared in Windows as WS_EX_WINDOWEDGE

    feature -- Output

    	io: STD_FILES
    			-- Handle to standard file setup
    			-- (from ANY)

    	out: STRING_8
    			-- New string containing terse printable representation
    			-- of current object
    			-- Was declared in ANY as synonym of tagged_out.
    			-- (from ANY)

    	print (some: ANY)
    			-- Write terse external representation of `some'
    			-- on standard output.
    			-- (from ANY)

    	frozen tagged_out: STRING_8
    			-- New string containing terse printable representation
    			-- of current object
    			-- Was declared in ANY as synonym of out.
    			-- (from ANY)

    feature -- Platform

    	operating_environment: OPERATING_ENVIRONMENT
    			-- Objects available from the operating system
    			-- (from ANY)

    feature -- Reflected Window Message IDs. Defined in OleCtl.h

    	ocm__base: INTEGER_32
    			-- Declared in Windows as OCM__BASE.

    	ocm_chartoitem: INTEGER_32
    			-- Declared in Windows as OCM_CHARTOITEM.

    	ocm_command: INTEGER_32
    			-- Declared in Windows as OCM_COMMAND.

    	ocm_compareitem: INTEGER_32
    			-- Declared in Windows as OCM_COMPAREITEM.

    	ocm_ctlcolor: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLOR.

    	ocm_ctlcolorbtn: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORBTN.

    	ocm_ctlcolordlg: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORDLG.

    	ocm_ctlcoloredit: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLOREDIT.

    	ocm_ctlcolorlistbox: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORLISTBOX.

    	ocm_ctlcolormsgbox: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORMSGBOX.

    	ocm_ctlcolorscrollbar: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORSCROLLBAR.

    	ocm_ctlcolorstatic: INTEGER_32
    			-- Declared in Windows as OCM_CTLCOLORSTATIC.

    	ocm_deleteitem: INTEGER_32
    			-- Declared in Windows as OCM_DELETEITEM.

    	ocm_drawitem: INTEGER_32
    			-- Declared in Windows as OCM_DRAWITEM.

    	ocm_hscroll: INTEGER_32
    			-- Declared in Windows as OCM_HSCROLL.

    	ocm_measureitem: INTEGER_32
    			-- Declared in Windows as OCM_MEASUREITEM.

    	ocm_notify: INTEGER_32
    			-- Declared in Windows as OCM_NOTIFY.

    	ocm_parentnotify: INTEGER_32
    			-- Declared in Windows as OCM_PARENTNOTIFY.

    	ocm_vkeytoitem: INTEGER_32
    			-- Declared in Windows as OCM_VKEYTOITEM.

    	ocm_vscroll: INTEGER_32
    			-- Declared in Windows as OCM_VSCROLL.

    feature -- Show Window (SW) constants

    	sw_hide: INTEGER_32 is 0
    			-- Declared in Windows as SW_HIDE

    	sw_minimize: INTEGER_32 is 6
    			-- Declared in Windows as SW_MINIMIZE

    	sw_otherunzoom: INTEGER_32 is 4
    			-- Declared in Windows as SW_OTHERUNZOOM

    	sw_otherzoom: INTEGER_32 is 2
    			-- Declared in Windows as SW_OTHERZOOM

    	sw_parentclosing: INTEGER_32 is 1
    			-- Declared in Windows as SW_PARENTCLOSING

    	sw_parentopening: INTEGER_32 is 3
    			-- Declared in Windows as SW_PARENTOPENING

    	sw_restore: INTEGER_32 is 9
    			-- Declared in Windows as SW_RESTORE

    	sw_show: INTEGER_32 is 5
    			-- Declared in Windows as SW_SHOW

    	sw_showmaximized: INTEGER_32 is 3
    			-- Declared in Windows as SW_SHOWMAXIMIZED

    	sw_showminimized: INTEGER_32 is 2
    			-- Declared in Windows as SW_SHOWMINIMIZED

    	sw_showminnoactive: INTEGER_32 is 7
    			-- Declared in Windows as SW_SHOWMINNOACTIVE

    	sw_showna: INTEGER_32 is 8
    			-- Declared in Windows as SW_SHOWNA

    	sw_shownoactivate: INTEGER_32 is 4
    			-- Declared in Windows as SW_SHOWNOACTIVATE

    	sw_shownormal: INTEGER_32 is 1
    			-- Declared in Windows as SW_SHOWNORMAL

    feature -- Show Window Position (SWP) constants

    	swp_drawframe: INTEGER_32 is 32
    			-- Declared in Windows as SWP_FRAMECHANGED
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Swp_framechanged.

    	swp_framechanged: INTEGER_32 is 32
    			-- Declared in Windows as SWP_FRAMECHANGED
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Swp_drawframe.

    	swp_hidewindow: INTEGER_32 is 128
    			-- Declared in Windows as SWP_HIDEWINDOW

    	swp_noactivate: INTEGER_32 is 16
    			-- Declared in Windows as SWP_NOACTIVATE

    	swp_nocopybits: INTEGER_32 is 256
    			-- Declared in Windows as SWP_NOCOPYBITS

    	swp_nomove: INTEGER_32 is 2
    			-- Declared in Windows as SWP_NOMOVE

    	swp_noownerzorder: INTEGER_32 is 512
    			-- Declared in Windows as SWP_NOOWNERZORDER
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Swp_noreposition.

    	swp_noredraw: INTEGER_32 is 8
    			-- Declared in Windows as SWP_NOREDRAW

    	swp_noreposition: INTEGER_32 is 512
    			-- Declared in Windows as SWP_NOOWNERZORDER
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Swp_noownerzorder.

    	swp_nosendchanging: INTEGER_32 is 1024
    			-- Declared in Windows as SWP_NOSENDCHANGING

    	swp_nosize: INTEGER_32 is 1
    			-- Declared in Windows as SWP_NOSIZE

    	swp_nozorder: INTEGER_32 is 4
    			-- Declared in Windows as SWP_NOZORDER

    	swp_showwindow: INTEGER_32 is 64
    			-- Declared in Windows as SWP_SHOWWINDOW

    feature -- Window Activate Mode

    	wa_active: INTEGER_32 is 1
    			-- Activated by some method other than a mouse click (for
    			-- example, by a call to the SetActiveWindow function or by use
    			-- of the keyboard interface to select the window).
    			--
    			-- Declared in Windows as WA_ACTIVE

    	wa_clickactive: INTEGER_32 is 2
    			-- Activated by a mouse click.
    			--
    			-- Declared in Windows as WA_CLICKACTIVE

    	wa_inactive: INTEGER_32 is 0
    			-- Deactivated.
    			--
    			-- Declared in Windows as WA_INACTIVE

    feature -- Window Messages

    	wm_activate: INTEGER_32 is 6
    			-- Declared in Windows as WM_ACTIVATE

    	wm_activateapp: INTEGER_32 is 28
    			-- Declared in Windows as WM_ACTIVATEAPP

    	wm_afxfirst: INTEGER_32 is 864
    			-- Declared in Windows as WM_AFXFIRST

    	wm_afxlast: INTEGER_32 is 895
    			-- Declared in Windows as WM_AFXLAST

    	wm_app: INTEGER_32 is 32768
    			-- Declared in Windows as WM_APP

    	wm_appcommand: INTEGER_32 is 793
    			-- Declared in Windows as WM_APPCOMMAND

    	wm_askcbformatname: INTEGER_32 is 780
    			-- Declared in Windows as WM_ASKCBFORMATNAME

    	wm_canceljournal: INTEGER_32 is 75
    			-- Declared in Windows as WM_CANCELJOURNAL

    	wm_cancelmode: INTEGER_32 is 31
    			-- The WM_CANCELMODE message is sent to cancel certain modes, such as mouse
    			-- capture.
    			-- For example, the system sends this message to the active window when a dialog
    			-- box or message box is displayed. Certain functions also send this message
    			-- explicitly to the specified window regardless of whether it is the active
    			-- window. For example, the EnableWindow function sends this message when
    			-- disabling the specified window.
    			--
    			-- Declared in Windows as WM_CANCELMODE

    	wm_capturechanged: INTEGER_32 is 533
    			-- Declared in Windows as WM_CAPTURECHANGED

    	wm_changecbchain: INTEGER_32 is 781
    			-- Declared in Windows as WM_CHANGECBCHAIN

    	wm_changeuistate: INTEGER_32 is 295
    			-- Declared in Windows as WM_CHANGEUISTATE

    	wm_char: INTEGER_32 is 258
    			-- Declared in Windows as WM_CHAR

    	wm_chartoitem: INTEGER_32 is 47
    			-- Declared in Windows as WM_CHARTOITEM

    	wm_childactivate: INTEGER_32 is 34
    			-- Declared in Windows as WM_CHILDACTIVATE

    	wm_clear: INTEGER_32 is 771
    			-- Declared in Windows as WM_CLEAR

    	wm_close: INTEGER_32 is 16
    			-- Declared in Windows as WM_CLOSE

    	wm_command: INTEGER_32 is 273
    			-- Declared in Windows as WM_COMMAND

    	wm_commnotify: INTEGER_32 is 68
    			-- Declared in Windows as WM_COMMNOTIFY

    	wm_compacting: INTEGER_32 is 65
    			-- Declared in Windows as WM_COMPACTING

    	wm_compareitem: INTEGER_32 is 57
    			-- Declared in Windows as WM_COMPAREITEM

    	wm_contextmenu: INTEGER_32 is 123
    			-- Declared in Windows as WM_CONTEXTMENU

    	wm_copy: INTEGER_32 is 769
    			-- Declared in Windows as WM_COPY

    	wm_copydata: INTEGER_32 is 74
    			-- Declared in Windows as WM_COPYDATA

    	wm_create: INTEGER_32 is 1
    			-- Declared in Windows as WM_CREATE

    	wm_ctlcolor: INTEGER_32 is 25
    			-- Declared in Windows as WM_CTLCOLOR

    	wm_ctlcolorbtn: INTEGER_32 is 309
    			-- Declared in Windows as WM_CTLCOLORBTN

    	wm_ctlcolordlg: INTEGER_32 is 310
    			-- Declared in Windows as WM_CTLCOLORDLG

    	wm_ctlcoloredit: INTEGER_32 is 307
    			-- Declared in Windows as WM_CTLCOLOREDIT

    	wm_ctlcolorlistbox: INTEGER_32 is 308
    			-- Declared in Windows as WM_CTLCOLORLISTBOX

    	wm_ctlcolormsgbox: INTEGER_32 is 306
    			-- Declared in Windows as WM_CTLCOLORMSGBOX

    	wm_ctlcolorscrollbar: INTEGER_32 is 311
    			-- Declared in Windows as WM_CTLCOLORSCROLLBAR

    	wm_ctlcolorstatic: INTEGER_32 is 312
    			-- Declared in Windows as WM_CTLCOLORSTATIC

    	wm_cut: INTEGER_32 is 768
    			-- Declared in Windows as WM_CUT

    	wm_deadchar: INTEGER_32 is 259
    			-- Declared in Windows as WM_DEADCHAR

    	wm_deleteitem: INTEGER_32 is 45
    			-- Declared in Windows as WM_DELETEITEM

    	wm_destroy: INTEGER_32 is 2
    			-- Declared in Windows as WM_DESTROY

    	wm_destroyclipboard: INTEGER_32 is 775
    			-- Declared in Windows as WM_DESTROYCLIPBOARD

    	wm_devicechange: INTEGER_32 is 537
    			-- Declared in Windows as WM_DEVICECHANGE

    	wm_devmodechange: INTEGER_32 is 27
    			-- Declared in Windows as WM_DEVMODECHANGE

    	wm_displaychange: INTEGER_32 is 126
    			-- Declared in Windows as WM_DISPLAYCHANGE

    	wm_drawclipboard: INTEGER_32 is 776
    			-- Declared in Windows as WM_DRAWCLIPBOARD

    	wm_drawitem: INTEGER_32 is 43
    			-- Declared in Windows as WM_DRAWITEM

    	wm_dropfiles: INTEGER_32 is 563
    			-- Declared in Windows as WM_DROPFILES

    	wm_enable: INTEGER_32 is 10
    			-- Declared in Windows as WM_ENABLE

    	wm_endsession: INTEGER_32 is 22
    			-- Declared in Windows as WM_ENDSESSION

    	wm_enteridle: INTEGER_32 is 289
    			-- Declared in Windows as WM_ENTERIDLE

    	wm_entermenuloop: INTEGER_32 is 529
    			-- Declared in Windows as WM_ENTERMENULOOP

    	wm_entersizemove: INTEGER_32 is 561
    			-- Declared in Windows as WM_ENTERSIZEMOVE

    	wm_erasebkgnd: INTEGER_32 is 20
    			-- Declared in Windows as WM_ERASEBKGND

    	wm_exitmenuloop: INTEGER_32 is 530
    			-- Declared in Windows as WM_EXITMENULOOP

    	wm_exitsizemove: INTEGER_32 is 562
    			-- Declared in Windows as WM_EXITSIZEMOVE

    	wm_fontchange: INTEGER_32 is 29
    			-- Declared in Windows as WM_FONTCHANGE

    	wm_forwardmsg: INTEGER_32 is 895
    			-- Declared in Windows as WM_FORWARDMSG
    			-- Used to forward a message to another window for processing.
    			-- WPARAM - DWORD dwUserData - defined by user
    			-- LPARAM - LPMSG pMsg - a pointer to the MSG structure
    			-- return value - 0 if the message was not processed, nonzero if it was.

    	wm_getdlgcode: INTEGER_32 is 135
    			-- Declared in Windows as WM_GETDLGCODE

    	wm_getfont: INTEGER_32 is 49
    			-- Declared in Windows as WM_GETFONT

    	wm_gethotkey: INTEGER_32 is 51
    			-- Declared in Windows as WM_GETHOTKEY

    	wm_geticon: INTEGER_32 is 127
    			-- Declared in Windows as WM_GETICON

    	wm_getminmaxinfo: INTEGER_32 is 36
    			-- Declared in Windows as WM_GETMINMAXINFO

    	wm_getobject: INTEGER_32 is 61
    			-- Declared in Windows as WM_GETOBJECT

    	wm_gettext: INTEGER_32 is 13
    			-- Declared in Windows as WM_GETTEXT

    	wm_gettextlength: INTEGER_32 is 14
    			-- Declared in Windows as WM_GETTEXTLENGTH

    	wm_handheldfirst: INTEGER_32 is 856
    			-- Declared in Windows as WM_HANDHELDFIRST

    	wm_handheldlast: INTEGER_32 is 863
    			-- Declared in Windows as WM_HANDHELDLAST

    	wm_help: INTEGER_32 is 83
    			-- Declared in Windows as WM_HELP

    	wm_hotkey: INTEGER_32 is 786
    			-- Declared in Windows as WM_HOTKEY

    	wm_hscroll: INTEGER_32 is 276
    			-- Declared in Windows as WM_HSCROLL

    	wm_hscrollclipboard: INTEGER_32 is 782
    			-- Declared in Windows as WM_HSCROLLCLIPBOARD

    	wm_iconerasebkgnd: INTEGER_32 is 39
    			-- Declared in Windows as WM_ICONERASEBKGND

    	wm_ime_char: INTEGER_32 is 646
    			-- Declared in Windows as WM_IME_CHAR

    	wm_ime_composition: INTEGER_32 is 271
    			-- Declared in Windows as WM_IME_COMPOSITION

    	wm_ime_compositionfull: INTEGER_32 is 644
    			-- Declared in Windows as WM_IME_COMPOSITIONFULL

    	wm_ime_control: INTEGER_32 is 643
    			-- Declared in Windows as WM_IME_CONTROL

    	wm_ime_endcomposition: INTEGER_32 is 270
    			-- Declared in Windows as WM_IME_ENDCOMPOSITION

    	wm_ime_keydown: INTEGER_32 is 656
    			-- Declared in Windows as WM_IME_KEYDOWN

    	wm_ime_keylast: INTEGER_32
    			-- Declared in Windows as WM_IME_KEYLAST

    	wm_ime_keyup: INTEGER_32 is 657
    			-- Declared in Windows as WM_IME_KEYUP

    	wm_ime_notify: INTEGER_32 is 642
    			-- Declared in Windows as WM_IME_NOTIFY

    	wm_ime_request: INTEGER_32 is 648
    			-- Declared in Windows as WM_IME_REQUEST

    	wm_ime_select: INTEGER_32 is 645
    			-- Declared in Windows as WM_IME_SELECT

    	wm_ime_setcontext: INTEGER_32 is 641
    			-- Declared in Windows as WM_IME_SETCONTEXT

    	wm_ime_startcomposition: INTEGER_32 is 269
    			-- Declared in Windows as WM_IME_STARTCOMPOSITION

    	wm_initdialog: INTEGER_32 is 272
    			-- Declared in Windows as WM_INITDIALOG

    	wm_initmenu: INTEGER_32 is 278
    			-- Declared in Windows as WM_INITMENU

    	wm_initmenupopup: INTEGER_32 is 279
    			-- Declared in Windows as WM_INITMENUPOPUP

    	wm_inputlangchange: INTEGER_32 is 81
    			-- Declared in Windows as WM_INPUTLANGCHANGE

    	wm_inputlangchangerequest: INTEGER_32 is 80
    			-- Declared in Windows as WM_INPUTLANGCHANGEREQUEST

    	wm_keydown: INTEGER_32 is 256
    			-- Declared in Windows as WM_KEYDOWN

    	wm_keyfirst: INTEGER_32 is 256
    			-- Declared in Windows as WM_KEYFIRST

    	wm_keylast: INTEGER_32
    			-- Declared in Windows as WM_KEYLAST

    	wm_keyup: INTEGER_32 is 257
    			-- Declared in Windows as WM_KEYUP

    	wm_killfocus: INTEGER_32 is 8
    			-- Declared in Windows as WM_KILLFOCUS

    	wm_lbuttondblclk: INTEGER_32 is 515
    			-- Declared in Windows as WM_LBUTTONDBLCLK

    	wm_lbuttondown: INTEGER_32 is 513
    			-- Declared in Windows as WM_LBUTTONDOWN

    	wm_lbuttonup: INTEGER_32 is 514
    			-- Declared in Windows as WM_LBUTTONUP

    	wm_mbuttondblclk: INTEGER_32 is 521
    			-- Declared in Windows as WM_MBUTTONDBLCLK

    	wm_mbuttondown: INTEGER_32 is 519
    			-- Declared in Windows as WM_MBUTTONDOWN

    	wm_mbuttonup: INTEGER_32 is 520
    			-- Declared in Windows as WM_MBUTTONUP

    	wm_mdiactivate: INTEGER_32 is 546
    			-- Declared in Windows as WM_MDIACTIVATE

    	wm_mdicascade: INTEGER_32 is 551
    			-- Declared in Windows as WM_MDICASCADE

    	wm_mdicreate: INTEGER_32 is 544
    			-- Declared in Windows as WM_MDICREATE

    	wm_mdidestroy: INTEGER_32 is 545
    			-- Declared in Windows as WM_MDIDESTROY

    	wm_mdigetactive: INTEGER_32 is 553
    			-- Declared in Windows as WM_MDIGETACTIVE

    	wm_mdiiconarrange: INTEGER_32 is 552
    			-- Declared in Windows as WM_MDIICONARRANGE

    	wm_mdimaximize: INTEGER_32 is 549
    			-- Declared in Windows as WM_MDIMAXIMIZE

    	wm_mdinext: INTEGER_32 is 548
    			-- Declared in Windows as WM_MDINEXT

    	wm_mdirefreshmenu: INTEGER_32 is 564
    			-- Declared in Windows as WM_MDIREFRESHMENU

    	wm_mdirestore: INTEGER_32 is 547
    			-- Declared in Windows as WM_MDIRESTORE

    	wm_mdisetmenu: INTEGER_32 is 560
    			-- Declared in Windows as WM_MDISETMENU

    	wm_mditile: INTEGER_32 is 550
    			-- Declared in Windows as WM_MDITILE

    	wm_measureitem: INTEGER_32 is 44
    			-- Declared in Windows as WM_MEASUREITEM

    	wm_menuchar: INTEGER_32 is 288
    			-- Declared in Windows as WM_MENUCHAR

    	wm_menucommand: INTEGER_32 is 294
    			-- Declared in Windows as WM_MENUCOMMAND

    	wm_menudrag: INTEGER_32 is 291
    			-- Declared in Windows as WM_MENUDRAG

    	wm_menugetobject: INTEGER_32 is 292
    			-- Declared in Windows as WM_MENUGETOBJECT

    	wm_menurbuttonup: INTEGER_32 is 290
    			-- Declared in Windows as WM_MENURBUTTONUP

    	wm_menuselect: INTEGER_32 is 287
    			-- Declared in Windows as WM_MENUSELECT

    	wm_mouseactivate: INTEGER_32 is 33
    			-- Declared in Windows as WM_MOUSEACTIVATE

    	wm_mousefirst: INTEGER_32 is 512
    			-- Declared in Windows as WM_MOUSEFIRST

    	wm_mousehover: INTEGER_32 is 673
    			-- Require Windows98, Windows NT 4.0 or later
    			-- Declared in Windows as WM_MOUSEHOVER

    	wm_mouselast: INTEGER_32
    			-- Declared in Windows as WM_MOUSELAST

    	wm_mouseleave: INTEGER_32 is 675
    			-- Require Windows98, Windows NT 4.0 or later
    			-- Declared in Windows as WM_MOUSELEAVE

    	wm_mousemove: INTEGER_32 is 512
    			-- Declared in Windows as WM_MOUSEMOVE

    	wm_mousewheel: INTEGER_32 is 522
    			-- Declared in Windows as WM_MOUSEWHEEL

    	wm_move: INTEGER_32 is 3
    			-- Declared in Windows as WM_MOVE

    	wm_moving: INTEGER_32 is 534
    			-- Declared in Windows as WM_MOVING

    	wm_ncactivate: INTEGER_32 is 134
    			-- Declared in Windows as WM_NCACTIVATE

    	wm_nccalcsize: INTEGER_32 is 131
    			-- Declared in Windows as WM_NCCALCSIZE

    	wm_nccreate: INTEGER_32 is 129
    			-- Declared in Windows as WM_NCCREATE

    	wm_ncdestroy: INTEGER_32 is 130
    			-- Declared in Windows as WM_NCDESTROY

    	wm_nchittest: INTEGER_32 is 132
    			-- Declared in Windows as WM_NCHITTEST

    	wm_nclbuttondblclk: INTEGER_32 is 163
    			-- Declared in Windows as WM_NCLBUTTONDBLCLK

    	wm_nclbuttondown: INTEGER_32 is 161
    			-- Declared in Windows as WM_NCLBUTTONDOWN

    	wm_nclbuttonup: INTEGER_32 is 162
    			-- Declared in Windows as WM_NCLBUTTONUP

    	wm_ncmbuttondblclk: INTEGER_32 is 169
    			-- Declared in Windows as WM_NCMBUTTONDBLCLK

    	wm_ncmbuttondown: INTEGER_32 is 167
    			-- Declared in Windows as WM_NCMBUTTONDOWN

    	wm_ncmbuttonup: INTEGER_32 is 168
    			-- Declared in Windows as WM_NCMBUTTONUP

    	wm_ncmousehover: INTEGER_32 is 672
    			-- Require Windows98, Windows NT 5.0 or later
    			-- Declared in Windows as WM_NCMOUSEHOVER

    	wm_ncmouseleave: INTEGER_32 is 674
    			-- Require Windows98, Windows NT 5.0 or later
    			-- Declared in Windows as WM_NCMOUSELEAVE

    	wm_ncmousemove: INTEGER_32 is 160
    			-- Declared in Windows as WM_NCMOUSEMOVE

    	wm_ncpaint: INTEGER_32 is 133
    			-- Declared in Windows as WM_NCPAINT

    	wm_ncrbuttondblclk: INTEGER_32 is 166
    			-- Declared in Windows as WM_NCRBUTTONDBLCLK

    	wm_ncrbuttondown: INTEGER_32 is 164
    			-- Declared in Windows as WM_NCRBUTTONDOWN

    	wm_ncrbuttonup: INTEGER_32 is 165
    			-- Declared in Windows as WM_NCRBUTTONUP

    	wm_ncxbuttondblclk: INTEGER_32 is 173
    			-- Declared in Windows as WM_NCXBUTTONDBLCLK

    	wm_ncxbuttondown: INTEGER_32 is 171
    			-- Declared in Windows as WM_NCXBUTTONDOWN

    	wm_ncxbuttonup: INTEGER_32 is 172
    			-- Declared in Windows as WM_NCXBUTTONUP

    	wm_nextdlgctl: INTEGER_32 is 40
    			-- Declared in Windows as WM_NEXTDLGCTL

    	wm_nextmenu: INTEGER_32 is 531
    			-- Declared in Windows as WM_NEXTMENU

    	wm_notify: INTEGER_32 is 78
    			-- Declared in Windows as WM_NOTIFY

    	wm_notifyformat: INTEGER_32 is 85
    			-- Declared in Windows as WM_NOTIFYFORMAT

    	wm_null: INTEGER_32 is 0
    			-- Declared in Windows as WM_NULL

    	wm_paint: INTEGER_32 is 15
    			-- Declared in Windows as WM_PAINT

    	wm_paintclipboard: INTEGER_32 is 777
    			-- Declared in Windows as WM_PAINTCLIPBOARD

    	wm_painticon: INTEGER_32 is 38
    			-- Declared in Windows as WM_PAINTICON

    	wm_palettechanged: INTEGER_32 is 785
    			-- Declared in Windows as WM_PALETTECHANGED

    	wm_paletteischanging: INTEGER_32 is 784
    			-- Declared in Windows as WM_PALETTEISCHANGING

    	wm_parentnotify: INTEGER_32 is 528
    			-- Declared in Windows as WM_PARENTNOTIFY

    	wm_paste: INTEGER_32 is 770
    			-- Declared in Windows as WM_PASTE

    	wm_penwinfirst: INTEGER_32 is 896
    			-- Declared in Windows as WM_PENWINFIRST

    	wm_penwinlast: INTEGER_32 is 911
    			-- Declared in Windows as WM_PENWINLAST

    	wm_power: INTEGER_32 is 72
    			-- Declared in Windows as WM_POWER

    	wm_powerbroadcast: INTEGER_32 is 536
    			-- Declared in Windows as WM_POWERBROADCAST

    	wm_print: INTEGER_32 is 791
    			-- Declared in Windows as WM_PRINT

    	wm_printclient: INTEGER_32 is 792
    			-- Declared in Windows as WM_PRINTCLIENT

    	wm_querydragicon: INTEGER_32 is 55
    			-- Declared in Windows as WM_QUERYDRAGICON

    	wm_queryendsession: INTEGER_32 is 17
    			-- Declared in Windows as WM_QUERYENDSESSION

    	wm_querynewpalette: INTEGER_32 is 783
    			-- Declared in Windows as WM_QUERYNEWPALETTE

    	wm_queryopen: INTEGER_32 is 19
    			-- Declared in Windows as WM_QUERYOPEN

    	wm_queryuistate: INTEGER_32 is 297
    			-- Declared in Windows as WM_QUERYUISTATE

    	wm_queuesync: INTEGER_32 is 35
    			-- Declared in Windows as WM_QUEUESYNC

    	wm_quit: INTEGER_32 is 18
    			-- Declared in Windows as WM_QUIT

    	wm_rbuttondblclk: INTEGER_32 is 518
    			-- Declared in Windows as WM_RBUTTONDBLCLK

    	wm_rbuttondown: INTEGER_32 is 516
    			-- Declared in Windows as WM_RBUTTONDOWN

    	wm_rbuttonup: INTEGER_32 is 517
    			-- Declared in Windows as WM_RBUTTONUP

    	wm_renderallformats: INTEGER_32 is 774
    			-- Declared in Windows as WM_RENDERALLFORMATS

    	wm_renderformat: INTEGER_32 is 773
    			-- Declared in Windows as WM_RENDERFORMAT

    	wm_setcursor: INTEGER_32 is 32
    			-- Declared in Windows as WM_SETCURSOR

    	wm_setfocus: INTEGER_32 is 7
    			-- Declared in Windows as WM_SETFOCUS

    	wm_setfont: INTEGER_32 is 48
    			-- Declared in Windows as WM_SETFONT

    	wm_sethotkey: INTEGER_32 is 50
    			-- Declared in Windows as WM_SETHOTKEY

    	wm_seticon: INTEGER_32 is 128
    			-- Declared in Windows as WM_SETICON

    	wm_setredraw: INTEGER_32 is 11
    			-- Declared in Windows as WM_SETREDRAW

    	wm_settext: INTEGER_32 is 12
    			-- Declared in Windows as WM_SETTEXT

    	wm_settingchange: INTEGER_32 is 26
    			-- Declared in Windows as WM_WININICHANGE
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Wm_wininichange.

    	wm_showwindow: INTEGER_32 is 24
    			-- Declared in Windows as WM_SHOWWINDOW

    	wm_size: INTEGER_32 is 5
    			-- Declared in Windows as WM_SIZE

    	wm_sizeclipboard: INTEGER_32 is 779
    			-- Declared in Windows as WM_SIZECLIPBOARD

    	wm_sizing: INTEGER_32 is 532
    			-- Declared in Windows as WM_SIZING

    	wm_spoolerstatus: INTEGER_32 is 42
    			-- Declared in Windows as WM_SPOOLERSTATUS

    	wm_stylechanged: INTEGER_32 is 125
    			-- Declared in Windows as WM_STYLECHANGED

    	wm_stylechanging: INTEGER_32 is 124
    			-- Declared in Windows as WM_STYLECHANGING

    	wm_syncpaint: INTEGER_32 is 136
    			-- Declared in Windows as WM_SYNCPAINT

    	wm_syschar: INTEGER_32 is 262
    			-- Declared in Windows as WM_SYSCHAR

    	wm_syscolorchange: INTEGER_32 is 21
    			-- Declared in Windows as WM_SYSCOLORCHANGE

    	wm_syscommand: INTEGER_32 is 274
    			-- Declared in Windows as WM_SYSCOMMAND

    	wm_sysdeadchar: INTEGER_32 is 263
    			-- Declared in Windows as WM_SYSDEADCHAR

    	wm_syskeydown: INTEGER_32 is 260
    			-- Declared in Windows as WM_SYSKEYDOWN

    	wm_syskeyup: INTEGER_32 is 261
    			-- Declared in Windows as WM_SYSKEYUP

    	wm_tcard: INTEGER_32 is 82
    			-- Declared in Windows as WM_TCARD

    	wm_timechange: INTEGER_32 is 30
    			-- Declared in Windows as WM_TIMECHANGE

    	wm_timer: INTEGER_32 is 275
    			-- Declared in Windows as WM_TIMER

    	wm_undo: INTEGER_32 is 772
    			-- Declared in Windows as WM_UNDO

    	wm_uninitmenupopup: INTEGER_32 is 293
    			-- Declared in Windows as WM_UNINITMENUPOPUP

    	wm_updateuistate: INTEGER_32 is 296
    			-- Declared in Windows as WM_UPDATEUISTATE

    	wm_user: INTEGER_32 is 1024
    			-- Declared in Windows as WM_USER

    	wm_userchanged: INTEGER_32 is 84
    			-- Declared in Windows as WM_USERCHANGED

    	wm_vkeytoitem: INTEGER_32 is 46
    			-- Declared in Windows as WM_VKEYTOITEM

    	wm_vscroll: INTEGER_32 is 277
    			-- Declared in Windows as WM_VSCROLL

    	wm_vscrollclipboard: INTEGER_32 is 778
    			-- Declared in Windows as WM_VSCROLLCLIPBOARD

    	wm_windowposchanged: INTEGER_32 is 71
    			-- Declared in Windows as WM_WINDOWPOSCHANGED

    	wm_windowposchanging: INTEGER_32 is 70
    			-- Declared in Windows as WM_WINDOWPOSCHANGING

    	wm_wininichange: INTEGER_32 is 26
    			-- Declared in Windows as WM_WININICHANGE
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Wm_settingchange.

    	wm_xbuttondblclk: INTEGER_32 is 525
    			-- Declared in Windows as WM_XBUTTONDBLCLK

    	wm_xbuttondown: INTEGER_32 is 523
    			-- Declared in Windows as WM_XBUTTONDOWN

    	wm_xbuttonup: INTEGER_32 is 524
    			-- Declared in Windows as WM_XBUTTONUP

    feature -- Window Size constants

    	size_maxhide: INTEGER_32 is 4
    			-- Declared in Windows as SIZE_MAXHIDE

    	size_maximized: INTEGER_32 is 2
    			-- Declared in Windows as SIZE_MAXIMIZED

    	size_maxshow: INTEGER_32 is 3
    			-- Declared in Windows as SIZE_MAXSHOW

    	size_minimized: INTEGER_32 is 1
    			-- Declared in Windows as SIZE_MINIMIZED

    	size_restored: INTEGER_32 is 0
    			-- Declared in Windows as SIZE_RESTORED

    feature -- Window styles

    	ws_border: INTEGER_32 is 8388608
    			-- Declared in Windows as WS_BORDER

    	ws_caption: INTEGER_32 is 12582912
    			-- Declared in Windows as WS_CAPTION

    	ws_child: INTEGER_32 is 1073741824
    			-- Declared in Windows as WS_CHILD

    	ws_childwindow: INTEGER_32 is 1073741824
    			-- Declared in Windows as WS_CHILDWINDOW

    	ws_clipchildren: INTEGER_32 is 33554432
    			-- Declared in Windows as WS_CLIPCHILDREN

    	ws_clipsiblings: INTEGER_32 is 67108864
    			-- Declared in Windows as WS_CLIPSIBLINGS

    	ws_disabled: INTEGER_32 is 134217728
    			-- Declared in Windows as WS_DISABLED

    	ws_dlgframe: INTEGER_32 is 4194304
    			-- Declared in Windows as WS_DLGFRAME

    	ws_group: INTEGER_32 is 131072
    			-- Declared in Windows as WS_GROUP

    	ws_hscroll: INTEGER_32 is 1048576
    			-- Declared in Windows as WS_HSCROLL

    	ws_iconic: INTEGER_32 is 536870912
    			-- Declared in Windows as WS_MINIMIZE
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_minimize.

    	ws_maximize: INTEGER_32 is 16777216
    			-- Declared in Windows as WS_MAXIMIZE

    	ws_maximizebox: INTEGER_32 is 65536
    			-- Declared in Windows as WS_MAXIMIZEBOX

    	ws_minimize: INTEGER_32 is 536870912
    			-- Declared in Windows as WS_MINIMIZE
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_iconic.

    	ws_minimizebox: INTEGER_32 is 131072
    			-- Declared in Windows as WS_MINIMIZEBOX

    	ws_overlapped: INTEGER_32 is 0
    			-- Declared in Windows as WS_OVERLAPPED
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_tiled.

    	ws_overlappedwindow: INTEGER_32 is 13565952
    			-- Declared in Windows as WS_OVERLAPPEDWINDOW
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_tiledwindow.

    	ws_popup: INTEGER_32 is -2147483648
    			-- Declared in Windows as WS_POPUP

    	ws_popupwindow: INTEGER_32 is -2138570752
    			-- Declared in Windows as WS_POPUPWINDOW

    	ws_sizebox: INTEGER_32 is 262144
    			-- Declared in Windows as WS_THICKFRAME
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_thickframe.

    	ws_sysmenu: INTEGER_32 is 524288
    			-- Declared in Windows as WS_SYSMENU

    	ws_tabstop: INTEGER_32 is 65536
    			-- Declared in Windows as WS_TABSTOP

    	ws_thickframe: INTEGER_32 is 262144
    			-- Declared in Windows as WS_THICKFRAME
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_sizebox.

    	ws_tiled: INTEGER_32 is 0
    			-- Declared in Windows as WS_OVERLAPPED
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_overlapped.

    	ws_tiledwindow: INTEGER_32 is 13565952
    			-- Declared in Windows as WS_OVERLAPPEDWINDOW
    			-- Was declared in WEL_WINDOW_CONSTANTS as synonym of Ws_overlappedwindow.

    	ws_visible: INTEGER_32 is 268435456
    			-- Declared in Windows as WS_VISIBLE

    	ws_vscroll: INTEGER_32 is 2097152
    			-- Declared in Windows as WS_VSCROLL

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

    indexing
    	copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
    	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
    	source: "[
    		Eiffel Software
    		356 Storke Road, Goleta, CA 93117 USA
    		Telephone 805-685-1006, Fax 805-685-6869
    		Website http://www.eiffel.com
    		Customer support http://support.eiffel.com
    	]"

    end -- class WEL_WINDOW_CONSTANTS