Commit | Line | Data |
---|---|---|
0220be14 JG |
1 | /* |
2 | * Copyright (C) 2022 Jérémie Galarneau <jeremie.galarneau@efficios.com> | |
3 | * | |
4 | * SPDX-License-Identifier: GPL-2.0-only | |
5 | * | |
6 | */ | |
7 | ||
8 | #include "field.hpp" | |
9 | ||
10 | #include <common/exception.hpp> | |
11 | #include <common/format.hpp> | |
12 | ||
d7bfb9b0 JG |
13 | #include <set> |
14 | ||
0220be14 JG |
15 | namespace lst = lttng::sessiond::trace; |
16 | ||
17 | namespace { | |
18 | template <class FieldTypeSet> | |
19 | bool fields_are_equal(const FieldTypeSet& a, const FieldTypeSet& b) | |
20 | { | |
21 | if (a.size() != b.size()) { | |
22 | return false; | |
23 | } | |
24 | ||
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; | |
29 | }); | |
30 | } | |
31 | } /* namespace */ | |
32 | ||
33 | lst::type::type(unsigned int in_alignment) : alignment{in_alignment} | |
34 | { | |
35 | } | |
36 | ||
37 | lst::type::~type() | |
38 | { | |
39 | } | |
40 | ||
41 | bool lst::type::operator==(const lst::type& other) const noexcept | |
42 | { | |
43 | return typeid(*this) == typeid(other) && | |
44 | alignment == other.alignment && | |
45 | /* defer to concrete type comparison */ | |
46 | this->_is_equal(other); | |
47 | } | |
48 | ||
49 | bool lst::type::operator!=(const lst::type& other) const noexcept | |
50 | { | |
51 | return !(*this == other); | |
52 | } | |
53 | ||
54 | lst::field::field(std::string in_name, lst::type::cuptr in_type) : | |
55 | name{std::move(in_name)}, _type{std::move(in_type)} | |
56 | { | |
57 | } | |
58 | ||
59 | void lst::field::accept(lst::field_visitor& visitor) const | |
60 | { | |
61 | visitor.visit(*this); | |
62 | } | |
63 | ||
64 | bool lst::field::operator==(const lst::field& other) const noexcept | |
65 | { | |
66 | return name == other.name && *_type == *other._type; | |
67 | } | |
68 | ||
69 | lst::integer_type::integer_type(unsigned int in_alignment, | |
70 | enum lst::byte_order in_byte_order, | |
71 | unsigned int in_size, | |
72 | enum lst::integer_type::signedness in_signedness, | |
97c35753 JG |
73 | enum lst::integer_type::base in_base, |
74 | roles in_roles) : | |
0220be14 JG |
75 | type(in_alignment), |
76 | byte_order{in_byte_order}, | |
77 | size{in_size}, | |
65cd3c0c | 78 | signedness_{in_signedness}, |
97c35753 JG |
79 | base_{in_base}, |
80 | roles_{std::move(in_roles)} | |
0220be14 JG |
81 | { |
82 | } | |
83 | ||
84 | bool lst::integer_type::_is_equal(const type &base_other) const noexcept | |
85 | { | |
86 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
87 | ||
88 | return this->byte_order == other.byte_order && | |
89 | this->size == other.size && | |
65cd3c0c | 90 | this->signedness_ == other.signedness_ && |
97c35753 JG |
91 | this->base_ == other.base_ && |
92 | this->roles_ == other.roles_; | |
0220be14 JG |
93 | } |
94 | ||
95 | void lst::integer_type::accept(type_visitor& visitor) const | |
96 | { | |
97 | visitor.visit(*this); | |
98 | } | |
99 | ||
100 | lst::byte_order lst::type::reverse_byte_order(lst::byte_order byte_order) noexcept | |
101 | { | |
102 | if (byte_order == lst::byte_order::BIG_ENDIAN_) { | |
103 | return lst::byte_order::LITTLE_ENDIAN_; | |
104 | } else { | |
105 | return lst::byte_order::BIG_ENDIAN_; | |
106 | } | |
107 | } | |
108 | ||
109 | lst::floating_point_type::floating_point_type(unsigned int in_alignment, | |
110 | lst::byte_order in_byte_order, | |
111 | unsigned int in_exponent_digits, | |
112 | unsigned int in_mantissa_digits) : | |
113 | type(in_alignment), | |
114 | byte_order(in_byte_order), | |
115 | exponent_digits{in_exponent_digits}, | |
116 | mantissa_digits(in_mantissa_digits) | |
117 | { | |
118 | /* Allowed (exponent, mantissa) pairs. */ | |
d7bfb9b0 | 119 | static const std::set<std::pair<unsigned int, unsigned int>> allowed_pairs{ |
0220be14 JG |
120 | {5, 11}, /* binary16 */ |
121 | {8, 24}, /* binary32 */ | |
122 | {11, 53}, /* binary64 */ | |
123 | {15, 113}, /* binary128 */ | |
124 | }; | |
125 | ||
d7bfb9b0 JG |
126 | if (allowed_pairs.find({exponent_digits, mantissa_digits}) != allowed_pairs.end()) { |
127 | /* mantissa and exponent digits is a valid pair. */ | |
128 | return; | |
0220be14 JG |
129 | } |
130 | ||
131 | LTTNG_THROW_INVALID_ARGUMENT_ERROR( | |
132 | fmt::format("Invalid exponent/mantissa values provided while creating {}", | |
133 | typeid(*this))); | |
134 | } | |
135 | ||
136 | void lst::floating_point_type::accept(type_visitor& visitor) const | |
137 | { | |
138 | visitor.visit(*this); | |
139 | } | |
140 | ||
141 | bool lst::floating_point_type::_is_equal(const type& base_other) const noexcept | |
142 | { | |
143 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
144 | ||
145 | return this->byte_order == other.byte_order && | |
146 | this->exponent_digits == other.exponent_digits && | |
147 | this->mantissa_digits == other.mantissa_digits; | |
148 | } | |
149 | ||
150 | lst::enumeration_type::enumeration_type(unsigned int in_alignment, | |
151 | enum lst::byte_order in_byte_order, | |
152 | unsigned int in_size, | |
153 | enum signedness in_signedness, | |
97c35753 JG |
154 | enum base in_base, |
155 | lst::integer_type::roles in_roles) : | |
156 | integer_type(in_alignment, | |
157 | in_byte_order, | |
158 | in_size, | |
159 | in_signedness, | |
160 | in_base, | |
161 | std::move(in_roles)) | |
0220be14 JG |
162 | { |
163 | } | |
164 | ||
e2c2bec2 JR |
165 | namespace lttng { |
166 | namespace sessiond { | |
167 | namespace trace { | |
0220be14 JG |
168 | template <> |
169 | void lst::signed_enumeration_type::accept(type_visitor& visitor) const | |
170 | { | |
171 | visitor.visit(*this); | |
172 | } | |
173 | ||
174 | template <> | |
175 | void lst::unsigned_enumeration_type::accept(type_visitor& visitor) const | |
176 | { | |
177 | visitor.visit(*this); | |
178 | } | |
e2c2bec2 JR |
179 | } /* namespace trace */ |
180 | } /* namespace sessiond */ | |
181 | } /* namespace lttng */ | |
0220be14 JG |
182 | |
183 | lst::array_type::array_type(unsigned int in_alignment, type::cuptr in_element_type) : | |
184 | type(in_alignment), element_type{std::move(in_element_type)} | |
185 | { | |
186 | } | |
187 | ||
188 | bool lst::array_type::_is_equal(const type& base_other) const noexcept | |
189 | { | |
190 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
191 | ||
192 | return *this->element_type == *other.element_type; | |
193 | } | |
194 | ||
195 | lst::static_length_array_type::static_length_array_type(unsigned int in_alignment, | |
196 | type::cuptr in_element_type, | |
197 | uint64_t in_length) : | |
198 | array_type(in_alignment, std::move(in_element_type)), | |
199 | length{in_length} | |
200 | { | |
201 | } | |
202 | ||
203 | bool lst::static_length_array_type::_is_equal(const type& base_other) const noexcept | |
204 | { | |
205 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
206 | ||
207 | return array_type::_is_equal(base_other) && this->length == other.length; | |
208 | } | |
209 | ||
210 | void lst::static_length_array_type::accept(type_visitor& visitor) const | |
211 | { | |
212 | visitor.visit(*this); | |
213 | } | |
214 | ||
215 | lst::dynamic_length_array_type::dynamic_length_array_type(unsigned int in_alignment, | |
216 | type::cuptr in_element_type, | |
217 | std::string in_length_field_name) : | |
218 | array_type(in_alignment, std::move(in_element_type)), | |
219 | length_field_name{std::move(in_length_field_name)} | |
220 | { | |
221 | } | |
222 | ||
223 | bool lst::dynamic_length_array_type::_is_equal(const type& base_other) const noexcept | |
224 | { | |
225 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
226 | ||
227 | return array_type::_is_equal(base_other) && | |
228 | this->length_field_name == other.length_field_name; | |
229 | } | |
230 | ||
231 | void lst::dynamic_length_array_type::accept(type_visitor& visitor) const | |
232 | { | |
233 | visitor.visit(*this); | |
234 | } | |
235 | ||
97c35753 JG |
236 | lst::static_length_blob_type::static_length_blob_type( |
237 | unsigned int in_alignment, uint64_t in_length_bytes, roles in_roles) : | |
238 | type(in_alignment), length_bytes{in_length_bytes}, roles_{std::move(in_roles)} | |
239 | { | |
240 | } | |
241 | ||
242 | bool lst::static_length_blob_type::_is_equal(const type& base_other) const noexcept | |
243 | { | |
244 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
245 | ||
246 | return length_bytes == other.length_bytes && roles_ == other.roles_; | |
247 | } | |
248 | ||
249 | void lst::static_length_blob_type::accept(type_visitor& visitor) const | |
250 | { | |
251 | visitor.visit(*this); | |
252 | } | |
253 | ||
254 | lst::dynamic_length_blob_type::dynamic_length_blob_type( | |
255 | unsigned int in_alignment, std::string in_length_field_name) : | |
256 | type(in_alignment), length_field_name{std::move(in_length_field_name)} | |
257 | { | |
258 | } | |
259 | ||
260 | bool lst::dynamic_length_blob_type::_is_equal(const type& base_other) const noexcept | |
261 | { | |
262 | const auto& other = dynamic_cast<decltype(*this)&>(base_other); | |
263 | ||
264 | return length_field_name == other.length_field_name; | |
265 | } | |
266 | ||
267 | void lst::dynamic_length_blob_type::accept(type_visitor& visitor) const | |
268 | { | |
269 | visitor.visit(*this); | |
270 | } | |
271 | ||
0220be14 | 272 | lst::string_type::string_type(unsigned int in_alignment, enum encoding in_encoding) : |
65cd3c0c | 273 | type(in_alignment), encoding_{in_encoding} |
0220be14 JG |
274 | { |
275 | } | |
276 | ||
277 | bool lst::string_type::_is_equal(const type& base_other) const noexcept | |
278 | { | |
279 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
280 | ||
65cd3c0c | 281 | return this->encoding_ == other.encoding_; |
0220be14 JG |
282 | } |
283 | ||
284 | lst::static_length_string_type::static_length_string_type( | |
285 | unsigned int in_alignment, enum encoding in_encoding, uint64_t in_length) : | |
286 | string_type(in_alignment, in_encoding), length{in_length} | |
287 | { | |
288 | } | |
289 | ||
290 | bool lst::static_length_string_type::_is_equal(const type& base_other) const noexcept | |
291 | { | |
292 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
293 | ||
294 | return string_type::_is_equal(base_other) && this->length == other.length; | |
295 | } | |
296 | ||
297 | void lst::static_length_string_type::accept(type_visitor& visitor) const | |
298 | { | |
299 | visitor.visit(*this); | |
300 | } | |
301 | ||
302 | lst::dynamic_length_string_type::dynamic_length_string_type(unsigned int in_alignment, | |
303 | enum encoding in_encoding, | |
304 | std::string in_length_field_name) : | |
305 | string_type(in_alignment, in_encoding), length_field_name{std::move(in_length_field_name)} | |
306 | { | |
307 | } | |
308 | ||
309 | bool lst::dynamic_length_string_type::_is_equal(const type& base_other) const noexcept | |
310 | { | |
311 | const auto& other = static_cast<decltype(*this)&>(base_other); | |
312 | ||
313 | return string_type::_is_equal(base_other) && | |
314 | this->length_field_name == other.length_field_name; | |
315 | } | |
316 | ||
317 | void lst::dynamic_length_string_type::accept(type_visitor& visitor) const | |
318 | { | |
319 | visitor.visit(*this); | |
320 | } | |
321 | ||
322 | lst::null_terminated_string_type::null_terminated_string_type(unsigned int in_alignment, | |
323 | enum encoding in_encoding) : | |
324 | string_type(in_alignment, in_encoding) | |
325 | { | |
326 | } | |
327 | ||
328 | void lst::null_terminated_string_type::accept(type_visitor& visitor) const | |
329 | { | |
330 | visitor.visit(*this); | |
331 | } | |
332 | ||
333 | lst::structure_type::structure_type(unsigned int in_alignment, fields in_fields) : | |
334 | type(in_alignment), _fields{std::move(in_fields)} | |
335 | { | |
336 | } | |
337 | ||
338 | bool lst::structure_type::_is_equal(const type& base_other) const noexcept | |
339 | { | |
340 | const auto &other = static_cast<decltype(*this)&>(base_other); | |
341 | ||
342 | return fields_are_equal(this->_fields, other._fields); | |
343 | } | |
344 | ||
345 | void lst::structure_type::accept(type_visitor& visitor) const | |
346 | { | |
347 | visitor.visit(*this); | |
348 | } | |
349 | ||
350 | lst::variant_type::variant_type(unsigned int in_alignment, | |
351 | std::string in_tag_name, | |
352 | choices in_choices) : | |
353 | type(in_alignment), | |
354 | tag_name{std::move(in_tag_name)}, | |
355 | _choices{std::move(in_choices)} | |
356 | { | |
357 | } | |
358 | ||
359 | bool lst::variant_type::_is_equal(const type& base_other) const noexcept | |
360 | { | |
361 | const auto &other = static_cast<decltype(*this)&>(base_other); | |
362 | ||
363 | return this->tag_name == other.tag_name && | |
364 | fields_are_equal(this->_choices, other._choices); | |
365 | } | |
366 | ||
367 | void lst::variant_type::accept(type_visitor& visitor) const | |
368 | { | |
369 | visitor.visit(*this); | |
d7bfb9b0 | 370 | } |