indexing
	description: "Window message (WM) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_WM_CONSTANTS

feature -- Access

	Wm_activate: INTEGER is 6
			-- Declared in Windows as WM_ACTIVATE

	Wm_activateapp: INTEGER is 28
			-- Declared in Windows as WM_ACTIVATEAPP

	Wm_afxfirst: INTEGER is 864
			-- Declared in Windows as WM_AFXFIRST

	Wm_afxlast: INTEGER is 895
			-- Declared in Windows as WM_AFXLAST

	Wm_app: INTEGER is 32768
			-- Declared in Windows as WM_APP

	Wm_appcommand: INTEGER is 793
			-- Declared in Windows as WM_APPCOMMAND

	Wm_askcbformatname: INTEGER is 780
			-- Declared in Windows as WM_ASKCBFORMATNAME

	Wm_canceljournal: INTEGER is 75
			-- Declared in Windows as WM_CANCELJOURNAL

	Wm_cancelmode: INTEGER is 31
			-- Declared in Windows as WM_CANCELMODE

	Wm_capturechanged: INTEGER is 533
			-- Declared in Windows as WM_CAPTURECHANGED

	Wm_changecbchain: INTEGER is 781
			-- Declared in Windows as WM_CHANGECBCHAIN

	Wm_changeuistate: INTEGER is 295
			-- Declared in Windows as WM_CHANGEUISTATE

	Wm_char: INTEGER is 258
			-- Declared in Windows as WM_CHAR

	Wm_chartoitem: INTEGER is 47
			-- Declared in Windows as WM_CHARTOITEM

	Wm_childactivate: INTEGER is 34
			-- Declared in Windows as WM_CHILDACTIVATE

	Wm_clear: INTEGER is 771
			-- Declared in Windows as WM_CLEAR

	Wm_close: INTEGER is 16
			-- Declared in Windows as WM_CLOSE

	Wm_command: INTEGER is 273
			-- Declared in Windows as WM_COMMAND

	Wm_commnotify: INTEGER is 68
			-- Declared in Windows as WM_COMMNOTIFY

	Wm_compacting: INTEGER is 65
			-- Declared in Windows as WM_COMPACTING

	Wm_compareitem: INTEGER is 57
			-- Declared in Windows as WM_COMPAREITEM

	Wm_contextmenu: INTEGER is 123
			-- Declared in Windows as WM_CONTEXTMENU

	Wm_copy: INTEGER is 769
			-- Declared in Windows as WM_COPY

	Wm_copydata: INTEGER is 74
			-- Declared in Windows as WM_COPYDATA

	Wm_create: INTEGER is 1
			-- Declared in Windows as WM_CREATE

	Wm_cut: INTEGER is 768
			-- Declared in Windows as WM_CUT

	Wm_deadchar: INTEGER is 259
			-- Declared in Windows as WM_DEADCHAR

	Wm_deleteitem: INTEGER is 45
			-- Declared in Windows as WM_DELETEITEM

	Wm_destroy: INTEGER is 2
			-- Declared in Windows as WM_DESTROY

	Wm_destroyclipboard: INTEGER is 775
			-- Declared in Windows as WM_DESTROYCLIPBOARD

	Wm_devicechange: INTEGER is 537
			-- Declared in Windows as WM_DEVICECHANGE

	Wm_devmodechange: INTEGER is 27
			-- Declared in Windows as WM_DEVMODECHANGE

	Wm_displaychange: INTEGER is 126
			-- Declared in Windows as WM_DISPLAYCHANGE

	Wm_drawclipboard: INTEGER is 776
			-- Declared in Windows as WM_DRAWCLIPBOARD

	Wm_drawitem: INTEGER is 43
			-- Declared in Windows as WM_DRAWITEM

	Wm_dropfiles: INTEGER is 563
			-- Declared in Windows as WM_DROPFILES

	Wm_enable: INTEGER is 10
			-- Declared in Windows as WM_ENABLE

	Wm_endsession: INTEGER is 22
			-- Declared in Windows as WM_ENDSESSION

	Wm_enteridle: INTEGER is 289
			-- Declared in Windows as WM_ENTERIDLE

	Wm_entermenuloop: INTEGER is 529
			-- Declared in Windows as WM_ENTERMENULOOP

	Wm_entersizemove: INTEGER is 561
			-- Declared in Windows as WM_ENTERSIZEMOVE

	Wm_erasebkgnd: INTEGER is 20
			-- Declared in Windows as WM_ERASEBKGND

	Wm_exitmenuloop: INTEGER is 530
			-- Declared in Windows as WM_EXITMENULOOP

	Wm_exitsizemove: INTEGER is 562
			-- Declared in Windows as WM_EXITSIZEMOVE

	Wm_fontchange: INTEGER is 29
			-- Declared in Windows as WM_FONTCHANGE

	Wm_getdlgcode: INTEGER is 135
			-- Declared in Windows as WM_GETDLGCODE

	Wm_getfont: INTEGER is 49
			-- Declared in Windows as WM_GETFONT

	Wm_gethotkey: INTEGER is 51
			-- Declared in Windows as WM_GETHOTKEY

	Wm_geticon: INTEGER is 127
			-- Declared in Windows as WM_GETICON

	Wm_getminmaxinfo: INTEGER is 36
			-- Declared in Windows as WM_GETMINMAXINFO

	Wm_getobject: INTEGER is 61
			-- Declared in Windows as WM_GETOBJECT

	Wm_gettext: INTEGER is 13
			-- Declared in Windows as WM_GETTEXT

	Wm_gettextlength: INTEGER is 14
			-- Declared in Windows as WM_GETTEXTLENGTH

	Wm_handheldfirst: INTEGER is 856
			-- Declared in Windows as WM_HANDHELDFIRST

	Wm_handheldlast: INTEGER is 863
			-- Declared in Windows as WM_HANDHELDLAST

	Wm_help: INTEGER is 83
			-- Declared in Windows as WM_HELP

	Wm_hotkey: INTEGER is 786
			-- Declared in Windows as WM_HOTKEY

	Wm_hscroll: INTEGER is 276
			-- Declared in Windows as WM_HSCROLL

	Wm_hscrollclipboard: INTEGER is 782
			-- Declared in Windows as WM_HSCROLLCLIPBOARD

	Wm_iconerasebkgnd: INTEGER is 39
			-- Declared in Windows as WM_ICONERASEBKGND

	Wm_ime_char: INTEGER is 646
			-- Declared in Windows as WM_IME_CHAR

	Wm_ime_composition: INTEGER is 271
			-- Declared in Windows as WM_IME_COMPOSITION

	Wm_ime_compositionfull: INTEGER is 644
			-- Declared in Windows as WM_IME_COMPOSITIONFULL

	Wm_ime_control: INTEGER is 643
			-- Declared in Windows as WM_IME_CONTROL

	Wm_ime_endcomposition: INTEGER is 270
			-- Declared in Windows as WM_IME_ENDCOMPOSITION

	Wm_ime_keydown: INTEGER is 656
			-- Declared in Windows as WM_IME_KEYDOWN

	wm_ime_keylast: INTEGER
			-- Declared in Windows as WM_IME_KEYLAST

	Wm_ime_keyup: INTEGER is 657
			-- Declared in Windows as WM_IME_KEYUP

	Wm_ime_notify: INTEGER is 642
			-- Declared in Windows as WM_IME_NOTIFY

	Wm_ime_request: INTEGER is 648
			-- Declared in Windows as WM_IME_REQUEST

	Wm_ime_select: INTEGER is 645
			-- Declared in Windows as WM_IME_SELECT

	Wm_ime_setcontext: INTEGER is 641
			-- Declared in Windows as WM_IME_SETCONTEXT

	Wm_ime_startcomposition: INTEGER is 269
			-- Declared in Windows as WM_IME_STARTCOMPOSITION

	Wm_initdialog: INTEGER is 272
			-- Declared in Windows as WM_INITDIALOG

	Wm_initmenu: INTEGER is 278
			-- Declared in Windows as WM_INITMENU

	Wm_initmenupopup: INTEGER is 279
			-- Declared in Windows as WM_INITMENUPOPUP

	Wm_inputlangchange: INTEGER is 81
			-- Declared in Windows as WM_INPUTLANGCHANGE

	Wm_inputlangchangerequest: INTEGER is 80
			-- Declared in Windows as WM_INPUTLANGCHANGEREQUEST

	Wm_keydown: INTEGER is 256
			-- Declared in Windows as WM_KEYDOWN

	Wm_keyfirst: INTEGER is 256
			-- Declared in Windows as WM_KEYFIRST

	wm_keylast: INTEGER
			-- Declared in Windows as WM_KEYLAST

	Wm_keyup: INTEGER is 257
			-- Declared in Windows as WM_KEYUP

	Wm_killfocus: INTEGER is 8
			-- Declared in Windows as WM_KILLFOCUS

	Wm_lbuttondblclk: INTEGER is 515
			-- Declared in Windows as WM_LBUTTONDBLCLK

	Wm_lbuttondown: INTEGER is 513
			-- Declared in Windows as WM_LBUTTONDOWN

	Wm_lbuttonup: INTEGER is 514
			-- Declared in Windows as WM_LBUTTONUP

	Wm_mbuttondblclk: INTEGER is 521
			-- Declared in Windows as WM_MBUTTONDBLCLK

	Wm_mbuttondown: INTEGER is 519
			-- Declared in Windows as WM_MBUTTONDOWN

	Wm_mbuttonup: INTEGER is 520
			-- Declared in Windows as WM_MBUTTONUP

	Wm_mdiactivate: INTEGER is 546
			-- Declared in Windows as WM_MDIACTIVATE

	Wm_mdicascade: INTEGER is 551
			-- Declared in Windows as WM_MDICASCADE

	Wm_mdicreate: INTEGER is 544
			-- Declared in Windows as WM_MDICREATE

	Wm_mdidestroy: INTEGER is 545
			-- Declared in Windows as WM_MDIDESTROY

	Wm_mdigetactive: INTEGER is 553
			-- Declared in Windows as WM_MDIGETACTIVE

	Wm_mdiiconarrange: INTEGER is 552
			-- Declared in Windows as WM_MDIICONARRANGE

	Wm_mdimaximize: INTEGER is 549
			-- Declared in Windows as WM_MDIMAXIMIZE

	Wm_mdinext: INTEGER is 548
			-- Declared in Windows as WM_MDINEXT

	Wm_mdirefreshmenu: INTEGER is 564
			-- Declared in Windows as WM_MDIREFRESHMENU

	Wm_mdirestore: INTEGER is 547
			-- Declared in Windows as WM_MDIRESTORE

	Wm_mdisetmenu: INTEGER is 560
			-- Declared in Windows as WM_MDISETMENU

	Wm_mditile: INTEGER is 550
			-- Declared in Windows as WM_MDITILE

	Wm_measureitem: INTEGER is 44
			-- Declared in Windows as WM_MEASUREITEM

	Wm_menuchar: INTEGER is 288
			-- Declared in Windows as WM_MENUCHAR

	Wm_menucommand: INTEGER is 294
			-- Declared in Windows as WM_MENUCOMMAND

	Wm_menudrag: INTEGER is 291
			-- Declared in Windows as WM_MENUDRAG

	Wm_menugetobject: INTEGER is 292
			-- Declared in Windows as WM_MENUGETOBJECT

	Wm_menurbuttonup: INTEGER is 290
			-- Declared in Windows as WM_MENURBUTTONUP

	Wm_menuselect: INTEGER is 287
			-- Declared in Windows as WM_MENUSELECT

	Wm_mouseactivate: INTEGER is 33
			-- Declared in Windows as WM_MOUSEACTIVATE

	Wm_mousefirst: INTEGER is 512
			-- Declared in Windows as WM_MOUSEFIRST

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

	wm_mouselast: INTEGER
			-- Declared in Windows as WM_MOUSELAST

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

	Wm_mousemove: INTEGER is 512
			-- Declared in Windows as WM_MOUSEMOVE

	Wm_mousewheel: INTEGER is 522
			-- Declared in Windows as WM_MOUSEWHEEL

	Wm_move: INTEGER is 3
			-- Declared in Windows as WM_MOVE

	Wm_moving: INTEGER is 534
			-- Declared in Windows as WM_MOVING

	Wm_ncactivate: INTEGER is 134
			-- Declared in Windows as WM_NCACTIVATE

	Wm_nccalcsize: INTEGER is 131
			-- Declared in Windows as WM_NCCALCSIZE

	Wm_nccreate: INTEGER is 129
			-- Declared in Windows as WM_NCCREATE

	Wm_ncdestroy: INTEGER is 130
			-- Declared in Windows as WM_NCDESTROY

	Wm_nchittest: INTEGER is 132
			-- Declared in Windows as WM_NCHITTEST

	Wm_nclbuttondblclk: INTEGER is 163
			-- Declared in Windows as WM_NCLBUTTONDBLCLK

	Wm_nclbuttondown: INTEGER is 161
			-- Declared in Windows as WM_NCLBUTTONDOWN

	Wm_nclbuttonup: INTEGER is 162
			-- Declared in Windows as WM_NCLBUTTONUP

	Wm_ncmbuttondblclk: INTEGER is 169
			-- Declared in Windows as WM_NCMBUTTONDBLCLK

	Wm_ncmbuttondown: INTEGER is 167
			-- Declared in Windows as WM_NCMBUTTONDOWN

	Wm_ncmbuttonup: INTEGER is 168
			-- Declared in Windows as WM_NCMBUTTONUP

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

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

	Wm_ncmousemove: INTEGER is 160
			-- Declared in Windows as WM_NCMOUSEMOVE

	Wm_ncpaint: INTEGER is 133
			-- Declared in Windows as WM_NCPAINT

	Wm_ncrbuttondblclk: INTEGER is 166
			-- Declared in Windows as WM_NCRBUTTONDBLCLK

	Wm_ncrbuttondown: INTEGER is 164
			-- Declared in Windows as WM_NCRBUTTONDOWN

	Wm_ncrbuttonup: INTEGER is 165
			-- Declared in Windows as WM_NCRBUTTONUP

	Wm_ncxbuttondblclk: INTEGER is 173
			-- Declared in Windows as WM_NCXBUTTONDBLCLK

	Wm_ncxbuttondown: INTEGER is 171
			-- Declared in Windows as WM_NCXBUTTONDOWN

	Wm_ncxbuttonup: INTEGER is 172
			-- Declared in Windows as WM_NCXBUTTONUP

	Wm_nextdlgctl: INTEGER is 40
			-- Declared in Windows as WM_NEXTDLGCTL

	Wm_nextmenu: INTEGER is 531
			-- Declared in Windows as WM_NEXTMENU

	Wm_notify: INTEGER is 78
			-- Declared in Windows as WM_NOTIFY

	Wm_notifyformat: INTEGER is 85
			-- Declared in Windows as WM_NOTIFYFORMAT

	Wm_null: INTEGER is 0
			-- Declared in Windows as WM_NULL

	Wm_paint: INTEGER is 15
			-- Declared in Windows as WM_PAINT

	Wm_paintclipboard: INTEGER is 777
			-- Declared in Windows as WM_PAINTCLIPBOARD

	Wm_painticon: INTEGER is 38
			-- Declared in Windows as WM_PAINTICON

	Wm_palettechanged: INTEGER is 785
			-- Declared in Windows as WM_PALETTECHANGED

	Wm_paletteischanging: INTEGER is 784
			-- Declared in Windows as WM_PALETTEISCHANGING

	Wm_parentnotify: INTEGER is 528
			-- Declared in Windows as WM_PARENTNOTIFY

	Wm_paste: INTEGER is 770
			-- Declared in Windows as WM_PASTE

	Wm_penwinfirst: INTEGER is 896
			-- Declared in Windows as WM_PENWINFIRST

	Wm_penwinlast: INTEGER is 911
			-- Declared in Windows as WM_PENWINLAST

	Wm_power: INTEGER is 72
			-- Declared in Windows as WM_POWER

	Wm_powerbroadcast: INTEGER is 536
			-- Declared in Windows as WM_POWERBROADCAST

	Wm_print: INTEGER is 791
			-- Declared in Windows as WM_PRINT

	Wm_printclient: INTEGER is 792
			-- Declared in Windows as WM_PRINTCLIENT

	Wm_querydragicon: INTEGER is 55
			-- Declared in Windows as WM_QUERYDRAGICON

	Wm_queryendsession: INTEGER is 17
			-- Declared in Windows as WM_QUERYENDSESSION

	Wm_querynewpalette: INTEGER is 783
			-- Declared in Windows as WM_QUERYNEWPALETTE

	Wm_queryopen: INTEGER is 19
			-- Declared in Windows as WM_QUERYOPEN

	Wm_queryuistate: INTEGER is 297
			-- Declared in Windows as WM_QUERYUISTATE

	Wm_queuesync: INTEGER is 35
			-- Declared in Windows as WM_QUEUESYNC

	Wm_quit: INTEGER is 18
			-- Declared in Windows as WM_QUIT

	Wm_rbuttondblclk: INTEGER is 518
			-- Declared in Windows as WM_RBUTTONDBLCLK

	Wm_rbuttondown: INTEGER is 516
			-- Declared in Windows as WM_RBUTTONDOWN

	Wm_rbuttonup: INTEGER is 517
			-- Declared in Windows as WM_RBUTTONUP

	Wm_renderallformats: INTEGER is 774
			-- Declared in Windows as WM_RENDERALLFORMATS

	Wm_renderformat: INTEGER is 773
			-- Declared in Windows as WM_RENDERFORMAT

	Wm_setcursor: INTEGER is 32
			-- Declared in Windows as WM_SETCURSOR

	Wm_setfocus: INTEGER is 7
			-- Declared in Windows as WM_SETFOCUS

	Wm_setfont: INTEGER is 48
			-- Declared in Windows as WM_SETFONT

	Wm_sethotkey: INTEGER is 50
			-- Declared in Windows as WM_SETHOTKEY

	Wm_seticon: INTEGER is 128
			-- Declared in Windows as WM_SETICON

	Wm_setredraw: INTEGER is 11
			-- Declared in Windows as WM_SETREDRAW

	Wm_settext: INTEGER is 12
			-- Declared in Windows as WM_SETTEXT

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

	Wm_showwindow: INTEGER is 24
			-- Declared in Windows as WM_SHOWWINDOW

	Wm_size: INTEGER is 5
			-- Declared in Windows as WM_SIZE

	Wm_sizeclipboard: INTEGER is 779
			-- Declared in Windows as WM_SIZECLIPBOARD

	Wm_sizing: INTEGER is 532
			-- Declared in Windows as WM_SIZING

	Wm_spoolerstatus: INTEGER is 42
			-- Declared in Windows as WM_SPOOLERSTATUS

	Wm_stylechanged: INTEGER is 125
			-- Declared in Windows as WM_STYLECHANGED

	Wm_stylechanging: INTEGER is 124
			-- Declared in Windows as WM_STYLECHANGING

	Wm_syncpaint: INTEGER is 136
			-- Declared in Windows as WM_SYNCPAINT

	Wm_syschar: INTEGER is 262
			-- Declared in Windows as WM_SYSCHAR

	Wm_syscolorchange: INTEGER is 21
			-- Declared in Windows as WM_SYSCOLORCHANGE

	Wm_syscommand: INTEGER is 274
			-- Declared in Windows as WM_SYSCOMMAND

	Wm_sysdeadchar: INTEGER is 263
			-- Declared in Windows as WM_SYSDEADCHAR

	Wm_syskeydown: INTEGER is 260
			-- Declared in Windows as WM_SYSKEYDOWN

	Wm_syskeyup: INTEGER is 261
			-- Declared in Windows as WM_SYSKEYUP

	Wm_tcard: INTEGER is 82
			-- Declared in Windows as WM_TCARD

	Wm_timechange: INTEGER is 30
			-- Declared in Windows as WM_TIMECHANGE

	Wm_timer: INTEGER is 275
			-- Declared in Windows as WM_TIMER

	Wm_undo: INTEGER is 772
			-- Declared in Windows as WM_UNDO

	Wm_uninitmenupopup: INTEGER is 293
			-- Declared in Windows as WM_UNINITMENUPOPUP

	Wm_updateuistate: INTEGER is 296
			-- Declared in Windows as WM_UPDATEUISTATE

	Wm_user: INTEGER is 1024
			-- Declared in Windows as WM_USER

	Wm_userchanged: INTEGER is 84
			-- Declared in Windows as WM_USERCHANGED

	Wm_vkeytoitem: INTEGER is 46
			-- Declared in Windows as WM_VKEYTOITEM

	Wm_vscroll: INTEGER is 277
			-- Declared in Windows as WM_VSCROLL

	Wm_vscrollclipboard: INTEGER is 778
			-- Declared in Windows as WM_VSCROLLCLIPBOARD

	Wm_windowposchanged: INTEGER is 71
			-- Declared in Windows as WM_WINDOWPOSCHANGED

	Wm_windowposchanging: INTEGER is 70
			-- Declared in Windows as WM_WINDOWPOSCHANGING

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

	Wm_xbuttondblclk: INTEGER is 525
			-- Declared in Windows as WM_XBUTTONDBLCLK

	Wm_xbuttondown: INTEGER is 523
			-- Declared in Windows as WM_XBUTTONDOWN

	Wm_xbuttonup: INTEGER is 524
			-- Declared in Windows as WM_XBUTTONUP
	
invariant

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

end -- class WEL_WM_CONSTANTS