blob: fbf5ed01d8bef79d1789cad3cb55f1aa108a0c51 (
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
81
|
// Contracts support header for -*- C++ -*-
// Copyright (C) 2019-2023 Free Software Foundation, Inc.
//
// 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 contract
* This is a Standard C++ Library header.
*/
#ifndef _GLIBCXX_CONTRACT
#define _GLIBCXX_CONTRACT 1
#pragma GCC system_header
#if __cplusplus >= 201703L
#include <string_view>
#include <cstdint>
namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
namespace experimental
{
// From P1332
enum class contract_violation_continuation_mode {
never_continue, maybe_continue
};
class contract_violation {
const char* _M_file;
const char* _M_function;
const char* _M_comment;
const char* _M_level;
const char* _M_role;
uint_least32_t _M_line;
signed char _M_continue;
public:
// From N4820
uint_least32_t line_number() const noexcept { return _M_line; }
string_view file_name() const noexcept { return _M_file; }
string_view function_name() const noexcept { return _M_function; }
string_view comment() const noexcept { return _M_comment; }
string_view assertion_level() const noexcept { return _M_level; }
// From P1332
string_view assertion_role() const noexcept { return _M_role; }
contract_violation_continuation_mode continuation_mode() const noexcept
{ return static_cast<contract_violation_continuation_mode>(_M_continue); }
};
} // namespace experimental
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std
// To override the contract violation handler, define
//void ::handle_contract_violation (const std::experimental::contract_violation &);
#endif // C++17
#endif // _GLIBCXX_CONTRACT
|
