// public members
-prefix_ senf::Scheduler::Scheduler & senf::Scheduler::instance()
+prefix_ senf::ClockService::clock_type senf::scheduler::eventTime()
{
- static Scheduler instance;
- return instance;
+ return scheduler::detail::FdManager::instance().eventTime();
}
-prefix_ void senf::Scheduler::terminate()
+prefix_ void senf::scheduler::taskTimeout(unsigned ms)
{
- terminate_ = true;
+ scheduler::detail::FIFORunner::instance().taskTimeout(ms);
}
-prefix_ senf::ClockService::clock_type senf::Scheduler::eventTime()
- const
+prefix_ unsigned senf::scheduler::taskTimeout()
{
- return scheduler::FdManager::instance().eventTime();
+ return scheduler::detail::FIFORunner::instance().taskTimeout();
}
-prefix_ void senf::Scheduler::taskTimeout(unsigned ms)
+prefix_ unsigned senf::scheduler::hangCount()
{
- scheduler::FIFORunner::instance().taskTimeout(ms);
+ return scheduler::detail::FIFORunner::instance().hangCount();
}
-prefix_ unsigned senf::Scheduler::taskTimeout()
- const
-{
- return scheduler::FIFORunner::instance().taskTimeout();
-}
-
-prefix_ unsigned senf::Scheduler::hangCount()
- const
-{
- return scheduler::FIFORunner::instance().hangCount();
-}
-
-prefix_ senf::Scheduler::Scheduler()
- : terminate_ (false)
-{}
-
///////////////////////////////cci.e///////////////////////////////////////
#undef prefix_