indexing
	description: "A poll command for use with a medium poller."
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	POLL_COMMAND

feature -- Access

	active_medium: IO_MEDIUM
			-- Medium which was polled
	
feature -- Basic operation

	execute (arg: ANY)
			-- do the work of the command
	
feature -- Initalization

	make (s: like active_medium)
		require
			socket_open: s /= void and then not s.is_closed
		ensure
			socket_assigned: s = active_medium
	
invariant

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

end -- class POLL_COMMAND