demux_win_timer_queue.hpp
00001 #line 3 "./lpsrc/flx_wintimer_demux.ipk"
00002 #ifndef __FLX_DEMUX_WIN_TIMER_QUEUE_H__
00003 #define __FLX_DEMUX_WIN_TIMER_QUEUE_H__
00004
00005 #include "flx_demux_config.hpp"
00006 #include <Windows.h>
00007
00008 #include "demux_timer_queue.hpp"
00009
00010 namespace flx { namespace demux {
00011
00012 class DEMUX_EXTERN win_timer_queue : public timer_queue
00013 {
00014 HANDLE timer_queue;
00015
00016 static VOID CALLBACK timer_callback(PVOID, BOOLEAN);
00017 public:
00018 win_timer_queue();
00019 ~win_timer_queue();
00020
00021 virtual void add_sleep_request(sleep_task* st, double delta);
00022 virtual void add_abs_sleep_request(sleep_task* st, double when);
00023
00024 };
00025
00026 }}
00027
00028 #endif // __SLEEP_TASK__
00029