Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org