1 /* Threshold_Watcher and associated classes'.
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_templates_hh
25 #define PPL_Threshold_Watcher_templates_hh 1
26
27 namespace Parma_Polyhedra_Library {
28
29 template <typename Traits>
30 typename Threshold_Watcher<Traits>::TW_Pending_List::iterator
add_threshold(typename Traits::Threshold threshold,const TW_Handler & handler,bool & expired_flag)31 Threshold_Watcher<Traits>::add_threshold(typename Traits::Threshold threshold,
32 const TW_Handler& handler,
33 bool& expired_flag) {
34 Traits::check_function = Threshold_Watcher::check;
35 return init.pending.insert(threshold, handler, expired_flag);
36 }
37
38 template <typename Traits>
39 typename Threshold_Watcher<Traits>::TW_Pending_List::iterator
40 Threshold_Watcher<Traits>
remove_threshold(typename TW_Pending_List::iterator position)41 ::remove_threshold(typename TW_Pending_List::iterator position) {
42 typename TW_Pending_List::iterator i = init.pending.erase(position);
43 if (init.pending.empty()) {
44 Traits::check_function = 0;
45 }
46 return i;
47 }
48
49 template <typename Traits>
~Threshold_Watcher()50 Threshold_Watcher<Traits>::~Threshold_Watcher() {
51 if (!expired) {
52 remove_threshold(pending_position);
53 }
54 delete &handler;
55 }
56
57 template <typename Traits>
58 void
check()59 Threshold_Watcher<Traits>::check() {
60 typename TW_Pending_List::iterator i = init.pending.begin();
61 assert(i != init.pending.end());
62 const typename Traits::Threshold& current = Traits::get();
63 while (!Traits::less_than(current, i->deadline())) {
64 i->handler().act();
65 i->expired_flag() = true;
66 i = remove_threshold(i);
67 if (i == init.pending.end()) {
68 break;
69 }
70 }
71 }
72
73 } // namespace Parma_Polyhedra_Library
74
75 #endif // !defined(PPL_Threshold_Watcher_templates_hh)
76