faio_timer.hpp
00001 #line 4 "./lpsrc/flx_timer.ipk"
00002 #ifndef __FLX_FAIO_TIMER_H__
00003 #define __FLX_FAIO_TIMER_H__
00004 #include <flx_faio_config.hpp>
00005
00006 #include "demux_demuxer.hpp"
00007 #include "faio_asyncio.hpp"
00008 #include "demux_timer_queue.hpp"
00009
00010 #include "flx_rtl.hpp"
00011
00012 namespace flx { namespace faio {
00013
00014
00015
00016 class FAIO_EXTERN sleep_request
00017 : public flx_driver_request_base, public demux::sleep_task
00018 {
00019 demux::timer_queue *sleepers;
00020 double delta;
00021 public:
00022 sleep_request() {}
00023
00024 sleep_request(demux::timer_queue *sleepers_a, double d) :
00025 sleepers(sleepers_a), delta(d)
00026 {}
00027
00028
00029 bool start_async_op_impl();
00030
00031 void fire();
00032
00033 };
00034
00035 }}
00036 #endif
00037