Packets: extended description of bad_cast exception in Packet.as()

[senf.git] / senf / Scheduler / TimerEvent.cci

diff --git a/senf/Scheduler/TimerEvent.cci b/senf/Scheduler/TimerEvent.cci
index 91f4055..b07ed90 100644 (file)
--- a/senf/Scheduler/TimerEvent.cci
+++ b/senf/Scheduler/TimerEvent.cci
@@ -29,9 +29,9 @@
 #include <unistd.h>
 
 #define prefix_ inline
-///////////////////////////////cci.p///////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 
-///////////////////////////////////////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 // senf::scheduler::TimerEvent
 
 prefix_ senf::scheduler::TimerEvent::TimerEvent(std::string const & name, Callback const & cb,
@@ -49,20 +49,20 @@ prefix_ senf::scheduler::TimerEvent::TimerEvent(std::string const & name, Callba
 
 prefix_ senf::scheduler::TimerEvent::~TimerEvent()
 {
-    if (senf::scheduler::detail::TimerDispatcher::alive())
+    if (detail::TimerDispatcher::alive())
         disable();
 }
 
 prefix_ void senf::scheduler::TimerEvent::enable()
 {
     if (! detail::TimerSetBase::linked())
-        senf::scheduler::detail::TimerDispatcher::instance().add(*this);
+        detail::TimerDispatcher::instance().add(*this);
 }
 
 prefix_ void senf::scheduler::TimerEvent::disable()
 {
     if (detail::TimerSetBase::linked())
-        senf::scheduler::detail::TimerDispatcher::instance().remove(*this);
+        detail::TimerDispatcher::instance().remove(*this);
 }
 
 prefix_ void senf::scheduler::TimerEvent::action(Callback const & cb)
@@ -85,7 +85,7 @@ prefix_ senf::ClockService::clock_type senf::scheduler::TimerEvent::timeout()
     return timeout_;
 }
 
-///////////////////////////////////////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 // senf::scheduler::detail::TimerDispatcher
 
 prefix_ void senf::scheduler::detail::TimerDispatcher::enable()
@@ -116,7 +116,7 @@ senf::scheduler::detail::TimerDispatcher::timerSource()
     return source_.get();
 }
 
-///////////////////////////////cci.e///////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 #undef prefix_
 
 \f