///////////////////////////////////////////////////////////////////////////
// senf::scheduler::detail::TimerDispatcher
+prefix_ void senf::scheduler::detail::TimerDispatcher::enable()
+{
+ source_->enable();
+}
+
+prefix_ void senf::scheduler::detail::TimerDispatcher::disable()
+{
+ source_->disable();
+}
+
prefix_ bool senf::scheduler::detail::TimerDispatcher::empty()
const
{
return timers_.empty();
}
+prefix_ void senf::scheduler::detail::TimerDispatcher::
+setTimerSource(std::auto_ptr<TimerSource> timerSource)
+{
+ source_.reset(timerSource.release());
+}
+
///////////////////////////////cci.e///////////////////////////////////////
#undef prefix_