78 lines
1.3 KiB
C++
78 lines
1.3 KiB
C++
|
// Copyright Daniel Wallin 2004. Use, modification and distribution is
|
||
|
|
// subject to the Boost Software License, Version 1.0. (See accompanying
|
||
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
||
|
|
|
||
|
|
#ifndef TORRENT_INVARIANT_ACCESS_HPP_INCLUDED
|
||
|
|
#define TORRENT_INVARIANT_ACCESS_HPP_INCLUDED
|
||
|
|
|
||
|
|
#include <iostream>
|
||
|
|
#include <cassert>
|
||
|
|
|
||
|
|
namespace libtorrent
|
||
|
|
{
|
||
|
|
|
||
|
|
class invariant_access
|
||
|
|
{
|
||
|
|
public:
|
||
|
|
template<class T>
|
||
|
|
static void check_invariant(T const& self)
|
||
|
|
{
|
||
|
|
self.check_invariant();
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
template<class T>
|
||
|
|
void check_invariant(T const& x)
|
||
|
|
{
|
||
|
|
invariant_access::check_invariant(x);
|
||
|
|
}
|
||
|
|
|
||
|
|
struct invariant_checker {};
|
||
|
|
|
||
|
|
template<class T>
|
||
|
|
struct invariant_checker_impl : invariant_checker
|
||
|
|
{
|
||
|
|
invariant_checker_impl(T const& self_)
|
||
|
|
: self(self_)
|
||
|
|
{
|
||
|
|
try
|
||
|
|
{
|
||
|
|
check_invariant(self);
|
||
|
|
}
|
||
|
|
catch (...)
|
||
|
|
{
|
||
|
|
assert(false);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
~invariant_checker_impl()
|
||
|
|
{
|
||
|
|
try
|
||
|
|
{
|
||
|
|
check_invariant(self);
|
||
|
|
}
|
||
|
|
catch (...)
|
||
|
|
{
|
||
|
|
assert(false);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
T const& self;
|
||
|
|
};
|
||
|
|
|
||
|
|
template<class T>
|
||
|
|
invariant_checker_impl<T> make_invariant_checker(T const& x)
|
||
|
|
{
|
||
|
|
return invariant_checker_impl<T>(x);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
#ifndef NDEBUG
|
||
|
|
#define INVARIANT_CHECK \
|
||
|
|
invariant_checker const& _invariant_check = make_invariant_checker(*this)
|
||
|
|
#else
|
||
|
|
#define INVARIANT_CHECK do {} while (false)
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#endif // TORRENT_INVARIANT_ACCESS_HPP_INCLUDED
|