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

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Tue Dec 23 22:01:32 2014 +0100

Provided virtual method anchor.
Fixes a violation of rule UCGP1.L4 detected by ECLAIR.

---

 src/Handler.cc         |    6 ++++++
 src/Handler_inlines.hh |    5 -----
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/Handler.cc b/src/Handler.cc
index 49438fc..275ec62 100644
--- a/src/Handler.cc
+++ b/src/Handler.cc
@@ -28,3 +28,9 @@ namespace PPL = Parma_Polyhedra_Library;
 
 PPL::Implementation::Watchdog::Handler::~Handler() {
 }
+
+void
+PPL::Implementation::Watchdog::Handler_Function::act() const {
+  (*f)();
+}
+
diff --git a/src/Handler_inlines.hh b/src/Handler_inlines.hh
index bd11dfe..5d10b90 100644
--- a/src/Handler_inlines.hh
+++ b/src/Handler_inlines.hh
@@ -49,11 +49,6 @@ Handler_Function::Handler_Function(void (* const function)())
   : f(function) {
 }
 
-inline void
-Handler_Function::act() const {
-  (*f)();
-}
-
 } // namespace Watchdog
 
 } // namespace Implementation