class interface
	WEL_SOCKET_POLLER

create 

	make (a_window: WEL_WINDOW; a_timer_id: INTEGER)
			-- Create WEL_TIMER and socket_poller.
		require
			not_window_void: a_window /= void
		ensure
			window: parent_window = a_window
			id: timer_id = a_timer_id

	make_active (a_window: WEL_WINDOW; a_timer_id: INTEGER; a_delay: INTEGER)
			-- Enable timer and create active socket_poller.
		require
			not_window_void: a_window /= void
		ensure
			window: parent_window = a_window
			id: timer_id = a_timer_id
			poller_active: is_poller_active

feature -- Access

	message_information: WEL_MESSAGE_INFORMATION
			-- Information associated to the message
			-- (from WEL_COMMAND)

	Wm_activate: INTEGER is 6
			-- Declared in Windows as WM_ACTIVATE
			-- (from WEL_WM_CONSTANTS)

	Wm_activateapp: INTEGER is 28
			-- Declared in Windows as WM_ACTIVATEAPP
			-- (from WEL_WM_CONSTANTS)

	Wm_afxfirst: INTEGER is 864
			-- Declared in Windows as WM_AFXFIRST
			-- (from WEL_WM_CONSTANTS)

	Wm_afxlast: INTEGER is 895
			-- Declared in Windows as WM_AFXLAST
			-- (from WEL_WM_CONSTANTS)

	Wm_app: INTEGER is 32768
			-- Declared in Windows as WM_APP
			-- (from WEL_WM_CONSTANTS)

	Wm_appcommand: INTEGER is 793
			-- Declared in Windows as WM_APPCOMMAND
			-- (from WEL_WM_CONSTANTS)

	Wm_askcbformatname: INTEGER is 780
			-- Declared in Windows as WM_ASKCBFORMATNAME
			-- (from WEL_WM_CONSTANTS)

	Wm_canceljournal: INTEGER is 75
			-- Declared in Windows as WM_CANCELJOURNAL
			-- (from WEL_WM_CONSTANTS)

	Wm_cancelmode: INTEGER is 31
			-- Declared in Windows as WM_CANCELMODE
			-- (from WEL_WM_CONSTANTS)

	Wm_capturechanged: INTEGER is 533
			-- Declared in Windows as WM_CAPTURECHANGED
			-- (from WEL_WM_CONSTANTS)

	Wm_changecbchain: INTEGER is 781
			-- Declared in Windows as WM_CHANGECBCHAIN
			-- (from WEL_WM_CONSTANTS)

	Wm_changeuistate: INTEGER is 295
			-- Declared in Windows as WM_CHANGEUISTATE
			-- (from WEL_WM_CONSTANTS)

	Wm_char: INTEGER is 258
			-- Declared in Windows as WM_CHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_chartoitem: INTEGER is 47
			-- Declared in Windows as WM_CHARTOITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_childactivate: INTEGER is 34
			-- Declared in Windows as WM_CHILDACTIVATE
			-- (from WEL_WM_CONSTANTS)

	Wm_clear: INTEGER is 771
			-- Declared in Windows as WM_CLEAR
			-- (from WEL_WM_CONSTANTS)

	Wm_close: INTEGER is 16
			-- Declared in Windows as WM_CLOSE
			-- (from WEL_WM_CONSTANTS)

	Wm_command: INTEGER is 273
			-- Declared in Windows as WM_COMMAND
			-- (from WEL_WM_CONSTANTS)

	Wm_commnotify: INTEGER is 68
			-- Declared in Windows as WM_COMMNOTIFY
			-- (from WEL_WM_CONSTANTS)

	Wm_compacting: INTEGER is 65
			-- Declared in Windows as WM_COMPACTING
			-- (from WEL_WM_CONSTANTS)

	Wm_compareitem: INTEGER is 57
			-- Declared in Windows as WM_COMPAREITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_contextmenu: INTEGER is 123
			-- Declared in Windows as WM_CONTEXTMENU
			-- (from WEL_WM_CONSTANTS)

	Wm_copy: INTEGER is 769
			-- Declared in Windows as WM_COPY
			-- (from WEL_WM_CONSTANTS)

	Wm_copydata: INTEGER is 74
			-- Declared in Windows as WM_COPYDATA
			-- (from WEL_WM_CONSTANTS)

	Wm_create: INTEGER is 1
			-- Declared in Windows as WM_CREATE
			-- (from WEL_WM_CONSTANTS)

	Wm_cut: INTEGER is 768
			-- Declared in Windows as WM_CUT
			-- (from WEL_WM_CONSTANTS)

	Wm_deadchar: INTEGER is 259
			-- Declared in Windows as WM_DEADCHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_deleteitem: INTEGER is 45
			-- Declared in Windows as WM_DELETEITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_destroy: INTEGER is 2
			-- Declared in Windows as WM_DESTROY
			-- (from WEL_WM_CONSTANTS)

	Wm_destroyclipboard: INTEGER is 775
			-- Declared in Windows as WM_DESTROYCLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_devicechange: INTEGER is 537
			-- Declared in Windows as WM_DEVICECHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_devmodechange: INTEGER is 27
			-- Declared in Windows as WM_DEVMODECHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_displaychange: INTEGER is 126
			-- Declared in Windows as WM_DISPLAYCHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_drawclipboard: INTEGER is 776
			-- Declared in Windows as WM_DRAWCLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_drawitem: INTEGER is 43
			-- Declared in Windows as WM_DRAWITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_dropfiles: INTEGER is 563
			-- Declared in Windows as WM_DROPFILES
			-- (from WEL_WM_CONSTANTS)

	Wm_enable: INTEGER is 10
			-- Declared in Windows as WM_ENABLE
			-- (from WEL_WM_CONSTANTS)

	Wm_endsession: INTEGER is 22
			-- Declared in Windows as WM_ENDSESSION
			-- (from WEL_WM_CONSTANTS)

	Wm_enteridle: INTEGER is 289
			-- Declared in Windows as WM_ENTERIDLE
			-- (from WEL_WM_CONSTANTS)

	Wm_entermenuloop: INTEGER is 529
			-- Declared in Windows as WM_ENTERMENULOOP
			-- (from WEL_WM_CONSTANTS)

	Wm_entersizemove: INTEGER is 561
			-- Declared in Windows as WM_ENTERSIZEMOVE
			-- (from WEL_WM_CONSTANTS)

	Wm_erasebkgnd: INTEGER is 20
			-- Declared in Windows as WM_ERASEBKGND
			-- (from WEL_WM_CONSTANTS)

	Wm_exitmenuloop: INTEGER is 530
			-- Declared in Windows as WM_EXITMENULOOP
			-- (from WEL_WM_CONSTANTS)

	Wm_exitsizemove: INTEGER is 562
			-- Declared in Windows as WM_EXITSIZEMOVE
			-- (from WEL_WM_CONSTANTS)

	Wm_fontchange: INTEGER is 29
			-- Declared in Windows as WM_FONTCHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_getdlgcode: INTEGER is 135
			-- Declared in Windows as WM_GETDLGCODE
			-- (from WEL_WM_CONSTANTS)

	Wm_getfont: INTEGER is 49
			-- Declared in Windows as WM_GETFONT
			-- (from WEL_WM_CONSTANTS)

	Wm_gethotkey: INTEGER is 51
			-- Declared in Windows as WM_GETHOTKEY
			-- (from WEL_WM_CONSTANTS)

	Wm_geticon: INTEGER is 127
			-- Declared in Windows as WM_GETICON
			-- (from WEL_WM_CONSTANTS)

	Wm_getminmaxinfo: INTEGER is 36
			-- Declared in Windows as WM_GETMINMAXINFO
			-- (from WEL_WM_CONSTANTS)

	Wm_getobject: INTEGER is 61
			-- Declared in Windows as WM_GETOBJECT
			-- (from WEL_WM_CONSTANTS)

	Wm_gettext: INTEGER is 13
			-- Declared in Windows as WM_GETTEXT
			-- (from WEL_WM_CONSTANTS)

	Wm_gettextlength: INTEGER is 14
			-- Declared in Windows as WM_GETTEXTLENGTH
			-- (from WEL_WM_CONSTANTS)

	Wm_handheldfirst: INTEGER is 856
			-- Declared in Windows as WM_HANDHELDFIRST
			-- (from WEL_WM_CONSTANTS)

	Wm_handheldlast: INTEGER is 863
			-- Declared in Windows as WM_HANDHELDLAST
			-- (from WEL_WM_CONSTANTS)

	Wm_help: INTEGER is 83
			-- Declared in Windows as WM_HELP
			-- (from WEL_WM_CONSTANTS)

	Wm_hotkey: INTEGER is 786
			-- Declared in Windows as WM_HOTKEY
			-- (from WEL_WM_CONSTANTS)

	Wm_hscroll: INTEGER is 276
			-- Declared in Windows as WM_HSCROLL
			-- (from WEL_WM_CONSTANTS)

	Wm_hscrollclipboard: INTEGER is 782
			-- Declared in Windows as WM_HSCROLLCLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_iconerasebkgnd: INTEGER is 39
			-- Declared in Windows as WM_ICONERASEBKGND
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_char: INTEGER is 646
			-- Declared in Windows as WM_IME_CHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_composition: INTEGER is 271
			-- Declared in Windows as WM_IME_COMPOSITION
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_compositionfull: INTEGER is 644
			-- Declared in Windows as WM_IME_COMPOSITIONFULL
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_control: INTEGER is 643
			-- Declared in Windows as WM_IME_CONTROL
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_endcomposition: INTEGER is 270
			-- Declared in Windows as WM_IME_ENDCOMPOSITION
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_keydown: INTEGER is 656
			-- Declared in Windows as WM_IME_KEYDOWN
			-- (from WEL_WM_CONSTANTS)

	wm_ime_keylast: INTEGER
			-- Declared in Windows as WM_IME_KEYLAST
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_keyup: INTEGER is 657
			-- Declared in Windows as WM_IME_KEYUP
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_notify: INTEGER is 642
			-- Declared in Windows as WM_IME_NOTIFY
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_request: INTEGER is 648
			-- Declared in Windows as WM_IME_REQUEST
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_select: INTEGER is 645
			-- Declared in Windows as WM_IME_SELECT
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_setcontext: INTEGER is 641
			-- Declared in Windows as WM_IME_SETCONTEXT
			-- (from WEL_WM_CONSTANTS)

	Wm_ime_startcomposition: INTEGER is 269
			-- Declared in Windows as WM_IME_STARTCOMPOSITION
			-- (from WEL_WM_CONSTANTS)

	Wm_initdialog: INTEGER is 272
			-- Declared in Windows as WM_INITDIALOG
			-- (from WEL_WM_CONSTANTS)

	Wm_initmenu: INTEGER is 278
			-- Declared in Windows as WM_INITMENU
			-- (from WEL_WM_CONSTANTS)

	Wm_initmenupopup: INTEGER is 279
			-- Declared in Windows as WM_INITMENUPOPUP
			-- (from WEL_WM_CONSTANTS)

	Wm_inputlangchange: INTEGER is 81
			-- Declared in Windows as WM_INPUTLANGCHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_inputlangchangerequest: INTEGER is 80
			-- Declared in Windows as WM_INPUTLANGCHANGEREQUEST
			-- (from WEL_WM_CONSTANTS)

	Wm_keydown: INTEGER is 256
			-- Declared in Windows as WM_KEYDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_keyfirst: INTEGER is 256
			-- Declared in Windows as WM_KEYFIRST
			-- (from WEL_WM_CONSTANTS)

	wm_keylast: INTEGER
			-- Declared in Windows as WM_KEYLAST
			-- (from WEL_WM_CONSTANTS)

	Wm_keyup: INTEGER is 257
			-- Declared in Windows as WM_KEYUP
			-- (from WEL_WM_CONSTANTS)

	Wm_killfocus: INTEGER is 8
			-- Declared in Windows as WM_KILLFOCUS
			-- (from WEL_WM_CONSTANTS)

	Wm_lbuttondblclk: INTEGER is 515
			-- Declared in Windows as WM_LBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_lbuttondown: INTEGER is 513
			-- Declared in Windows as WM_LBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_lbuttonup: INTEGER is 514
			-- Declared in Windows as WM_LBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_mbuttondblclk: INTEGER is 521
			-- Declared in Windows as WM_MBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_mbuttondown: INTEGER is 519
			-- Declared in Windows as WM_MBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_mbuttonup: INTEGER is 520
			-- Declared in Windows as WM_MBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_mdiactivate: INTEGER is 546
			-- Declared in Windows as WM_MDIACTIVATE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdicascade: INTEGER is 551
			-- Declared in Windows as WM_MDICASCADE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdicreate: INTEGER is 544
			-- Declared in Windows as WM_MDICREATE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdidestroy: INTEGER is 545
			-- Declared in Windows as WM_MDIDESTROY
			-- (from WEL_WM_CONSTANTS)

	Wm_mdigetactive: INTEGER is 553
			-- Declared in Windows as WM_MDIGETACTIVE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdiiconarrange: INTEGER is 552
			-- Declared in Windows as WM_MDIICONARRANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdimaximize: INTEGER is 549
			-- Declared in Windows as WM_MDIMAXIMIZE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdinext: INTEGER is 548
			-- Declared in Windows as WM_MDINEXT
			-- (from WEL_WM_CONSTANTS)

	Wm_mdirefreshmenu: INTEGER is 564
			-- Declared in Windows as WM_MDIREFRESHMENU
			-- (from WEL_WM_CONSTANTS)

	Wm_mdirestore: INTEGER is 547
			-- Declared in Windows as WM_MDIRESTORE
			-- (from WEL_WM_CONSTANTS)

	Wm_mdisetmenu: INTEGER is 560
			-- Declared in Windows as WM_MDISETMENU
			-- (from WEL_WM_CONSTANTS)

	Wm_mditile: INTEGER is 550
			-- Declared in Windows as WM_MDITILE
			-- (from WEL_WM_CONSTANTS)

	Wm_measureitem: INTEGER is 44
			-- Declared in Windows as WM_MEASUREITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_menuchar: INTEGER is 288
			-- Declared in Windows as WM_MENUCHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_menucommand: INTEGER is 294
			-- Declared in Windows as WM_MENUCOMMAND
			-- (from WEL_WM_CONSTANTS)

	Wm_menudrag: INTEGER is 291
			-- Declared in Windows as WM_MENUDRAG
			-- (from WEL_WM_CONSTANTS)

	Wm_menugetobject: INTEGER is 292
			-- Declared in Windows as WM_MENUGETOBJECT
			-- (from WEL_WM_CONSTANTS)

	Wm_menurbuttonup: INTEGER is 290
			-- Declared in Windows as WM_MENURBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_menuselect: INTEGER is 287
			-- Declared in Windows as WM_MENUSELECT
			-- (from WEL_WM_CONSTANTS)

	Wm_mouseactivate: INTEGER is 33
			-- Declared in Windows as WM_MOUSEACTIVATE
			-- (from WEL_WM_CONSTANTS)

	Wm_mousefirst: INTEGER is 512
			-- Declared in Windows as WM_MOUSEFIRST
			-- (from WEL_WM_CONSTANTS)

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

	wm_mouselast: INTEGER
			-- Declared in Windows as WM_MOUSELAST
			-- (from WEL_WM_CONSTANTS)

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

	Wm_mousemove: INTEGER is 512
			-- Declared in Windows as WM_MOUSEMOVE
			-- (from WEL_WM_CONSTANTS)

	Wm_mousewheel: INTEGER is 522
			-- Declared in Windows as WM_MOUSEWHEEL
			-- (from WEL_WM_CONSTANTS)

	Wm_move: INTEGER is 3
			-- Declared in Windows as WM_MOVE
			-- (from WEL_WM_CONSTANTS)

	Wm_moving: INTEGER is 534
			-- Declared in Windows as WM_MOVING
			-- (from WEL_WM_CONSTANTS)

	Wm_ncactivate: INTEGER is 134
			-- Declared in Windows as WM_NCACTIVATE
			-- (from WEL_WM_CONSTANTS)

	Wm_nccalcsize: INTEGER is 131
			-- Declared in Windows as WM_NCCALCSIZE
			-- (from WEL_WM_CONSTANTS)

	Wm_nccreate: INTEGER is 129
			-- Declared in Windows as WM_NCCREATE
			-- (from WEL_WM_CONSTANTS)

	Wm_ncdestroy: INTEGER is 130
			-- Declared in Windows as WM_NCDESTROY
			-- (from WEL_WM_CONSTANTS)

	Wm_nchittest: INTEGER is 132
			-- Declared in Windows as WM_NCHITTEST
			-- (from WEL_WM_CONSTANTS)

	Wm_nclbuttondblclk: INTEGER is 163
			-- Declared in Windows as WM_NCLBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_nclbuttondown: INTEGER is 161
			-- Declared in Windows as WM_NCLBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_nclbuttonup: INTEGER is 162
			-- Declared in Windows as WM_NCLBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_ncmbuttondblclk: INTEGER is 169
			-- Declared in Windows as WM_NCMBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_ncmbuttondown: INTEGER is 167
			-- Declared in Windows as WM_NCMBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_ncmbuttonup: INTEGER is 168
			-- Declared in Windows as WM_NCMBUTTONUP
			-- (from WEL_WM_CONSTANTS)

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

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

	Wm_ncmousemove: INTEGER is 160
			-- Declared in Windows as WM_NCMOUSEMOVE
			-- (from WEL_WM_CONSTANTS)

	Wm_ncpaint: INTEGER is 133
			-- Declared in Windows as WM_NCPAINT
			-- (from WEL_WM_CONSTANTS)

	Wm_ncrbuttondblclk: INTEGER is 166
			-- Declared in Windows as WM_NCRBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_ncrbuttondown: INTEGER is 164
			-- Declared in Windows as WM_NCRBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_ncrbuttonup: INTEGER is 165
			-- Declared in Windows as WM_NCRBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_ncxbuttondblclk: INTEGER is 173
			-- Declared in Windows as WM_NCXBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_ncxbuttondown: INTEGER is 171
			-- Declared in Windows as WM_NCXBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_ncxbuttonup: INTEGER is 172
			-- Declared in Windows as WM_NCXBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_nextdlgctl: INTEGER is 40
			-- Declared in Windows as WM_NEXTDLGCTL
			-- (from WEL_WM_CONSTANTS)

	Wm_nextmenu: INTEGER is 531
			-- Declared in Windows as WM_NEXTMENU
			-- (from WEL_WM_CONSTANTS)

	Wm_notify: INTEGER is 78
			-- Declared in Windows as WM_NOTIFY
			-- (from WEL_WM_CONSTANTS)

	Wm_notifyformat: INTEGER is 85
			-- Declared in Windows as WM_NOTIFYFORMAT
			-- (from WEL_WM_CONSTANTS)

	Wm_null: INTEGER is 0
			-- Declared in Windows as WM_NULL
			-- (from WEL_WM_CONSTANTS)

	Wm_paint: INTEGER is 15
			-- Declared in Windows as WM_PAINT
			-- (from WEL_WM_CONSTANTS)

	Wm_paintclipboard: INTEGER is 777
			-- Declared in Windows as WM_PAINTCLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_painticon: INTEGER is 38
			-- Declared in Windows as WM_PAINTICON
			-- (from WEL_WM_CONSTANTS)

	Wm_palettechanged: INTEGER is 785
			-- Declared in Windows as WM_PALETTECHANGED
			-- (from WEL_WM_CONSTANTS)

	Wm_paletteischanging: INTEGER is 784
			-- Declared in Windows as WM_PALETTEISCHANGING
			-- (from WEL_WM_CONSTANTS)

	Wm_parentnotify: INTEGER is 528
			-- Declared in Windows as WM_PARENTNOTIFY
			-- (from WEL_WM_CONSTANTS)

	Wm_paste: INTEGER is 770
			-- Declared in Windows as WM_PASTE
			-- (from WEL_WM_CONSTANTS)

	Wm_penwinfirst: INTEGER is 896
			-- Declared in Windows as WM_PENWINFIRST
			-- (from WEL_WM_CONSTANTS)

	Wm_penwinlast: INTEGER is 911
			-- Declared in Windows as WM_PENWINLAST
			-- (from WEL_WM_CONSTANTS)

	Wm_power: INTEGER is 72
			-- Declared in Windows as WM_POWER
			-- (from WEL_WM_CONSTANTS)

	Wm_powerbroadcast: INTEGER is 536
			-- Declared in Windows as WM_POWERBROADCAST
			-- (from WEL_WM_CONSTANTS)

	Wm_print: INTEGER is 791
			-- Declared in Windows as WM_PRINT
			-- (from WEL_WM_CONSTANTS)

	Wm_printclient: INTEGER is 792
			-- Declared in Windows as WM_PRINTCLIENT
			-- (from WEL_WM_CONSTANTS)

	Wm_querydragicon: INTEGER is 55
			-- Declared in Windows as WM_QUERYDRAGICON
			-- (from WEL_WM_CONSTANTS)

	Wm_queryendsession: INTEGER is 17
			-- Declared in Windows as WM_QUERYENDSESSION
			-- (from WEL_WM_CONSTANTS)

	Wm_querynewpalette: INTEGER is 783
			-- Declared in Windows as WM_QUERYNEWPALETTE
			-- (from WEL_WM_CONSTANTS)

	Wm_queryopen: INTEGER is 19
			-- Declared in Windows as WM_QUERYOPEN
			-- (from WEL_WM_CONSTANTS)

	Wm_queryuistate: INTEGER is 297
			-- Declared in Windows as WM_QUERYUISTATE
			-- (from WEL_WM_CONSTANTS)

	Wm_queuesync: INTEGER is 35
			-- Declared in Windows as WM_QUEUESYNC
			-- (from WEL_WM_CONSTANTS)

	Wm_quit: INTEGER is 18
			-- Declared in Windows as WM_QUIT
			-- (from WEL_WM_CONSTANTS)

	Wm_rbuttondblclk: INTEGER is 518
			-- Declared in Windows as WM_RBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_rbuttondown: INTEGER is 516
			-- Declared in Windows as WM_RBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_rbuttonup: INTEGER is 517
			-- Declared in Windows as WM_RBUTTONUP
			-- (from WEL_WM_CONSTANTS)

	Wm_renderallformats: INTEGER is 774
			-- Declared in Windows as WM_RENDERALLFORMATS
			-- (from WEL_WM_CONSTANTS)

	Wm_renderformat: INTEGER is 773
			-- Declared in Windows as WM_RENDERFORMAT
			-- (from WEL_WM_CONSTANTS)

	Wm_setcursor: INTEGER is 32
			-- Declared in Windows as WM_SETCURSOR
			-- (from WEL_WM_CONSTANTS)

	Wm_setfocus: INTEGER is 7
			-- Declared in Windows as WM_SETFOCUS
			-- (from WEL_WM_CONSTANTS)

	Wm_setfont: INTEGER is 48
			-- Declared in Windows as WM_SETFONT
			-- (from WEL_WM_CONSTANTS)

	Wm_sethotkey: INTEGER is 50
			-- Declared in Windows as WM_SETHOTKEY
			-- (from WEL_WM_CONSTANTS)

	Wm_seticon: INTEGER is 128
			-- Declared in Windows as WM_SETICON
			-- (from WEL_WM_CONSTANTS)

	Wm_setredraw: INTEGER is 11
			-- Declared in Windows as WM_SETREDRAW
			-- (from WEL_WM_CONSTANTS)

	Wm_settext: INTEGER is 12
			-- Declared in Windows as WM_SETTEXT
			-- (from WEL_WM_CONSTANTS)

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

	Wm_showwindow: INTEGER is 24
			-- Declared in Windows as WM_SHOWWINDOW
			-- (from WEL_WM_CONSTANTS)

	Wm_size: INTEGER is 5
			-- Declared in Windows as WM_SIZE
			-- (from WEL_WM_CONSTANTS)

	Wm_sizeclipboard: INTEGER is 779
			-- Declared in Windows as WM_SIZECLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_sizing: INTEGER is 532
			-- Declared in Windows as WM_SIZING
			-- (from WEL_WM_CONSTANTS)

	Wm_spoolerstatus: INTEGER is 42
			-- Declared in Windows as WM_SPOOLERSTATUS
			-- (from WEL_WM_CONSTANTS)

	Wm_stylechanged: INTEGER is 125
			-- Declared in Windows as WM_STYLECHANGED
			-- (from WEL_WM_CONSTANTS)

	Wm_stylechanging: INTEGER is 124
			-- Declared in Windows as WM_STYLECHANGING
			-- (from WEL_WM_CONSTANTS)

	Wm_syncpaint: INTEGER is 136
			-- Declared in Windows as WM_SYNCPAINT
			-- (from WEL_WM_CONSTANTS)

	Wm_syschar: INTEGER is 262
			-- Declared in Windows as WM_SYSCHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_syscolorchange: INTEGER is 21
			-- Declared in Windows as WM_SYSCOLORCHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_syscommand: INTEGER is 274
			-- Declared in Windows as WM_SYSCOMMAND
			-- (from WEL_WM_CONSTANTS)

	Wm_sysdeadchar: INTEGER is 263
			-- Declared in Windows as WM_SYSDEADCHAR
			-- (from WEL_WM_CONSTANTS)

	Wm_syskeydown: INTEGER is 260
			-- Declared in Windows as WM_SYSKEYDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_syskeyup: INTEGER is 261
			-- Declared in Windows as WM_SYSKEYUP
			-- (from WEL_WM_CONSTANTS)

	Wm_tcard: INTEGER is 82
			-- Declared in Windows as WM_TCARD
			-- (from WEL_WM_CONSTANTS)

	Wm_timechange: INTEGER is 30
			-- Declared in Windows as WM_TIMECHANGE
			-- (from WEL_WM_CONSTANTS)

	Wm_timer: INTEGER is 275
			-- Declared in Windows as WM_TIMER
			-- (from WEL_WM_CONSTANTS)

	Wm_undo: INTEGER is 772
			-- Declared in Windows as WM_UNDO
			-- (from WEL_WM_CONSTANTS)

	Wm_uninitmenupopup: INTEGER is 293
			-- Declared in Windows as WM_UNINITMENUPOPUP
			-- (from WEL_WM_CONSTANTS)

	Wm_updateuistate: INTEGER is 296
			-- Declared in Windows as WM_UPDATEUISTATE
			-- (from WEL_WM_CONSTANTS)

	Wm_user: INTEGER is 1024
			-- Declared in Windows as WM_USER
			-- (from WEL_WM_CONSTANTS)

	Wm_userchanged: INTEGER is 84
			-- Declared in Windows as WM_USERCHANGED
			-- (from WEL_WM_CONSTANTS)

	Wm_vkeytoitem: INTEGER is 46
			-- Declared in Windows as WM_VKEYTOITEM
			-- (from WEL_WM_CONSTANTS)

	Wm_vscroll: INTEGER is 277
			-- Declared in Windows as WM_VSCROLL
			-- (from WEL_WM_CONSTANTS)

	Wm_vscrollclipboard: INTEGER is 778
			-- Declared in Windows as WM_VSCROLLCLIPBOARD
			-- (from WEL_WM_CONSTANTS)

	Wm_windowposchanged: INTEGER is 71
			-- Declared in Windows as WM_WINDOWPOSCHANGED
			-- (from WEL_WM_CONSTANTS)

	Wm_windowposchanging: INTEGER is 70
			-- Declared in Windows as WM_WINDOWPOSCHANGING
			-- (from WEL_WM_CONSTANTS)

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

	Wm_xbuttondblclk: INTEGER is 525
			-- Declared in Windows as WM_XBUTTONDBLCLK
			-- (from WEL_WM_CONSTANTS)

	Wm_xbuttondown: INTEGER is 523
			-- Declared in Windows as WM_XBUTTONDOWN
			-- (from WEL_WM_CONSTANTS)

	Wm_xbuttonup: INTEGER is 524
			-- Declared in Windows as WM_XBUTTONUP
			-- (from WEL_WM_CONSTANTS)
	
