blob: 765c04f4f85fb5263aa8cb14b9036af3c7d4a263 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
#ifndef BOOST_CONTRACT_DETAIL_CHECKING_HPP_
#define BOOST_CONTRACT_DETAIL_CHECKING_HPP_
// Copyright (C) 2008-2018 Lorenzo Caminiti
// Distributed under the Boost Software License, Version 1.0 (see accompanying
// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
#include <boost/contract/core/config.hpp>
#include <boost/contract/detail/static_local_var.hpp>
#include <boost/contract/detail/declspec.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/noncopyable.hpp>
namespace boost { namespace contract { namespace detail {
#ifdef BOOST_MSVC
#pragma warning(push)
#pragma warning(disable: 4251) // Member w/o DLL spec (mutex_ type).
#endif
// RAII facility to disable assertions while checking other assertions.
class BOOST_CONTRACT_DETAIL_DECLSPEC checking :
private boost::noncopyable // Non-copyable resource (might use mutex, etc.).
{
public:
explicit checking() {
#ifndef BOOST_CONTRACT_DISABLE_THREADS
init_locked();
#else
init_unlocked();
#endif
}
~checking() {
#ifndef BOOST_CONTRACT_DISABLE_THREADS
done_locked();
#else
done_unlocked();
#endif
}
static bool already() {
#ifndef BOOST_CONTRACT_DISABLE_THREADS
return already_locked();
#else
return already_unlocked();
#endif
}
private:
void init_unlocked();
void init_locked();
void done_unlocked();
void done_locked();
static bool already_unlocked();
static bool already_locked();
struct mutex_tag;
typedef static_local_var<mutex_tag, boost::mutex> mutex;
struct checking_tag;
typedef static_local_var_init<checking_tag, bool, bool, false> flag;
};
#ifdef BOOST_MSVC
#pragma warning(pop)
#endif
} } } // namespace
#ifdef BOOST_CONTRACT_HEADER_ONLY
#include <boost/contract/detail/inlined/detail/checking.hpp>
#endif
#endif // #include guard
|
