]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Copyright (C) 2012 Vicente J. Botet Escriba |
2 | // | |
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) | |
5 | ||
6 | // <boost/thread/mutex.hpp> | |
7 | ||
8 | // <mutex> | |
9 | ||
10 | // template <class Mutex> | |
11 | // class unlock_guard | |
12 | // { | |
13 | // public: | |
14 | // typedef Mutex mutex_type; | |
15 | // ... | |
16 | // }; | |
17 | ||
18 | ||
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> | |
26 | ||
27 | int main() | |
28 | { | |
29 | BOOST_STATIC_ASSERT_MSG((boost::is_same<boost::reverse_lock<boost::unique_lock<boost::mutex> >::mutex_type, | |
30 | boost::mutex>::value), ""); | |
31 | ||
32 | return boost::report_errors(); | |
33 | } | |
34 |