blob: e35a471c03fd550e33a3d6f676e10f3c24beef9a (
plain) (
blame)
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
115
|
/*
* This source code is released into the public domain.
*/
module;
#include <compare>
#include <cstdint>
#include <cstdlib>
#include <expected>
#include <format>
#include <utility>
#include <ucl.h>
export module nihil.ucl:integer;
import :object;
import :type;
namespace nihil::ucl {
export struct integer final : object {
using contained_type = std::int64_t;
inline static constexpr object_type ucl_type = object_type::integer;
/*
* Create an integer holding the value 0. Throws std::system_error
* on failure.
*/
integer();
/*
* Create an integer holding a specific value. Throws std::system_error
* on failure.
*/
explicit integer(contained_type value);
/*
* Create a new integer from a UCL object. Throws type_mismatch
* on failure.
*/
integer(ref_t, ::ucl_object_t const *uobj);
integer(noref_t, ::ucl_object_t *uobj);
// Return the value of this object.
[[nodiscard]] auto value(this integer const &self) -> contained_type;
};
/*
* Integer constructors. These return an error instead of throwing.
*/
export [[nodiscard]] auto
make_integer(integer::contained_type = 0) -> std::expected<integer, error>;
/*
* Comparison operators.
*/
export [[nodiscard]] auto operator== (integer const &a,
integer const &b) -> bool;
export [[nodiscard]] auto operator== (integer const &a,
integer::contained_type b) -> bool;
export [[nodiscard]] auto operator<=> (integer const &a,
integer const &b)
-> std::strong_ordering;
export [[nodiscard]] auto operator<=> (integer const &a,
integer::contained_type b)
-> std::strong_ordering;
/*
* Literal operator.
*/
inline namespace literals {
export constexpr auto operator""_ucl (unsigned long long i) -> integer
{
if (std::cmp_greater(i, std::numeric_limits<std::int64_t>::max()))
throw std::out_of_range("literal out of range");
return integer(static_cast<std::int64_t>(i));
}
} // namespace nihil::ucl::literals
} // namespace nihil::ucl
namespace nihil { inline namespace literals {
export using namespace ::nihil::ucl::literals;
}} // namespace nihil::literals
/*
* std::formatter for an integer. This provides the same format operations
* as std::formatter<std::int64_t>.
*/
export template<>
struct std::formatter<nihil::ucl::integer, char>
{
std::formatter<std::int64_t> base_formatter;
template<class ParseContext>
constexpr ParseContext::iterator parse(ParseContext& ctx)
{
return base_formatter.parse(ctx);
}
template<class FmtContext>
FmtContext::iterator format(nihil::ucl::integer const &o,
FmtContext& ctx) const
{
return base_formatter.format(o.value(), ctx);
}
};
|
