1// __ _____ _____ _____
2// __| | __| | | | JSON for Modern C++
3// | | |__ | | | | | | version 3.11.3
4// |_____|_____|_____|_|___| https://github.com/nlohmann/json
5//
6// SPDX-FileCopyrightText: 2013-2023 Niels Lohmann <https://nlohmann.me>
7// SPDX-License-Identifier: MIT
8
9#pragma once
10
11#include <cstdint> // size_t
12#include <utility> // declval
13#include <string> // string
14
15#include <nlohmann/detail/abi_macros.hpp>
16#include <nlohmann/detail/meta/detected.hpp>
17#include <nlohmann/detail/meta/type_traits.hpp>
18
19NLOHMANN_JSON_NAMESPACE_BEGIN
20namespace detail
21{
22
23template<typename T>
24using null_function_t = decltype(std::declval<T&>().null());
25
26template<typename T>
27using boolean_function_t =
28 decltype(std::declval<T&>().boolean(std::declval<bool>()));
29
30template<typename T, typename Integer>
31using number_integer_function_t =
32 decltype(std::declval<T&>().number_integer(std::declval<Integer>()));
33
34template<typename T, typename Unsigned>
35using number_unsigned_function_t =
36 decltype(std::declval<T&>().number_unsigned(std::declval<Unsigned>()));
37
38template<typename T, typename Float, typename String>
39using number_float_function_t = decltype(std::declval<T&>().number_float(
40 std::declval<Float>(), std::declval<const String&>()));
41
42template<typename T, typename String>
43using string_function_t =
44 decltype(std::declval<T&>().string(std::declval<String&>()));
45
46template<typename T, typename Binary>
47using binary_function_t =
48 decltype(std::declval<T&>().binary(std::declval<Binary&>()));
49
50template<typename T>
51using start_object_function_t =
52 decltype(std::declval<T&>().start_object(std::declval<std::size_t>()));
53
54template<typename T, typename String>
55using key_function_t =
56 decltype(std::declval<T&>().key(std::declval<String&>()));
57
58template<typename T>
59using end_object_function_t = decltype(std::declval<T&>().end_object());
60
61template<typename T>
62using start_array_function_t =
63 decltype(std::declval<T&>().start_array(std::declval<std::size_t>()));
64
65template<typename T>
66using end_array_function_t = decltype(std::declval<T&>().end_array());
67
68template<typename T, typename Exception>
69using parse_error_function_t = decltype(std::declval<T&>().parse_error(
70 std::declval<std::size_t>(), std::declval<const std::string&>(),
71 std::declval<const Exception&>()));
72
73template<typename SAX, typename BasicJsonType>
74struct is_sax
75{
76 private:
77 static_assert(is_basic_json<BasicJsonType>::value,
78 "BasicJsonType must be of type basic_json<...>");
79
80 using number_integer_t = typename BasicJsonType::number_integer_t;
81 using number_unsigned_t = typename BasicJsonType::number_unsigned_t;
82 using number_float_t = typename BasicJsonType::number_float_t;
83 using string_t = typename BasicJsonType::string_t;
84 using binary_t = typename BasicJsonType::binary_t;
85 using exception_t = typename BasicJsonType::exception;
86
87 public:
88 static constexpr bool value =
89 is_detected_exact<bool, null_function_t, SAX>::value &&
90 is_detected_exact<bool, boolean_function_t, SAX>::value &&
91 is_detected_exact<bool, number_integer_function_t, SAX, number_integer_t>::value &&
92 is_detected_exact<bool, number_unsigned_function_t, SAX, number_unsigned_t>::value &&
93 is_detected_exact<bool, number_float_function_t, SAX, number_float_t, string_t>::value &&
94 is_detected_exact<bool, string_function_t, SAX, string_t>::value &&
95 is_detected_exact<bool, binary_function_t, SAX, binary_t>::value &&
96 is_detected_exact<bool, start_object_function_t, SAX>::value &&
97 is_detected_exact<bool, key_function_t, SAX, string_t>::value &&
98 is_detected_exact<bool, end_object_function_t, SAX>::value &&
99 is_detected_exact<bool, start_array_function_t, SAX>::value &&
100 is_detected_exact<bool, end_array_function_t, SAX>::value &&
101 is_detected_exact<bool, parse_error_function_t, SAX, exception_t>::value;
102};
103
104template<typename SAX, typename BasicJsonType>
105struct is_sax_static_asserts
106{
107 private:
108 static_assert(is_basic_json<BasicJsonType>::value,
109 "BasicJsonType must be of type basic_json<...>");
110
111 using number_integer_t = typename BasicJsonType::number_integer_t;
112 using number_unsigned_t = typename BasicJsonType::number_unsigned_t;
113 using number_float_t = typename BasicJsonType::number_float_t;
114 using string_t = typename BasicJsonType::string_t;
115 using binary_t = typename BasicJsonType::binary_t;
116 using exception_t = typename BasicJsonType::exception;
117
118 public:
119 static_assert(is_detected_exact<bool, null_function_t, SAX>::value,
120 "Missing/invalid function: bool null()");
121 static_assert(is_detected_exact<bool, boolean_function_t, SAX>::value,
122 "Missing/invalid function: bool boolean(bool)");
123 static_assert(is_detected_exact<bool, boolean_function_t, SAX>::value,
124 "Missing/invalid function: bool boolean(bool)");
125 static_assert(
126 is_detected_exact<bool, number_integer_function_t, SAX,
127 number_integer_t>::value,
128 "Missing/invalid function: bool number_integer(number_integer_t)");
129 static_assert(
130 is_detected_exact<bool, number_unsigned_function_t, SAX,
131 number_unsigned_t>::value,
132 "Missing/invalid function: bool number_unsigned(number_unsigned_t)");
133 static_assert(is_detected_exact<bool, number_float_function_t, SAX,
134 number_float_t, string_t>::value,
135 "Missing/invalid function: bool number_float(number_float_t, const string_t&)");
136 static_assert(
137 is_detected_exact<bool, string_function_t, SAX, string_t>::value,
138 "Missing/invalid function: bool string(string_t&)");
139 static_assert(
140 is_detected_exact<bool, binary_function_t, SAX, binary_t>::value,
141 "Missing/invalid function: bool binary(binary_t&)");
142 static_assert(is_detected_exact<bool, start_object_function_t, SAX>::value,
143 "Missing/invalid function: bool start_object(std::size_t)");
144 static_assert(is_detected_exact<bool, key_function_t, SAX, string_t>::value,
145 "Missing/invalid function: bool key(string_t&)");
146 static_assert(is_detected_exact<bool, end_object_function_t, SAX>::value,
147 "Missing/invalid function: bool end_object()");
148 static_assert(is_detected_exact<bool, start_array_function_t, SAX>::value,
149 "Missing/invalid function: bool start_array(std::size_t)");
150 static_assert(is_detected_exact<bool, end_array_function_t, SAX>::value,
151 "Missing/invalid function: bool end_array()");
152 static_assert(
153 is_detected_exact<bool, parse_error_function_t, SAX, exception_t>::value,
154 "Missing/invalid function: bool parse_error(std::size_t, const "
155 "std::string&, const exception&)");
156};
157
158} // namespace detail
159NLOHMANN_JSON_NAMESPACE_END
160