feature -- Element change

	set_message_information (mi: WEL_MESSAGE_INFORMATION)
			-- Set message_information with mi.
			-- (from WEL_COMMAND)
		ensure -- from WEL_COMMAND
			message_information_set: message_information = mi
	
feature -- Activation

	is_auto_discard: BOOLEAN
			-- Subscription is removed at call-back.
			-- (from SOCKET_POLLER)

	is_poll_all: BOOLEAN
			-- Are all subscribed socket polled at each timer call-
			-- back or just one?
			-- (from SOCKET_POLLER)

	is_poller_active: BOOLEAN
			-- Is the poller active?

	set_active (a_delay: INTEGER)
			-- Set a_poll_delay to delay_time.
		require -- from SOCKET_POLLER
			a_poll_delay_positive_and_not_null: a_poll_delay > 0
			poller_inactive: not is_poller_active

	set_auto_discard
			-- Poller will call back only once.
			-- (from SOCKET_POLLER)

	set_inactive
			-- Stop polling the socket.
		require -- from SOCKET_POLLER
			poller_active: is_poller_active

	set_no_discard
			-- Subsciption to polling remains after call-back.
			-- (from SOCKET_POLLER)

	set_poll_all
			-- All subscribed sockets will be polled at each poll
			-- delay.
			-- (from SOCKET_POLLER)

	set_poll_one
			-- Only one subscribed listening socket and one service
			-- socket will be polled at each poll delay (if present).
			-- (from SOCKET_POLLER)
	
