[PPL-devel] [GIT] ppl/ppl(master): Provided virtual method anchors.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Dec 21 20:09:22 2014 +0100

Provided virtual method anchors.
Fixes violations of rule UCGP1.L4 detected by ECLAIR.

---

 src/Handler_inlines.hh     |    4 ----
 src/Makefile.am            |    1 +
 src/PIP_Tree.cc            |    3 +++
 src/PIP_Tree_inlines.hh    |    4 ----
 src/c_streambuf.cc         |    3 +++
 src/c_streambuf_inlines.hh |    4 ----
 src/globals.cc             |    3 +++
 src/globals_inlines.hh     |    4 ----
 8 files changed, 10 insertions(+), 16 deletions(-)

diff --git a/src/Handler_inlines.hh b/src/Handler_inlines.hh
index f725463..bd11dfe 100644
--- a/src/Handler_inlines.hh
+++ b/src/Handler_inlines.hh
@@ -30,10 +30,6 @@ namespace Implementation {
 
 namespace Watchdog {
 
-inline
-Handler::~Handler() {
-}
-
 template <typename Flag_Base, typename Flag>
 Handler_Flag<Flag_Base, Flag>::Handler_Flag(const Flag_Base* volatile& holder,
                                             Flag& flag)
diff --git a/src/Makefile.am b/src/Makefile.am
index 5e71c5b..f83cd76 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -493,6 +493,7 @@ Generator_System.cc \
 Grid_Generator_System.cc \
 Generator.cc \
 Grid_Generator.cc \
+Handler.cc \
 Init.cc \
 Coefficient.cc \
 Linear_Expression.cc \
diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index fe2318b..90728cb 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -923,6 +923,9 @@ PIP_Tree_Node::PIP_Tree_Node(const PIP_Tree_Node& y)
     artificial_parameters(y.artificial_parameters) {
 }
 
+PIP_Tree_Node::~PIP_Tree_Node() {
+}
+
 PIP_Tree_Node::Artificial_Parameter
 ::Artificial_Parameter(const Linear_Expression& expr,
                        Coefficient_traits::const_reference d)
diff --git a/src/PIP_Tree_inlines.hh b/src/PIP_Tree_inlines.hh
index 3340e64..0d20f24 100644
--- a/src/PIP_Tree_inlines.hh
+++ b/src/PIP_Tree_inlines.hh
@@ -52,10 +52,6 @@ PIP_Solution_Node::Tableau::denominator() const {
   return denom;
 }
 
-inline
-PIP_Tree_Node::~PIP_Tree_Node() {
-}
-
 inline void
 PIP_Tree_Node::set_parent(const PIP_Decision_Node* p) {
   parent_ = p;
diff --git a/src/c_streambuf.cc b/src/c_streambuf.cc
index 45b8713..a7cf3a6 100644
--- a/src/c_streambuf.cc
+++ b/src/c_streambuf.cc
@@ -28,6 +28,9 @@ site: http://bugseng.com/products/ppl/ . */
 
 namespace Parma_Polyhedra_Library {
 
+c_streambuf::~c_streambuf() {
+}
+
 c_streambuf::int_type
 c_streambuf::uflow() {
   const int_type c = underflow();
diff --git a/src/c_streambuf_inlines.hh b/src/c_streambuf_inlines.hh
index d1070dc..34d15ae 100644
--- a/src/c_streambuf_inlines.hh
+++ b/src/c_streambuf_inlines.hh
@@ -31,10 +31,6 @@ c_streambuf::c_streambuf()
   : unget_char_buf(traits_type::eof()), next_char_buf(traits_type::eof()) {
 }
 
-inline
-c_streambuf::~c_streambuf() {
-}
-
 } // namespace Parma_Polyhedra_Library
 
 #endif // !defined(PPL_c_streambuf_inlines_hh)
diff --git a/src/globals.cc b/src/globals.cc
index 042f595..0aa7a31 100644
--- a/src/globals.cc
+++ b/src/globals.cc
@@ -28,6 +28,9 @@ site: http://bugseng.com/products/ppl/ . */
 
 namespace Parma_Polyhedra_Library {
 
+Throwable::~Throwable() {
+}
+
 const Throwable* volatile abandon_expensive_computations = 0;
 
 // Initialize Weightwatch_Traits static data members.
diff --git a/src/globals_inlines.hh b/src/globals_inlines.hh
index 54d83da..8a16862 100644
--- a/src/globals_inlines.hh
+++ b/src/globals_inlines.hh
@@ -71,10 +71,6 @@ Weightwatch_Traits::from_delta(Threshold& threshold, const Delta& delta) {
   threshold = weight + delta;
 }
 
-inline
-Throwable::~Throwable() {
-}
-
 inline void
 maybe_abandon() {
 #ifndef NDEBUG