Gecko [ c.stage.kornherr.net ]

Name	Size	Permission	Date
bits	[ DIR ]	drwxr-xr-x	2026-04-26 19:49
algorithm	3.67 KB	-rw-r--r--	2025-12-18 20:59
any	15.72 KB	-rw-r--r--	2025-12-18 20:59
array	3.36 KB	-rw-r--r--	2025-12-18 20:59
buffer	28.12 KB	-rw-r--r--	2025-12-18 20:59
chrono	2.03 KB	-rw-r--r--	2025-12-18 20:59
contract	2.52 KB	-rw-r--r--	2025-12-18 20:59
deque	2.31 KB	-rw-r--r--	2025-12-18 20:59
executor	55 KB	-rw-r--r--	2025-12-18 20:59
filesystem	1.62 KB	-rw-r--r--	2025-12-18 20:59
forward_list	2.38 KB	-rw-r--r--	2025-12-18 20:59
functional	12.08 KB	-rw-r--r--	2025-12-18 20:59
internet	69.02 KB	-rw-r--r--	2025-12-18 20:59
io_context	22.08 KB	-rw-r--r--	2025-12-18 20:59
iterator	3.52 KB	-rw-r--r--	2025-12-18 20:59
list	2.28 KB	-rw-r--r--	2025-12-18 20:59
map	2.79 KB	-rw-r--r--	2025-12-18 20:59
memory	5.97 KB	-rw-r--r--	2025-12-18 20:59
memory_resource	17.54 KB	-rw-r--r--	2025-12-18 20:59
net	1.58 KB	-rw-r--r--	2025-12-18 20:59
netfwd	3.73 KB	-rw-r--r--	2025-12-18 20:59
numeric	3.4 KB	-rw-r--r--	2025-12-18 20:59
optional	26.06 KB	-rw-r--r--	2025-12-18 20:59
propagate_const	16.73 KB	-rw-r--r--	2025-12-18 20:59
random	2.61 KB	-rw-r--r--	2025-12-18 20:59
ratio	2.45 KB	-rw-r--r--	2025-12-18 20:59
regex	2.14 KB	-rw-r--r--	2025-12-18 20:59
scope	14.17 KB	-rw-r--r--	2025-12-18 20:59
set	2.66 KB	-rw-r--r--	2025-12-18 20:59
simd	2.82 KB	-rw-r--r--	2025-12-18 20:59
socket	76.42 KB	-rw-r--r--	2025-12-18 20:59
source_location	2.78 KB	-rw-r--r--	2025-12-18 20:59
string	2.92 KB	-rw-r--r--	2025-12-18 20:59
string_view	21.96 KB	-rw-r--r--	2025-12-18 20:59
synchronized_value	3.27 KB	-rw-r--r--	2025-12-18 20:59
system_error	2.07 KB	-rw-r--r--	2025-12-18 20:59
timer	5.74 KB	-rw-r--r--	2025-12-18 20:59
tuple	2.48 KB	-rw-r--r--	2025-12-18 20:59
type_traits	11.79 KB	-rw-r--r--	2025-12-18 20:59
unordered_map	3.07 KB	-rw-r--r--	2025-12-18 20:59
unordered_set	2.94 KB	-rw-r--r--	2025-12-18 20:59
utility	1.76 KB	-rw-r--r--	2025-12-18 20:59
vector	2.37 KB	-rw-r--r--	2025-12-18 20:59

Rename

// 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