1 /* Threshold_Watcher 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_Threshold_Watcher_inlines_hh
25 #define PPL_Threshold_Watcher_inlines_hh 1
26
27 #include "Handler_defs.hh"
28 #include <stdexcept>
29
30 namespace Parma_Polyhedra_Library {
31
32 template <typename Traits>
33 template <typename Flag_Base, typename Flag>
34 Threshold_Watcher<Traits>
Threshold_Watcher(const typename Traits::Delta & delta,const Flag_Base * volatile & holder,Flag & flag)35 ::Threshold_Watcher(const typename Traits::Delta& delta,
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 typename Traits::Threshold threshold;
43 Traits::from_delta(threshold, delta);
44 if (!Traits::less_than(Traits::get(), threshold)) {
45 throw std::invalid_argument("Threshold_Watcher constructor called with a"
46 " threshold already reached");
47 }
48 pending_position = add_threshold(threshold, handler, expired);
49 }
50
51 template <typename Traits>
52 inline
53 Threshold_Watcher<Traits>
Threshold_Watcher(const typename Traits::Delta & delta,void (* function)())54 ::Threshold_Watcher(const typename Traits::Delta& delta, void (*function)())
55 : expired(false),
56 handler(*new Implementation::Watchdog::Handler_Function(function)) {
57 typename Traits::Threshold threshold;
58 Traits::from_delta(threshold, delta);
59 if (!Traits::less_than(Traits::get(), threshold)) {
60 throw std::invalid_argument("Threshold_Watcher constructor called with a"
61 " threshold already reached");
62 }
63 pending_position = add_threshold(threshold, handler, expired);
64 }
65
66 } // namespace Parma_Polyhedra_Library
67
68 #endif // !defined(PPL_Threshold_Watcher_inlines_hh)
69