debug.hh

#ifndef DUNE_FEM_DEBUG_HH
#define DUNE_FEM_DEBUG_HH
 
#include <cassert>
 
namespace Dune
{
 
  namespace Fem
  {
 
#if not defined NDEBUG
#define USE_DEBUG_CNT
#endif
 
    template< class CounterImp = unsigned int >
    class DebugCounter
    {
    public:
      typedef CounterImp CounterType;
 
    private:
      typedef DebugCounter< CounterType > ThisType;
 
    protected:
#ifdef USE_DEBUG_CNT
      CounterType count_;
#endif
 
    public:
      inline DebugCounter ( const CounterType count = 0 )
#ifdef USE_DEBUG_CNT
      : count_( count )
#endif
      {
      }
 
      inline DebugCounter ( const ThisType &other )
#ifdef USE_DEBUG_CNT
      : count_( other.count_ )
#endif
      {
      }
 
      inline ThisType &operator++ ()
      {
#ifdef USE_DEBUG_CNT
        ++count_;
#endif
        return *this;
      }
 
      inline ThisType &operator-- ()
      {
#ifdef USE_DEBUG_CNT
        --count_;
#endif
        return *this;
      }
 
      inline bool operator== ( const ThisType &other )
      {
#ifdef USE_DEBUG_CNT
        return count_ == other.count_;
#else
        return true;
#endif
      }
 
      inline bool operator!= ( const ThisType &other )
      {
#ifdef USE_DEBUG_CNT
        return count_ != other.count_;
#else
        return true;
#endif
      }
    };
 
 
 
    class DebugLock
    {
    private:
      typedef DebugLock ThisType;
 
    protected:
#ifdef USE_DEBUG_CNT
      bool lock_;
#endif
 
    public:
      inline DebugLock ()
#ifdef USE_DEBUG_CNT
      : lock_( false )
#endif
      {
      }
 
      DebugLock ( const ThisType& ) = delete;
      ThisType& operator= ( const ThisType& ) = delete;
 
      inline bool operator ! () const
      {
#ifdef USE_DEBUG_CNT
        return !lock_;
#else
        return true;
#endif
      }
 
      inline void lock ()
      {
#ifdef USE_DEBUG_CNT
        assert( !lock_ );
        lock_ = true;
#endif
      }
 
      inline void unlock ()
      {
#ifdef USE_DEBUG_CNT
        assert( lock_ );
        lock_ = false;
#endif
      }
    };
 
  } // namespace Fem
 
} // namespace Dune
 
#endif