check interface implementation when using Barton-Nackman Trick.

[[Imported from SVN: r4746]]

common/Makefile.am

@@ -20,7 +20,8 @@ commoninclude_HEADERS = dlist.cc stdstreams.cc alignment.hh \
   typetraits.hh precision.hh bigunsignedint.hh \
   gcd.hh lcm.hh configparser.hh propertymap.hh \
   collectivecommunication.hh mpihelper.hh singleton.hh \
-  mpicollectivecommunication.hh geometrytype.hh tripel.hh utility.hh
+  mpicollectivecommunication.hh geometrytype.hh tripel.hh utility.hh \
+  bartonnackmanifcheck.hh
 
 if EXPRESSIONTEMPLATES
 commoninclude_HEADERS += exprtmpl.hh exprtmpl/scalar.inc exprtmpl/exprexpr.inc

common/bartonnackmanifcheck.hh

+// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
+// vi: set et ts=4 sw=2 sts=2:
+#ifndef DUNE_BARTONNACKMANIFCHECK_HH
+#define DUNE_BARTONNACKMANIFCHECK_HH
+
+/** @file
+   @author Robert Kloefkorn
+   @brief Provides check for implementation of interface methods when using
+   static polymorphism, i.e. Barton-Nackman trick.
+   Use by invoking CHECK_INTERFACE_IMPLEMENTATION(asImp().methodToCheck())
+   and for template methods double (
+   CHECK_INTERFACE_IMPLEMENTATION((asImp().template methodToCheck<param> ())).
+ **/
+
+//- Dune includes
+#include <dune/common/exceptions.hh>
+
+namespace Dune {
+#ifndef NDEBUG
+#define CHECK_INTERFACE_IMPLEMENTATION(__interface_method_to_call__) \
+  {\
+    static bool call = false; \
+    if( call == true ) \
+      DUNE_THROW(NotImplemented,"Interface method not implemented!");\
+    call = true; \
+    (__interface_method_to_call__); \
+    call = false; \
+  }
+#else
+#define CHECK_INTERFACE_IMPLEMENTATION(dummy)
+#endif
+} // end namespace Dune
+#endif

common/test/parsetest.cc

@@ -45,5 +45,6 @@
 #include <dune/common/timer.hh>
 #include <dune/common/tuples.hh>
 #include <dune/common/typetraits.hh>
+#include <dune/common/bartonnackmanifcheck.hh>
 
 int main () {}