Automatic generation produced by ISE Eiffel
deferred class POLL_COMMAND General cluster: polling description: "A poll command for use with a medium poller." Ancestors ANY Queries active_medium: IO_MEDIUM Commands execute (arg: detachable ANY) make (s: [like active_medium] IO_MEDIUM) -- Generated by Eiffel Studio --
For more details: eiffel.org