feature -- Creation

	poller_make
			-- Create internal structure of poller.
			-- (from SOCKET_POLLER)

	poller_make_active (a_poll_delay: INTEGER)
			-- Create active poller with a_poll_delay time
			-- quantum (in milliseconds).
			-- (from SOCKET_POLLER)
	
feature -- Execute

	execute (arg: ANY)
			-- Poll the socket.
	
feature -- Initialisation

	make (a_window: WEL_WINDOW; a_timer_id: INTEGER)
			-- Create WEL_TIMER and socket_poller.
		require
			not_window_void: a_window /= void
		ensure
			window: parent_window = a_window
			id: timer_id = a_timer_id

	make_active (a_window: WEL_WINDOW; a_timer_id: INTEGER; a_delay: INTEGER)
			-- Enable timer and create active socket_poller.
		require
			not_window_void: a_window /= void
		ensure
			window: parent_window = a_window
			id: timer_id = a_timer_id
			poller_active: is_poller_active
	
feature -- Subscription

	add_accept_call_back (a_stream_socket: STREAM_SOCKET; a_command: POLL_COMMAND; an_argument: ANY)
			-- Set command	a_command to be called when
			-- a_stream_socket is connected.
			-- (from SOCKET_POLLER)
		require -- from SOCKET_POLLER
			stream_socket_open_read: a_stream_socket.is_open_read
			command_not_void: a_command /= void

	add_readable_call_back (a_socket: SOCKET; a_command: POLL_COMMAND; an_argument: ANY)
			-- Set command	a_command to be called when
			-- a_socket is readable.
			-- (from SOCKET_POLLER)
		require -- from SOCKET_POLLER
			socket_open_read: a_socket.is_open_read
			command_not_void: a_command /= void

	remove_accept_call_back (a_stream_socket: STREAM_SOCKET)
			-- Remove socket a_stream_socket from call-back list.
			-- (from SOCKET_POLLER)

	remove_readable_call_back (a_socket: SOCKET)
			-- Remove socket a_socket from call-back list.
			-- (from SOCKET_POLLER)

	wipe_out_all_call_backs
			-- Remove all socket call_backs from poller.
			-- (from SOCKET_POLLER)
	
invariant

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

end -- class WEL_SOCKET_POLLER