Scheduler: Remove obsolete 'Scheduler' class
[senf.git] / Scheduler / Scheduler.cci
index 7fe4f53..1e69ee1 100644 (file)
 
 // 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_