[PPL-devel] [GIT] ppl/ppl(master): Cater for systems where setitimer() is not provided (part 1).

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 9bdd6617be52573d3252687844d32001e671a126
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bdd6617be52573d3252687844d32001e671a126

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Feb 17 11:56:08 2010 +0100

Cater for systems where setitimer() is not provided (part 1).

---

 Watchdog/src/Watchdog.defs.hh    |    4 ++++
 Watchdog/src/Watchdog.inlines.hh |   32 ++++++++++++++++++++++++++++----
 2 files changed, 32 insertions(+), 4 deletions(-)

diff --git a/Watchdog/src/Watchdog.defs.hh b/Watchdog/src/Watchdog.defs.hh
index eace4b3..3b1b3ba 100644
--- a/Watchdog/src/Watchdog.defs.hh
+++ b/Watchdog/src/Watchdog.defs.hh
@@ -61,6 +61,8 @@ public:
   //! Destructor.
   ~Watchdog();
 
+#if HAVE_DECL_SETITIMER
+
 private:
   typedef Pending_List<Watchdog_Traits> WD_Pending_List;
   friend class Init;
@@ -130,6 +132,8 @@ private:
   static volatile bool in_critical_section;
 
   friend void PWL_handle_timeout(int signum);
+
+#endif // HAVE_DECL_SETITIMER
 };
 
 class Init {
diff --git a/Watchdog/src/Watchdog.inlines.hh b/Watchdog/src/Watchdog.inlines.hh
index 47340fc..a24dd35 100644
--- a/Watchdog/src/Watchdog.inlines.hh
+++ b/Watchdog/src/Watchdog.inlines.hh
@@ -29,10 +29,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 namespace Parma_Watchdog_Library {
 
-inline void
-Watchdog::reschedule() {
-  set_timer(reschedule_time);
-}
+#if HAVE_DECL_SETITIMER
 
 template <typename Flag_Base, typename Flag>
 Watchdog::Watchdog(unsigned int units,
@@ -58,6 +55,33 @@ Watchdog::Watchdog(unsigned int units, void (*function)())
   in_critical_section = false;
 }
 
+inline void
+Watchdog::reschedule() {
+  set_timer(reschedule_time);
+}
+
+#else // !HAVE_DECL_SETITIMER
+
+template <typename Flag_Base, typename Flag>
+Watchdog::Watchdog(unsigned int units,
+		   const Flag_Base* volatile& holder, Flag& flag) {
+  used(units);
+  used(holder);
+  used(flag);
+  throw std::runtime_error("PWL::Watchdog objects not supported:"
+                           " system does not provide setitimer()");
+}
+
+inline
+Watchdog::Watchdog(unsigned int units, void (*function)()) {
+  used(units);
+  used(function);
+  throw std::runtime_error("PWL::Watchdog objects not supported:"
+                           " system does not provide setitimer()");
+}
+
+#endif // HAVE_DECL_SETITIMER
+
 inline
 Init::Init() {
   // Only when the first Init object is constructed...