D:/opendownloadmanager/ODM-1.x/Bittorrent/libtorrent-0.12/include/libtorrent/invariant_check.hpp

Go to the documentation of this file.

// 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 <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); \
        (void)_invariant_check; \
        do {} while (false)
#else
#define INVARIANT_CHECK do {} while (false)
#endif

#endif // TORRENT_INVARIANT_ACCESS_HPP_INCLUDED

---