/usr/include/dune/common/bartonnackmanifcheck.hh is in libdune-common-dev 2.4.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | // -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
/** @file
@author Robert Kloefkorn
@brief Provides check for implementation of interface methods when using
static polymorphism, i.e. the Barton-Nackman trick. This is purely for
debugging purposes. To check the correct implementation of interface methods
(and pick up possible infinite loops) NDEBUG must be undefined and
DUNE_INTERFACECHECK has to be defined.
Use by invoking CHECK_INTERFACE_IMPLEMENTATION(asImp().methodToCheck())
and for
template methods double (CHECK_INTERFACE_IMPLEMENTATION((asImp().template methodToCheck<param> ())).
If either NDEBUG is defined or
DUNE_INTERFACECHECK is undefined the CHECK_INTERFACE_IMPLEMENTATION macro is empty.
Note: adding the interface check to a method will cause the implementation of the
method to be called twice, so before use make sure
that this will not cause problems e.g. if internal counters are updated.
**/
//- Dune includes
#include <dune/common/exceptions.hh>
#ifdef CHECK_INTERFACE_IMPLEMENTATION
#undef CHECK_INTERFACE_IMPLEMENTATION
#endif
#ifdef CHECK_AND_CALL_INTERFACE_IMPLEMENTATION
#undef CHECK_AND_CALL_INTERFACE_IMPLEMENTATION
#endif
#if defined NDEBUG || !defined DUNE_INTERFACECHECK
#define CHECK_INTERFACE_IMPLEMENTATION(dummy)
#else
#define CHECK_INTERFACE_IMPLEMENTATION(__interface_method_to_call__) \
{\
static bool call = false; \
if( call == true ) \
DUNE_THROW(NotImplemented,"Interface method not implemented!");\
call = true; \
try { \
(__interface_method_to_call__); \
call = false; \
} \
catch ( ... ) \
{ \
call = false; \
throw; \
} \
}
#endif
/** The macro CHECK_AND_CALL_INTERFACE_IMPLEMENTATION throws an exception,
if the interface method ist not implemented and just calls the method
otherwise. If NDEBUG is defined no
checking is done and the method is just called.
*/
#if defined NDEBUG || !defined DUNE_INTERFACECHECK
#define CHECK_AND_CALL_INTERFACE_IMPLEMENTATION(__interface_method_to_call__) \
(__interface_method_to_call__)
#else
#define CHECK_AND_CALL_INTERFACE_IMPLEMENTATION(__interface_method_to_call__) \
CHECK_INTERFACE_IMPLEMENTATION(__interface_method_to_call__)
#endif
|