1: #line 4 "./lpsrc/flx_timer.ipk"
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12: namespace flx { namespace faio {
13:
14:
15:
16: class FAIO_EXTERN sleep_request
17: : public flx_driver_request_base, public demux::sleep_task
18: {
19: demux::timer_queue *sleepers;
20: double delta;
21: public:
22: sleep_request() {}
23:
24: sleep_request(demux::timer_queue *sleepers_a, double d) :
25: sleepers(sleepers_a), delta(d)
26: {}
27:
28:
29: bool start_async_op_impl();
30:
31: void fire();
32:
33: };
34:
35: }}
36:
37:
1: #line 42 "./lpsrc/flx_timer.ipk"
2:
3:
4: using namespace flx::demux;
5: namespace flx { namespace faio {
6: bool
7: sleep_request::start_async_op_impl()
8: {
9:
10: sleepers->add_sleep_request(this, delta);
11: return false;
12: }
13:
14: void sleep_request::fire() {
15:
16: notify_finished();
17: }
18:
19: }}
20:
21: