blob: 1076bdcea2834b6169d24bdf518fb1ecf16b1217 [file] [log] [blame]
Michal Vasko60ea6352020-06-29 13:39:39 +02001/**
2 * @file parser_lyb.c
3 * @author Michal Vasko <mvasko@cesnet.cz>
4 * @brief LYB data parser for libyang
5 *
6 * Copyright (c) 2020 CESNET, z.s.p.o.
7 *
8 * This source code is licensed under BSD 3-Clause License (the "License").
9 * You may not use this file except in compliance with the License.
10 * You may obtain a copy of the License at
11 *
12 * https://opensource.org/licenses/BSD-3-Clause
13 */
14
15#include "lyb.h"
16
17#include <assert.h>
Radek Krejciad97c5f2020-06-30 09:19:28 +020018#include <stdint.h>
Michal Vasko60ea6352020-06-29 13:39:39 +020019#include <stdio.h>
20#include <stdlib.h>
21#include <string.h>
22
23#include "common.h"
24#include "compat.h"
Radek Krejciad97c5f2020-06-30 09:19:28 +020025#include "context.h"
26#include "dict.h"
Michal Vaskoafac7822020-10-20 14:22:26 +020027#include "in_internal.h"
Radek Krejciad97c5f2020-06-30 09:19:28 +020028#include "log.h"
Radek Krejci7931b192020-06-25 17:05:03 +020029#include "parser_data.h"
30#include "parser_internal.h"
Radek Krejciad97c5f2020-06-30 09:19:28 +020031#include "set.h"
32#include "tree.h"
Michal Vasko60ea6352020-06-29 13:39:39 +020033#include "tree_data_internal.h"
34#include "tree_schema.h"
35#include "validation.h"
36
Radek Krejci1798aae2020-07-14 13:26:06 +020037void
38lylyb_ctx_free(struct lylyb_ctx *ctx)
39{
40 LY_ARRAY_COUNT_TYPE u;
41
42 LY_ARRAY_FREE(ctx->subtrees);
43 LY_ARRAY_FREE(ctx->models);
44
45 LY_ARRAY_FOR(ctx->sib_hts, u) {
46 lyht_free(ctx->sib_hts[u].ht);
47 }
48 LY_ARRAY_FREE(ctx->sib_hts);
49
50 free(ctx);
51}
52
53void
54lyd_lyb_ctx_free(struct lyd_ctx *lydctx)
55{
56 struct lyd_lyb_ctx *ctx = (struct lyd_lyb_ctx *)lydctx;
57
58 lyd_ctx_free(lydctx);
59 lylyb_ctx_free(ctx->lybctx);
60 free(ctx);
61}
62
Michal Vasko60ea6352020-06-29 13:39:39 +020063/**
64 * @brief Read YANG data from LYB input. Metadata are handled transparently and not returned.
65 *
66 * @param[in] buf Destination buffer.
67 * @param[in] count Number of bytes to read.
68 * @param[in] lybctx LYB context.
69 */
70static void
Radek Krejci1798aae2020-07-14 13:26:06 +020071lyb_read(uint8_t *buf, size_t count, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +020072{
Michal Vaskofd69e1d2020-07-03 11:57:17 +020073 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +020074 struct lyd_lyb_subtree *empty;
75 size_t to_read;
76 uint8_t meta_buf[LYB_META_BYTES];
77
78 assert(lybctx);
79
80 while (1) {
81 /* check for fully-read (empty) data chunks */
82 to_read = count;
83 empty = NULL;
84 LY_ARRAY_FOR(lybctx->subtrees, u) {
85 /* we want the innermost chunks resolved first, so replace previous empty chunks,
86 * also ignore chunks that are completely finished, there is nothing for us to do */
87 if ((lybctx->subtrees[u].written <= to_read) && lybctx->subtrees[u].position) {
88 /* empty chunk, do not read more */
89 to_read = lybctx->subtrees[u].written;
90 empty = &lybctx->subtrees[u];
91 }
92 }
93
94 if (!empty && !count) {
95 break;
96 }
97
98 /* we are actually reading some data, not just finishing another chunk */
99 if (to_read) {
100 if (buf) {
Michal Vasko63f3d842020-07-08 10:10:14 +0200101 ly_in_read(lybctx->in, buf, to_read);
102 } else {
103 ly_in_skip(lybctx->in, to_read);
Michal Vasko60ea6352020-06-29 13:39:39 +0200104 }
105
106 LY_ARRAY_FOR(lybctx->subtrees, u) {
107 /* decrease all written counters */
108 lybctx->subtrees[u].written -= to_read;
109 assert(lybctx->subtrees[u].written <= LYB_SIZE_MAX);
110 }
111 /* decrease count/buf */
112 count -= to_read;
113 if (buf) {
114 buf += to_read;
115 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200116 }
117
118 if (empty) {
119 /* read the next chunk meta information */
Michal Vasko63f3d842020-07-08 10:10:14 +0200120 ly_in_read(lybctx->in, meta_buf, LYB_META_BYTES);
Michal Vasko60ea6352020-06-29 13:39:39 +0200121 empty->written = meta_buf[0];
122 empty->inner_chunks = meta_buf[1];
123
124 /* remember whether there is a following chunk or not */
125 empty->position = (empty->written == LYB_SIZE_MAX ? 1 : 0);
Michal Vasko60ea6352020-06-29 13:39:39 +0200126 }
127 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200128}
129
130/**
131 * @brief Read a number.
132 *
133 * @param[in] num Destination buffer.
134 * @param[in] num_size Size of @p num.
135 * @param[in] bytes Number of bytes to read.
136 * @param[in] lybctx LYB context.
137 */
138static void
Radek Krejci1798aae2020-07-14 13:26:06 +0200139lyb_read_number(void *num, size_t num_size, size_t bytes, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200140{
141 uint64_t buf = 0;
142
143 lyb_read((uint8_t *)&buf, bytes, lybctx);
144
145 /* correct byte order */
146 buf = le64toh(buf);
147
148 switch (num_size) {
149 case 1:
150 *((uint8_t *)num) = buf;
151 break;
152 case 2:
153 *((uint16_t *)num) = buf;
154 break;
155 case 4:
156 *((uint32_t *)num) = buf;
157 break;
158 case 8:
159 *((uint64_t *)num) = buf;
160 break;
161 default:
162 LOGINT(lybctx->ctx);
163 }
164}
165
166/**
167 * @brief Read a string.
168 *
169 * @param[in] str Destination buffer, is allocated.
170 * @param[in] with_length Whether the string is preceded with its length or it ends at the end of this subtree.
171 * @param[in] lybctx LYB context.
172 * @return LY_ERR value.
173 */
174static LY_ERR
Radek Krejci857189e2020-09-01 13:26:36 +0200175lyb_read_string(char **str, ly_bool with_length, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200176{
Radek Krejci857189e2020-09-01 13:26:36 +0200177 ly_bool next_chunk = 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200178 size_t len = 0, cur_len;
179
180 *str = NULL;
181
182 if (with_length) {
183 lyb_read_number(&len, sizeof len, 2, lybctx);
184 } else {
185 /* read until the end of this subtree */
186 len = LYB_LAST_SUBTREE(lybctx).written;
187 if (LYB_LAST_SUBTREE(lybctx).position) {
188 next_chunk = 1;
189 }
190 }
191
192 *str = malloc((len + 1) * sizeof **str);
193 LY_CHECK_ERR_RET(!*str, LOGMEM(lybctx->ctx), LY_EMEM);
194
195 lyb_read((uint8_t *)*str, len, lybctx);
196
197 while (next_chunk) {
198 cur_len = LYB_LAST_SUBTREE(lybctx).written;
199 if (LYB_LAST_SUBTREE(lybctx).position) {
200 next_chunk = 1;
201 } else {
202 next_chunk = 0;
203 }
204
205 *str = ly_realloc(*str, (len + cur_len + 1) * sizeof **str);
206 LY_CHECK_ERR_RET(!*str, LOGMEM(lybctx->ctx), LY_EMEM);
207
208 lyb_read(((uint8_t *)*str) + len, cur_len, lybctx);
209
210 len += cur_len;
211 }
212
213 ((char *)*str)[len] = '\0';
214 return LY_SUCCESS;
215}
216
217/**
218 * @brief Stop the current subtree - change LYB context state.
219 *
220 * @param[in] lybctx LYB context.
221 * @return LY_ERR value.
222 */
223static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200224lyb_read_stop_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200225{
226 if (LYB_LAST_SUBTREE(lybctx).written) {
227 LOGINT_RET(lybctx->ctx);
228 }
229
230 LY_ARRAY_DECREMENT(lybctx->subtrees);
231 return LY_SUCCESS;
232}
233
234/**
235 * @brief Start a new subtree - change LYB context state but also read the expected metadata.
236 *
237 * @param[in] lybctx LYB context.
238 * @return LY_ERR value.
239 */
240static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200241lyb_read_start_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200242{
243 uint8_t meta_buf[LYB_META_BYTES];
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200244 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +0200245
246 if (!lybctx->subtrees) {
Radek Krejcif6d14cb2020-07-02 16:11:45 +0200247 assert(lybctx->subtree_size == 0);
Michal Vasko60ea6352020-06-29 13:39:39 +0200248 u = 0;
249 } else {
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200250 u = LY_ARRAY_COUNT(lybctx->subtrees);
Michal Vasko60ea6352020-06-29 13:39:39 +0200251 }
252 if (u == lybctx->subtree_size) {
253 LY_ARRAY_CREATE_RET(lybctx->ctx, lybctx->subtrees, u + LYB_SUBTREE_STEP, LY_EMEM);
254 lybctx->subtree_size = u + LYB_SUBTREE_STEP;
255 }
256
Michal Vasko63f3d842020-07-08 10:10:14 +0200257 LY_CHECK_RET(ly_in_read(lybctx->in, meta_buf, LYB_META_BYTES));
Michal Vasko60ea6352020-06-29 13:39:39 +0200258
259 LY_ARRAY_INCREMENT(lybctx->subtrees);
260 LYB_LAST_SUBTREE(lybctx).written = meta_buf[0];
261 LYB_LAST_SUBTREE(lybctx).inner_chunks = meta_buf[LYB_SIZE_BYTES];
262 LYB_LAST_SUBTREE(lybctx).position = (LYB_LAST_SUBTREE(lybctx).written == LYB_SIZE_MAX ? 1 : 0);
263
Michal Vasko60ea6352020-06-29 13:39:39 +0200264 return LY_SUCCESS;
265}
266
267/**
268 * @brief Parse YANG model info.
269 *
270 * @param[in] lybctx LYB context.
271 * @param[out] mod Parsed module.
272 * @return LY_ERR value.
273 */
274static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200275lyb_parse_model(struct lylyb_ctx *lybctx, uint32_t parse_options, const struct lys_module **mod)
Michal Vasko60ea6352020-06-29 13:39:39 +0200276{
277 LY_ERR ret = LY_SUCCESS;
278 char *mod_name = NULL, mod_rev[11];
279 uint16_t rev;
280
281 /* model name */
282 ret = lyb_read_string(&mod_name, 1, lybctx);
283 LY_CHECK_GOTO(ret, cleanup);
284
285 /* revision */
286 lyb_read_number(&rev, sizeof rev, 2, lybctx);
287
288 if (!mod_name[0]) {
289 /* opaq node, no module */
290 *mod = NULL;
291 goto cleanup;
292 }
293
294 if (rev) {
295 sprintf(mod_rev, "%04u-%02u-%02u", ((rev & 0xFE00) >> 9) + 2000, (rev & 0x01E0) >> 5, rev & 0x001Fu);
296 *mod = ly_ctx_get_module(lybctx->ctx, mod_name, mod_rev);
Radek Krejci1798aae2020-07-14 13:26:06 +0200297 if ((parse_options & LYD_PARSE_LYB_MOD_UPDATE) && !(*mod)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200298 /* try to use an updated module */
299 *mod = ly_ctx_get_module_implemented(lybctx->ctx, mod_name);
300 if (*mod && (!(*mod)->revision || (strcmp((*mod)->revision, mod_rev) < 0))) {
301 /* not an implemented module in a newer revision */
302 *mod = NULL;
303 }
304 }
305 } else {
306 *mod = ly_ctx_get_module_latest(lybctx->ctx, mod_name);
307 }
308 /* TODO data_clb supported?
309 if (lybctx->ctx->data_clb) {
310 if (!*mod) {
311 *mod = lybctx->ctx->data_clb(lybctx->ctx, mod_name, NULL, 0, lybctx->ctx->data_clb_data);
312 } else if (!(*mod)->implemented) {
313 *mod = lybctx->ctx->data_clb(lybctx->ctx, mod_name, (*mod)->ns, LY_MODCLB_NOT_IMPLEMENTED, lybctx->ctx->data_clb_data);
314 }
315 }*/
316
317 if (!*mod || !(*mod)->implemented) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200318 if (parse_options & LYD_PARSE_STRICT) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200319 if (!*mod) {
320 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid context for LYB data parsing, missing module \"%s%s%s\".",
Michal Vasko69730152020-10-09 16:30:07 +0200321 mod_name, rev ? "@" : "", rev ? mod_rev : "");
Michal Vasko60ea6352020-06-29 13:39:39 +0200322 } else if (!(*mod)->implemented) {
323 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid context for LYB data parsing, module \"%s%s%s\" not implemented.",
Michal Vasko69730152020-10-09 16:30:07 +0200324 mod_name, rev ? "@" : "", rev ? mod_rev : "");
Michal Vasko60ea6352020-06-29 13:39:39 +0200325 }
326 ret = LY_EINVAL;
327 goto cleanup;
328 }
329
330 }
331
332cleanup:
333 free(mod_name);
334 return ret;
335}
336
337/**
338 * @brief Parse YANG node metadata.
339 *
340 * @param[in] lybctx LYB context.
Michal Vasko60ea6352020-06-29 13:39:39 +0200341 * @param[out] meta Parsed metadata.
342 * @return LY_ERR value.
343 */
344static LY_ERR
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200345lyb_parse_metadata(struct lyd_lyb_ctx *lybctx, struct lyd_meta **meta)
Michal Vasko60ea6352020-06-29 13:39:39 +0200346{
347 LY_ERR ret = LY_SUCCESS;
Radek Krejci857189e2020-09-01 13:26:36 +0200348 ly_bool dynamic;
Michal Vasko60ea6352020-06-29 13:39:39 +0200349 uint8_t i, count = 0;
Michal Vasko1e5d5612020-07-03 13:29:26 +0200350 char *meta_name = NULL, *meta_value;
Michal Vasko60ea6352020-06-29 13:39:39 +0200351 const struct lys_module *mod;
352
353 /* read number of attributes stored */
Radek Krejci1798aae2020-07-14 13:26:06 +0200354 lyb_read(&count, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200355
356 /* read attributes */
357 for (i = 0; i < count; ++i) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200358 ret = lyb_read_start_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200359 LY_CHECK_GOTO(ret, cleanup);
360
361 /* find model */
Radek Krejci1798aae2020-07-14 13:26:06 +0200362 ret = lyb_parse_model(lybctx->lybctx, lybctx->parse_options, &mod);
Michal Vasko60ea6352020-06-29 13:39:39 +0200363 LY_CHECK_GOTO(ret, cleanup);
364
365 if (!mod) {
366 /* skip it */
367 do {
Radek Krejci1798aae2020-07-14 13:26:06 +0200368 lyb_read(NULL, LYB_LAST_SUBTREE(lybctx->lybctx).written, lybctx->lybctx);
369 } while (LYB_LAST_SUBTREE(lybctx->lybctx).written);
Michal Vasko60ea6352020-06-29 13:39:39 +0200370 goto stop_subtree;
371 }
372
373 /* meta name */
Radek Krejci1798aae2020-07-14 13:26:06 +0200374 ret = lyb_read_string(&meta_name, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200375 LY_CHECK_GOTO(ret, cleanup);
376
377 /* meta value */
Radek Krejci1798aae2020-07-14 13:26:06 +0200378 ret = lyb_read_string(&meta_value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200379 LY_CHECK_GOTO(ret, cleanup);
380 dynamic = 1;
381
382 /* create metadata */
Michal Vaskoc8a230d2020-08-14 12:17:10 +0200383 ret = lyd_parser_create_meta((struct lyd_ctx *)lybctx, NULL, meta, mod, meta_name, strlen(meta_name), meta_value,
Michal Vasko69730152020-10-09 16:30:07 +0200384 ly_strlen(meta_value), &dynamic, LY_PREF_JSON, NULL, LYD_HINT_DATA);
Michal Vasko60ea6352020-06-29 13:39:39 +0200385
386 /* free strings */
387 free(meta_name);
388 meta_name = NULL;
389 if (dynamic) {
390 free(meta_value);
391 dynamic = 0;
392 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200393
Radek Krejci1798aae2020-07-14 13:26:06 +0200394 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200395
396stop_subtree:
Radek Krejci1798aae2020-07-14 13:26:06 +0200397 ret = lyb_read_stop_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200398 LY_CHECK_GOTO(ret, cleanup);
399 }
400
401cleanup:
402 free(meta_name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200403 if (ret) {
Michal Vasko3a41dff2020-07-15 14:30:28 +0200404 lyd_free_meta_siblings(*meta);
Michal Vasko60ea6352020-06-29 13:39:39 +0200405 *meta = NULL;
406 }
407 return ret;
408}
409
410/**
411 * @brief Parse opaque prefixes structure.
412 *
413 * @param[in] lybctx LYB context.
414 * @param[out] prefs Parsed prefixes.
415 * @return LY_ERR value.
416 */
417static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200418lyb_parse_opaq_prefixes(struct lylyb_ctx *lybctx, struct ly_prefix **prefs)
Michal Vasko60ea6352020-06-29 13:39:39 +0200419{
420 LY_ERR ret = LY_SUCCESS;
421 uint8_t count, i;
422 char *str;
423
424 /* read count */
425 lyb_read(&count, 1, lybctx);
426 if (!count) {
427 return LY_SUCCESS;
428 }
429
430 LY_ARRAY_CREATE_RET(lybctx->ctx, *prefs, count, LY_EMEM);
431 for (i = 0; i < count; ++i) {
432 LY_ARRAY_INCREMENT(*prefs);
433
434 /* prefix */
Radek Krejci011e4aa2020-09-04 15:22:31 +0200435 LY_CHECK_GOTO(ret = lyb_read_string(&str, 1, lybctx), cleanup);
436 LY_CHECK_GOTO(ret = lydict_insert_zc(lybctx->ctx, str, &(*prefs)[i].id), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200437
Radek Krejci1798aae2020-07-14 13:26:06 +0200438 /* module reference is the same as JSON name */
Radek Krejci011e4aa2020-09-04 15:22:31 +0200439 LY_CHECK_GOTO(ret = lyb_read_string(&str, 1, lybctx), cleanup);
440 LY_CHECK_GOTO(ret = lydict_insert_zc(lybctx->ctx, str, &(*prefs)[i].module_name), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200441 }
442
443cleanup:
444 if (ret) {
445 ly_free_val_prefs(lybctx->ctx, *prefs);
446 *prefs = NULL;
447 }
448 return ret;
449}
450
451/**
452 * @brief Parse opaque attributes.
453 *
454 * @param[in] lybctx LYB context.
455 * @param[out] attr Parsed attributes.
456 * @return LY_ERR value.
457 */
458static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200459lyb_parse_attributes(struct lylyb_ctx *lybctx, struct lyd_attr **attr)
Michal Vasko60ea6352020-06-29 13:39:39 +0200460{
461 LY_ERR ret = LY_SUCCESS;
462 uint8_t count, i;
Radek Krejci1798aae2020-07-14 13:26:06 +0200463 struct lyd_attr *attr2;
464 char *prefix = NULL, *module_name = NULL, *name = NULL, *value = NULL;
Radek Krejci857189e2020-09-01 13:26:36 +0200465 ly_bool dynamic = 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200466 LYD_FORMAT format = 0;
467 struct ly_prefix *val_prefs = NULL;
468
469 /* read count */
470 lyb_read(&count, 1, lybctx);
471
472 /* read attributes */
473 for (i = 0; i < count; ++i) {
474 ret = lyb_read_start_subtree(lybctx);
475 LY_CHECK_GOTO(ret, cleanup);
476
477 /* prefix, may be emtpy */
478 ret = lyb_read_string(&prefix, 1, lybctx);
479 LY_CHECK_GOTO(ret, cleanup);
480 if (!prefix[0]) {
481 free(prefix);
482 prefix = NULL;
483 }
484
485 /* namespace, may be empty */
Radek Krejci1798aae2020-07-14 13:26:06 +0200486 ret = lyb_read_string(&module_name, 1, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200487 LY_CHECK_GOTO(ret, cleanup);
Radek Krejci1798aae2020-07-14 13:26:06 +0200488 if (!module_name[0]) {
489 free(module_name);
490 module_name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200491 }
492
493 /* name */
494 ret = lyb_read_string(&name, 1, lybctx);
495 LY_CHECK_GOTO(ret, cleanup);
496
497 /* value prefixes */
498 ret = lyb_parse_opaq_prefixes(lybctx, &val_prefs);
499 LY_CHECK_GOTO(ret, cleanup);
500
501 /* format */
502 lyb_read((uint8_t *)&format, 1, lybctx);
503
504 /* value */
505 ret = lyb_read_string(&value, 0, lybctx);
Radek Krejcid46e46a2020-09-15 14:22:42 +0200506 LY_CHECK_ERR_GOTO(ret, ly_free_val_prefs(lybctx->ctx, val_prefs), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200507 dynamic = 1;
508
509 /* attr2 is always changed to the created attribute */
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200510 ret = lyd_create_attr(NULL, &attr2, lybctx->ctx, name, strlen(name), value, ly_strlen(value), &dynamic, format,
Michal Vasko69730152020-10-09 16:30:07 +0200511 0, val_prefs, prefix, ly_strlen(prefix), module_name, ly_strlen(module_name));
Michal Vasko60ea6352020-06-29 13:39:39 +0200512 LY_CHECK_GOTO(ret, cleanup);
513
514 free(prefix);
515 prefix = NULL;
Radek Krejci1798aae2020-07-14 13:26:06 +0200516 free(module_name);
517 module_name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200518 free(name);
519 name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200520 assert(!dynamic);
521 value = NULL;
522
523 if (!*attr) {
524 *attr = attr2;
525 }
526
527 ret = lyb_read_stop_subtree(lybctx);
528 LY_CHECK_GOTO(ret, cleanup);
529 }
530
531cleanup:
532 free(prefix);
Radek Krejci1798aae2020-07-14 13:26:06 +0200533 free(module_name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200534 free(name);
535 if (dynamic) {
536 free(value);
537 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200538 if (ret) {
Radek Krejci011e4aa2020-09-04 15:22:31 +0200539 lyd_free_attr_siblings(lybctx->ctx, *attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200540 *attr = NULL;
541 }
542 return ret;
543}
544
545/**
546 * @brief Check whether a schema node matches a hash(es).
547 *
548 * @param[in] sibling Schema node to check.
549 * @param[in] hash Hash array to check.
550 * @param[in] hash_count Number of hashes in @p hash.
551 * @return non-zero if matches,
552 * @return 0 if not.
553 */
554static int
555lyb_is_schema_hash_match(struct lysc_node *sibling, LYB_HASH *hash, uint8_t hash_count)
556{
557 LYB_HASH sibling_hash;
558 uint8_t i;
559
560 /* compare all the hashes starting from collision ID 0 */
561 for (i = 0; i < hash_count; ++i) {
562 sibling_hash = lyb_hash(sibling, i);
563 if (sibling_hash != hash[i]) {
564 return 0;
565 }
566 }
567
568 return 1;
569}
570
571/**
Michal Vasko60ea6352020-06-29 13:39:39 +0200572 * @brief Parse schema node hash.
573 *
574 * @param[in] lybctx LYB context.
575 * @param[in] sparent Schema parent, must be set if @p mod is not.
576 * @param[in] mod Module of the top-level node, must be set if @p sparent is not.
577 * @param[out] snode Parsed found schema node, may be NULL if opaque.
578 * @return LY_ERR value.
579 */
580static LY_ERR
581lyb_parse_schema_hash(struct lyd_lyb_ctx *lybctx, const struct lysc_node *sparent, const struct lys_module *mod,
Radek Krejci0f969882020-08-21 16:56:47 +0200582 const struct lysc_node **snode)
Michal Vasko60ea6352020-06-29 13:39:39 +0200583{
584 LY_ERR ret;
585 uint8_t i, j;
586 const struct lysc_node *sibling;
587 LYB_HASH hash[LYB_HASH_BITS - 1];
Radek Krejci1deb5be2020-08-26 16:43:36 +0200588 uint32_t getnext_opts;
Michal Vasko60ea6352020-06-29 13:39:39 +0200589
590 *snode = NULL;
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100591 getnext_opts = lybctx->int_opts & LYD_INTOPT_REPLY ? LYS_GETNEXT_OUTPUT : 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200592
593 /* read the first hash */
Radek Krejci1798aae2020-07-14 13:26:06 +0200594 lyb_read(&hash[0], sizeof *hash, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200595
596 if (!hash[0]) {
597 /* opaque node */
598 return LY_SUCCESS;
599 }
600
601 /* based on the first hash read all the other ones, if any */
602 for (i = 0; !(hash[0] & (LYB_HASH_COLLISION_ID >> i)); ++i) {
603 if (i > LYB_HASH_BITS) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200604 LOGINT_RET(lybctx->lybctx->ctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200605 }
606 }
607
608 /* move the first hash on its accurate position */
609 hash[i] = hash[0];
610
611 /* read the rest of hashes */
612 for (j = i; j; --j) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200613 lyb_read(&hash[j - 1], sizeof *hash, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200614
615 /* correct collision ID */
616 assert(hash[j - 1] & (LYB_HASH_COLLISION_ID >> (j - 1)));
617 /* preceded with zeros */
618 assert(!(hash[j - 1] & (LYB_HASH_MASK << (LYB_HASH_BITS - (j - 1)))));
619 }
620
621 /* find our node with matching hashes */
622 sibling = NULL;
623 while ((sibling = lys_getnext(sibling, sparent, mod ? mod->compiled : NULL, getnext_opts))) {
624 /* skip schema nodes from models not present during printing */
Michal Vasko69730152020-10-09 16:30:07 +0200625 if (lyb_has_schema_model(sibling, lybctx->lybctx->models) &&
626 lyb_is_schema_hash_match((struct lysc_node *)sibling, hash, i + 1)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200627 /* match found */
628 break;
629 }
630 }
631
Radek Krejci7931b192020-06-25 17:05:03 +0200632 if (!sibling && (lybctx->parse_options & LYD_PARSE_STRICT)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200633 if (mod) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200634 LOGVAL(lybctx->lybctx->ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "Failed to find matching hash for a top-level node"
Michal Vasko69730152020-10-09 16:30:07 +0200635 " from \"%s\".", mod->name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200636 } else {
Radek Krejci1798aae2020-07-14 13:26:06 +0200637 LOGVAL(lybctx->lybctx->ctx, LY_VLOG_LYSC, sparent, LYVE_REFERENCE, "Failed to find matching hash for a child node"
Michal Vasko69730152020-10-09 16:30:07 +0200638 " of \"%s\".", sparent->name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200639 }
640 return LY_EVALID;
Radek Krejci1798aae2020-07-14 13:26:06 +0200641 } else if (sibling && (ret = lyd_parser_check_schema((struct lyd_ctx *)lybctx, sibling))) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200642 return ret;
643 }
644
645 *snode = sibling;
646 return LY_SUCCESS;
647}
648
649/**
650 * @brief Read until the end of the current subtree.
651 *
652 * @param[in] lybctx LYB context.
653 */
654static void
Radek Krejci1798aae2020-07-14 13:26:06 +0200655lyb_skip_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200656{
Michal Vasko60ea6352020-06-29 13:39:39 +0200657 do {
658 /* first skip any meta information inside */
Michal Vasko63f3d842020-07-08 10:10:14 +0200659 ly_in_skip(lybctx->in, LYB_LAST_SUBTREE(lybctx).inner_chunks * LYB_META_BYTES);
Michal Vasko60ea6352020-06-29 13:39:39 +0200660
661 /* then read data */
662 lyb_read(NULL, LYB_LAST_SUBTREE(lybctx).written, lybctx);
663 } while (LYB_LAST_SUBTREE(lybctx).written);
664}
665
666/**
667 * @brief Parse LYB subtree.
668 *
669 * @param[in] lybctx LYB context.
670 * @param[in] parent Data parent of the subtree, must be set if @p first is not.
671 * @param[in,out] first First top-level sibling, must be set if @p parent is not.
672 * @return LY_ERR value.
673 */
674static LY_ERR
675lyb_parse_subtree_r(struct lyd_lyb_ctx *lybctx, struct lyd_node_inner *parent, struct lyd_node **first)
676{
677 LY_ERR ret = LY_SUCCESS;
678 struct lyd_node *node = NULL, *tree;
679 const struct lys_module *mod;
680 const struct lysc_node *snode = NULL;
681 struct lyd_meta *meta = NULL, *m;
Radek Krejci1798aae2020-07-14 13:26:06 +0200682 struct lyd_attr *attr = NULL, *a;
Michal Vasko60ea6352020-06-29 13:39:39 +0200683 struct ly_prefix *val_prefs = NULL;
684 LYD_ANYDATA_VALUETYPE value_type;
Radek Krejci1798aae2020-07-14 13:26:06 +0200685 char *value = NULL, *name = NULL, *prefix = NULL, *module_key = NULL;
Radek Krejci857189e2020-09-01 13:26:36 +0200686 ly_bool dynamic = 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200687 LYD_FORMAT format = 0;
Radek Krejci1deb5be2020-08-26 16:43:36 +0200688 uint32_t prev_lo;
Radek Krejci1798aae2020-07-14 13:26:06 +0200689 const struct ly_ctx *ctx = lybctx->lybctx->ctx;
Michal Vasko60ea6352020-06-29 13:39:39 +0200690
691 /* register a new subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200692 LY_CHECK_GOTO(ret = lyb_read_start_subtree(lybctx->lybctx), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200693
694 if (!parent) {
695 /* top-level, read module name */
Radek Krejci1798aae2020-07-14 13:26:06 +0200696 ret = lyb_parse_model(lybctx->lybctx, lybctx->parse_options, &mod);
Michal Vasko60ea6352020-06-29 13:39:39 +0200697 LY_CHECK_GOTO(ret, cleanup);
698
699 /* read hash, find the schema node starting from mod */
700 ret = lyb_parse_schema_hash(lybctx, NULL, mod, &snode);
701 LY_CHECK_GOTO(ret, cleanup);
702 } else {
703 /* read hash, find the schema node starting from parent schema */
704 ret = lyb_parse_schema_hash(lybctx, parent->schema, NULL, &snode);
705 LY_CHECK_GOTO(ret, cleanup);
706 }
707
Radek Krejci0f969882020-08-21 16:56:47 +0200708 if (!snode && !(lybctx->parse_options & LYD_PARSE_OPAQ)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200709 /* unknown data, skip them */
Radek Krejci1798aae2020-07-14 13:26:06 +0200710 lyb_skip_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200711 goto stop_subtree;
Radek Krejci0f969882020-08-21 16:56:47 +0200712 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200713
714 /* create metadata/attributes */
715 if (snode) {
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200716 ret = lyb_parse_metadata(lybctx, &meta);
Michal Vasko60ea6352020-06-29 13:39:39 +0200717 LY_CHECK_GOTO(ret, cleanup);
718 } else {
Radek Krejci1798aae2020-07-14 13:26:06 +0200719 ret = lyb_parse_attributes(lybctx->lybctx, &attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200720 LY_CHECK_GOTO(ret, cleanup);
721 }
722
723 if (!snode) {
724 /* parse prefix */
Radek Krejci1798aae2020-07-14 13:26:06 +0200725 ret = lyb_read_string(&prefix, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200726 LY_CHECK_GOTO(ret, cleanup);
727
Radek Krejci1798aae2020-07-14 13:26:06 +0200728 /* parse module key */
729 ret = lyb_read_string(&module_key, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200730 LY_CHECK_GOTO(ret, cleanup);
731
732 /* parse name */
Radek Krejci1798aae2020-07-14 13:26:06 +0200733 ret = lyb_read_string(&name, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200734 LY_CHECK_GOTO(ret, cleanup);
735
736 /* parse value prefixes */
Radek Krejci1798aae2020-07-14 13:26:06 +0200737 ret = lyb_parse_opaq_prefixes(lybctx->lybctx, &val_prefs);
Michal Vasko60ea6352020-06-29 13:39:39 +0200738 LY_CHECK_GOTO(ret, cleanup);
739
740 /* parse format */
Radek Krejci1798aae2020-07-14 13:26:06 +0200741 lyb_read((uint8_t *)&format, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200742
743 /* parse value */
Radek Krejci1798aae2020-07-14 13:26:06 +0200744 ret = lyb_read_string(&value, 0, lybctx->lybctx);
Radek Krejcid46e46a2020-09-15 14:22:42 +0200745 LY_CHECK_ERR_GOTO(ret, ly_free_val_prefs(ctx, val_prefs), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200746 dynamic = 1;
747
748 /* create node */
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200749 ret = lyd_create_opaq(ctx, name, strlen(name), value, strlen(value), &dynamic, format, 0, val_prefs, prefix,
Michal Vasko69730152020-10-09 16:30:07 +0200750 ly_strlen(prefix), module_key, ly_strlen(module_key), &node);
Michal Vasko60ea6352020-06-29 13:39:39 +0200751 LY_CHECK_GOTO(ret, cleanup);
752
753 /* process children */
Radek Krejci1798aae2020-07-14 13:26:06 +0200754 while (LYB_LAST_SUBTREE(lybctx->lybctx).written) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200755 ret = lyb_parse_subtree_r(lybctx, (struct lyd_node_inner *)node, NULL);
756 LY_CHECK_GOTO(ret, cleanup);
757 }
758 } else if (snode->nodetype & LYD_NODE_TERM) {
759 /* parse value */
Radek Krejci1798aae2020-07-14 13:26:06 +0200760 ret = lyb_read_string(&value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200761 LY_CHECK_GOTO(ret, cleanup);
762 dynamic = 1;
763
764 /* create node */
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200765 ret = lyd_parser_create_term((struct lyd_ctx *)lybctx, snode, value, ly_strlen(value), &dynamic, LY_PREF_JSON,
Michal Vasko69730152020-10-09 16:30:07 +0200766 NULL, LYD_HINT_DATA, &node);
Michal Vasko60ea6352020-06-29 13:39:39 +0200767 if (dynamic) {
768 free(value);
769 dynamic = 0;
770 }
771 value = NULL;
Radek Krejci1798aae2020-07-14 13:26:06 +0200772 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200773 } else if (snode->nodetype & LYD_NODE_INNER) {
774 /* create node */
775 ret = lyd_create_inner(snode, &node);
776 LY_CHECK_GOTO(ret, cleanup);
777
778 /* process children */
Radek Krejci1798aae2020-07-14 13:26:06 +0200779 while (LYB_LAST_SUBTREE(lybctx->lybctx).written) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200780 ret = lyb_parse_subtree_r(lybctx, (struct lyd_node_inner *)node, NULL);
781 LY_CHECK_GOTO(ret, cleanup);
782 }
783
Radek Krejci7931b192020-06-25 17:05:03 +0200784 if (!(lybctx->parse_options & LYD_PARSE_ONLY)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200785 /* new node validation, autodelete CANNOT occur, all nodes are new */
Michal Vasko8104fd42020-07-13 11:09:51 +0200786 ret = lyd_validate_new(lyd_node_children_p(node), snode, NULL, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200787 LY_CHECK_GOTO(ret, cleanup);
788
789 /* add any missing default children */
Michal Vaskoa6669ba2020-08-06 16:14:26 +0200790 ret = lyd_new_implicit_r(node, lyd_node_children_p(node), NULL, NULL, &lybctx->unres_node_type,
Michal Vasko69730152020-10-09 16:30:07 +0200791 &lybctx->when_check, (lybctx->validate_options & LYD_VALIDATE_NO_STATE) ?
792 LYD_IMPLICIT_NO_STATE : 0, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200793 LY_CHECK_GOTO(ret, cleanup);
794 }
795
Michal Vasko751cb4d2020-07-14 12:25:28 +0200796 if (snode->nodetype & (LYS_RPC | LYS_ACTION | LYS_NOTIF)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200797 /* rememeber the RPC/action/notification */
Radek Krejci1798aae2020-07-14 13:26:06 +0200798 lybctx->op_node = node;
Michal Vasko60ea6352020-06-29 13:39:39 +0200799 }
800 } else if (snode->nodetype & LYD_NODE_ANY) {
801 /* parse value type */
Radek Krejci1798aae2020-07-14 13:26:06 +0200802 lyb_read((uint8_t *)&value_type, sizeof value_type, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200803 if (value_type == LYD_ANYDATA_DATATREE) {
804 /* invalid situation */
Radek Krejci1798aae2020-07-14 13:26:06 +0200805 LOGINT(ctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200806 goto cleanup;
807 }
808
809 /* read anydata content */
Radek Krejci1798aae2020-07-14 13:26:06 +0200810 ret = lyb_read_string(&value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200811 LY_CHECK_GOTO(ret, cleanup);
812 dynamic = 1;
813
814 if (value_type == LYD_ANYDATA_LYB) {
815 /* turn logging off */
816 prev_lo = ly_log_options(0);
817
818 /* try to parse LYB into a data tree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200819 if (lyd_parse_data_mem(ctx, value, LYD_LYB, LYD_PARSE_ONLY | LYD_PARSE_OPAQ | LYD_PARSE_STRICT, 0, &tree) == LY_SUCCESS) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200820 /* successfully parsed */
821 free(value);
822 value = (char *)tree;
823 value_type = LYD_ANYDATA_DATATREE;
824 }
Radek Krejci7931b192020-06-25 17:05:03 +0200825
826 /* turn logging on again */
827 ly_log_options(prev_lo);
Michal Vasko60ea6352020-06-29 13:39:39 +0200828 }
829
830 /* create node */
831 ret = lyd_create_any(snode, value, value_type, &node);
832 LY_CHECK_GOTO(ret, cleanup);
833
834 dynamic = 0;
835 value = NULL;
836 }
837 assert(node);
838
839 /* add/correct flags */
840 if (snode) {
Radek Krejci7931b192020-06-25 17:05:03 +0200841 lyd_parse_set_data_flags(node, &lybctx->when_check, &meta, lybctx->parse_options);
Michal Vasko60ea6352020-06-29 13:39:39 +0200842 }
843
844 /* add metadata/attributes */
845 if (snode) {
846 LY_LIST_FOR(meta, m) {
847 m->parent = node;
848 }
849 node->meta = meta;
850 meta = NULL;
851 } else {
852 assert(!node->schema);
853 LY_LIST_FOR(attr, a) {
854 a->parent = (struct lyd_node_opaq *)node;
855 }
856 ((struct lyd_node_opaq *)node)->attr = attr;
857 attr = NULL;
858 }
859
Michal Vaskob104f112020-07-17 09:54:54 +0200860 /* insert, keep first pointer correct */
Michal Vasko60ea6352020-06-29 13:39:39 +0200861 lyd_insert_node((struct lyd_node *)parent, first, node);
Michal Vaskob104f112020-07-17 09:54:54 +0200862 while (!parent && (*first)->prev->next) {
863 *first = (*first)->prev;
864 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200865 node = NULL;
866
867stop_subtree:
868 /* end the subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200869 ret = lyb_read_stop_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200870 LY_CHECK_GOTO(ret, cleanup);
871
872cleanup:
873 free(prefix);
Radek Krejci1798aae2020-07-14 13:26:06 +0200874 free(module_key);
Michal Vasko60ea6352020-06-29 13:39:39 +0200875 free(name);
876 if (dynamic) {
877 free(value);
878 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200879
Michal Vasko3a41dff2020-07-15 14:30:28 +0200880 lyd_free_meta_siblings(meta);
Radek Krejci011e4aa2020-09-04 15:22:31 +0200881 lyd_free_attr_siblings(ctx, attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200882 lyd_free_tree(node);
883 return ret;
884}
885
886/**
887 * @brief Parse used YANG data models.
888 *
889 * @param[in] lybctx LYB context.
890 * @return LY_ERR value.
891 */
892static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200893lyb_parse_data_models(struct lylyb_ctx *lybctx, uint32_t parse_options)
Michal Vasko60ea6352020-06-29 13:39:39 +0200894{
895 LY_ERR ret;
896 uint32_t count;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200897 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +0200898
899 /* read model count */
900 lyb_read_number(&count, sizeof count, 2, lybctx);
901
902 if (count) {
903 LY_ARRAY_CREATE_RET(lybctx->ctx, lybctx->models, count, LY_EMEM);
904
905 /* read modules */
906 for (u = 0; u < count; ++u) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200907 ret = lyb_parse_model(lybctx, parse_options, &lybctx->models[u]);
Michal Vasko60ea6352020-06-29 13:39:39 +0200908 LY_CHECK_RET(ret);
909 LY_ARRAY_INCREMENT(lybctx->models);
910 }
911 }
912
913 return LY_SUCCESS;
914}
915
916/**
917 * @brief Parse LYB magic number.
918 *
919 * @param[in] lybctx LYB context.
920 * @return LY_ERR value.
921 */
922static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200923lyb_parse_magic_number(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200924{
925 char magic_byte = 0;
926
927 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
928 if (magic_byte != 'l') {
929 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid first magic number byte \"0x%02x\".", magic_byte);
930 return LY_EINVAL;
931 }
932
933 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
934 if (magic_byte != 'y') {
935 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid second magic number byte \"0x%02x\".", magic_byte);
936 return LY_EINVAL;
937 }
938
939 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
940 if (magic_byte != 'b') {
941 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid third magic number byte \"0x%02x\".", magic_byte);
942 return LY_EINVAL;
943 }
944
945 return LY_SUCCESS;
946}
947
948/**
949 * @brief Parse LYB header.
950 *
951 * @param[in] lybctx LYB context.
952 * @return LY_ERR value.
953 */
954static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200955lyb_parse_header(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200956{
957 uint8_t byte = 0;
958
959 /* version, future flags */
960 lyb_read((uint8_t *)&byte, sizeof byte, lybctx);
961
962 if ((byte & LYB_VERSION_MASK) != LYB_VERSION_NUM) {
963 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid LYB format version \"0x%02x\", expected \"0x%02x\".",
Michal Vasko69730152020-10-09 16:30:07 +0200964 byte & LYB_VERSION_MASK, LYB_VERSION_NUM);
Michal Vasko60ea6352020-06-29 13:39:39 +0200965 return LY_EINVAL;
966 }
967
968 return LY_SUCCESS;
969}
970
Radek Krejci1798aae2020-07-14 13:26:06 +0200971/*
972 * @param[in] ctx libyang context for logging
973 * @param[in] parent Parent node where to connect the parsed data, required for reply where the reply data are connected with the request operation
974 * @param[in] in Input structure.
975 * @param[in] parse_options Options for parser, see @ref dataparseroptions.
976 * @param[in] validate_options Options for the validation phase, see @ref datavalidationoptions.
977 * @param[in] data_type Internal data parser flag to distnguish type of the data to parse (RPC/Reply/Notification/regular data].
978 * @param[out] tree_p Parsed data tree. Note that NULL can be a valid result.
979 * @param[out] op_p Optional pointer to the actual operation. Useful for action and inner notifications.
980 * @param[out] lydctx_p Data parser context to finish validation.
981 */
982static LY_ERR
Radek Krejci1deb5be2020-08-26 16:43:36 +0200983lyd_parse_lyb_(const struct ly_ctx *ctx, struct lyd_node_inner **parent, struct ly_in *in, uint32_t parse_options, uint32_t validate_options,
984 uint32_t data_type, struct lyd_node **tree_p, struct lyd_node **op_p, struct lyd_ctx **lydctx_p)
Michal Vasko60ea6352020-06-29 13:39:39 +0200985{
986 LY_ERR ret = LY_SUCCESS;
Radek Krejci1798aae2020-07-14 13:26:06 +0200987 struct lyd_lyb_ctx *lybctx;
988 struct lyd_node *tree = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200989
Radek Krejci7931b192020-06-25 17:05:03 +0200990 assert(!(parse_options & ~LYD_PARSE_OPTS_MASK));
991 assert(!(validate_options & ~LYD_VALIDATE_OPTS_MASK));
992
Radek Krejci1798aae2020-07-14 13:26:06 +0200993 lybctx = calloc(1, sizeof *lybctx);
994 LY_CHECK_ERR_RET(!lybctx, LOGMEM(ctx), LY_EMEM);
995 lybctx->lybctx = calloc(1, sizeof *lybctx->lybctx);
Michal Vasko9acaf492020-08-13 09:05:58 +0200996 LY_CHECK_ERR_GOTO(!lybctx->lybctx, LOGMEM(ctx); ret = LY_EMEM, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200997
Radek Krejci1798aae2020-07-14 13:26:06 +0200998 lybctx->lybctx->in = in;
999 lybctx->lybctx->ctx = ctx;
1000 lybctx->parse_options = parse_options;
1001 lybctx->validate_options = validate_options;
1002 lybctx->int_opts = data_type;
1003 lybctx->free = lyd_lyb_ctx_free;
Michal Vasko60ea6352020-06-29 13:39:39 +02001004
1005 /* read magic number */
Radek Krejci1798aae2020-07-14 13:26:06 +02001006 ret = lyb_parse_magic_number(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001007 LY_CHECK_GOTO(ret, cleanup);
1008
1009 /* read header */
Radek Krejci1798aae2020-07-14 13:26:06 +02001010 ret = lyb_parse_header(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001011 LY_CHECK_GOTO(ret, cleanup);
1012
1013 /* read used models */
Radek Krejci1798aae2020-07-14 13:26:06 +02001014 ret = lyb_parse_data_models(lybctx->lybctx, lybctx->parse_options);
Michal Vasko60ea6352020-06-29 13:39:39 +02001015 LY_CHECK_GOTO(ret, cleanup);
1016
1017 /* read subtree(s) */
Radek Krejci1798aae2020-07-14 13:26:06 +02001018 while (lybctx->lybctx->in->current[0]) {
1019 ret = lyb_parse_subtree_r(lybctx, parent ? *parent : NULL, &tree);
Michal Vasko60ea6352020-06-29 13:39:39 +02001020 LY_CHECK_GOTO(ret, cleanup);
1021 }
1022
1023 /* read the last zero, parsing finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001024 ly_in_skip(lybctx->lybctx->in, 1);
Michal Vasko60ea6352020-06-29 13:39:39 +02001025
Radek Krejci1798aae2020-07-14 13:26:06 +02001026 if (data_type == LYD_INTOPT_RPC) {
1027 /* make sure we have parsed some operation */
1028 if (!lybctx->op_node) {
1029 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_DATA, "Missing the \"rpc\"/\"action\" node.");
1030 ret = LY_EVALID;
1031 goto cleanup;
1032 }
1033
1034 if (op_p) {
1035 *op_p = lybctx->op_node;
1036 }
1037 assert(tree);
1038 } else if (data_type == LYD_INTOPT_REPLY) {
1039 struct lyd_node_inner *iter;
1040
1041 assert(parent);
1042
1043 if (op_p) {
Michal Vasko22df3f02020-08-24 13:29:22 +02001044 *op_p = (struct lyd_node *)(*parent);
Radek Krejci1798aae2020-07-14 13:26:06 +02001045 }
Radek Krejci1e008d22020-08-17 11:37:37 +02001046 for (iter = *parent; iter->parent; iter = iter->parent) {}
Radek Krejci1798aae2020-07-14 13:26:06 +02001047 tree = (struct lyd_node *)iter;
1048 *parent = NULL;
1049
1050 } else if (data_type == LYD_INTOPT_NOTIF) {
1051 /* make sure we have parsed some notification */
1052 if (!lybctx->op_node) {
1053 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_DATA, "Missing the \"notification\" node.");
1054 ret = LY_EVALID;
1055 goto cleanup;
1056 }
1057
1058 if (op_p) {
1059 *op_p = lybctx->op_node;
1060 }
1061 assert(tree);
1062 }
Michal Vasko60ea6352020-06-29 13:39:39 +02001063
1064cleanup:
Radek Krejci1798aae2020-07-14 13:26:06 +02001065 if (ret || !lydctx_p) {
1066 lyd_lyb_ctx_free((struct lyd_ctx *)lybctx);
1067 if (ret) {
1068 lyd_free_all(tree);
1069 }
1070 } else {
1071 *lydctx_p = (struct lyd_ctx *)lybctx;
1072 if (tree_p) {
1073 *tree_p = tree;
1074 }
Michal Vasko60ea6352020-06-29 13:39:39 +02001075 }
1076 return ret;
1077}
1078
1079LY_ERR
Radek Krejci1deb5be2020-08-26 16:43:36 +02001080lyd_parse_lyb_data(const struct ly_ctx *ctx, struct ly_in *in, uint32_t parse_options, uint32_t validate_options,
Radek Krejci0f969882020-08-21 16:56:47 +02001081 struct lyd_node **tree_p, struct lyd_ctx **lydctx_p)
Michal Vasko60ea6352020-06-29 13:39:39 +02001082{
Radek Krejci1798aae2020-07-14 13:26:06 +02001083 return lyd_parse_lyb_(ctx, NULL, in, parse_options, validate_options, 0, tree_p, NULL, lydctx_p);
Michal Vasko60ea6352020-06-29 13:39:39 +02001084}
1085
1086LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +02001087lyd_parse_lyb_rpc(const struct ly_ctx *ctx, struct ly_in *in, struct lyd_node **tree_p, struct lyd_node **op_p)
Michal Vasko60ea6352020-06-29 13:39:39 +02001088{
Radek Krejci1798aae2020-07-14 13:26:06 +02001089 return lyd_parse_lyb_(ctx, NULL, in, LYD_PARSE_ONLY | LYD_PARSE_STRICT, 0, LYD_INTOPT_RPC, tree_p, op_p, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +02001090}
1091
1092LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +02001093lyd_parse_lyb_notif(const struct ly_ctx *ctx, struct ly_in *in, struct lyd_node **tree_p, struct lyd_node **ntf_p)
Michal Vasko60ea6352020-06-29 13:39:39 +02001094{
Radek Krejci1798aae2020-07-14 13:26:06 +02001095 return lyd_parse_lyb_(ctx, NULL, in, LYD_PARSE_ONLY | LYD_PARSE_STRICT, 0, LYD_INTOPT_NOTIF, tree_p, ntf_p, NULL);
1096}
Michal Vasko60ea6352020-06-29 13:39:39 +02001097
Radek Krejci1798aae2020-07-14 13:26:06 +02001098LY_ERR
1099lyd_parse_lyb_reply(const struct lyd_node *request, struct ly_in *in, struct lyd_node **tree_p, struct lyd_node **op_p)
1100{
1101 LY_ERR ret;
1102 struct lyd_node *req_op, *rep_op = NULL;
Michal Vaskob7be7a82020-08-20 09:09:04 +02001103 const struct ly_ctx *ctx = LYD_CTX(request);
Michal Vasko60ea6352020-06-29 13:39:39 +02001104
1105 /* find request OP */
Michal Vasko56daf732020-08-10 10:57:18 +02001106 LYD_TREE_DFS_BEGIN((struct lyd_node *)request, req_op) {
Michal Vasko60ea6352020-06-29 13:39:39 +02001107 if (req_op->schema->nodetype & (LYS_RPC | LYS_ACTION)) {
1108 break;
1109 }
Michal Vasko56daf732020-08-10 10:57:18 +02001110 LYD_TREE_DFS_END(request, req_op);
Michal Vasko60ea6352020-06-29 13:39:39 +02001111 }
1112 if (!(req_op->schema->nodetype & (LYS_RPC | LYS_ACTION))) {
Michal Vaskob7be7a82020-08-20 09:09:04 +02001113 LOGERR(LYD_CTX(request), LY_EINVAL, "No RPC/action in the request found.");
Radek Krejci1798aae2020-07-14 13:26:06 +02001114 return LY_EINVAL;
Michal Vasko60ea6352020-06-29 13:39:39 +02001115 }
1116
1117 /* duplicate request OP with parents */
Radek Krejci1798aae2020-07-14 13:26:06 +02001118 LY_CHECK_RET(lyd_dup_single(req_op, NULL, LYD_DUP_WITH_PARENTS, &rep_op));
Michal Vasko60ea6352020-06-29 13:39:39 +02001119
Radek Krejci1798aae2020-07-14 13:26:06 +02001120 ret = lyd_parse_lyb_(ctx, (struct lyd_node_inner **)&rep_op, in, LYD_PARSE_ONLY | LYD_PARSE_STRICT, 0, LYD_INTOPT_REPLY, tree_p, op_p, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +02001121
Michal Vasko60ea6352020-06-29 13:39:39 +02001122 lyd_free_all(rep_op);
Michal Vasko60ea6352020-06-29 13:39:39 +02001123
Michal Vasko60ea6352020-06-29 13:39:39 +02001124 return ret;
1125}
1126
1127API int
1128lyd_lyb_data_length(const char *data)
1129{
1130 LY_ERR ret = LY_SUCCESS;
Radek Krejci1798aae2020-07-14 13:26:06 +02001131 struct lylyb_ctx *lybctx;
Michal Vasko60ea6352020-06-29 13:39:39 +02001132 int count, i;
1133 size_t len;
1134 uint8_t buf[LYB_SIZE_MAX];
1135
1136 if (!data) {
1137 return -1;
1138 }
1139
Radek Krejci1798aae2020-07-14 13:26:06 +02001140 lybctx = calloc(1, sizeof *lybctx);
1141 LY_CHECK_ERR_RET(!lybctx, LOGMEM(NULL), LY_EMEM);
1142 ret = ly_in_new_memory(data, &lybctx->in);
Michal Vasko63f3d842020-07-08 10:10:14 +02001143 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001144
1145 /* read magic number */
Radek Krejci1798aae2020-07-14 13:26:06 +02001146 ret = lyb_parse_magic_number(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001147 LY_CHECK_GOTO(ret, cleanup);
1148
1149 /* read header */
Radek Krejci1798aae2020-07-14 13:26:06 +02001150 ret = lyb_parse_header(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001151 LY_CHECK_GOTO(ret, cleanup);
1152
1153 /* read model count */
Radek Krejci1798aae2020-07-14 13:26:06 +02001154 lyb_read_number(&count, sizeof count, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001155
1156 /* read all models */
1157 for (i = 0; i < count; ++i) {
1158 /* module name length */
1159 len = 0;
Radek Krejci1798aae2020-07-14 13:26:06 +02001160 lyb_read_number(&len, sizeof len, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001161
1162 /* model name */
Radek Krejci1798aae2020-07-14 13:26:06 +02001163 lyb_read(buf, len, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001164
1165 /* revision */
Radek Krejci1798aae2020-07-14 13:26:06 +02001166 lyb_read(buf, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001167 }
1168
Radek Krejci1798aae2020-07-14 13:26:06 +02001169 while (lybctx->in->current[0]) {
Michal Vasko60ea6352020-06-29 13:39:39 +02001170 /* register a new subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +02001171 ret = lyb_read_start_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001172 LY_CHECK_GOTO(ret, cleanup);
1173
1174 /* skip it */
Radek Krejci1798aae2020-07-14 13:26:06 +02001175 lyb_skip_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001176
1177 /* subtree finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001178 ret = lyb_read_stop_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001179 LY_CHECK_GOTO(ret, cleanup);
1180 }
1181
1182 /* read the last zero, parsing finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001183 ly_in_skip(lybctx->in, 1);
Michal Vasko60ea6352020-06-29 13:39:39 +02001184
1185cleanup:
Radek Krejci1798aae2020-07-14 13:26:06 +02001186 count = lybctx->in->current - lybctx->in->start;
Michal Vasko63f3d842020-07-08 10:10:14 +02001187
Radek Krejci1798aae2020-07-14 13:26:06 +02001188 ly_in_free(lybctx->in, 0);
1189 lylyb_ctx_free(lybctx);
1190
Michal Vasko63f3d842020-07-08 10:10:14 +02001191 return ret ? -1 : count;
Michal Vasko60ea6352020-06-29 13:39:39 +02001192}