1
// Copyright (C) 2012 Vicente J. Botet Escriba
3
// Distributed under the Boost Software License, Version 1.0. (See accompanying
4
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6
// <boost/thread/mutex.hpp>
10
// template <class Mutex>
14
// typedef Mutex mutex_type;
19
#include <boost/thread/mutex.hpp>
20
#include <boost/thread/reverse_lock.hpp>
21
#include <boost/thread/lock_types.hpp>
22
#include <boost/thread/mutex.hpp>
23
#include <boost/static_assert.hpp>
24
#include <boost/type_traits/is_same.hpp>
25
#include <boost/detail/lightweight_test.hpp>
29
BOOST_STATIC_ASSERT_MSG((boost::is_same<boost::reverse_lock<boost::unique_lock<boost::mutex> >::mutex_type,
30
boost::mutex>::value), "");
32
return boost::report_errors();