1// -*- C++ -*-
2//===---------------------------- system_error ----------------------------===//
3//
4//                     The LLVM Compiler Infrastructure
5//
6// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
8//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP_SYSTEM_ERROR
12#define _LIBCPP_SYSTEM_ERROR
13
14/*
15    system_error synopsis
16
17namespace std
18{
19
20class error_category
21{
22public:
23    virtual ~error_category() noexcept;
24
25    constexpr error_category();
26    error_category(const error_category&) = delete;
27    error_category& operator=(const error_category&) = delete;
28
29    virtual const char* name() const noexcept = 0;
30    virtual error_condition default_error_condition(int ev) const noexcept;
31    virtual bool equivalent(int code, const error_condition& condition) const noexcept;
32    virtual bool equivalent(const error_code& code, int condition) const noexcept;
33    virtual string message(int ev) const = 0;
34
35    bool operator==(const error_category& rhs) const noexcept;
36    bool operator!=(const error_category& rhs) const noexcept;
37    bool operator<(const error_category& rhs) const noexcept;
38};
39
40const error_category& generic_category() noexcept;
41const error_category& system_category() noexcept;
42
43template <class T> struct is_error_code_enum
44    : public false_type {};
45
46template <class T> struct is_error_condition_enum
47    : public false_type {};
48
49template <class _Tp>
50constexpr size_t is_error_condition_enum_v = is_error_condition_enum<_Tp>::value; // C++17
51
52template <class _Tp>
53constexpr size_t is_error_code_enum_v = is_error_code_enum<_Tp>::value; // C++17
54
55class error_code
56{
57public:
58    // constructors:
59    error_code() noexcept;
60    error_code(int val, const error_category& cat) noexcept;
61    template <class ErrorCodeEnum>
62        error_code(ErrorCodeEnum e) noexcept;
63
64    // modifiers:
65    void assign(int val, const error_category& cat) noexcept;
66    template <class ErrorCodeEnum>
67        error_code& operator=(ErrorCodeEnum e) noexcept;
68    void clear() noexcept;
69
70    // observers:
71    int value() const noexcept;
72    const error_category& category() const noexcept;
73    error_condition default_error_condition() const noexcept;
74    string message() const;
75    explicit operator bool() const noexcept;
76};
77
78// non-member functions:
79bool operator<(const error_code& lhs, const error_code& rhs) noexcept;
80template <class charT, class traits>
81    basic_ostream<charT,traits>&
82    operator<<(basic_ostream<charT,traits>& os, const error_code& ec);
83
84class error_condition
85{
86public:
87    // constructors:
88    error_condition() noexcept;
89    error_condition(int val, const error_category& cat) noexcept;
90    template <class ErrorConditionEnum>
91        error_condition(ErrorConditionEnum e) noexcept;
92
93    // modifiers:
94    void assign(int val, const error_category& cat) noexcept;
95    template <class ErrorConditionEnum>
96        error_condition& operator=(ErrorConditionEnum e) noexcept;
97    void clear() noexcept;
98
99    // observers:
100    int value() const noexcept;
101    const error_category& category() const noexcept;
102    string message() const noexcept;
103    explicit operator bool() const noexcept;
104};
105
106bool operator<(const error_condition& lhs, const error_condition& rhs) noexcept;
107
108class system_error
109    : public runtime_error
110{
111public:
112    system_error(error_code ec, const string& what_arg);
113    system_error(error_code ec, const char* what_arg);
114    system_error(error_code ec);
115    system_error(int ev, const error_category& ecat, const string& what_arg);
116    system_error(int ev, const error_category& ecat, const char* what_arg);
117    system_error(int ev, const error_category& ecat);
118
119    const error_code& code() const noexcept;
120    const char* what() const noexcept;
121};
122
123enum class errc
124{
125    address_family_not_supported,       // EAFNOSUPPORT
126    address_in_use,                     // EADDRINUSE
127    address_not_available,              // EADDRNOTAVAIL
128    already_connected,                  // EISCONN
129    argument_list_too_long,             // E2BIG
130    argument_out_of_domain,             // EDOM
131    bad_address,                        // EFAULT
132    bad_file_descriptor,                // EBADF
133    bad_message,                        // EBADMSG
134    broken_pipe,                        // EPIPE
135    connection_aborted,                 // ECONNABORTED
136    connection_already_in_progress,     // EALREADY
137    connection_refused,                 // ECONNREFUSED
138    connection_reset,                   // ECONNRESET
139    cross_device_link,                  // EXDEV
140    destination_address_required,       // EDESTADDRREQ
141    device_or_resource_busy,            // EBUSY
142    directory_not_empty,                // ENOTEMPTY
143    executable_format_error,            // ENOEXEC
144    file_exists,                        // EEXIST
145    file_too_large,                     // EFBIG
146    filename_too_long,                  // ENAMETOOLONG
147    function_not_supported,             // ENOSYS
148    host_unreachable,                   // EHOSTUNREACH
149    identifier_removed,                 // EIDRM
150    illegal_byte_sequence,              // EILSEQ
151    inappropriate_io_control_operation, // ENOTTY
152    interrupted,                        // EINTR
153    invalid_argument,                   // EINVAL
154    invalid_seek,                       // ESPIPE
155    io_error,                           // EIO
156    is_a_directory,                     // EISDIR
157    message_size,                       // EMSGSIZE
158    network_down,                       // ENETDOWN
159    network_reset,                      // ENETRESET
160    network_unreachable,                // ENETUNREACH
161    no_buffer_space,                    // ENOBUFS
162    no_child_process,                   // ECHILD
163    no_link,                            // ENOLINK
164    no_lock_available,                  // ENOLCK
165    no_message_available,               // ENODATA
166    no_message,                         // ENOMSG
167    no_protocol_option,                 // ENOPROTOOPT
168    no_space_on_device,                 // ENOSPC
169    no_stream_resources,                // ENOSR
170    no_such_device_or_address,          // ENXIO
171    no_such_device,                     // ENODEV
172    no_such_file_or_directory,          // ENOENT
173    no_such_process,                    // ESRCH
174    not_a_directory,                    // ENOTDIR
175    not_a_socket,                       // ENOTSOCK
176    not_a_stream,                       // ENOSTR
177    not_connected,                      // ENOTCONN
178    not_enough_memory,                  // ENOMEM
179    not_supported,                      // ENOTSUP
180    operation_canceled,                 // ECANCELED
181    operation_in_progress,              // EINPROGRESS
182    operation_not_permitted,            // EPERM
183    operation_not_supported,            // EOPNOTSUPP
184    operation_would_block,              // EWOULDBLOCK
185    owner_dead,                         // EOWNERDEAD
186    permission_denied,                  // EACCES
187    protocol_error,                     // EPROTO
188    protocol_not_supported,             // EPROTONOSUPPORT
189    read_only_file_system,              // EROFS
190    resource_deadlock_would_occur,      // EDEADLK
191    resource_unavailable_try_again,     // EAGAIN
192    result_out_of_range,                // ERANGE
193    state_not_recoverable,              // ENOTRECOVERABLE
194    stream_timeout,                     // ETIME
195    text_file_busy,                     // ETXTBSY
196    timed_out,                          // ETIMEDOUT
197    too_many_files_open_in_system,      // ENFILE
198    too_many_files_open,                // EMFILE
199    too_many_links,                     // EMLINK
200    too_many_symbolic_link_levels,      // ELOOP
201    value_too_large,                    // EOVERFLOW
202    wrong_protocol_type                 // EPROTOTYPE
203};
204
205template <> struct is_error_condition_enum<errc>
206    : true_type { }
207
208error_code make_error_code(errc e) noexcept;
209error_condition make_error_condition(errc e) noexcept;
210
211// Comparison operators:
212bool operator==(const error_code& lhs, const error_code& rhs) noexcept;
213bool operator==(const error_code& lhs, const error_condition& rhs) noexcept;
214bool operator==(const error_condition& lhs, const error_code& rhs) noexcept;
215bool operator==(const error_condition& lhs, const error_condition& rhs) noexcept;
216bool operator!=(const error_code& lhs, const error_code& rhs) noexcept;
217bool operator!=(const error_code& lhs, const error_condition& rhs) noexcept;
218bool operator!=(const error_condition& lhs, const error_code& rhs) noexcept;
219bool operator!=(const error_condition& lhs, const error_condition& rhs) noexcept;
220
221template <> struct hash<std::error_code>;
222template <> struct hash<std::error_condition>;
223
224}  // std
225
226*/
227
228#include <__config>
229#include <cerrno>
230#include <type_traits>
231#include <stdexcept>
232#include <__functional_base>
233
234#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
235#pragma GCC system_header
236#endif
237
238_LIBCPP_BEGIN_NAMESPACE_STD
239
240// is_error_code_enum
241
242template <class _Tp>
243struct _LIBCPP_TYPE_VIS_ONLY is_error_code_enum
244    : public false_type {};
245
246#if _LIBCPP_STD_VER > 14
247template <class _Tp>
248constexpr size_t is_error_code_enum_v = is_error_code_enum<_Tp>::value;
249#endif
250
251// is_error_condition_enum
252
253template <class _Tp>
254struct _LIBCPP_TYPE_VIS_ONLY is_error_condition_enum
255    : public false_type {};
256
257#if _LIBCPP_STD_VER > 14
258template <class _Tp>
259constexpr size_t is_error_condition_enum_v = is_error_condition_enum<_Tp>::value;
260#endif
261
262// Some error codes are not present on all platforms, so we provide equivalents
263// for them:
264
265//enum class errc
266_LIBCPP_DECLARE_STRONG_ENUM(errc)
267{
268    address_family_not_supported        = EAFNOSUPPORT,
269    address_in_use                      = EADDRINUSE,
270    address_not_available               = EADDRNOTAVAIL,
271    already_connected                   = EISCONN,
272    argument_list_too_long              = E2BIG,
273    argument_out_of_domain              = EDOM,
274    bad_address                         = EFAULT,
275    bad_file_descriptor                 = EBADF,
276    bad_message                         = EBADMSG,
277    broken_pipe                         = EPIPE,
278    connection_aborted                  = ECONNABORTED,
279    connection_already_in_progress      = EALREADY,
280    connection_refused                  = ECONNREFUSED,
281    connection_reset                    = ECONNRESET,
282    cross_device_link                   = EXDEV,
283    destination_address_required        = EDESTADDRREQ,
284    device_or_resource_busy             = EBUSY,
285    directory_not_empty                 = ENOTEMPTY,
286    executable_format_error             = ENOEXEC,
287    file_exists                         = EEXIST,
288    file_too_large                      = EFBIG,
289    filename_too_long                   = ENAMETOOLONG,
290    function_not_supported              = ENOSYS,
291    host_unreachable                    = EHOSTUNREACH,
292    identifier_removed                  = EIDRM,
293    illegal_byte_sequence               = EILSEQ,
294    inappropriate_io_control_operation  = ENOTTY,
295    interrupted                         = EINTR,
296    invalid_argument                    = EINVAL,
297    invalid_seek                        = ESPIPE,
298    io_error                            = EIO,
299    is_a_directory                      = EISDIR,
300    message_size                        = EMSGSIZE,
301    network_down                        = ENETDOWN,
302    network_reset                       = ENETRESET,
303    network_unreachable                 = ENETUNREACH,
304    no_buffer_space                     = ENOBUFS,
305    no_child_process                    = ECHILD,
306    no_link                             = ENOLINK,
307    no_lock_available                   = ENOLCK,
308#ifdef ENODATA
309    no_message_available                = ENODATA,
310#else
311    no_message_available                = ENOMSG,
312#endif
313    no_message                          = ENOMSG,
314    no_protocol_option                  = ENOPROTOOPT,
315    no_space_on_device                  = ENOSPC,
316#ifdef ENOSR
317    no_stream_resources                 = ENOSR,
318#else
319    no_stream_resources                 = ENOMEM,
320#endif
321    no_such_device_or_address           = ENXIO,
322    no_such_device                      = ENODEV,
323    no_such_file_or_directory           = ENOENT,
324    no_such_process                     = ESRCH,
325    not_a_directory                     = ENOTDIR,
326    not_a_socket                        = ENOTSOCK,
327#ifdef ENOSTR
328    not_a_stream                        = ENOSTR,
329#else
330    not_a_stream                        = EINVAL,
331#endif
332    not_connected                       = ENOTCONN,
333    not_enough_memory                   = ENOMEM,
334    not_supported                       = ENOTSUP,
335    operation_canceled                  = ECANCELED,
336    operation_in_progress               = EINPROGRESS,
337    operation_not_permitted             = EPERM,
338    operation_not_supported             = EOPNOTSUPP,
339    operation_would_block               = EWOULDBLOCK,
340    owner_dead                          = EOWNERDEAD,
341    permission_denied                   = EACCES,
342    protocol_error                      = EPROTO,
343    protocol_not_supported              = EPROTONOSUPPORT,
344    read_only_file_system               = EROFS,
345    resource_deadlock_would_occur       = EDEADLK,
346    resource_unavailable_try_again      = EAGAIN,
347    result_out_of_range                 = ERANGE,
348    state_not_recoverable               = ENOTRECOVERABLE,
349#ifdef ETIME
350    stream_timeout                      = ETIME,
351#else
352    stream_timeout                      = ETIMEDOUT,
353#endif
354    text_file_busy                      = ETXTBSY,
355    timed_out                           = ETIMEDOUT,
356    too_many_files_open_in_system       = ENFILE,
357    too_many_files_open                 = EMFILE,
358    too_many_links                      = EMLINK,
359    too_many_symbolic_link_levels       = ELOOP,
360    value_too_large                     = EOVERFLOW,
361    wrong_protocol_type                 = EPROTOTYPE
362};
363_LIBCPP_DECLARE_STRONG_ENUM_EPILOG(errc)
364
365template <>
366struct _LIBCPP_TYPE_VIS_ONLY is_error_condition_enum<errc>
367    : true_type { };
368
369#ifdef _LIBCPP_HAS_NO_STRONG_ENUMS
370template <>
371struct _LIBCPP_TYPE_VIS_ONLY is_error_condition_enum<errc::__lx>
372    : true_type { };
373#endif
374
375class _LIBCPP_TYPE_VIS error_condition;
376class _LIBCPP_TYPE_VIS error_code;
377
378// class error_category
379
380class _LIBCPP_HIDDEN __do_message;
381
382class _LIBCPP_TYPE_VIS error_category
383{
384public:
385    virtual ~error_category() _NOEXCEPT;
386
387#ifdef _LIBCPP_BUILDING_SYSTEM_ERROR
388    error_category() _NOEXCEPT;
389#else
390    _LIBCPP_ALWAYS_INLINE
391    _LIBCPP_CONSTEXPR_AFTER_CXX11 error_category() _NOEXCEPT _LIBCPP_DEFAULT
392#endif
393private:
394    error_category(const error_category&);// = delete;
395    error_category& operator=(const error_category&);// = delete;
396
397public:
398    virtual const char* name() const _NOEXCEPT = 0;
399    virtual error_condition default_error_condition(int __ev) const _NOEXCEPT;
400    virtual bool equivalent(int __code, const error_condition& __condition) const _NOEXCEPT;
401    virtual bool equivalent(const error_code& __code, int __condition) const _NOEXCEPT;
402    virtual string message(int __ev) const = 0;
403
404    _LIBCPP_ALWAYS_INLINE
405    bool operator==(const error_category& __rhs) const _NOEXCEPT {return this == &__rhs;}
406
407    _LIBCPP_ALWAYS_INLINE
408    bool operator!=(const error_category& __rhs) const _NOEXCEPT {return !(*this == __rhs);}
409
410    _LIBCPP_ALWAYS_INLINE
411    bool operator< (const error_category& __rhs) const _NOEXCEPT {return this < &__rhs;}
412
413    friend class _LIBCPP_HIDDEN __do_message;
414};
415
416class _LIBCPP_HIDDEN __do_message
417    : public error_category
418{
419public:
420    virtual string message(int ev) const;
421};
422
423_LIBCPP_FUNC_VIS const error_category& generic_category() _NOEXCEPT;
424_LIBCPP_FUNC_VIS const error_category& system_category() _NOEXCEPT;
425
426class _LIBCPP_TYPE_VIS error_condition
427{
428    int __val_;
429    const error_category* __cat_;
430public:
431    _LIBCPP_ALWAYS_INLINE
432    error_condition() _NOEXCEPT : __val_(0), __cat_(&generic_category()) {}
433
434    _LIBCPP_ALWAYS_INLINE
435    error_condition(int __val, const error_category& __cat) _NOEXCEPT
436        : __val_(__val), __cat_(&__cat) {}
437
438    template <class _Ep>
439        _LIBCPP_ALWAYS_INLINE
440        error_condition(_Ep __e,
441              typename enable_if<is_error_condition_enum<_Ep>::value>::type* = 0
442                                                                     ) _NOEXCEPT
443            {*this = make_error_condition(__e);}
444
445    _LIBCPP_ALWAYS_INLINE
446    void assign(int __val, const error_category& __cat) _NOEXCEPT
447    {
448        __val_ = __val;
449        __cat_ = &__cat;
450    }
451
452    template <class _Ep>
453        _LIBCPP_ALWAYS_INLINE
454        typename enable_if
455        <
456            is_error_condition_enum<_Ep>::value,
457            error_condition&
458        >::type
459        operator=(_Ep __e) _NOEXCEPT
460            {*this = make_error_condition(__e); return *this;}
461
462    _LIBCPP_ALWAYS_INLINE
463    void clear() _NOEXCEPT
464    {
465        __val_ = 0;
466        __cat_ = &generic_category();
467    }
468
469    _LIBCPP_ALWAYS_INLINE
470    int value() const _NOEXCEPT {return __val_;}
471
472    _LIBCPP_ALWAYS_INLINE
473    const error_category& category() const _NOEXCEPT {return *__cat_;}
474    string message() const;
475
476    _LIBCPP_ALWAYS_INLINE
477        _LIBCPP_EXPLICIT
478        operator bool() const _NOEXCEPT {return __val_ != 0;}
479};
480
481inline _LIBCPP_INLINE_VISIBILITY
482error_condition
483make_error_condition(errc __e) _NOEXCEPT
484{
485    return error_condition(static_cast<int>(__e), generic_category());
486}
487
488inline _LIBCPP_INLINE_VISIBILITY
489bool
490operator<(const error_condition& __x, const error_condition& __y) _NOEXCEPT
491{
492    return __x.category() < __y.category()
493        || (__x.category() == __y.category() && __x.value() < __y.value());
494}
495
496// error_code
497
498class _LIBCPP_TYPE_VIS error_code
499{
500    int __val_;
501    const error_category* __cat_;
502public:
503    _LIBCPP_ALWAYS_INLINE
504    error_code() _NOEXCEPT : __val_(0), __cat_(&system_category()) {}
505
506    _LIBCPP_ALWAYS_INLINE
507    error_code(int __val, const error_category& __cat) _NOEXCEPT
508        : __val_(__val), __cat_(&__cat) {}
509
510    template <class _Ep>
511        _LIBCPP_ALWAYS_INLINE
512        error_code(_Ep __e,
513                   typename enable_if<is_error_code_enum<_Ep>::value>::type* = 0
514                                                                     ) _NOEXCEPT
515            {*this = make_error_code(__e);}
516
517    _LIBCPP_ALWAYS_INLINE
518    void assign(int __val, const error_category& __cat) _NOEXCEPT
519    {
520        __val_ = __val;
521        __cat_ = &__cat;
522    }
523
524    template <class _Ep>
525        _LIBCPP_ALWAYS_INLINE
526        typename enable_if
527        <
528            is_error_code_enum<_Ep>::value,
529            error_code&
530        >::type
531        operator=(_Ep __e) _NOEXCEPT
532            {*this = make_error_code(__e); return *this;}
533
534    _LIBCPP_ALWAYS_INLINE
535    void clear() _NOEXCEPT
536    {
537        __val_ = 0;
538        __cat_ = &system_category();
539    }
540
541    _LIBCPP_ALWAYS_INLINE
542    int value() const _NOEXCEPT {return __val_;}
543
544    _LIBCPP_ALWAYS_INLINE
545    const error_category& category() const _NOEXCEPT {return *__cat_;}
546
547    _LIBCPP_ALWAYS_INLINE
548    error_condition default_error_condition() const _NOEXCEPT
549        {return __cat_->default_error_condition(__val_);}
550
551    string message() const;
552
553    _LIBCPP_ALWAYS_INLINE
554        _LIBCPP_EXPLICIT
555        operator bool() const _NOEXCEPT {return __val_ != 0;}
556};
557
558inline _LIBCPP_INLINE_VISIBILITY
559error_code
560make_error_code(errc __e) _NOEXCEPT
561{
562    return error_code(static_cast<int>(__e), generic_category());
563}
564
565inline _LIBCPP_INLINE_VISIBILITY
566bool
567operator<(const error_code& __x, const error_code& __y) _NOEXCEPT
568{
569    return __x.category() < __y.category()
570        || (__x.category() == __y.category() && __x.value() < __y.value());
571}
572
573inline _LIBCPP_INLINE_VISIBILITY
574bool
575operator==(const error_code& __x, const error_code& __y) _NOEXCEPT
576{
577    return __x.category() == __y.category() && __x.value() == __y.value();
578}
579
580inline _LIBCPP_INLINE_VISIBILITY
581bool
582operator==(const error_code& __x, const error_condition& __y) _NOEXCEPT
583{
584    return __x.category().equivalent(__x.value(), __y)
585        || __y.category().equivalent(__x, __y.value());
586}
587
588inline _LIBCPP_INLINE_VISIBILITY
589bool
590operator==(const error_condition& __x, const error_code& __y) _NOEXCEPT
591{
592    return __y == __x;
593}
594
595inline _LIBCPP_INLINE_VISIBILITY
596bool
597operator==(const error_condition& __x, const error_condition& __y) _NOEXCEPT
598{
599    return __x.category() == __y.category() && __x.value() == __y.value();
600}
601
602inline _LIBCPP_INLINE_VISIBILITY
603bool
604operator!=(const error_code& __x, const error_code& __y) _NOEXCEPT
605{return !(__x == __y);}
606
607inline _LIBCPP_INLINE_VISIBILITY
608bool
609operator!=(const error_code& __x, const error_condition& __y) _NOEXCEPT
610{return !(__x == __y);}
611
612inline _LIBCPP_INLINE_VISIBILITY
613bool
614operator!=(const error_condition& __x, const error_code& __y) _NOEXCEPT
615{return !(__x == __y);}
616
617inline _LIBCPP_INLINE_VISIBILITY
618bool
619operator!=(const error_condition& __x, const error_condition& __y) _NOEXCEPT
620{return !(__x == __y);}
621
622template <>
623struct _LIBCPP_TYPE_VIS_ONLY hash<error_code>
624    : public unary_function<error_code, size_t>
625{
626    _LIBCPP_INLINE_VISIBILITY
627    size_t operator()(const error_code& __ec) const _NOEXCEPT
628    {
629        return static_cast<size_t>(__ec.value());
630    }
631};
632
633template <>
634struct _LIBCPP_TYPE_VIS_ONLY hash<error_condition>
635    : public unary_function<error_condition, size_t>
636{
637    _LIBCPP_INLINE_VISIBILITY
638    size_t operator()(const error_condition& __ec) const _NOEXCEPT
639    {
640        return static_cast<size_t>(__ec.value());
641    }
642};
643
644// system_error
645
646class _LIBCPP_TYPE_VIS system_error
647    : public runtime_error
648{
649    error_code __ec_;
650public:
651    system_error(error_code __ec, const string& __what_arg);
652    system_error(error_code __ec, const char* __what_arg);
653    system_error(error_code __ec);
654    system_error(int __ev, const error_category& __ecat, const string& __what_arg);
655    system_error(int __ev, const error_category& __ecat, const char* __what_arg);
656    system_error(int __ev, const error_category& __ecat);
657    ~system_error() _NOEXCEPT;
658
659    _LIBCPP_ALWAYS_INLINE
660    const error_code& code() const _NOEXCEPT {return __ec_;}
661
662private:
663    static string __init(const error_code&, string);
664};
665
666_LIBCPP_NORETURN _LIBCPP_FUNC_VIS
667void __throw_system_error(int ev, const char* what_arg);
668
669_LIBCPP_END_NAMESPACE_STD
670
671#endif  // _LIBCPP_SYSTEM_ERROR
672