1 /* Watchdog and associated classes' implementation: inline functions.
2 Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3 Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
4
5 This file is part of the Parma Polyhedra Library (PPL).
6
7 The PPL is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 3 of the License, or (at your
10 option) any later version.
11
12 The PPL is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software Foundation,
19 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21 For the most up-to-date information see the Parma Polyhedra Library
22 site: http://bugseng.com/products/ppl/ . */
23
24 #ifndef PPL_Watchdog_inlines_hh
25 #define PPL_Watchdog_inlines_hh 1
26
27 #include "Handler_defs.hh"
28 #include <stdexcept>
29
30 namespace Parma_Polyhedra_Library {
31
32 #if PPL_HAVE_DECL_SETITIMER && PPL_HAVE_DECL_SIGACTION
33
34 template <typename Flag_Base, typename Flag>
Watchdog(long csecs,const Flag_Base * volatile & holder,Flag & flag)35 Watchdog::Watchdog(long csecs,
36 const Flag_Base* volatile& holder,
37 Flag& flag)
38 : expired(false),
39 handler(*new
40 Implementation::Watchdog::Handler_Flag<Flag_Base, Flag>(holder,
41 flag)) {
42 if (csecs == 0) {
43 throw std::invalid_argument("Watchdog constructor called with a"
44 " non-positive number of centiseconds");
45 }
46 in_critical_section = true;
47 pending_position = new_watchdog_event(csecs, handler, expired);
48 in_critical_section = false;
49 }
50
51 inline
Watchdog(long csecs,void (* const function)())52 Watchdog::Watchdog(long csecs, void (* const function)())
53 : expired(false),
54 handler(*new Implementation::Watchdog::Handler_Function(function)) {
55 if (csecs == 0) {
56 throw std::invalid_argument("Watchdog constructor called with a"
57 " non-positive number of centiseconds");
58 }
59 in_critical_section = true;
60 pending_position = new_watchdog_event(csecs, handler, expired);
61 in_critical_section = false;
62 }
63
64 inline
~Watchdog()65 Watchdog::~Watchdog() {
66 if (!expired) {
67 in_critical_section = true;
68 remove_watchdog_event(pending_position);
69 in_critical_section = false;
70 }
71 delete &handler;
72 }
73
74 inline void
reschedule()75 Watchdog::reschedule() {
76 set_timer(reschedule_time);
77 }
78
79 #else // !PPL_HAVE_DECL_SETITIMER !! !PPL_HAVE_DECL_SIGACTION
80
81 template <typename Flag_Base, typename Flag>
82 Watchdog::Watchdog(long /* csecs */,
83 const Flag_Base* volatile& /* holder */,
84 Flag& /* flag */) {
85 throw std::logic_error("PPL::Watchdog::Watchdog objects not supported:"
86 " system does not provide setitimer()");
87 }
88
89 inline
90 Watchdog::Watchdog(long /* csecs */, void (* /* function */)()) {
91 throw std::logic_error("PPL::Watchdog::Watchdog objects not supported:"
92 " system does not provide setitimer()");
93 }
94
95 inline
96 Watchdog::~Watchdog() {
97 }
98
99 #endif // !PPL_HAVE_DECL_SETITIMER !! !PPL_HAVE_DECL_SIGACTION
100
101 } // namespace Parma_Polyhedra_Library
102
103 #endif // !defined(PPL_Watchdog_inlines_hh)
104