2 * Copyright (C) 2022 Jérémie Galarneau <jeremie.galarneau@efficios.com>
4 * SPDX-License-Identifier: GPL-2.0-only
10 #include <common/exception.hpp>
11 #include <common/format.hpp>
15 namespace lst
= lttng::sessiond::trace
;
18 template <class FieldTypeSet
>
19 bool fields_are_equal(const FieldTypeSet
& a
, const FieldTypeSet
& b
)
21 if (a
.size() != b
.size()) {
25 return std::equal(a
.cbegin(), a
.cend(), b
.cbegin(),
26 [](typename
FieldTypeSet::const_reference field_a
,
27 typename
FieldTypeSet::const_reference field_b
) {
28 return *field_a
== *field_b
;
33 lst::field_location::field_location(lst::field_location::root in_lookup_root
,
34 lst::field_location::elements in_elements
) :
35 root_
{in_lookup_root
}, elements_
{std::move(in_elements
)}
39 bool lst::field_location::operator==(const lst::field_location
& other
) const noexcept
41 return root_
== other
.root_
&&
42 elements_
== other
.elements_
;
45 lst::type::type(unsigned int in_alignment
) : alignment
{in_alignment
}
53 bool lst::type::operator==(const lst::type
& other
) const noexcept
55 return typeid(*this) == typeid(other
) &&
56 alignment
== other
.alignment
&&
57 /* defer to concrete type comparison */
58 this->_is_equal(other
);
61 bool lst::type::operator!=(const lst::type
& other
) const noexcept
63 return !(*this == other
);
66 lst::field::field(std::string in_name
, lst::type::cuptr in_type
) :
67 name
{std::move(in_name
)}, _type
{std::move(in_type
)}
70 LTTNG_THROW_ERROR(fmt::format("Invalid type used to create field: field name = `{}`", name
));
74 void lst::field::accept(lst::field_visitor
& visitor
) const
79 bool lst::field::operator==(const lst::field
& other
) const noexcept
81 return name
== other
.name
&& *_type
== *other
._type
;
84 lst::type::cuptr
lst::field::move_type() noexcept
86 return std::move(_type
);
89 const lst::type
&lst::field::get_type() const
94 LTTNG_THROW_ERROR(fmt::format("Invalid attempt to access field type after transfer: field name = `{}`", name
));
98 lst::integer_type::integer_type(unsigned int in_alignment
,
99 enum lst::byte_order in_byte_order
,
100 unsigned int in_size
,
101 enum lst::integer_type::signedness in_signedness
,
102 enum lst::integer_type::base in_base
,
105 byte_order
{in_byte_order
},
107 signedness_
{in_signedness
},
109 roles_
{std::move(in_roles
)}
113 bool lst::integer_type::_is_equal(const type
&base_other
) const noexcept
115 const auto& other
= static_cast<decltype(*this)&>(base_other
);
117 return this->byte_order
== other
.byte_order
&&
118 this->size
== other
.size
&&
119 this->signedness_
== other
.signedness_
&&
120 this->base_
== other
.base_
&&
121 this->roles_
== other
.roles_
;
124 void lst::integer_type::accept(type_visitor
& visitor
) const
126 visitor
.visit(*this);
129 lst::byte_order
lst::type::reverse_byte_order(lst::byte_order byte_order
) noexcept
131 if (byte_order
== lst::byte_order::BIG_ENDIAN_
) {
132 return lst::byte_order::LITTLE_ENDIAN_
;
134 return lst::byte_order::BIG_ENDIAN_
;
138 lst::floating_point_type::floating_point_type(unsigned int in_alignment
,
139 lst::byte_order in_byte_order
,
140 unsigned int in_exponent_digits
,
141 unsigned int in_mantissa_digits
) :
143 byte_order(in_byte_order
),
144 exponent_digits
{in_exponent_digits
},
145 mantissa_digits(in_mantissa_digits
)
147 /* Allowed (exponent, mantissa) pairs. */
148 static const std::set
<std::pair
<unsigned int, unsigned int>> allowed_pairs
{
149 {5, 11}, /* binary16 */
150 {8, 24}, /* binary32 */
151 {11, 53}, /* binary64 */
152 {15, 113}, /* binary128 */
155 if (allowed_pairs
.find({exponent_digits
, mantissa_digits
}) != allowed_pairs
.end()) {
156 /* mantissa and exponent digits is a valid pair. */
160 LTTNG_THROW_INVALID_ARGUMENT_ERROR(
161 fmt::format("Invalid exponent/mantissa values provided while creating {}",
165 void lst::floating_point_type::accept(type_visitor
& visitor
) const
167 visitor
.visit(*this);
170 bool lst::floating_point_type::_is_equal(const type
& base_other
) const noexcept
172 const auto& other
= static_cast<decltype(*this)&>(base_other
);
174 return this->byte_order
== other
.byte_order
&&
175 this->exponent_digits
== other
.exponent_digits
&&
176 this->mantissa_digits
== other
.mantissa_digits
;
179 lst::enumeration_type::enumeration_type(unsigned int in_alignment
,
180 enum lst::byte_order in_byte_order
,
181 unsigned int in_size
,
182 enum signedness in_signedness
,
184 lst::integer_type::roles in_roles
) :
185 integer_type(in_alignment
,
195 * Due to a bug in g++ < 7.1, these specializations must be enclosed in the namespaces
196 * rather than using the usual `namespace::namespace::function` notation:
197 * see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56480.
203 void signed_enumeration_type::accept(type_visitor
& visitor
) const
205 visitor
.visit(*this);
209 void unsigned_enumeration_type::accept(type_visitor
& visitor
) const
211 visitor
.visit(*this);
215 void variant_type
<lst::signed_enumeration_type::mapping::range_t::range_integer_t
>::accept(
216 lst::type_visitor
& visitor
) const
218 visitor
.visit(*this);
222 void variant_type
<lst::unsigned_enumeration_type::mapping::range_t::range_integer_t
>::accept(
223 lst::type_visitor
& visitor
) const
225 visitor
.visit(*this);
227 } /* namespace trace */
228 } /* namespace sessiond */
229 } /* namespace lttng */
231 lst::array_type::array_type(unsigned int in_alignment
, type::cuptr in_element_type
) :
232 type(in_alignment
), element_type
{std::move(in_element_type
)}
236 bool lst::array_type::_is_equal(const type
& base_other
) const noexcept
238 const auto& other
= static_cast<decltype(*this)&>(base_other
);
240 return *this->element_type
== *other
.element_type
;
243 lst::static_length_array_type::static_length_array_type(unsigned int in_alignment
,
244 type::cuptr in_element_type
,
245 uint64_t in_length
) :
246 array_type(in_alignment
, std::move(in_element_type
)),
251 bool lst::static_length_array_type::_is_equal(const type
& base_other
) const noexcept
253 const auto& other
= static_cast<decltype(*this)&>(base_other
);
255 return array_type::_is_equal(base_other
) && this->length
== other
.length
;
258 void lst::static_length_array_type::accept(type_visitor
& visitor
) const
260 visitor
.visit(*this);
263 lst::dynamic_length_array_type::dynamic_length_array_type(unsigned int in_alignment
,
264 type::cuptr in_element_type
,
265 lst::field_location in_length_field_location
) :
266 array_type(in_alignment
, std::move(in_element_type
)),
267 length_field_location
{std::move(in_length_field_location
)}
271 bool lst::dynamic_length_array_type::_is_equal(const type
& base_other
) const noexcept
273 const auto& other
= static_cast<decltype(*this)&>(base_other
);
275 return array_type::_is_equal(base_other
) &&
276 this->length_field_location
== other
.length_field_location
;
279 void lst::dynamic_length_array_type::accept(type_visitor
& visitor
) const
281 visitor
.visit(*this);
284 lst::static_length_blob_type::static_length_blob_type(
285 unsigned int in_alignment
, uint64_t in_length_bytes
, roles in_roles
) :
286 type(in_alignment
), length_bytes
{in_length_bytes
}, roles_
{std::move(in_roles
)}
290 bool lst::static_length_blob_type::_is_equal(const type
& base_other
) const noexcept
292 const auto& other
= static_cast<decltype(*this)&>(base_other
);
294 return length_bytes
== other
.length_bytes
&& roles_
== other
.roles_
;
297 void lst::static_length_blob_type::accept(type_visitor
& visitor
) const
299 visitor
.visit(*this);
302 lst::dynamic_length_blob_type::dynamic_length_blob_type(
303 unsigned int in_alignment
, lst::field_location in_length_field_location
) :
304 type(in_alignment
), length_field_location
{std::move(in_length_field_location
)}
308 bool lst::dynamic_length_blob_type::_is_equal(const type
& base_other
) const noexcept
310 const auto& other
= dynamic_cast<decltype(*this)&>(base_other
);
312 return length_field_location
== other
.length_field_location
;
315 void lst::dynamic_length_blob_type::accept(type_visitor
& visitor
) const
317 visitor
.visit(*this);
320 lst::string_type::string_type(unsigned int in_alignment
, enum encoding in_encoding
) :
321 type(in_alignment
), encoding_
{in_encoding
}
325 bool lst::string_type::_is_equal(const type
& base_other
) const noexcept
327 const auto& other
= static_cast<decltype(*this)&>(base_other
);
329 return this->encoding_
== other
.encoding_
;
332 lst::static_length_string_type::static_length_string_type(
333 unsigned int in_alignment
, enum encoding in_encoding
, uint64_t in_length
) :
334 string_type(in_alignment
, in_encoding
), length
{in_length
}
338 bool lst::static_length_string_type::_is_equal(const type
& base_other
) const noexcept
340 const auto& other
= static_cast<decltype(*this)&>(base_other
);
342 return string_type::_is_equal(base_other
) && this->length
== other
.length
;
345 void lst::static_length_string_type::accept(type_visitor
& visitor
) const
347 visitor
.visit(*this);
350 lst::dynamic_length_string_type::dynamic_length_string_type(unsigned int in_alignment
,
351 enum encoding in_encoding
,
352 field_location in_length_field_location
) :
353 string_type(in_alignment
, in_encoding
),
354 length_field_location
{std::move(in_length_field_location
)}
358 bool lst::dynamic_length_string_type::_is_equal(const type
& base_other
) const noexcept
360 const auto& other
= static_cast<decltype(*this)&>(base_other
);
362 return string_type::_is_equal(base_other
) &&
363 this->length_field_location
== other
.length_field_location
;
366 void lst::dynamic_length_string_type::accept(type_visitor
& visitor
) const
368 visitor
.visit(*this);
371 lst::null_terminated_string_type::null_terminated_string_type(unsigned int in_alignment
,
372 enum encoding in_encoding
) :
373 string_type(in_alignment
, in_encoding
)
377 void lst::null_terminated_string_type::accept(type_visitor
& visitor
) const
379 visitor
.visit(*this);
382 lst::structure_type::structure_type(unsigned int in_alignment
, fields in_fields
) :
383 type(in_alignment
), fields_
{std::move(in_fields
)}
387 bool lst::structure_type::_is_equal(const type
& base_other
) const noexcept
389 const auto &other
= static_cast<decltype(*this)&>(base_other
);
391 return fields_are_equal(this->fields_
, other
.fields_
);
394 void lst::structure_type::accept(type_visitor
& visitor
) const
396 visitor
.visit(*this);