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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
// Contracts support header for -*- C++ -*-
// Copyright The GNU Toolchain Authors.
//
// This file is part of GCC.
//
// GCC is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3, or (at your option)
// any later version.
//
// GCC is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.
// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
// <http://www.gnu.org/licenses/>.
/** @file contracts
* This is a Standard C++ Library header.
*/
#ifndef _GLIBCXX_CONTRACTS
#define _GLIBCXX_CONTRACTS 1
#pragma GCC system_header
#define __glibcxx_want_contracts
#include <bits/version.h>
#ifdef __cpp_lib_contracts
#include <source_location>
#include <bits/exception_ptr.h>
namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
namespace contracts
{
// From P2900R14
enum class assertion_kind : __UINT16_TYPE__ {
pre = 1,
post = 2,
assert = 3,
/* Implementation-defined values should have a minimum value of 1000. */
};
enum class evaluation_semantic : __UINT16_TYPE__ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4,
/* Implementation-defined values should have a minimum value of 1000. */
};
enum class detection_mode : __UINT16_TYPE__ {
predicate_false = 1,
evaluation_exception = 2,
/* Implementation-defined values should have a minimum value of 1000. */
};
using __vendor_ext = void;
class contract_violation {
__UINT16_TYPE__ _M_version;
assertion_kind _M_assertion_kind;
evaluation_semantic _M_evaluation_semantic;
detection_mode _M_detection_mode;
const char* _M_comment;
const void* _M_src_loc_ptr;
__vendor_ext* _M_ext;
public:
// cannot be copied or moved or assigned to
contract_violation(const contract_violation&) = delete;
contract_violation& operator=(const contract_violation&) = delete;
assertion_kind kind() const noexcept { return _M_assertion_kind; }
evaluation_semantic semantic() const noexcept { return _M_evaluation_semantic; }
detection_mode mode() const noexcept { return _M_detection_mode; }
const char* comment() const noexcept { return _M_comment; }
std::source_location location() const noexcept {
std::source_location __loc;
__loc._M_impl
= static_cast<const source_location::__impl*>(_M_src_loc_ptr);
return __loc;
}
bool is_terminating () const noexcept {
return _M_evaluation_semantic == std::contracts::evaluation_semantic::enforce
|| _M_evaluation_semantic == std::contracts::evaluation_semantic::quick_enforce;
}
};
void invoke_default_contract_violation_handler(const contract_violation&) noexcept;
} // namespace contracts
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std
#endif // __cpp_lib_contracts
#endif // _GLIBCXX_CONTRACTS
|
