blob: b4696a6d6c9f57a56416ca10b16736bf938e56f3 [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"
Radek Krejci47fab892020-11-05 17:02:41 +010027#include "hash_table.h"
28#include "in.h"
Michal Vaskoafac7822020-10-20 14:22:26 +020029#include "in_internal.h"
Radek Krejciad97c5f2020-06-30 09:19:28 +020030#include "log.h"
Radek Krejci7931b192020-06-25 17:05:03 +020031#include "parser_data.h"
32#include "parser_internal.h"
Radek Krejci77114102021-03-10 15:21:57 +010033#include "set.h"
Radek Krejciad97c5f2020-06-30 09:19:28 +020034#include "tree.h"
Radek Krejci47fab892020-11-05 17:02:41 +010035#include "tree_data.h"
Michal Vasko60ea6352020-06-29 13:39:39 +020036#include "tree_data_internal.h"
Radek Krejci859a15a2021-03-05 20:56:59 +010037#include "tree_edit.h"
Michal Vasko60ea6352020-06-29 13:39:39 +020038#include "tree_schema.h"
39#include "validation.h"
Michal Vasko6b5cb2a2020-11-11 19:11:21 +010040#include "xml.h"
Michal Vasko60ea6352020-06-29 13:39:39 +020041
Radek Krejci1798aae2020-07-14 13:26:06 +020042void
43lylyb_ctx_free(struct lylyb_ctx *ctx)
44{
45 LY_ARRAY_COUNT_TYPE u;
46
47 LY_ARRAY_FREE(ctx->subtrees);
48 LY_ARRAY_FREE(ctx->models);
49
50 LY_ARRAY_FOR(ctx->sib_hts, u) {
51 lyht_free(ctx->sib_hts[u].ht);
52 }
53 LY_ARRAY_FREE(ctx->sib_hts);
54
55 free(ctx);
56}
57
58void
59lyd_lyb_ctx_free(struct lyd_ctx *lydctx)
60{
61 struct lyd_lyb_ctx *ctx = (struct lyd_lyb_ctx *)lydctx;
62
63 lyd_ctx_free(lydctx);
64 lylyb_ctx_free(ctx->lybctx);
65 free(ctx);
66}
67
Michal Vasko60ea6352020-06-29 13:39:39 +020068/**
69 * @brief Read YANG data from LYB input. Metadata are handled transparently and not returned.
70 *
71 * @param[in] buf Destination buffer.
72 * @param[in] count Number of bytes to read.
73 * @param[in] lybctx LYB context.
74 */
75static void
Radek Krejci1798aae2020-07-14 13:26:06 +020076lyb_read(uint8_t *buf, size_t count, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +020077{
Michal Vaskofd69e1d2020-07-03 11:57:17 +020078 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +020079 struct lyd_lyb_subtree *empty;
80 size_t to_read;
81 uint8_t meta_buf[LYB_META_BYTES];
82
83 assert(lybctx);
84
85 while (1) {
86 /* check for fully-read (empty) data chunks */
87 to_read = count;
88 empty = NULL;
89 LY_ARRAY_FOR(lybctx->subtrees, u) {
90 /* we want the innermost chunks resolved first, so replace previous empty chunks,
91 * also ignore chunks that are completely finished, there is nothing for us to do */
92 if ((lybctx->subtrees[u].written <= to_read) && lybctx->subtrees[u].position) {
93 /* empty chunk, do not read more */
94 to_read = lybctx->subtrees[u].written;
95 empty = &lybctx->subtrees[u];
96 }
97 }
98
99 if (!empty && !count) {
100 break;
101 }
102
103 /* we are actually reading some data, not just finishing another chunk */
104 if (to_read) {
105 if (buf) {
Michal Vasko63f3d842020-07-08 10:10:14 +0200106 ly_in_read(lybctx->in, buf, to_read);
107 } else {
108 ly_in_skip(lybctx->in, to_read);
Michal Vasko60ea6352020-06-29 13:39:39 +0200109 }
110
111 LY_ARRAY_FOR(lybctx->subtrees, u) {
112 /* decrease all written counters */
113 lybctx->subtrees[u].written -= to_read;
114 assert(lybctx->subtrees[u].written <= LYB_SIZE_MAX);
115 }
116 /* decrease count/buf */
117 count -= to_read;
118 if (buf) {
119 buf += to_read;
120 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200121 }
122
123 if (empty) {
124 /* read the next chunk meta information */
Michal Vasko63f3d842020-07-08 10:10:14 +0200125 ly_in_read(lybctx->in, meta_buf, LYB_META_BYTES);
Michal Vasko60ea6352020-06-29 13:39:39 +0200126 empty->written = meta_buf[0];
127 empty->inner_chunks = meta_buf[1];
128
129 /* remember whether there is a following chunk or not */
130 empty->position = (empty->written == LYB_SIZE_MAX ? 1 : 0);
Michal Vasko60ea6352020-06-29 13:39:39 +0200131 }
132 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200133}
134
135/**
136 * @brief Read a number.
137 *
138 * @param[in] num Destination buffer.
139 * @param[in] num_size Size of @p num.
140 * @param[in] bytes Number of bytes to read.
141 * @param[in] lybctx LYB context.
142 */
143static void
Radek Krejci1798aae2020-07-14 13:26:06 +0200144lyb_read_number(void *num, size_t num_size, size_t bytes, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200145{
146 uint64_t buf = 0;
147
148 lyb_read((uint8_t *)&buf, bytes, lybctx);
149
150 /* correct byte order */
151 buf = le64toh(buf);
152
153 switch (num_size) {
Radek Krejcif13b87b2020-12-01 22:02:17 +0100154 case sizeof(uint8_t):
Michal Vasko60ea6352020-06-29 13:39:39 +0200155 *((uint8_t *)num) = buf;
156 break;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100157 case sizeof(uint16_t):
Michal Vasko60ea6352020-06-29 13:39:39 +0200158 *((uint16_t *)num) = buf;
159 break;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100160 case sizeof(uint32_t):
Michal Vasko60ea6352020-06-29 13:39:39 +0200161 *((uint32_t *)num) = buf;
162 break;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100163 case sizeof(uint64_t):
Michal Vasko60ea6352020-06-29 13:39:39 +0200164 *((uint64_t *)num) = buf;
165 break;
166 default:
167 LOGINT(lybctx->ctx);
168 }
169}
170
171/**
172 * @brief Read a string.
173 *
174 * @param[in] str Destination buffer, is allocated.
175 * @param[in] with_length Whether the string is preceded with its length or it ends at the end of this subtree.
176 * @param[in] lybctx LYB context.
177 * @return LY_ERR value.
178 */
179static LY_ERR
Radek Krejci857189e2020-09-01 13:26:36 +0200180lyb_read_string(char **str, ly_bool with_length, struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200181{
Radek Krejci857189e2020-09-01 13:26:36 +0200182 ly_bool next_chunk = 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200183 size_t len = 0, cur_len;
184
185 *str = NULL;
186
187 if (with_length) {
188 lyb_read_number(&len, sizeof len, 2, lybctx);
189 } else {
190 /* read until the end of this subtree */
191 len = LYB_LAST_SUBTREE(lybctx).written;
192 if (LYB_LAST_SUBTREE(lybctx).position) {
193 next_chunk = 1;
194 }
195 }
196
197 *str = malloc((len + 1) * sizeof **str);
198 LY_CHECK_ERR_RET(!*str, LOGMEM(lybctx->ctx), LY_EMEM);
199
200 lyb_read((uint8_t *)*str, len, lybctx);
201
202 while (next_chunk) {
203 cur_len = LYB_LAST_SUBTREE(lybctx).written;
204 if (LYB_LAST_SUBTREE(lybctx).position) {
205 next_chunk = 1;
206 } else {
207 next_chunk = 0;
208 }
209
210 *str = ly_realloc(*str, (len + cur_len + 1) * sizeof **str);
211 LY_CHECK_ERR_RET(!*str, LOGMEM(lybctx->ctx), LY_EMEM);
212
213 lyb_read(((uint8_t *)*str) + len, cur_len, lybctx);
214
215 len += cur_len;
216 }
217
Michal Vaskocebbae52021-05-31 11:11:36 +0200218 (*str)[len] = '\0';
Michal Vasko60ea6352020-06-29 13:39:39 +0200219 return LY_SUCCESS;
220}
221
222/**
223 * @brief Stop the current subtree - change LYB context state.
224 *
225 * @param[in] lybctx LYB context.
226 * @return LY_ERR value.
227 */
228static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200229lyb_read_stop_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200230{
231 if (LYB_LAST_SUBTREE(lybctx).written) {
232 LOGINT_RET(lybctx->ctx);
233 }
234
235 LY_ARRAY_DECREMENT(lybctx->subtrees);
236 return LY_SUCCESS;
237}
238
239/**
240 * @brief Start a new subtree - change LYB context state but also read the expected metadata.
241 *
242 * @param[in] lybctx LYB context.
243 * @return LY_ERR value.
244 */
245static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200246lyb_read_start_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200247{
248 uint8_t meta_buf[LYB_META_BYTES];
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200249 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +0200250
Radek Krejcic7d13e32020-12-09 12:32:24 +0100251 u = LY_ARRAY_COUNT(lybctx->subtrees);
Michal Vasko60ea6352020-06-29 13:39:39 +0200252 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;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100278 char *mod_name = NULL, mod_rev[LY_REV_SIZE];
Michal Vasko60ea6352020-06-29 13:39:39 +0200279 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) {
Radek Krejcif13b87b2020-12-01 22:02:17 +0100295 sprintf(mod_rev, "%04u-%02u-%02u", ((rev & LYB_REV_YEAR_MASK) >> LYB_REV_YEAR_SHIFT) + LYB_REV_YEAR_OFFSET,
296 (rev & LYB_REV_MONTH_MASK) >> LYB_REV_MONTH_SHIFT, rev & LYB_REV_DAY_MASK);
Michal Vasko60ea6352020-06-29 13:39:39 +0200297 *mod = ly_ctx_get_module(lybctx->ctx, mod_name, mod_rev);
Radek Krejci1798aae2020-07-14 13:26:06 +0200298 if ((parse_options & LYD_PARSE_LYB_MOD_UPDATE) && !(*mod)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200299 /* try to use an updated module */
300 *mod = ly_ctx_get_module_implemented(lybctx->ctx, mod_name);
301 if (*mod && (!(*mod)->revision || (strcmp((*mod)->revision, mod_rev) < 0))) {
302 /* not an implemented module in a newer revision */
303 *mod = NULL;
304 }
305 }
306 } else {
307 *mod = ly_ctx_get_module_latest(lybctx->ctx, mod_name);
308 }
309 /* TODO data_clb supported?
310 if (lybctx->ctx->data_clb) {
311 if (!*mod) {
312 *mod = lybctx->ctx->data_clb(lybctx->ctx, mod_name, NULL, 0, lybctx->ctx->data_clb_data);
313 } else if (!(*mod)->implemented) {
314 *mod = lybctx->ctx->data_clb(lybctx->ctx, mod_name, (*mod)->ns, LY_MODCLB_NOT_IMPLEMENTED, lybctx->ctx->data_clb_data);
315 }
316 }*/
317
318 if (!*mod || !(*mod)->implemented) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200319 if (parse_options & LYD_PARSE_STRICT) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200320 if (!*mod) {
321 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid context for LYB data parsing, missing module \"%s%s%s\".",
Michal Vasko69730152020-10-09 16:30:07 +0200322 mod_name, rev ? "@" : "", rev ? mod_rev : "");
Michal Vasko60ea6352020-06-29 13:39:39 +0200323 } else if (!(*mod)->implemented) {
324 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid context for LYB data parsing, module \"%s%s%s\" not implemented.",
Michal Vasko69730152020-10-09 16:30:07 +0200325 mod_name, rev ? "@" : "", rev ? mod_rev : "");
Michal Vasko60ea6352020-06-29 13:39:39 +0200326 }
327 ret = LY_EINVAL;
328 goto cleanup;
329 }
330
331 }
332
Michal Vasko85d9edc2021-04-22 09:15:05 +0200333 if (*mod) {
334 /* fill cached hashes, if not already */
335 lyb_cache_module_hash(*mod);
336 }
Michal Vasko11f76c82021-04-15 14:36:14 +0200337
Michal Vasko60ea6352020-06-29 13:39:39 +0200338cleanup:
339 free(mod_name);
340 return ret;
341}
342
343/**
344 * @brief Parse YANG node metadata.
345 *
346 * @param[in] lybctx LYB context.
Michal Vasko60ea6352020-06-29 13:39:39 +0200347 * @param[out] meta Parsed metadata.
348 * @return LY_ERR value.
349 */
350static LY_ERR
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200351lyb_parse_metadata(struct lyd_lyb_ctx *lybctx, struct lyd_meta **meta)
Michal Vasko60ea6352020-06-29 13:39:39 +0200352{
353 LY_ERR ret = LY_SUCCESS;
Radek Krejci857189e2020-09-01 13:26:36 +0200354 ly_bool dynamic;
Michal Vasko60ea6352020-06-29 13:39:39 +0200355 uint8_t i, count = 0;
Michal Vasko1e5d5612020-07-03 13:29:26 +0200356 char *meta_name = NULL, *meta_value;
Michal Vasko60ea6352020-06-29 13:39:39 +0200357 const struct lys_module *mod;
358
359 /* read number of attributes stored */
Radek Krejci1798aae2020-07-14 13:26:06 +0200360 lyb_read(&count, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200361
362 /* read attributes */
363 for (i = 0; i < count; ++i) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200364 ret = lyb_read_start_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200365 LY_CHECK_GOTO(ret, cleanup);
366
367 /* find model */
Michal Vaskoe0665742021-02-11 11:08:44 +0100368 ret = lyb_parse_model(lybctx->lybctx, lybctx->parse_opts, &mod);
Michal Vasko60ea6352020-06-29 13:39:39 +0200369 LY_CHECK_GOTO(ret, cleanup);
370
371 if (!mod) {
372 /* skip it */
373 do {
Radek Krejci1798aae2020-07-14 13:26:06 +0200374 lyb_read(NULL, LYB_LAST_SUBTREE(lybctx->lybctx).written, lybctx->lybctx);
375 } while (LYB_LAST_SUBTREE(lybctx->lybctx).written);
Michal Vasko60ea6352020-06-29 13:39:39 +0200376 goto stop_subtree;
377 }
378
379 /* meta name */
Radek Krejci1798aae2020-07-14 13:26:06 +0200380 ret = lyb_read_string(&meta_name, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200381 LY_CHECK_GOTO(ret, cleanup);
382
383 /* meta value */
Radek Krejci1798aae2020-07-14 13:26:06 +0200384 ret = lyb_read_string(&meta_value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200385 LY_CHECK_GOTO(ret, cleanup);
386 dynamic = 1;
387
388 /* create metadata */
Michal Vaskoc8a230d2020-08-14 12:17:10 +0200389 ret = lyd_parser_create_meta((struct lyd_ctx *)lybctx, NULL, meta, mod, meta_name, strlen(meta_name), meta_value,
Radek Krejci8df109d2021-04-23 12:19:08 +0200390 ly_strlen(meta_value), &dynamic, LY_VALUE_JSON, NULL, LYD_HINT_DATA);
Michal Vasko60ea6352020-06-29 13:39:39 +0200391
392 /* free strings */
393 free(meta_name);
394 meta_name = NULL;
395 if (dynamic) {
396 free(meta_value);
397 dynamic = 0;
398 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200399
Radek Krejci1798aae2020-07-14 13:26:06 +0200400 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200401
402stop_subtree:
Radek Krejci1798aae2020-07-14 13:26:06 +0200403 ret = lyb_read_stop_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200404 LY_CHECK_GOTO(ret, cleanup);
405 }
406
407cleanup:
408 free(meta_name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200409 if (ret) {
Michal Vasko3a41dff2020-07-15 14:30:28 +0200410 lyd_free_meta_siblings(*meta);
Michal Vasko60ea6352020-06-29 13:39:39 +0200411 *meta = NULL;
412 }
413 return ret;
414}
415
416/**
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100417 * @brief Parse format-specific prefix data.
Michal Vasko60ea6352020-06-29 13:39:39 +0200418 *
419 * @param[in] lybctx LYB context.
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100420 * @param[in] format Prefix data format.
421 * @param[out] prefix_data Parsed prefix data.
Michal Vasko60ea6352020-06-29 13:39:39 +0200422 * @return LY_ERR value.
423 */
424static LY_ERR
Radek Krejci8df109d2021-04-23 12:19:08 +0200425lyb_parse_prefix_data(struct lylyb_ctx *lybctx, LY_VALUE_FORMAT format, void **prefix_data)
Michal Vasko60ea6352020-06-29 13:39:39 +0200426{
427 LY_ERR ret = LY_SUCCESS;
428 uint8_t count, i;
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100429 struct ly_set *set = NULL;
430 struct lyxml_ns *ns = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200431
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100432 switch (format) {
Radek Krejci8df109d2021-04-23 12:19:08 +0200433 case LY_VALUE_XML:
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100434 /* read count */
435 lyb_read(&count, 1, lybctx);
436 if (!count) {
437 return LY_SUCCESS;
438 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200439
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100440 /* read all NS elements */
441 LY_CHECK_GOTO(ret = ly_set_new(&set), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200442
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100443 for (i = 0; i < count; ++i) {
444 ns = calloc(1, sizeof *ns);
Michal Vasko60ea6352020-06-29 13:39:39 +0200445
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100446 /* prefix */
447 LY_CHECK_GOTO(ret = lyb_read_string(&ns->prefix, 1, lybctx), cleanup);
448
449 /* namespace */
450 LY_CHECK_GOTO(ret = lyb_read_string(&ns->uri, 1, lybctx), cleanup);
451
452 LY_CHECK_GOTO(ret = ly_set_add(set, ns, 1, NULL), cleanup);
453 ns = NULL;
454 }
455
456 *prefix_data = set;
457 break;
Radek Krejci8df109d2021-04-23 12:19:08 +0200458 case LY_VALUE_JSON:
Radek Krejcif9943642021-04-26 10:18:21 +0200459 case LY_VALUE_LYB:
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100460 /* nothing stored */
461 break;
462 default:
463 LOGINT(lybctx->ctx);
464 ret = LY_EINT;
465 break;
Michal Vasko60ea6352020-06-29 13:39:39 +0200466 }
467
468cleanup:
469 if (ret) {
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100470 ly_free_prefix_data(format, set);
471 if (ns) {
472 free(ns->prefix);
473 free(ns->uri);
474 free(ns);
475 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200476 }
477 return ret;
478}
479
480/**
481 * @brief Parse opaque attributes.
482 *
483 * @param[in] lybctx LYB context.
484 * @param[out] attr Parsed attributes.
485 * @return LY_ERR value.
486 */
487static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200488lyb_parse_attributes(struct lylyb_ctx *lybctx, struct lyd_attr **attr)
Michal Vasko60ea6352020-06-29 13:39:39 +0200489{
490 LY_ERR ret = LY_SUCCESS;
491 uint8_t count, i;
Radek Krejci1798aae2020-07-14 13:26:06 +0200492 struct lyd_attr *attr2;
493 char *prefix = NULL, *module_name = NULL, *name = NULL, *value = NULL;
Radek Krejci857189e2020-09-01 13:26:36 +0200494 ly_bool dynamic = 0;
Radek Krejci8df109d2021-04-23 12:19:08 +0200495 LY_VALUE_FORMAT format = 0;
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100496 void *val_prefix_data = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200497
498 /* read count */
499 lyb_read(&count, 1, lybctx);
500
501 /* read attributes */
502 for (i = 0; i < count; ++i) {
503 ret = lyb_read_start_subtree(lybctx);
504 LY_CHECK_GOTO(ret, cleanup);
505
Michal Vasko0fdcd242020-11-11 19:12:30 +0100506 /* prefix, may be empty */
Michal Vasko60ea6352020-06-29 13:39:39 +0200507 ret = lyb_read_string(&prefix, 1, lybctx);
508 LY_CHECK_GOTO(ret, cleanup);
509 if (!prefix[0]) {
510 free(prefix);
511 prefix = NULL;
512 }
513
514 /* namespace, may be empty */
Radek Krejci1798aae2020-07-14 13:26:06 +0200515 ret = lyb_read_string(&module_name, 1, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200516 LY_CHECK_GOTO(ret, cleanup);
Radek Krejci1798aae2020-07-14 13:26:06 +0200517 if (!module_name[0]) {
518 free(module_name);
519 module_name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200520 }
521
522 /* name */
523 ret = lyb_read_string(&name, 1, lybctx);
524 LY_CHECK_GOTO(ret, cleanup);
525
Michal Vasko60ea6352020-06-29 13:39:39 +0200526 /* format */
527 lyb_read((uint8_t *)&format, 1, lybctx);
528
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100529 /* value prefixes */
530 ret = lyb_parse_prefix_data(lybctx, format, &val_prefix_data);
531 LY_CHECK_GOTO(ret, cleanup);
532
Michal Vasko60ea6352020-06-29 13:39:39 +0200533 /* value */
534 ret = lyb_read_string(&value, 0, lybctx);
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100535 LY_CHECK_ERR_GOTO(ret, ly_free_prefix_data(format, val_prefix_data), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200536 dynamic = 1;
537
538 /* attr2 is always changed to the created attribute */
Michal Vasko501af032020-11-11 20:27:44 +0100539 ret = lyd_create_attr(NULL, &attr2, lybctx->ctx, name, strlen(name), prefix, ly_strlen(prefix), module_name,
540 ly_strlen(module_name), value, ly_strlen(value), &dynamic, format, val_prefix_data, 0);
Michal Vasko60ea6352020-06-29 13:39:39 +0200541 LY_CHECK_GOTO(ret, cleanup);
542
543 free(prefix);
544 prefix = NULL;
Radek Krejci1798aae2020-07-14 13:26:06 +0200545 free(module_name);
546 module_name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200547 free(name);
548 name = NULL;
Michal Vasko60ea6352020-06-29 13:39:39 +0200549 assert(!dynamic);
550 value = NULL;
551
552 if (!*attr) {
553 *attr = attr2;
554 }
555
556 ret = lyb_read_stop_subtree(lybctx);
557 LY_CHECK_GOTO(ret, cleanup);
558 }
559
560cleanup:
561 free(prefix);
Radek Krejci1798aae2020-07-14 13:26:06 +0200562 free(module_name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200563 free(name);
564 if (dynamic) {
565 free(value);
566 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200567 if (ret) {
Radek Krejci011e4aa2020-09-04 15:22:31 +0200568 lyd_free_attr_siblings(lybctx->ctx, *attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200569 *attr = NULL;
570 }
571 return ret;
572}
573
574/**
575 * @brief Check whether a schema node matches a hash(es).
576 *
577 * @param[in] sibling Schema node to check.
578 * @param[in] hash Hash array to check.
579 * @param[in] hash_count Number of hashes in @p hash.
580 * @return non-zero if matches,
581 * @return 0 if not.
582 */
583static int
584lyb_is_schema_hash_match(struct lysc_node *sibling, LYB_HASH *hash, uint8_t hash_count)
585{
586 LYB_HASH sibling_hash;
587 uint8_t i;
588
589 /* compare all the hashes starting from collision ID 0 */
590 for (i = 0; i < hash_count; ++i) {
Michal Vasko11f76c82021-04-15 14:36:14 +0200591 sibling_hash = lyb_get_hash(sibling, i);
Michal Vasko60ea6352020-06-29 13:39:39 +0200592 if (sibling_hash != hash[i]) {
593 return 0;
594 }
595 }
596
597 return 1;
598}
599
600/**
Michal Vasko60ea6352020-06-29 13:39:39 +0200601 * @brief Parse schema node hash.
602 *
603 * @param[in] lybctx LYB context.
604 * @param[in] sparent Schema parent, must be set if @p mod is not.
605 * @param[in] mod Module of the top-level node, must be set if @p sparent is not.
606 * @param[out] snode Parsed found schema node, may be NULL if opaque.
607 * @return LY_ERR value.
608 */
609static LY_ERR
610lyb_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 +0200611 const struct lysc_node **snode)
Michal Vasko60ea6352020-06-29 13:39:39 +0200612{
613 LY_ERR ret;
614 uint8_t i, j;
615 const struct lysc_node *sibling;
616 LYB_HASH hash[LYB_HASH_BITS - 1];
Radek Krejci1deb5be2020-08-26 16:43:36 +0200617 uint32_t getnext_opts;
Michal Vasko60ea6352020-06-29 13:39:39 +0200618
619 *snode = NULL;
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100620 getnext_opts = lybctx->int_opts & LYD_INTOPT_REPLY ? LYS_GETNEXT_OUTPUT : 0;
Michal Vasko60ea6352020-06-29 13:39:39 +0200621
622 /* read the first hash */
Radek Krejci1798aae2020-07-14 13:26:06 +0200623 lyb_read(&hash[0], sizeof *hash, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200624
625 if (!hash[0]) {
626 /* opaque node */
627 return LY_SUCCESS;
628 }
629
630 /* based on the first hash read all the other ones, if any */
631 for (i = 0; !(hash[0] & (LYB_HASH_COLLISION_ID >> i)); ++i) {
632 if (i > LYB_HASH_BITS) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200633 LOGINT_RET(lybctx->lybctx->ctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200634 }
635 }
636
637 /* move the first hash on its accurate position */
638 hash[i] = hash[0];
639
640 /* read the rest of hashes */
641 for (j = i; j; --j) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200642 lyb_read(&hash[j - 1], sizeof *hash, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200643
644 /* correct collision ID */
645 assert(hash[j - 1] & (LYB_HASH_COLLISION_ID >> (j - 1)));
646 /* preceded with zeros */
647 assert(!(hash[j - 1] & (LYB_HASH_MASK << (LYB_HASH_BITS - (j - 1)))));
648 }
649
650 /* find our node with matching hashes */
651 sibling = NULL;
Radek Krejcif16e2542021-02-17 15:39:23 +0100652 while (1) {
653 if (!sparent && lybctx->ext) {
654 sibling = lys_getnext_ext(sibling, sparent, lybctx->ext, getnext_opts);
655 } else {
656 sibling = lys_getnext(sibling, sparent, mod ? mod->compiled : NULL, getnext_opts);
657 }
658 if (!sibling) {
659 break;
660 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200661 /* skip schema nodes from models not present during printing */
Michal Vasko69730152020-10-09 16:30:07 +0200662 if (lyb_has_schema_model(sibling, lybctx->lybctx->models) &&
663 lyb_is_schema_hash_match((struct lysc_node *)sibling, hash, i + 1)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200664 /* match found */
665 break;
666 }
667 }
668
Michal Vaskoe0665742021-02-11 11:08:44 +0100669 if (!sibling && (lybctx->parse_opts & LYD_PARSE_STRICT)) {
Radek Krejcif16e2542021-02-17 15:39:23 +0100670 if (lybctx->ext) {
671 LOGVAL(lybctx->lybctx->ctx, LYVE_REFERENCE, "Failed to find matching hash for a node from \"%s\" extension instance node.",
672 lybctx->ext->def->name);
673 } else if (mod) {
Radek Krejci2efc45b2020-12-22 16:25:44 +0100674 LOGVAL(lybctx->lybctx->ctx, LYVE_REFERENCE, "Failed to find matching hash for a top-level node"
Michal Vasko69730152020-10-09 16:30:07 +0200675 " from \"%s\".", mod->name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200676 } else {
Radek Krejci2efc45b2020-12-22 16:25:44 +0100677 LOGVAL(lybctx->lybctx->ctx, LYVE_REFERENCE, "Failed to find matching hash for a child node"
Michal Vasko69730152020-10-09 16:30:07 +0200678 " of \"%s\".", sparent->name);
Michal Vasko60ea6352020-06-29 13:39:39 +0200679 }
680 return LY_EVALID;
Radek Krejci1798aae2020-07-14 13:26:06 +0200681 } else if (sibling && (ret = lyd_parser_check_schema((struct lyd_ctx *)lybctx, sibling))) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200682 return ret;
683 }
684
685 *snode = sibling;
686 return LY_SUCCESS;
687}
688
689/**
690 * @brief Read until the end of the current subtree.
691 *
692 * @param[in] lybctx LYB context.
693 */
694static void
Radek Krejci1798aae2020-07-14 13:26:06 +0200695lyb_skip_subtree(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200696{
Michal Vasko60ea6352020-06-29 13:39:39 +0200697 do {
698 /* first skip any meta information inside */
Michal Vasko63f3d842020-07-08 10:10:14 +0200699 ly_in_skip(lybctx->in, LYB_LAST_SUBTREE(lybctx).inner_chunks * LYB_META_BYTES);
Michal Vasko60ea6352020-06-29 13:39:39 +0200700
701 /* then read data */
702 lyb_read(NULL, LYB_LAST_SUBTREE(lybctx).written, lybctx);
703 } while (LYB_LAST_SUBTREE(lybctx).written);
704}
705
706/**
707 * @brief Parse LYB subtree.
708 *
709 * @param[in] lybctx LYB context.
710 * @param[in] parent Data parent of the subtree, must be set if @p first is not.
711 * @param[in,out] first First top-level sibling, must be set if @p parent is not.
712 * @return LY_ERR value.
713 */
714static LY_ERR
Michal Vaskoe0665742021-02-11 11:08:44 +0100715lyb_parse_subtree_r(struct lyd_lyb_ctx *lybctx, struct lyd_node *parent, struct lyd_node **first_p, struct ly_set *parsed)
Michal Vasko60ea6352020-06-29 13:39:39 +0200716{
717 LY_ERR ret = LY_SUCCESS;
718 struct lyd_node *node = NULL, *tree;
719 const struct lys_module *mod;
720 const struct lysc_node *snode = NULL;
721 struct lyd_meta *meta = NULL, *m;
Radek Krejci1798aae2020-07-14 13:26:06 +0200722 struct lyd_attr *attr = NULL, *a;
Michal Vasko60ea6352020-06-29 13:39:39 +0200723 LYD_ANYDATA_VALUETYPE value_type;
Radek Krejci1798aae2020-07-14 13:26:06 +0200724 char *value = NULL, *name = NULL, *prefix = NULL, *module_key = NULL;
Michal Vasko9afe3df2021-02-05 16:33:50 +0100725 const char *val_dict;
Radek Krejci857189e2020-09-01 13:26:36 +0200726 ly_bool dynamic = 0;
Radek Krejci8df109d2021-04-23 12:19:08 +0200727 LY_VALUE_FORMAT format = 0;
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100728 void *val_prefix_data = NULL;
Michal Vaskoc5e866a2020-11-04 17:09:26 +0100729 uint32_t prev_lo, flags;
Radek Krejci1798aae2020-07-14 13:26:06 +0200730 const struct ly_ctx *ctx = lybctx->lybctx->ctx;
Michal Vasko60ea6352020-06-29 13:39:39 +0200731
732 /* register a new subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200733 LY_CHECK_GOTO(ret = lyb_read_start_subtree(lybctx->lybctx), cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200734
735 if (!parent) {
736 /* top-level, read module name */
Michal Vaskoe0665742021-02-11 11:08:44 +0100737 ret = lyb_parse_model(lybctx->lybctx, lybctx->parse_opts, &mod);
Michal Vasko60ea6352020-06-29 13:39:39 +0200738 LY_CHECK_GOTO(ret, cleanup);
739
740 /* read hash, find the schema node starting from mod */
741 ret = lyb_parse_schema_hash(lybctx, NULL, mod, &snode);
742 LY_CHECK_GOTO(ret, cleanup);
743 } else {
744 /* read hash, find the schema node starting from parent schema */
745 ret = lyb_parse_schema_hash(lybctx, parent->schema, NULL, &snode);
746 LY_CHECK_GOTO(ret, cleanup);
747 }
748
Michal Vaskoe0665742021-02-11 11:08:44 +0100749 if (!snode && !(lybctx->parse_opts & LYD_PARSE_OPAQ)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200750 /* unknown data, skip them */
Radek Krejci1798aae2020-07-14 13:26:06 +0200751 lyb_skip_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200752 goto stop_subtree;
Radek Krejci0f969882020-08-21 16:56:47 +0200753 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200754
755 /* create metadata/attributes */
756 if (snode) {
Michal Vaskofeca4fb2020-10-05 08:58:40 +0200757 ret = lyb_parse_metadata(lybctx, &meta);
Michal Vasko60ea6352020-06-29 13:39:39 +0200758 LY_CHECK_GOTO(ret, cleanup);
759 } else {
Radek Krejci1798aae2020-07-14 13:26:06 +0200760 ret = lyb_parse_attributes(lybctx->lybctx, &attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200761 LY_CHECK_GOTO(ret, cleanup);
762 }
763
Michal Vaskoc5e866a2020-11-04 17:09:26 +0100764 /* read flags */
765 lyb_read_number(&flags, sizeof flags, sizeof flags, lybctx->lybctx);
766
Michal Vasko60ea6352020-06-29 13:39:39 +0200767 if (!snode) {
768 /* parse prefix */
Radek Krejci1798aae2020-07-14 13:26:06 +0200769 ret = lyb_read_string(&prefix, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200770 LY_CHECK_GOTO(ret, cleanup);
771
Radek Krejci1798aae2020-07-14 13:26:06 +0200772 /* parse module key */
773 ret = lyb_read_string(&module_key, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200774 LY_CHECK_GOTO(ret, cleanup);
775
776 /* parse name */
Radek Krejci1798aae2020-07-14 13:26:06 +0200777 ret = lyb_read_string(&name, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200778 LY_CHECK_GOTO(ret, cleanup);
779
Michal Vaskoffc92bf2021-06-21 08:15:14 +0200780 /* parse value */
781 ret = lyb_read_string(&value, 1, lybctx->lybctx);
782 LY_CHECK_ERR_GOTO(ret, ly_free_prefix_data(format, val_prefix_data), cleanup);
783 dynamic = 1;
784
Michal Vasko60ea6352020-06-29 13:39:39 +0200785 /* parse format */
Radek Krejci1798aae2020-07-14 13:26:06 +0200786 lyb_read((uint8_t *)&format, 1, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200787
Michal Vasko6b5cb2a2020-11-11 19:11:21 +0100788 /* parse value prefixes */
789 ret = lyb_parse_prefix_data(lybctx->lybctx, format, &val_prefix_data);
790 LY_CHECK_GOTO(ret, cleanup);
791
Michal Vasko60ea6352020-06-29 13:39:39 +0200792 /* create node */
Michal Vasko501af032020-11-11 20:27:44 +0100793 ret = lyd_create_opaq(ctx, name, strlen(name), prefix, ly_strlen(prefix), module_key, ly_strlen(module_key),
794 value, strlen(value), &dynamic, format, val_prefix_data, 0, &node);
Michal Vasko60ea6352020-06-29 13:39:39 +0200795 LY_CHECK_GOTO(ret, cleanup);
796
797 /* process children */
Radek Krejci1798aae2020-07-14 13:26:06 +0200798 while (LYB_LAST_SUBTREE(lybctx->lybctx).written) {
Michal Vaskoe0665742021-02-11 11:08:44 +0100799 ret = lyb_parse_subtree_r(lybctx, node, NULL, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200800 LY_CHECK_GOTO(ret, cleanup);
801 }
802 } else if (snode->nodetype & LYD_NODE_TERM) {
803 /* parse value */
Radek Krejci1798aae2020-07-14 13:26:06 +0200804 ret = lyb_read_string(&value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200805 LY_CHECK_GOTO(ret, cleanup);
806 dynamic = 1;
807
808 /* create node */
Radek Krejci8df109d2021-04-23 12:19:08 +0200809 ret = lyd_parser_create_term((struct lyd_ctx *)lybctx, snode, value, ly_strlen(value), &dynamic, LY_VALUE_JSON,
Michal Vasko69730152020-10-09 16:30:07 +0200810 NULL, LYD_HINT_DATA, &node);
Michal Vasko60ea6352020-06-29 13:39:39 +0200811 if (dynamic) {
812 free(value);
813 dynamic = 0;
814 }
815 value = NULL;
Radek Krejci1798aae2020-07-14 13:26:06 +0200816 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200817 } else if (snode->nodetype & LYD_NODE_INNER) {
818 /* create node */
819 ret = lyd_create_inner(snode, &node);
820 LY_CHECK_GOTO(ret, cleanup);
821
822 /* process children */
Radek Krejci1798aae2020-07-14 13:26:06 +0200823 while (LYB_LAST_SUBTREE(lybctx->lybctx).written) {
Michal Vaskoe0665742021-02-11 11:08:44 +0100824 ret = lyb_parse_subtree_r(lybctx, node, NULL, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200825 LY_CHECK_GOTO(ret, cleanup);
826 }
827
Michal Vaskoe0665742021-02-11 11:08:44 +0100828 if (!(lybctx->parse_opts & LYD_PARSE_ONLY)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200829 /* new node validation, autodelete CANNOT occur, all nodes are new */
Michal Vaskoe0665742021-02-11 11:08:44 +0100830 ret = lyd_validate_new(lyd_node_child_p(node), snode, NULL, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200831 LY_CHECK_GOTO(ret, cleanup);
832
833 /* add any missing default children */
Radek Krejci4f2e3e52021-03-30 14:20:28 +0200834 ret = lyd_new_implicit_r(node, lyd_node_child_p(node), NULL, NULL, &lybctx->node_when, &lybctx->node_exts,
Michal Vaskoc43c8ab2021-03-05 13:32:44 +0100835 &lybctx->node_types, (lybctx->val_opts & LYD_VALIDATE_NO_STATE) ? LYD_IMPLICIT_NO_STATE : 0, NULL);
Michal Vasko60ea6352020-06-29 13:39:39 +0200836 LY_CHECK_GOTO(ret, cleanup);
837 }
838
Michal Vasko751cb4d2020-07-14 12:25:28 +0200839 if (snode->nodetype & (LYS_RPC | LYS_ACTION | LYS_NOTIF)) {
Michal Vasko60ea6352020-06-29 13:39:39 +0200840 /* rememeber the RPC/action/notification */
Radek Krejci1798aae2020-07-14 13:26:06 +0200841 lybctx->op_node = node;
Michal Vasko60ea6352020-06-29 13:39:39 +0200842 }
843 } else if (snode->nodetype & LYD_NODE_ANY) {
844 /* parse value type */
Radek Krejci1798aae2020-07-14 13:26:06 +0200845 lyb_read((uint8_t *)&value_type, sizeof value_type, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200846 if (value_type == LYD_ANYDATA_DATATREE) {
847 /* invalid situation */
Radek Krejci1798aae2020-07-14 13:26:06 +0200848 LOGINT(ctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200849 goto cleanup;
850 }
851
852 /* read anydata content */
Radek Krejci1798aae2020-07-14 13:26:06 +0200853 ret = lyb_read_string(&value, 0, lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200854 LY_CHECK_GOTO(ret, cleanup);
855 dynamic = 1;
856
857 if (value_type == LYD_ANYDATA_LYB) {
858 /* turn logging off */
859 prev_lo = ly_log_options(0);
860
861 /* try to parse LYB into a data tree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200862 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 +0200863 /* successfully parsed */
864 free(value);
865 value = (char *)tree;
866 value_type = LYD_ANYDATA_DATATREE;
867 }
Radek Krejci7931b192020-06-25 17:05:03 +0200868
869 /* turn logging on again */
870 ly_log_options(prev_lo);
Michal Vasko60ea6352020-06-29 13:39:39 +0200871 }
872
Michal Vasko9afe3df2021-02-05 16:33:50 +0100873 /* create the node */
874 switch (value_type) {
875 case LYD_ANYDATA_LYB:
876 case LYD_ANYDATA_DATATREE:
877 /* use the value directly */
878 ret = lyd_create_any(snode, value, value_type, 1, &node);
879 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +0200880
Michal Vasko9afe3df2021-02-05 16:33:50 +0100881 dynamic = 0;
882 value = NULL;
883 break;
884 case LYD_ANYDATA_STRING:
885 case LYD_ANYDATA_XML:
886 case LYD_ANYDATA_JSON:
887 /* value is expected to be in the dictionary */
888 ret = lydict_insert_zc(ctx, value, &val_dict);
889 LY_CHECK_GOTO(ret, cleanup);
890 dynamic = 0;
891 value = NULL;
892
893 /* use the value in the dictionary */
894 ret = lyd_create_any(snode, val_dict, value_type, 1, &node);
895 if (ret) {
896 lydict_remove(ctx, val_dict);
897 goto cleanup;
898 }
899 break;
900 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200901 }
902 assert(node);
903
Michal Vaskoc5e866a2020-11-04 17:09:26 +0100904 /* set flags */
905 node->flags = flags;
Michal Vasko60ea6352020-06-29 13:39:39 +0200906
907 /* add metadata/attributes */
908 if (snode) {
909 LY_LIST_FOR(meta, m) {
910 m->parent = node;
911 }
912 node->meta = meta;
913 meta = NULL;
914 } else {
915 assert(!node->schema);
916 LY_LIST_FOR(attr, a) {
917 a->parent = (struct lyd_node_opaq *)node;
918 }
919 ((struct lyd_node_opaq *)node)->attr = attr;
920 attr = NULL;
921 }
922
Michal Vaskob104f112020-07-17 09:54:54 +0200923 /* insert, keep first pointer correct */
Michal Vaskoe0665742021-02-11 11:08:44 +0100924 lyd_insert_node(parent, first_p, node);
925 while (!parent && (*first_p)->prev->next) {
926 *first_p = (*first_p)->prev;
927 }
928
929 /* rememeber a successfully parsed node */
930 if (parsed) {
931 ly_set_add(parsed, node, 1, NULL);
Michal Vaskob104f112020-07-17 09:54:54 +0200932 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200933 node = NULL;
934
935stop_subtree:
936 /* end the subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +0200937 ret = lyb_read_stop_subtree(lybctx->lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +0200938 LY_CHECK_GOTO(ret, cleanup);
939
940cleanup:
941 free(prefix);
Radek Krejci1798aae2020-07-14 13:26:06 +0200942 free(module_key);
Michal Vasko60ea6352020-06-29 13:39:39 +0200943 free(name);
944 if (dynamic) {
945 free(value);
946 }
Michal Vasko60ea6352020-06-29 13:39:39 +0200947
Michal Vasko3a41dff2020-07-15 14:30:28 +0200948 lyd_free_meta_siblings(meta);
Radek Krejci011e4aa2020-09-04 15:22:31 +0200949 lyd_free_attr_siblings(ctx, attr);
Michal Vasko60ea6352020-06-29 13:39:39 +0200950 lyd_free_tree(node);
951 return ret;
952}
953
954/**
955 * @brief Parse used YANG data models.
956 *
957 * @param[in] lybctx LYB context.
958 * @return LY_ERR value.
959 */
960static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200961lyb_parse_data_models(struct lylyb_ctx *lybctx, uint32_t parse_options)
Michal Vasko60ea6352020-06-29 13:39:39 +0200962{
963 LY_ERR ret;
964 uint32_t count;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200965 LY_ARRAY_COUNT_TYPE u;
Michal Vasko60ea6352020-06-29 13:39:39 +0200966
967 /* read model count */
968 lyb_read_number(&count, sizeof count, 2, lybctx);
969
970 if (count) {
971 LY_ARRAY_CREATE_RET(lybctx->ctx, lybctx->models, count, LY_EMEM);
972
973 /* read modules */
974 for (u = 0; u < count; ++u) {
Radek Krejci1798aae2020-07-14 13:26:06 +0200975 ret = lyb_parse_model(lybctx, parse_options, &lybctx->models[u]);
Michal Vasko60ea6352020-06-29 13:39:39 +0200976 LY_CHECK_RET(ret);
977 LY_ARRAY_INCREMENT(lybctx->models);
978 }
979 }
980
981 return LY_SUCCESS;
982}
983
984/**
985 * @brief Parse LYB magic number.
986 *
987 * @param[in] lybctx LYB context.
988 * @return LY_ERR value.
989 */
990static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +0200991lyb_parse_magic_number(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +0200992{
993 char magic_byte = 0;
994
995 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
996 if (magic_byte != 'l') {
997 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid first magic number byte \"0x%02x\".", magic_byte);
998 return LY_EINVAL;
999 }
1000
1001 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
1002 if (magic_byte != 'y') {
1003 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid second magic number byte \"0x%02x\".", magic_byte);
1004 return LY_EINVAL;
1005 }
1006
1007 lyb_read((uint8_t *)&magic_byte, 1, lybctx);
1008 if (magic_byte != 'b') {
1009 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid third magic number byte \"0x%02x\".", magic_byte);
1010 return LY_EINVAL;
1011 }
1012
1013 return LY_SUCCESS;
1014}
1015
1016/**
1017 * @brief Parse LYB header.
1018 *
1019 * @param[in] lybctx LYB context.
1020 * @return LY_ERR value.
1021 */
1022static LY_ERR
Radek Krejci1798aae2020-07-14 13:26:06 +02001023lyb_parse_header(struct lylyb_ctx *lybctx)
Michal Vasko60ea6352020-06-29 13:39:39 +02001024{
1025 uint8_t byte = 0;
1026
1027 /* version, future flags */
1028 lyb_read((uint8_t *)&byte, sizeof byte, lybctx);
1029
1030 if ((byte & LYB_VERSION_MASK) != LYB_VERSION_NUM) {
1031 LOGERR(lybctx->ctx, LY_EINVAL, "Invalid LYB format version \"0x%02x\", expected \"0x%02x\".",
Michal Vasko69730152020-10-09 16:30:07 +02001032 byte & LYB_VERSION_MASK, LYB_VERSION_NUM);
Michal Vasko60ea6352020-06-29 13:39:39 +02001033 return LY_EINVAL;
1034 }
1035
1036 return LY_SUCCESS;
1037}
1038
Michal Vaskoe0665742021-02-11 11:08:44 +01001039LY_ERR
Radek Krejcif16e2542021-02-17 15:39:23 +01001040lyd_parse_lyb(const struct ly_ctx *ctx, const struct lysc_ext_instance *ext, struct lyd_node *parent,
1041 struct lyd_node **first_p, struct ly_in *in, uint32_t parse_opts, uint32_t val_opts, enum lyd_type data_type,
1042 struct ly_set *parsed, struct lyd_ctx **lydctx_p)
Michal Vasko60ea6352020-06-29 13:39:39 +02001043{
Michal Vaskoe0665742021-02-11 11:08:44 +01001044 LY_ERR rc = LY_SUCCESS;
Radek Krejci1798aae2020-07-14 13:26:06 +02001045 struct lyd_lyb_ctx *lybctx;
Michal Vaskoe0665742021-02-11 11:08:44 +01001046 uint32_t int_opts;
Michal Vasko60ea6352020-06-29 13:39:39 +02001047
Michal Vaskoe0665742021-02-11 11:08:44 +01001048 assert(!(parse_opts & ~LYD_PARSE_OPTS_MASK));
1049 assert(!(val_opts & ~LYD_VALIDATE_OPTS_MASK));
Radek Krejci7931b192020-06-25 17:05:03 +02001050
Radek Krejci1798aae2020-07-14 13:26:06 +02001051 lybctx = calloc(1, sizeof *lybctx);
1052 LY_CHECK_ERR_RET(!lybctx, LOGMEM(ctx), LY_EMEM);
1053 lybctx->lybctx = calloc(1, sizeof *lybctx->lybctx);
Michal Vaskoe0665742021-02-11 11:08:44 +01001054 LY_CHECK_ERR_GOTO(!lybctx->lybctx, LOGMEM(ctx); rc = LY_EMEM, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001055
Radek Krejci1798aae2020-07-14 13:26:06 +02001056 lybctx->lybctx->in = in;
1057 lybctx->lybctx->ctx = ctx;
Michal Vaskoe0665742021-02-11 11:08:44 +01001058 lybctx->parse_opts = parse_opts;
1059 lybctx->val_opts = val_opts;
Radek Krejci1798aae2020-07-14 13:26:06 +02001060 lybctx->free = lyd_lyb_ctx_free;
Michal Vasko60ea6352020-06-29 13:39:39 +02001061
Michal Vaskoe0665742021-02-11 11:08:44 +01001062 switch (data_type) {
Michal Vasko1e4c68e2021-02-18 15:03:01 +01001063 case LYD_TYPE_DATA_YANG:
Michal Vaskoe0665742021-02-11 11:08:44 +01001064 int_opts = LYD_INTOPT_WITH_SIBLINGS;
1065 break;
Michal Vasko1e4c68e2021-02-18 15:03:01 +01001066 case LYD_TYPE_RPC_YANG:
Michal Vaskoe0665742021-02-11 11:08:44 +01001067 int_opts = LYD_INTOPT_RPC | LYD_INTOPT_ACTION | LYD_INTOPT_NO_SIBLINGS;
1068 break;
Michal Vasko1e4c68e2021-02-18 15:03:01 +01001069 case LYD_TYPE_NOTIF_YANG:
Michal Vaskoe0665742021-02-11 11:08:44 +01001070 int_opts = LYD_INTOPT_NOTIF | LYD_INTOPT_NO_SIBLINGS;
1071 break;
Michal Vasko1e4c68e2021-02-18 15:03:01 +01001072 case LYD_TYPE_REPLY_YANG:
Michal Vaskoe0665742021-02-11 11:08:44 +01001073 int_opts = LYD_INTOPT_REPLY | LYD_INTOPT_NO_SIBLINGS;
1074 break;
1075 default:
1076 LOGINT(ctx);
1077 rc = LY_EINT;
1078 goto cleanup;
1079 }
1080 lybctx->int_opts = int_opts;
Radek Krejcif16e2542021-02-17 15:39:23 +01001081 lybctx->ext = ext;
Michal Vaskoe0665742021-02-11 11:08:44 +01001082
1083 /* find the operation node if it exists already */
1084 LY_CHECK_GOTO(rc = lyd_parser_find_operation(parent, int_opts, &lybctx->op_node), cleanup);
1085
Michal Vasko60ea6352020-06-29 13:39:39 +02001086 /* read magic number */
Michal Vaskoe0665742021-02-11 11:08:44 +01001087 rc = lyb_parse_magic_number(lybctx->lybctx);
1088 LY_CHECK_GOTO(rc, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001089
1090 /* read header */
Michal Vaskoe0665742021-02-11 11:08:44 +01001091 rc = lyb_parse_header(lybctx->lybctx);
1092 LY_CHECK_GOTO(rc, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001093
1094 /* read used models */
Michal Vaskoe0665742021-02-11 11:08:44 +01001095 rc = lyb_parse_data_models(lybctx->lybctx, lybctx->parse_opts);
1096 LY_CHECK_GOTO(rc, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001097
1098 /* read subtree(s) */
Radek Krejci1798aae2020-07-14 13:26:06 +02001099 while (lybctx->lybctx->in->current[0]) {
Michal Vaskoe0665742021-02-11 11:08:44 +01001100 rc = lyb_parse_subtree_r(lybctx, parent, first_p, parsed);
1101 LY_CHECK_GOTO(rc, cleanup);
1102
1103 if (!(int_opts & LYD_INTOPT_WITH_SIBLINGS)) {
1104 break;
1105 }
1106 }
1107
1108 if ((int_opts & LYD_INTOPT_NO_SIBLINGS) && lybctx->lybctx->in->current[0]) {
1109 LOGVAL(ctx, LYVE_SYNTAX, "Unexpected sibling node.");
1110 rc = LY_EVALID;
1111 goto cleanup;
1112 }
1113 if ((int_opts & (LYD_INTOPT_RPC | LYD_INTOPT_ACTION | LYD_INTOPT_NOTIF | LYD_INTOPT_REPLY)) && !lybctx->op_node) {
1114 LOGVAL(ctx, LYVE_DATA, "Missing the operation node.");
1115 rc = LY_EVALID;
1116 goto cleanup;
Michal Vasko60ea6352020-06-29 13:39:39 +02001117 }
1118
1119 /* read the last zero, parsing finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001120 ly_in_skip(lybctx->lybctx->in, 1);
Michal Vasko60ea6352020-06-29 13:39:39 +02001121
Michal Vasko60ea6352020-06-29 13:39:39 +02001122cleanup:
Michal Vaskoe0665742021-02-11 11:08:44 +01001123 /* there should be no unres stored if validation should be skipped */
1124 assert(!(parse_opts & LYD_PARSE_ONLY) || (!lybctx->node_types.count && !lybctx->meta_types.count &&
1125 !lybctx->node_when.count));
1126
1127 if (rc) {
Radek Krejci1798aae2020-07-14 13:26:06 +02001128 lyd_lyb_ctx_free((struct lyd_ctx *)lybctx);
Radek Krejci1798aae2020-07-14 13:26:06 +02001129 } else {
Michal Vaskoe0665742021-02-11 11:08:44 +01001130 *lydctx_p = (struct lyd_ctx *)lybctx;
Michal Vasko60ea6352020-06-29 13:39:39 +02001131 }
Michal Vaskoe0665742021-02-11 11:08:44 +01001132 return rc;
Michal Vasko60ea6352020-06-29 13:39:39 +02001133}
1134
1135API int
1136lyd_lyb_data_length(const char *data)
1137{
1138 LY_ERR ret = LY_SUCCESS;
Radek Krejci1798aae2020-07-14 13:26:06 +02001139 struct lylyb_ctx *lybctx;
Michal Vasko60ea6352020-06-29 13:39:39 +02001140 int count, i;
1141 size_t len;
1142 uint8_t buf[LYB_SIZE_MAX];
1143
1144 if (!data) {
1145 return -1;
1146 }
1147
Radek Krejci1798aae2020-07-14 13:26:06 +02001148 lybctx = calloc(1, sizeof *lybctx);
1149 LY_CHECK_ERR_RET(!lybctx, LOGMEM(NULL), LY_EMEM);
1150 ret = ly_in_new_memory(data, &lybctx->in);
Michal Vasko63f3d842020-07-08 10:10:14 +02001151 LY_CHECK_GOTO(ret, cleanup);
Michal Vasko60ea6352020-06-29 13:39:39 +02001152
1153 /* read magic number */
Radek Krejci1798aae2020-07-14 13:26:06 +02001154 ret = lyb_parse_magic_number(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001155 LY_CHECK_GOTO(ret, cleanup);
1156
1157 /* read header */
Radek Krejci1798aae2020-07-14 13:26:06 +02001158 ret = lyb_parse_header(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001159 LY_CHECK_GOTO(ret, cleanup);
1160
1161 /* read model count */
Radek Krejci1798aae2020-07-14 13:26:06 +02001162 lyb_read_number(&count, sizeof count, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001163
1164 /* read all models */
1165 for (i = 0; i < count; ++i) {
1166 /* module name length */
1167 len = 0;
Radek Krejci1798aae2020-07-14 13:26:06 +02001168 lyb_read_number(&len, sizeof len, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001169
1170 /* model name */
Radek Krejci1798aae2020-07-14 13:26:06 +02001171 lyb_read(buf, len, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001172
1173 /* revision */
Radek Krejci1798aae2020-07-14 13:26:06 +02001174 lyb_read(buf, 2, lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001175 }
1176
Radek Krejci1798aae2020-07-14 13:26:06 +02001177 while (lybctx->in->current[0]) {
Michal Vasko60ea6352020-06-29 13:39:39 +02001178 /* register a new subtree */
Radek Krejci1798aae2020-07-14 13:26:06 +02001179 ret = lyb_read_start_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001180 LY_CHECK_GOTO(ret, cleanup);
1181
1182 /* skip it */
Radek Krejci1798aae2020-07-14 13:26:06 +02001183 lyb_skip_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001184
1185 /* subtree finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001186 ret = lyb_read_stop_subtree(lybctx);
Michal Vasko60ea6352020-06-29 13:39:39 +02001187 LY_CHECK_GOTO(ret, cleanup);
1188 }
1189
1190 /* read the last zero, parsing finished */
Radek Krejci1798aae2020-07-14 13:26:06 +02001191 ly_in_skip(lybctx->in, 1);
Michal Vasko60ea6352020-06-29 13:39:39 +02001192
1193cleanup:
Radek Krejci1798aae2020-07-14 13:26:06 +02001194 count = lybctx->in->current - lybctx->in->start;
Michal Vasko63f3d842020-07-08 10:10:14 +02001195
Radek Krejci1798aae2020-07-14 13:26:06 +02001196 ly_in_free(lybctx->in, 0);
1197 lylyb_ctx_free(lybctx);
1198
Michal Vasko63f3d842020-07-08 10:10:14 +02001199 return ret ? -1 : count;
Michal Vasko60ea6352020-06-29 13:39:39 +02001200}