deferred class
	SOCKET_POLLER

General
	cluster: net.polling.abstract
	description: "Asynchronous socket polling, timer-based."

Ancestors
	ANY

Queries
	is_auto_discard: BOOLEAN
	is_poll_all: BOOLEAN
	is_poller_active: BOOLEAN

Commands
	add_accept_call_back (a_stream_socket: STREAM_SOCKET; a_command: POLL_COMMAND; an_argument: ANY)
	add_readable_call_back (a_socket: SOCKET; a_command: POLL_COMMAND; an_argument: ANY)
	make
	make_active (a_poll_delay: INTEGER)
	remove_accept_call_back (a_stream_socket: STREAM_SOCKET)
	remove_readable_call_back (a_socket: SOCKET)
	set_active (a_poll_delay: INTEGER)
	set_auto_discard
	set_inactive
	set_no_discard
	set_poll_all
	set_poll_one
	wipe_out_all_call_backs