    deferred class
    	SOCKET_POLLER

    General
    	cluster: polling
    	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_32)
    	remove_accept_call_back (a_stream_socket: STREAM_SOCKET)
    	remove_readable_call_back (a_socket: SOCKET)
    	set_active (a_poll_delay: INTEGER_32)
    	set_auto_discard
    	set_inactive
    	set_no_discard
    	set_poll_all
    	set_poll_one
    	wipe_out_all_call_backs