Module: ppl/ppl Branch: master Commit: 888f37dcafe2dee1e306b505fcba51709bc4aaf8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=888f37dcafe2d...
Author: Roberto Bagnara roberto.bagnara@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