Commit | Line | Data |
---|---|---|
61f59358 PP |
1 | /* |
2 | * Copyright 2018 Philippe Proulx <pproulx@efficios.com> | |
3 | * | |
4 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
5 | * of this software and associated documentation files (the "Software"), to deal | |
6 | * in the Software without restriction, including without limitation the rights | |
7 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
8 | * copies of the Software, and to permit persons to whom the Software is | |
9 | * furnished to do so, subject to the following conditions: | |
10 | * | |
11 | * The above copyright notice and this permission notice shall be included in | |
12 | * all copies or substantial portions of the Software. | |
13 | * | |
14 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
15 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
16 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | |
17 | * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
18 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
19 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE | |
20 | * SOFTWARE. | |
21 | */ | |
22 | ||
23 | #define BT_LOG_TAG "RESOLVE-FIELD-PATH" | |
24 | #include <babeltrace/lib-logging-internal.h> | |
25 | ||
26 | #include <babeltrace/assert-pre-internal.h> | |
27 | #include <babeltrace/assert-internal.h> | |
c319d0ae | 28 | #include <babeltrace/trace-ir/field-class-internal.h> |
577dc45a | 29 | #include <babeltrace/trace-ir/field-path-internal.h> |
dadf29b9 | 30 | #include <babeltrace/trace-ir/field-path-const.h> |
577dc45a | 31 | #include <babeltrace/trace-ir/resolve-field-path-internal.h> |
61f59358 PP |
32 | #include <limits.h> |
33 | #include <stdint.h> | |
34 | #include <inttypes.h> | |
35 | #include <glib.h> | |
36 | ||
37 | static | |
c82deff2 PP |
38 | bool find_field_class_recursive(struct bt_field_class *fc, |
39 | struct bt_field_class *tgt_fc, struct bt_field_path *field_path) | |
61f59358 PP |
40 | { |
41 | bool found = false; | |
42 | ||
c82deff2 | 43 | if (tgt_fc == fc) { |
61f59358 PP |
44 | found = true; |
45 | goto end; | |
46 | } | |
47 | ||
63749226 PP |
48 | switch (fc->type) { |
49 | case BT_FIELD_CLASS_TYPE_STRUCTURE: | |
50 | case BT_FIELD_CLASS_TYPE_VARIANT: | |
61f59358 | 51 | { |
c82deff2 PP |
52 | struct bt_field_class_named_field_class_container *container_fc = |
53 | (void *) fc; | |
61f59358 PP |
54 | uint64_t i; |
55 | ||
c82deff2 PP |
56 | for (i = 0; i < container_fc->named_fcs->len; i++) { |
57 | struct bt_named_field_class *named_fc = | |
58 | BT_FIELD_CLASS_NAMED_FC_AT_INDEX( | |
59 | container_fc, i); | |
61f59358 PP |
60 | |
61 | g_array_append_val(field_path->indexes, i); | |
c82deff2 PP |
62 | found = find_field_class_recursive(named_fc->fc, |
63 | tgt_fc, field_path); | |
61f59358 PP |
64 | if (found) { |
65 | goto end; | |
66 | } | |
67 | ||
68 | g_array_set_size(field_path->indexes, | |
69 | field_path->indexes->len - 1); | |
70 | } | |
71 | ||
72 | break; | |
73 | } | |
63749226 PP |
74 | case BT_FIELD_CLASS_TYPE_STATIC_ARRAY: |
75 | case BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY: | |
61f59358 | 76 | { |
c82deff2 | 77 | struct bt_field_class_array *array_fc = (void *) fc; |
61f59358 | 78 | |
c82deff2 PP |
79 | found = find_field_class_recursive(array_fc->element_fc, |
80 | tgt_fc, field_path); | |
61f59358 PP |
81 | break; |
82 | } | |
83 | default: | |
84 | break; | |
85 | } | |
86 | ||
87 | end: | |
88 | return found; | |
89 | } | |
90 | ||
91 | static | |
c82deff2 PP |
92 | int find_field_class(struct bt_field_class *root_fc, |
93 | enum bt_scope root_scope, struct bt_field_class *tgt_fc, | |
61f59358 PP |
94 | struct bt_field_path **ret_field_path) |
95 | { | |
96 | int ret = 0; | |
97 | struct bt_field_path *field_path = NULL; | |
98 | ||
c82deff2 | 99 | if (!root_fc) { |
61f59358 PP |
100 | goto end; |
101 | } | |
102 | ||
103 | field_path = bt_field_path_create(); | |
104 | if (!field_path) { | |
105 | ret = -1; | |
106 | goto end; | |
107 | } | |
108 | ||
109 | field_path->root = root_scope; | |
c82deff2 | 110 | if (!find_field_class_recursive(root_fc, tgt_fc, field_path)) { |
61f59358 | 111 | /* Not found here */ |
e2317362 | 112 | BT_OBJECT_PUT_REF_AND_RESET(field_path); |
61f59358 PP |
113 | } |
114 | ||
115 | end: | |
116 | *ret_field_path = field_path; | |
117 | return ret; | |
118 | } | |
119 | ||
120 | static | |
c82deff2 | 121 | struct bt_field_path *find_field_class_in_ctx(struct bt_field_class *fc, |
61f59358 PP |
122 | struct bt_resolve_field_path_context *ctx) |
123 | { | |
124 | struct bt_field_path *field_path = NULL; | |
125 | int ret; | |
126 | ||
c82deff2 PP |
127 | ret = find_field_class(ctx->packet_header, BT_SCOPE_PACKET_HEADER, |
128 | fc, &field_path); | |
61f59358 PP |
129 | if (ret || field_path) { |
130 | goto end; | |
131 | } | |
132 | ||
c82deff2 PP |
133 | ret = find_field_class(ctx->packet_context, BT_SCOPE_PACKET_CONTEXT, |
134 | fc, &field_path); | |
61f59358 PP |
135 | if (ret || field_path) { |
136 | goto end; | |
137 | } | |
138 | ||
c82deff2 PP |
139 | ret = find_field_class(ctx->event_header, BT_SCOPE_EVENT_HEADER, |
140 | fc, &field_path); | |
61f59358 PP |
141 | if (ret || field_path) { |
142 | goto end; | |
143 | } | |
144 | ||
c82deff2 PP |
145 | ret = find_field_class(ctx->event_common_context, |
146 | BT_SCOPE_EVENT_COMMON_CONTEXT, fc, &field_path); | |
61f59358 PP |
147 | if (ret || field_path) { |
148 | goto end; | |
149 | } | |
150 | ||
c82deff2 PP |
151 | ret = find_field_class(ctx->event_specific_context, |
152 | BT_SCOPE_EVENT_SPECIFIC_CONTEXT, fc, &field_path); | |
61f59358 PP |
153 | if (ret || field_path) { |
154 | goto end; | |
155 | } | |
156 | ||
c82deff2 PP |
157 | ret = find_field_class(ctx->event_payload, BT_SCOPE_EVENT_PAYLOAD, |
158 | fc, &field_path); | |
61f59358 PP |
159 | if (ret || field_path) { |
160 | goto end; | |
161 | } | |
162 | ||
163 | end: | |
164 | return field_path; | |
165 | } | |
166 | ||
167 | BT_ASSERT_PRE_FUNC | |
168 | static inline | |
169 | bool target_is_before_source(struct bt_field_path *src_field_path, | |
170 | struct bt_field_path *tgt_field_path) | |
171 | { | |
172 | bool is_valid = true; | |
173 | uint64_t src_i = 0, tgt_i = 0; | |
174 | ||
175 | if (tgt_field_path->root < src_field_path->root) { | |
176 | goto end; | |
177 | } | |
178 | ||
179 | if (tgt_field_path->root > src_field_path->root) { | |
180 | is_valid = false; | |
181 | goto end; | |
182 | } | |
183 | ||
184 | BT_ASSERT(tgt_field_path->root == src_field_path->root); | |
185 | ||
186 | while (src_i < src_field_path->indexes->len && | |
187 | tgt_i < tgt_field_path->indexes->len) { | |
188 | uint64_t src_index = bt_field_path_get_index_by_index_inline( | |
189 | src_field_path, src_i); | |
190 | uint64_t tgt_index = bt_field_path_get_index_by_index_inline( | |
191 | tgt_field_path, tgt_i); | |
192 | ||
193 | if (tgt_index > src_index) { | |
194 | is_valid = false; | |
195 | goto end; | |
196 | } | |
197 | ||
198 | src_i++; | |
199 | tgt_i++; | |
200 | } | |
201 | ||
202 | end: | |
203 | return is_valid; | |
204 | } | |
205 | ||
206 | BT_ASSERT_PRE_FUNC | |
207 | static inline | |
c82deff2 | 208 | struct bt_field_class *borrow_root_field_class( |
61f59358 PP |
209 | struct bt_resolve_field_path_context *ctx, enum bt_scope scope) |
210 | { | |
211 | switch (scope) { | |
212 | case BT_SCOPE_PACKET_HEADER: | |
213 | return ctx->packet_header; | |
214 | case BT_SCOPE_PACKET_CONTEXT: | |
215 | return ctx->packet_context; | |
216 | case BT_SCOPE_EVENT_HEADER: | |
217 | return ctx->event_header; | |
218 | case BT_SCOPE_EVENT_COMMON_CONTEXT: | |
219 | return ctx->event_common_context; | |
220 | case BT_SCOPE_EVENT_SPECIFIC_CONTEXT: | |
221 | return ctx->event_specific_context; | |
222 | case BT_SCOPE_EVENT_PAYLOAD: | |
223 | return ctx->event_payload; | |
224 | default: | |
225 | abort(); | |
226 | } | |
227 | ||
228 | return NULL; | |
229 | } | |
230 | ||
231 | BT_ASSERT_PRE_FUNC | |
232 | static inline | |
c82deff2 | 233 | struct bt_field_class *borrow_child_field_class(struct bt_field_class *parent_fc, |
61f59358 PP |
234 | uint64_t index, bool *advance) |
235 | { | |
c82deff2 | 236 | struct bt_field_class *child_fc = NULL; |
61f59358 | 237 | |
63749226 PP |
238 | switch (parent_fc->type) { |
239 | case BT_FIELD_CLASS_TYPE_STRUCTURE: | |
240 | case BT_FIELD_CLASS_TYPE_VARIANT: | |
61f59358 | 241 | { |
c82deff2 PP |
242 | struct bt_named_field_class *named_fc = |
243 | BT_FIELD_CLASS_NAMED_FC_AT_INDEX(parent_fc, index); | |
61f59358 | 244 | |
c82deff2 | 245 | child_fc = named_fc->fc; |
61f59358 PP |
246 | *advance = true; |
247 | break; | |
248 | } | |
63749226 PP |
249 | case BT_FIELD_CLASS_TYPE_STATIC_ARRAY: |
250 | case BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY: | |
61f59358 | 251 | { |
c82deff2 | 252 | struct bt_field_class_array *array_fc = (void *) parent_fc; |
61f59358 | 253 | |
c82deff2 | 254 | child_fc = array_fc->element_fc; |
61f59358 PP |
255 | *advance = false; |
256 | break; | |
257 | } | |
258 | default: | |
259 | break; | |
260 | } | |
261 | ||
c82deff2 | 262 | return child_fc; |
61f59358 PP |
263 | } |
264 | ||
265 | BT_ASSERT_PRE_FUNC | |
266 | static inline | |
c82deff2 | 267 | bool target_field_path_in_different_scope_has_struct_fc_only( |
61f59358 PP |
268 | struct bt_field_path *src_field_path, |
269 | struct bt_field_path *tgt_field_path, | |
270 | struct bt_resolve_field_path_context *ctx) | |
271 | { | |
272 | bool is_valid = true; | |
273 | uint64_t i = 0; | |
c82deff2 | 274 | struct bt_field_class *fc; |
61f59358 PP |
275 | |
276 | if (src_field_path->root == tgt_field_path->root) { | |
277 | goto end; | |
278 | } | |
279 | ||
c82deff2 | 280 | fc = borrow_root_field_class(ctx, tgt_field_path->root); |
61f59358 PP |
281 | |
282 | while (i < tgt_field_path->indexes->len) { | |
283 | uint64_t index = bt_field_path_get_index_by_index_inline( | |
284 | tgt_field_path, i); | |
285 | bool advance; | |
286 | ||
63749226 PP |
287 | if (fc->type == BT_FIELD_CLASS_TYPE_STATIC_ARRAY || |
288 | fc->type == BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY || | |
289 | fc->type == BT_FIELD_CLASS_TYPE_VARIANT) { | |
61f59358 PP |
290 | is_valid = false; |
291 | goto end; | |
292 | } | |
293 | ||
c82deff2 | 294 | fc = borrow_child_field_class(fc, index, &advance); |
61f59358 PP |
295 | |
296 | if (advance) { | |
297 | i++; | |
298 | } | |
299 | } | |
300 | ||
301 | end: | |
302 | return is_valid; | |
303 | } | |
304 | ||
305 | BT_ASSERT_PRE_FUNC | |
306 | static inline | |
c82deff2 | 307 | bool lca_is_structure_field_class(struct bt_field_path *src_field_path, |
61f59358 PP |
308 | struct bt_field_path *tgt_field_path, |
309 | struct bt_resolve_field_path_context *ctx) | |
310 | { | |
311 | bool is_valid = true; | |
c82deff2 PP |
312 | struct bt_field_class *src_fc; |
313 | struct bt_field_class *tgt_fc; | |
314 | struct bt_field_class *prev_fc = NULL; | |
61f59358 PP |
315 | uint64_t src_i = 0, tgt_i = 0; |
316 | ||
317 | if (src_field_path->root != tgt_field_path->root) { | |
318 | goto end; | |
319 | } | |
320 | ||
c82deff2 PP |
321 | src_fc = borrow_root_field_class(ctx, src_field_path->root); |
322 | tgt_fc = borrow_root_field_class(ctx, tgt_field_path->root); | |
323 | BT_ASSERT(src_fc); | |
324 | BT_ASSERT(tgt_fc); | |
61f59358 PP |
325 | |
326 | while (src_i < src_field_path->indexes->len && | |
327 | tgt_i < tgt_field_path->indexes->len) { | |
328 | bool advance; | |
329 | uint64_t src_index = bt_field_path_get_index_by_index_inline( | |
330 | src_field_path, src_i); | |
331 | uint64_t tgt_index = bt_field_path_get_index_by_index_inline( | |
332 | tgt_field_path, tgt_i); | |
333 | ||
c82deff2 PP |
334 | if (src_fc != tgt_fc) { |
335 | if (!prev_fc) { | |
61f59358 PP |
336 | /* |
337 | * This is correct: the LCA is the root | |
82823b42 PP |
338 | * scope field class, which must be a |
339 | * structure field class. | |
61f59358 PP |
340 | */ |
341 | break; | |
342 | } | |
343 | ||
63749226 | 344 | if (prev_fc->type != BT_FIELD_CLASS_TYPE_STRUCTURE) { |
61f59358 PP |
345 | is_valid = false; |
346 | } | |
347 | ||
348 | break; | |
349 | } | |
350 | ||
c82deff2 PP |
351 | prev_fc = src_fc; |
352 | src_fc = borrow_child_field_class(src_fc, src_index, &advance); | |
61f59358 PP |
353 | |
354 | if (advance) { | |
355 | src_i++; | |
356 | } | |
357 | ||
c82deff2 | 358 | tgt_fc = borrow_child_field_class(tgt_fc, tgt_index, &advance); |
61f59358 PP |
359 | |
360 | if (advance) { | |
361 | tgt_i++; | |
362 | } | |
363 | } | |
364 | ||
365 | end: | |
366 | return is_valid; | |
367 | } | |
368 | ||
369 | BT_ASSERT_PRE_FUNC | |
370 | static inline | |
c82deff2 | 371 | bool lca_to_target_has_struct_fc_only(struct bt_field_path *src_field_path, |
61f59358 PP |
372 | struct bt_field_path *tgt_field_path, |
373 | struct bt_resolve_field_path_context *ctx) | |
374 | { | |
375 | bool is_valid = true; | |
c82deff2 PP |
376 | struct bt_field_class *src_fc; |
377 | struct bt_field_class *tgt_fc; | |
61f59358 PP |
378 | uint64_t src_i = 0, tgt_i = 0; |
379 | ||
380 | if (src_field_path->root != tgt_field_path->root) { | |
381 | goto end; | |
382 | } | |
383 | ||
c82deff2 PP |
384 | src_fc = borrow_root_field_class(ctx, src_field_path->root); |
385 | tgt_fc = borrow_root_field_class(ctx, tgt_field_path->root); | |
386 | BT_ASSERT(src_fc); | |
387 | BT_ASSERT(tgt_fc); | |
388 | BT_ASSERT(src_fc == tgt_fc); | |
61f59358 PP |
389 | |
390 | /* Find LCA */ | |
391 | while (src_i < src_field_path->indexes->len && | |
392 | tgt_i < tgt_field_path->indexes->len) { | |
393 | bool advance; | |
394 | uint64_t src_index = bt_field_path_get_index_by_index_inline( | |
395 | src_field_path, src_i); | |
396 | uint64_t tgt_index = bt_field_path_get_index_by_index_inline( | |
397 | tgt_field_path, tgt_i); | |
398 | ||
399 | if (src_i != tgt_i) { | |
c82deff2 | 400 | /* Next field class is different: LCA is `tgt_fc` */ |
61f59358 PP |
401 | break; |
402 | } | |
403 | ||
c82deff2 | 404 | src_fc = borrow_child_field_class(src_fc, src_index, &advance); |
61f59358 PP |
405 | |
406 | if (advance) { | |
407 | src_i++; | |
408 | } | |
409 | ||
c82deff2 | 410 | tgt_fc = borrow_child_field_class(tgt_fc, tgt_index, &advance); |
61f59358 PP |
411 | |
412 | if (advance) { | |
413 | tgt_i++; | |
414 | } | |
415 | } | |
416 | ||
c82deff2 | 417 | /* Only structure field classes to the target */ |
61f59358 PP |
418 | while (tgt_i < tgt_field_path->indexes->len) { |
419 | bool advance; | |
420 | uint64_t tgt_index = bt_field_path_get_index_by_index_inline( | |
421 | tgt_field_path, tgt_i); | |
422 | ||
63749226 PP |
423 | if (tgt_fc->type == BT_FIELD_CLASS_TYPE_STATIC_ARRAY || |
424 | tgt_fc->type == BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY || | |
425 | tgt_fc->type == BT_FIELD_CLASS_TYPE_VARIANT) { | |
61f59358 PP |
426 | is_valid = false; |
427 | goto end; | |
428 | } | |
429 | ||
c82deff2 | 430 | tgt_fc = borrow_child_field_class(tgt_fc, tgt_index, &advance); |
61f59358 PP |
431 | |
432 | if (advance) { | |
433 | tgt_i++; | |
434 | } | |
435 | } | |
436 | ||
437 | end: | |
438 | return is_valid; | |
439 | } | |
440 | ||
441 | BT_ASSERT_PRE_FUNC | |
442 | static inline | |
c82deff2 PP |
443 | bool field_path_is_valid(struct bt_field_class *src_fc, |
444 | struct bt_field_class *tgt_fc, | |
61f59358 PP |
445 | struct bt_resolve_field_path_context *ctx) |
446 | { | |
447 | bool is_valid = true; | |
c82deff2 PP |
448 | struct bt_field_path *src_field_path = find_field_class_in_ctx( |
449 | src_fc, ctx); | |
450 | struct bt_field_path *tgt_field_path = find_field_class_in_ctx( | |
451 | tgt_fc, ctx); | |
61f59358 PP |
452 | |
453 | if (!src_field_path) { | |
82823b42 | 454 | BT_ASSERT_PRE_MSG("Cannot find requesting field class in " |
c82deff2 | 455 | "resolving context: %!+F", src_fc); |
61f59358 PP |
456 | is_valid = false; |
457 | goto end; | |
458 | } | |
459 | ||
460 | if (!tgt_field_path) { | |
82823b42 | 461 | BT_ASSERT_PRE_MSG("Cannot find target field class in " |
c82deff2 | 462 | "resolving context: %!+F", tgt_fc); |
61f59358 PP |
463 | is_valid = false; |
464 | goto end; | |
465 | } | |
466 | ||
467 | /* Target must be before source */ | |
468 | if (!target_is_before_source(src_field_path, tgt_field_path)) { | |
82823b42 PP |
469 | BT_ASSERT_PRE_MSG("Target field class is located after " |
470 | "requesting field class: %![req-fc-]+F, %![tgt-fc-]+F", | |
c82deff2 | 471 | src_fc, tgt_fc); |
61f59358 PP |
472 | is_valid = false; |
473 | goto end; | |
474 | } | |
475 | ||
476 | /* | |
477 | * If target is in a different scope than source, there are no | |
c82deff2 | 478 | * array or variant field classes on the way to the target. |
61f59358 | 479 | */ |
c82deff2 | 480 | if (!target_field_path_in_different_scope_has_struct_fc_only( |
61f59358 | 481 | src_field_path, tgt_field_path, ctx)) { |
82823b42 PP |
482 | BT_ASSERT_PRE_MSG("Target field class is located in a " |
483 | "different scope than requesting field class, " | |
484 | "but within an array or a variant field class: " | |
c82deff2 PP |
485 | "%![req-fc-]+F, %![tgt-fc-]+F", |
486 | src_fc, tgt_fc); | |
61f59358 PP |
487 | is_valid = false; |
488 | goto end; | |
489 | } | |
490 | ||
82823b42 | 491 | /* Same scope: LCA must be a structure field class */ |
c82deff2 | 492 | if (!lca_is_structure_field_class(src_field_path, tgt_field_path, ctx)) { |
61f59358 | 493 | BT_ASSERT_PRE_MSG("Lowest common ancestor of target and " |
82823b42 | 494 | "requesting field classes is not a structure field class: " |
c82deff2 PP |
495 | "%![req-fc-]+F, %![tgt-fc-]+F", |
496 | src_fc, tgt_fc); | |
61f59358 PP |
497 | is_valid = false; |
498 | goto end; | |
499 | } | |
500 | ||
501 | /* Same scope: path from LCA to target has no array/variant FTs */ | |
c82deff2 | 502 | if (!lca_to_target_has_struct_fc_only(src_field_path, tgt_field_path, |
61f59358 PP |
503 | ctx)) { |
504 | BT_ASSERT_PRE_MSG("Path from lowest common ancestor of target " | |
82823b42 PP |
505 | "and requesting field classes to target field class " |
506 | "contains an array or a variant field class: " | |
c82deff2 | 507 | "%![req-fc-]+F, %![tgt-fc-]+F", src_fc, tgt_fc); |
61f59358 PP |
508 | is_valid = false; |
509 | goto end; | |
510 | } | |
511 | ||
512 | end: | |
e2317362 PP |
513 | bt_object_put_ref(src_field_path); |
514 | bt_object_put_ref(tgt_field_path); | |
61f59358 PP |
515 | return is_valid; |
516 | } | |
517 | ||
518 | static | |
c82deff2 PP |
519 | struct bt_field_path *resolve_field_path(struct bt_field_class *src_fc, |
520 | struct bt_field_class *tgt_fc, | |
61f59358 PP |
521 | struct bt_resolve_field_path_context *ctx) |
522 | { | |
c82deff2 | 523 | BT_ASSERT_PRE(field_path_is_valid(src_fc, tgt_fc, ctx), |
82823b42 | 524 | "Invalid target field class: %![req-fc-]+F, %![tgt-fc-]+F", |
c82deff2 PP |
525 | src_fc, tgt_fc); |
526 | return find_field_class_in_ctx(tgt_fc, ctx); | |
61f59358 PP |
527 | } |
528 | ||
529 | BT_HIDDEN | |
c82deff2 | 530 | int bt_resolve_field_paths(struct bt_field_class *fc, |
61f59358 PP |
531 | struct bt_resolve_field_path_context *ctx) |
532 | { | |
533 | int ret = 0; | |
534 | ||
c82deff2 | 535 | BT_ASSERT(fc); |
61f59358 | 536 | |
c82deff2 | 537 | /* Resolving part for dynamic array and variant field classes */ |
63749226 PP |
538 | switch (fc->type) { |
539 | case BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY: | |
61f59358 | 540 | { |
c82deff2 | 541 | struct bt_field_class_dynamic_array *dyn_array_fc = (void *) fc; |
61f59358 | 542 | |
c82deff2 PP |
543 | if (dyn_array_fc->length_fc) { |
544 | BT_ASSERT(!dyn_array_fc->length_field_path); | |
545 | dyn_array_fc->length_field_path = resolve_field_path( | |
546 | fc, dyn_array_fc->length_fc, ctx); | |
547 | if (!dyn_array_fc->length_field_path) { | |
61f59358 PP |
548 | ret = -1; |
549 | goto end; | |
550 | } | |
551 | } | |
552 | ||
553 | break; | |
554 | } | |
63749226 | 555 | case BT_FIELD_CLASS_TYPE_VARIANT: |
61f59358 | 556 | { |
c82deff2 PP |
557 | struct bt_field_class_variant *var_fc = (void *) fc; |
558 | ||
559 | if (var_fc->selector_fc) { | |
560 | BT_ASSERT(!var_fc->selector_field_path); | |
561 | var_fc->selector_field_path = | |
562 | resolve_field_path(fc, | |
563 | var_fc->selector_fc, ctx); | |
564 | if (!var_fc->selector_field_path) { | |
61f59358 PP |
565 | ret = -1; |
566 | goto end; | |
567 | } | |
568 | } | |
569 | } | |
570 | default: | |
571 | break; | |
572 | } | |
573 | ||
574 | /* Recursive part */ | |
63749226 PP |
575 | switch (fc->type) { |
576 | case BT_FIELD_CLASS_TYPE_STRUCTURE: | |
577 | case BT_FIELD_CLASS_TYPE_VARIANT: | |
61f59358 | 578 | { |
c82deff2 PP |
579 | struct bt_field_class_named_field_class_container *container_fc = |
580 | (void *) fc; | |
61f59358 PP |
581 | uint64_t i; |
582 | ||
c82deff2 PP |
583 | for (i = 0; i < container_fc->named_fcs->len; i++) { |
584 | struct bt_named_field_class *named_fc = | |
585 | BT_FIELD_CLASS_NAMED_FC_AT_INDEX( | |
586 | container_fc, i); | |
61f59358 | 587 | |
c82deff2 | 588 | ret = bt_resolve_field_paths(named_fc->fc, ctx); |
61f59358 PP |
589 | if (ret) { |
590 | goto end; | |
591 | } | |
592 | } | |
593 | ||
594 | break; | |
595 | } | |
63749226 PP |
596 | case BT_FIELD_CLASS_TYPE_STATIC_ARRAY: |
597 | case BT_FIELD_CLASS_TYPE_DYNAMIC_ARRAY: | |
61f59358 | 598 | { |
c82deff2 | 599 | struct bt_field_class_array *array_fc = (void *) fc; |
61f59358 | 600 | |
c82deff2 | 601 | ret = bt_resolve_field_paths(array_fc->element_fc, ctx); |
61f59358 PP |
602 | break; |
603 | } | |
604 | default: | |
605 | break; | |
606 | } | |
607 | ||
608 | end: | |
609 | return ret; | |
610 | } |