blob: cd501d8e23d5dc72cab7b61973d9bf093db23b32 [file] [log] [blame]
Radek Krejci86d106e2018-10-18 09:53:19 +02001/**
2 * @file tree_schema_helpers.c
3 * @author Radek Krejci <rkrejci@cesnet.cz>
Radek Krejcie7b95092019-05-15 11:03:07 +02004 * @brief Parsing and validation helper functions for schema trees
Radek Krejci86d106e2018-10-18 09:53:19 +02005 *
6 * Copyright (c) 2015 - 2018 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 */
Radek Krejci535ea9f2020-05-29 16:01:05 +020014
15#define _GNU_SOURCE
Radek Krejci86d106e2018-10-18 09:53:19 +020016
Radek Krejcie7b95092019-05-15 11:03:07 +020017#include <assert.h>
Radek Krejci86d106e2018-10-18 09:53:19 +020018#include <ctype.h>
Radek Krejcie7b95092019-05-15 11:03:07 +020019#include <stdint.h>
Radek Krejci9ed7a192018-10-31 16:23:51 +010020#include <stdlib.h>
Radek Krejcie7b95092019-05-15 11:03:07 +020021#include <string.h>
Radek Krejci86d106e2018-10-18 09:53:19 +020022#include <time.h>
23
Radek Krejci535ea9f2020-05-29 16:01:05 +020024#include "common.h"
25#include "config.h"
Radek Krejcie7b95092019-05-15 11:03:07 +020026#include "context.h"
Radek Krejcie7b95092019-05-15 11:03:07 +020027#include "hash_table.h"
28#include "log.h"
Radek Krejcif0e1ba52020-05-22 15:14:35 +020029#include "parser.h"
Radek Krejcica376bd2020-06-11 16:04:06 +020030#include "parser_schema.h"
Radek Krejcif0e1ba52020-05-22 15:14:35 +020031#include "parser_internal.h"
Radek Krejcie7b95092019-05-15 11:03:07 +020032#include "set.h"
33#include "tree.h"
34#include "tree_schema.h"
Radek Krejci86d106e2018-10-18 09:53:19 +020035#include "tree_schema_internal.h"
36
Radek Krejci85747952019-06-07 16:43:43 +020037LY_ERR
Radek Krejci95710c92019-02-11 15:49:55 +010038lys_resolve_schema_nodeid(struct lysc_ctx *ctx, const char *nodeid, size_t nodeid_len, const struct lysc_node *context_node,
Radek Krejci6eeb58f2019-02-22 16:29:37 +010039 const struct lys_module *context_module, int nodetype, int implement,
40 const struct lysc_node **target, uint16_t *result_flag)
Radek Krejci9bb94eb2018-12-04 16:48:35 +010041{
42 LY_ERR ret = LY_EVALID;
43 const char *name, *prefix, *id;
Radek Krejci9bb94eb2018-12-04 16:48:35 +010044 size_t name_len, prefix_len;
Radek Krejci7af64242019-02-18 13:07:53 +010045 const struct lys_module *mod;
Radek Krejci95710c92019-02-11 15:49:55 +010046 const char *nodeid_type;
Radek Krejci6eeb58f2019-02-22 16:29:37 +010047 int getnext_extra_flag = 0;
Radek Krejci05b774b2019-02-25 13:26:18 +010048 int current_nodetype = 0;
Radek Krejci9bb94eb2018-12-04 16:48:35 +010049
50 assert(nodeid);
Radek Krejci9bb94eb2018-12-04 16:48:35 +010051 assert(target);
Radek Krejci6eeb58f2019-02-22 16:29:37 +010052 assert(result_flag);
Radek Krejci9bb94eb2018-12-04 16:48:35 +010053 *target = NULL;
Radek Krejci6eeb58f2019-02-22 16:29:37 +010054 *result_flag = 0;
Radek Krejci9bb94eb2018-12-04 16:48:35 +010055
56 id = nodeid;
Radek Krejci95710c92019-02-11 15:49:55 +010057
58 if (context_node) {
59 /* descendant-schema-nodeid */
60 nodeid_type = "descendant";
Radek Krejci3641f562019-02-13 15:38:40 +010061
62 if (*id == '/') {
63 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
64 "Invalid descendant-schema-nodeid value \"%.*s\" - absolute-schema-nodeid used.",
65 nodeid_len ? nodeid_len : strlen(nodeid), nodeid);
66 return LY_EVALID;
67 }
Radek Krejci95710c92019-02-11 15:49:55 +010068 } else {
69 /* absolute-schema-nodeid */
70 nodeid_type = "absolute";
Radek Krejci95710c92019-02-11 15:49:55 +010071
72 if (*id != '/') {
73 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
74 "Invalid absolute-schema-nodeid value \"%.*s\" - missing starting \"/\".",
Radek Krejci3641f562019-02-13 15:38:40 +010075 nodeid_len ? nodeid_len : strlen(nodeid), nodeid);
Radek Krejci95710c92019-02-11 15:49:55 +010076 return LY_EVALID;
77 }
78 ++id;
79 }
80
Radek Krejcib4a4a272019-06-10 12:44:52 +020081 while (*id && (ret = ly_parse_nodeid(&id, &prefix, &prefix_len, &name, &name_len)) == LY_SUCCESS) {
Radek Krejci9bb94eb2018-12-04 16:48:35 +010082 if (prefix) {
Radek Krejci95710c92019-02-11 15:49:55 +010083 mod = lys_module_find_prefix(context_module, prefix, prefix_len);
Radek Krejci9bb94eb2018-12-04 16:48:35 +010084 if (!mod) {
85 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
Radek Krejci95710c92019-02-11 15:49:55 +010086 "Invalid %s-schema-nodeid value \"%.*s\" - prefix \"%.*s\" not defined in module \"%s\".",
87 nodeid_type, id - nodeid, nodeid, prefix_len, prefix, context_module->name);
Radek Krejci9bb94eb2018-12-04 16:48:35 +010088 return LY_ENOTFOUND;
89 }
90 } else {
Radek Krejci95710c92019-02-11 15:49:55 +010091 mod = context_module;
92 }
93 if (implement && !mod->implemented) {
94 /* make the module implemented */
Michal Vasko294b76d2019-12-16 10:37:54 +010095 ret = lys_set_implemented_internal((struct lys_module*)mod, 2);
96 LY_CHECK_RET(ret);
Radek Krejci9bb94eb2018-12-04 16:48:35 +010097 }
Michal Vasko1bf09392020-03-27 12:38:10 +010098 if (context_node && (context_node->nodetype & (LYS_RPC | LYS_ACTION))) {
Radek Krejci6eeb58f2019-02-22 16:29:37 +010099 /* move through input/output manually */
Radek Krejci7f9b6512019-09-18 13:11:09 +0200100 if (!ly_strncmp("input", name, name_len)) {
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100101 (*result_flag) |= LYSC_OPT_RPC_INPUT;
Radek Krejci7f9b6512019-09-18 13:11:09 +0200102 } else if (!ly_strncmp("output", name, name_len)) {
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100103 (*result_flag) |= LYSC_OPT_RPC_OUTPUT;
104 getnext_extra_flag = LYS_GETNEXT_OUTPUT;
Radek Krejci05b774b2019-02-25 13:26:18 +0100105 } else {
106 goto getnext;
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100107 }
Radek Krejci05b774b2019-02-25 13:26:18 +0100108 current_nodetype = LYS_INOUT;
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100109 } else {
Radek Krejci05b774b2019-02-25 13:26:18 +0100110getnext:
Michal Vaskoe444f752020-02-10 12:20:06 +0100111 context_node = lys_find_child(context_node, mod, name, name_len, 0,
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100112 getnext_extra_flag | LYS_GETNEXT_NOSTATECHECK | LYS_GETNEXT_WITHCHOICE | LYS_GETNEXT_WITHCASE);
113 if (!context_node) {
114 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
115 "Invalid %s-schema-nodeid value \"%.*s\" - target node not found.", nodeid_type, id - nodeid, nodeid);
116 return LY_ENOTFOUND;
117 }
118 getnext_extra_flag = 0;
Radek Krejci05b774b2019-02-25 13:26:18 +0100119 current_nodetype = context_node->nodetype;
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100120
Radek Krejci05b774b2019-02-25 13:26:18 +0100121 if (current_nodetype == LYS_NOTIF) {
Radek Krejci6eeb58f2019-02-22 16:29:37 +0100122 (*result_flag) |= LYSC_OPT_NOTIFICATION;
123 }
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100124 }
Radek Krejci01342af2019-01-03 15:18:08 +0100125 if (!*id || (nodeid_len && ((size_t)(id - nodeid) >= nodeid_len))) {
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100126 break;
127 }
Radek Krejci01342af2019-01-03 15:18:08 +0100128 if (*id != '/') {
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100129 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
Radek Krejci95710c92019-02-11 15:49:55 +0100130 "Invalid %s-schema-nodeid value \"%.*s\" - missing \"/\" as node-identifier separator.",
131 nodeid_type, id - nodeid + 1, nodeid);
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100132 return LY_EVALID;
133 }
134 ++id;
135 }
136
137 if (ret == LY_SUCCESS) {
Radek Krejci7af64242019-02-18 13:07:53 +0100138 *target = context_node;
Radek Krejci05b774b2019-02-25 13:26:18 +0100139 if (nodetype & LYS_INOUT) {
140 /* instead of input/output nodes, the RPC/action node is actually returned */
141 }
142 if (nodetype && !(current_nodetype & nodetype)) {
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100143 return LY_EDENIED;
144 }
Radek Krejci95710c92019-02-11 15:49:55 +0100145 } else {
146 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
147 "Invalid %s-schema-nodeid value \"%.*s\" - unexpected end of expression.",
Radek Krejci3641f562019-02-13 15:38:40 +0100148 nodeid_type, nodeid_len ? nodeid_len : strlen(nodeid), nodeid);
Radek Krejci9bb94eb2018-12-04 16:48:35 +0100149 }
150
151 return ret;
152}
153
154LY_ERR
Radek Krejcie7b95092019-05-15 11:03:07 +0200155lysp_check_prefix(struct lys_parser_ctx *ctx, struct lysp_import *imports, const char *module_prefix, const char **value)
Radek Krejci86d106e2018-10-18 09:53:19 +0200156{
157 struct lysp_import *i;
158
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100159 if (module_prefix && &module_prefix != value && !strcmp(module_prefix, *value)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100160 LOGVAL_PARSER(ctx, LYVE_REFERENCE, "Prefix \"%s\" already used as module prefix.", *value);
Radek Krejci86d106e2018-10-18 09:53:19 +0200161 return LY_EEXIST;
162 }
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100163 LY_ARRAY_FOR(imports, struct lysp_import, i) {
164 if (i->prefix && &i->prefix != value && !strcmp(i->prefix, *value)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100165 LOGVAL_PARSER(ctx, LYVE_REFERENCE, "Prefix \"%s\" already used to import \"%s\" module.", *value, i->name);
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100166 return LY_EEXIST;
Radek Krejci86d106e2018-10-18 09:53:19 +0200167 }
168 }
169 return LY_SUCCESS;
170}
171
172LY_ERR
Radek Krejci4f28eda2018-11-12 11:46:16 +0100173lysc_check_status(struct lysc_ctx *ctx,
174 uint16_t flags1, void *mod1, const char *name1,
175 uint16_t flags2, void *mod2, const char *name2)
176{
177 uint16_t flg1, flg2;
178
179 flg1 = (flags1 & LYS_STATUS_MASK) ? (flags1 & LYS_STATUS_MASK) : LYS_STATUS_CURR;
180 flg2 = (flags2 & LYS_STATUS_MASK) ? (flags2 & LYS_STATUS_MASK) : LYS_STATUS_CURR;
181
182 if ((flg1 < flg2) && (mod1 == mod2)) {
183 if (ctx) {
184 LOGVAL(ctx->ctx, LY_VLOG_STR, ctx->path, LYVE_REFERENCE,
185 "A %s definition \"%s\" is not allowed to reference %s definition \"%s\".",
186 flg1 == LYS_STATUS_CURR ? "current" : "deprecated", name1,
187 flg2 == LYS_STATUS_OBSLT ? "obsolete" : "deprecated", name2);
188 }
189 return LY_EVALID;
190 }
191
192 return LY_SUCCESS;
193}
194
195LY_ERR
Radek Krejcie7b95092019-05-15 11:03:07 +0200196lysp_check_date(struct lys_parser_ctx *ctx, const char *date, int date_len, const char *stmt)
Radek Krejci86d106e2018-10-18 09:53:19 +0200197{
198 int i;
199 struct tm tm, tm_;
200 char *r;
201
Michal Vaskob36053d2020-03-26 15:49:30 +0100202 LY_CHECK_ARG_RET(ctx ? PARSER_CTX(ctx) : NULL, date, LY_EINVAL);
203 LY_CHECK_ERR_RET(date_len != LY_REV_SIZE - 1, LOGARG(ctx ? PARSER_CTX(ctx) : NULL, date_len), LY_EINVAL);
Radek Krejci86d106e2018-10-18 09:53:19 +0200204
205 /* check format */
206 for (i = 0; i < date_len; i++) {
207 if (i == 4 || i == 7) {
208 if (date[i] != '-') {
209 goto error;
210 }
211 } else if (!isdigit(date[i])) {
212 goto error;
213 }
214 }
215
216 /* check content, e.g. 2018-02-31 */
217 memset(&tm, 0, sizeof tm);
218 r = strptime(date, "%Y-%m-%d", &tm);
219 if (!r || r != &date[LY_REV_SIZE - 1]) {
220 goto error;
221 }
222 memcpy(&tm_, &tm, sizeof tm);
223 mktime(&tm_); /* mktime modifies tm_ if it refers invalid date */
224 if (tm.tm_mday != tm_.tm_mday) { /* e.g 2018-02-29 -> 2018-03-01 */
225 /* checking days is enough, since other errors
226 * have been checked by strptime() */
227 goto error;
228 }
229
230 return LY_SUCCESS;
231
232error:
Radek Krejcid33273d2018-10-25 14:55:52 +0200233 if (stmt) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100234 if (ctx) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100235 LOGVAL_PARSER(ctx, LY_VCODE_INVAL, date_len, date, stmt);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100236 } else {
237 LOGVAL(NULL, LY_VLOG_NONE, NULL, LY_VCODE_INVAL, date_len, date, stmt);
238 }
Radek Krejcid33273d2018-10-25 14:55:52 +0200239 }
Radek Krejci86d106e2018-10-18 09:53:19 +0200240 return LY_EINVAL;
241}
242
243void
244lysp_sort_revisions(struct lysp_revision *revs)
245{
246 uint8_t i, r;
247 struct lysp_revision rev;
248
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200249 for (i = 1, r = 0; revs && i < LY_ARRAY_COUNT(revs); i++) {
Radek Krejcib7db73a2018-10-24 14:18:40 +0200250 if (strcmp(revs[i].date, revs[r].date) > 0) {
Radek Krejci86d106e2018-10-18 09:53:19 +0200251 r = i;
252 }
253 }
254
255 if (r) {
256 /* the newest revision is not on position 0, switch them */
Radek Krejci2c4e7172018-10-19 15:56:26 +0200257 memcpy(&rev, &revs[0], sizeof rev);
258 memcpy(&revs[0], &revs[r], sizeof rev);
259 memcpy(&revs[r], &rev, sizeof rev);
Radek Krejci86d106e2018-10-18 09:53:19 +0200260 }
261}
Radek Krejci151a5b72018-10-19 14:21:44 +0200262
Radek Krejcibbe09a92018-11-08 09:36:54 +0100263static const struct lysp_tpdf *
264lysp_type_match(const char *name, struct lysp_node *node)
265{
Radek Krejci0fb28562018-12-13 15:17:37 +0100266 const struct lysp_tpdf *typedefs;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200267 LY_ARRAY_COUNT_TYPE u;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100268
Radek Krejci0fb28562018-12-13 15:17:37 +0100269 typedefs = lysp_node_typedefs(node);
270 LY_ARRAY_FOR(typedefs, u) {
271 if (!strcmp(name, typedefs[u].name)) {
272 /* match */
273 return &typedefs[u];
Radek Krejcibbe09a92018-11-08 09:36:54 +0100274 }
275 }
276
277 return NULL;
278}
279
Radek Krejci4f28eda2018-11-12 11:46:16 +0100280static LY_DATA_TYPE
281lysp_type_str2builtin(const char *name, size_t len)
282{
283 if (len >= 4) { /* otherwise it does not match any built-in type */
284 if (name[0] == 'b') {
285 if (name[1] == 'i') {
286 if (len == 6 && !strncmp(&name[2], "nary", 4)) {
287 return LY_TYPE_BINARY;
288 } else if (len == 4 && !strncmp(&name[2], "ts", 2)) {
289 return LY_TYPE_BITS;
290 }
291 } else if (len == 7 && !strncmp(&name[1], "oolean", 6)) {
292 return LY_TYPE_BOOL;
293 }
294 } else if (name[0] == 'd') {
295 if (len == 9 && !strncmp(&name[1], "ecimal64", 8)) {
296 return LY_TYPE_DEC64;
297 }
298 } else if (name[0] == 'e') {
299 if (len == 5 && !strncmp(&name[1], "mpty", 4)) {
300 return LY_TYPE_EMPTY;
301 } else if (len == 11 && !strncmp(&name[1], "numeration", 10)) {
302 return LY_TYPE_ENUM;
303 }
304 } else if (name[0] == 'i') {
305 if (name[1] == 'n') {
306 if (len == 4 && !strncmp(&name[2], "t8", 2)) {
307 return LY_TYPE_INT8;
308 } else if (len == 5) {
309 if (!strncmp(&name[2], "t16", 3)) {
310 return LY_TYPE_INT16;
311 } else if (!strncmp(&name[2], "t32", 3)) {
312 return LY_TYPE_INT32;
313 } else if (!strncmp(&name[2], "t64", 3)) {
314 return LY_TYPE_INT64;
315 }
316 } else if (len == 19 && !strncmp(&name[2], "stance-identifier", 17)) {
317 return LY_TYPE_INST;
318 }
319 } else if (len == 11 && !strncmp(&name[1], "dentityref", 10)) {
320 return LY_TYPE_IDENT;
321 }
322 } else if (name[0] == 'l') {
323 if (len == 7 && !strncmp(&name[1], "eafref", 6)) {
324 return LY_TYPE_LEAFREF;
325 }
326 } else if (name[0] == 's') {
327 if (len == 6 && !strncmp(&name[1], "tring", 5)) {
328 return LY_TYPE_STRING;
329 }
330 } else if (name[0] == 'u') {
331 if (name[1] == 'n') {
332 if (len == 5 && !strncmp(&name[2], "ion", 3)) {
333 return LY_TYPE_UNION;
334 }
335 } else if (name[1] == 'i' && name[2] == 'n' && name[3] == 't') {
336 if (len == 5 && name[4] == '8') {
337 return LY_TYPE_UINT8;
338 } else if (len == 6) {
339 if (!strncmp(&name[4], "16", 2)) {
340 return LY_TYPE_UINT16;
341 } else if (!strncmp(&name[4], "32", 2)) {
342 return LY_TYPE_UINT32;
343 } else if (!strncmp(&name[4], "64", 2)) {
344 return LY_TYPE_UINT64;
345 }
346 }
347 }
348 }
349 }
350
351 return LY_TYPE_UNKNOWN;
352}
353
Radek Krejcibbe09a92018-11-08 09:36:54 +0100354LY_ERR
355lysp_type_find(const char *id, struct lysp_node *start_node, struct lysp_module *start_module,
Radek Krejci4f28eda2018-11-12 11:46:16 +0100356 LY_DATA_TYPE *type, const struct lysp_tpdf **tpdf, struct lysp_node **node, struct lysp_module **module)
Radek Krejcibbe09a92018-11-08 09:36:54 +0100357{
358 const char *str, *name;
359 struct lysp_tpdf *typedefs;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200360 LY_ARRAY_COUNT_TYPE u, v;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100361
362 assert(id);
363 assert(start_module);
364 assert(tpdf);
365 assert(node);
366 assert(module);
367
Radek Krejci4f28eda2018-11-12 11:46:16 +0100368 *node = NULL;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100369 str = strchr(id, ':');
370 if (str) {
371 *module = lysp_module_find_prefix(start_module, id, str - id);
372 name = str + 1;
Radek Krejci4f28eda2018-11-12 11:46:16 +0100373 *type = LY_TYPE_UNKNOWN;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100374 } else {
375 *module = start_module;
376 name = id;
Radek Krejci4f28eda2018-11-12 11:46:16 +0100377
378 /* check for built-in types */
379 *type = lysp_type_str2builtin(name, strlen(name));
380 if (*type) {
381 *tpdf = NULL;
382 return LY_SUCCESS;
383 }
Radek Krejcibbe09a92018-11-08 09:36:54 +0100384 }
385 LY_CHECK_RET(!(*module), LY_ENOTFOUND);
386
387 if (start_node && *module == start_module) {
388 /* search typedefs in parent's nodes */
389 *node = start_node;
390 while (*node) {
391 *tpdf = lysp_type_match(name, *node);
392 if (*tpdf) {
393 /* match */
394 return LY_SUCCESS;
395 }
396 *node = (*node)->parent;
397 }
398 }
399
400 /* search in top-level typedefs */
401 if ((*module)->typedefs) {
402 LY_ARRAY_FOR((*module)->typedefs, u) {
403 if (!strcmp(name, (*module)->typedefs[u].name)) {
404 /* match */
405 *tpdf = &(*module)->typedefs[u];
406 return LY_SUCCESS;
407 }
408 }
409 }
410
411 /* search in submodules' typedefs */
412 LY_ARRAY_FOR((*module)->includes, u) {
413 typedefs = (*module)->includes[u].submodule->typedefs;
Radek Krejci76b3e962018-12-14 17:01:25 +0100414 LY_ARRAY_FOR(typedefs, v) {
415 if (!strcmp(name, typedefs[v].name)) {
416 /* match */
417 *tpdf = &typedefs[v];
418 return LY_SUCCESS;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100419 }
420 }
421 }
422
423 return LY_ENOTFOUND;
424}
425
David Sedlák6544c182019-07-12 13:17:33 +0200426LY_ERR
David Sedlák07869a52019-07-12 14:28:19 +0200427lysp_check_enum_name(struct lys_parser_ctx *ctx, const char *name, size_t name_len)
David Sedlák6544c182019-07-12 13:17:33 +0200428{
429 if (!name_len) {
430 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Enum name must not be zero-length.");
431 return LY_EVALID;
432 } else if (isspace(name[0]) || isspace(name[name_len - 1])) {
433 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Enum name must not have any leading or trailing whitespaces (\"%.*s\").",
434 name_len, name);
435 return LY_EVALID;
436 } else {
437 for (size_t u = 0; u < name_len; ++u) {
438 if (iscntrl(name[u])) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100439 LOGWRN(PARSER_CTX(ctx), "Control characters in enum name should be avoided (\"%.*s\", character number %d).",
David Sedlák6544c182019-07-12 13:17:33 +0200440 name_len, name, u + 1);
441 break;
442 }
443 }
444 }
445
446 return LY_SUCCESS;
447}
448
Michal Vaskob36053d2020-03-26 15:49:30 +0100449/**
Radek Krejcibbe09a92018-11-08 09:36:54 +0100450 * @brief Check name of a new type to avoid name collisions.
451 *
452 * @param[in] ctx Parser context, module where the type is being defined is taken from here.
453 * @param[in] node Schema node where the type is being defined, NULL in case of a top-level typedef.
454 * @param[in] tpdf Typedef definition to check.
455 * @param[in,out] tpdfs_global Initialized hash table to store temporary data between calls. When the module's
456 * typedefs are checked, caller is supposed to free the table.
457 * @param[in,out] tpdfs_global Initialized hash table to store temporary data between calls. When the module's
458 * typedefs are checked, caller is supposed to free the table.
459 * @return LY_EEXIST in case of collision, LY_SUCCESS otherwise.
460 */
461static LY_ERR
Radek Krejcie7b95092019-05-15 11:03:07 +0200462lysp_check_typedef(struct lys_parser_ctx *ctx, struct lysp_node *node, const struct lysp_tpdf *tpdf,
Radek Krejcibbe09a92018-11-08 09:36:54 +0100463 struct hash_table *tpdfs_global, struct hash_table *tpdfs_scoped)
464{
465 struct lysp_node *parent;
466 uint32_t hash;
467 size_t name_len;
468 const char *name;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200469 LY_ARRAY_COUNT_TYPE u;
Radek Krejci0fb28562018-12-13 15:17:37 +0100470 const struct lysp_tpdf *typedefs;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100471
472 assert(ctx);
473 assert(tpdf);
474
475 name = tpdf->name;
476 name_len = strlen(name);
477
Radek Krejci4f28eda2018-11-12 11:46:16 +0100478 if (lysp_type_str2builtin(name, name_len)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100479 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid name \"%s\" of typedef - name collision with a built-in type.", name);
Radek Krejci4f28eda2018-11-12 11:46:16 +0100480 return LY_EEXIST;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100481 }
482
483 /* check locally scoped typedefs (avoid name shadowing) */
484 if (node) {
Radek Krejci0fb28562018-12-13 15:17:37 +0100485 typedefs = lysp_node_typedefs(node);
486 LY_ARRAY_FOR(typedefs, u) {
487 if (&typedefs[u] == tpdf) {
488 break;
489 }
490 if (!strcmp(name, typedefs[u].name)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100491 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid name \"%s\" of typedef - name collision with sibling type.", name);
Radek Krejci0fb28562018-12-13 15:17:37 +0100492 return LY_EEXIST;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100493 }
494 }
495 /* search typedefs in parent's nodes */
Radek Krejci87e78ca2019-05-02 09:51:29 +0200496 for (parent = node->parent; parent; parent = parent->parent) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100497 if (lysp_type_match(name, parent)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100498 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid name \"%s\" of typedef - name collision with another scoped type.", name);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100499 return LY_EEXIST;
500 }
501 }
502 }
503
504 /* check collision with the top-level typedefs */
505 hash = dict_hash(name, name_len);
506 if (node) {
507 lyht_insert(tpdfs_scoped, &name, hash, NULL);
508 if (!lyht_find(tpdfs_global, &name, hash, NULL)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100509 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid name \"%s\" of typedef - scoped type collide with a top-level type.", name);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100510 return LY_EEXIST;
511 }
512 } else {
513 if (lyht_insert(tpdfs_global, &name, hash, NULL)) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100514 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid name \"%s\" of typedef - name collision with another top-level type.", name);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100515 return LY_EEXIST;
516 }
Radek Krejci3b1f9292018-11-08 10:58:35 +0100517 /* it is not necessary to test collision with the scoped types - in lysp_check_typedefs, all the
518 * top-level typedefs are inserted into the tables before the scoped typedefs, so the collision
519 * is detected in the first branch few lines above */
Radek Krejcibbe09a92018-11-08 09:36:54 +0100520 }
521
522 return LY_SUCCESS;
523}
524
525static int
526lysp_id_cmp(void *val1, void *val2, int UNUSED(mod), void *UNUSED(cb_data))
527{
528 return !strcmp(val1, val2);
529}
530
531LY_ERR
David Sedlákd2ebe572019-07-22 12:53:14 +0200532lysp_parse_finalize_reallocated(struct lys_parser_ctx *ctx, struct lysp_grp *groupings, struct lysp_augment *augments,
533 struct lysp_action *actions, struct lysp_notif *notifs)
534{
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200535 LY_ARRAY_COUNT_TYPE u, v;
David Sedlákd2ebe572019-07-22 12:53:14 +0200536 struct lysp_node *child;
537
538 /* finalize parent pointers to the reallocated items */
539
540 /* gropings */
541 LY_ARRAY_FOR(groupings, u) {
542 LY_LIST_FOR(groupings[u].data, child) {
543 child->parent = (struct lysp_node*)&groupings[u];
544 }
545 LY_ARRAY_FOR(groupings[u].actions, v) {
546 groupings[u].actions[v].parent = (struct lysp_node*)&groupings[u];
547 }
548 LY_ARRAY_FOR(groupings[u].notifs, v) {
549 groupings[u].notifs[v].parent = (struct lysp_node*)&groupings[u];
550 }
551 LY_ARRAY_FOR(groupings[u].groupings, v) {
552 groupings[u].groupings[v].parent = (struct lysp_node*)&groupings[u];
553 }
554 if (groupings[u].typedefs) {
555 ly_set_add(&ctx->tpdfs_nodes, &groupings[u], 0);
556 }
557 }
558
559 /* augments */
560 LY_ARRAY_FOR(augments, u) {
561 LY_LIST_FOR(augments[u].child, child) {
562 child->parent = (struct lysp_node*)&augments[u];
563 }
564 LY_ARRAY_FOR(augments[u].actions, v) {
565 augments[u].actions[v].parent = (struct lysp_node*)&augments[u];
566 }
567 LY_ARRAY_FOR(augments[u].notifs, v) {
568 augments[u].notifs[v].parent = (struct lysp_node*)&augments[u];
569 }
570 }
571
572 /* actions */
573 LY_ARRAY_FOR(actions, u) {
574 if (actions[u].input.parent) {
575 actions[u].input.parent = (struct lysp_node*)&actions[u];
576 LY_LIST_FOR(actions[u].input.data, child) {
577 child->parent = (struct lysp_node*)&actions[u].input;
578 }
579 LY_ARRAY_FOR(actions[u].input.groupings, v) {
580 actions[u].input.groupings[v].parent = (struct lysp_node*)&actions[u].input;
581 }
582 if (actions[u].input.typedefs) {
583 ly_set_add(&ctx->tpdfs_nodes, &actions[u].input, 0);
584 }
585 }
586 if (actions[u].output.parent) {
587 actions[u].output.parent = (struct lysp_node*)&actions[u];
588 LY_LIST_FOR(actions[u].output.data, child) {
589 child->parent = (struct lysp_node*)&actions[u].output;
590 }
591 LY_ARRAY_FOR(actions[u].output.groupings, v) {
592 actions[u].output.groupings[v].parent = (struct lysp_node*)&actions[u].output;
593 }
594 if (actions[u].output.typedefs) {
595 ly_set_add(&ctx->tpdfs_nodes, &actions[u].output, 0);
596 }
597 }
598 LY_ARRAY_FOR(actions[u].groupings, v) {
599 actions[u].groupings[v].parent = (struct lysp_node*)&actions[u];
600 }
601 if (actions[u].typedefs) {
602 ly_set_add(&ctx->tpdfs_nodes, &actions[u], 0);
603 }
604 }
605
606 /* notifications */
607 LY_ARRAY_FOR(notifs, u) {
608 LY_LIST_FOR(notifs[u].data, child) {
609 child->parent = (struct lysp_node*)&notifs[u];
610 }
611 LY_ARRAY_FOR(notifs[u].groupings, v) {
612 notifs[u].groupings[v].parent = (struct lysp_node*)&notifs[u];
613 }
614 if (notifs[u].typedefs) {
615 ly_set_add(&ctx->tpdfs_nodes, &notifs[u], 0);
616 }
617 }
618
619 return LY_SUCCESS;
620}
621
622LY_ERR
Radek Krejcie7b95092019-05-15 11:03:07 +0200623lysp_check_typedefs(struct lys_parser_ctx *ctx, struct lysp_module *mod)
Radek Krejcibbe09a92018-11-08 09:36:54 +0100624{
625 struct hash_table *ids_global;
626 struct hash_table *ids_scoped;
Radek Krejci0fb28562018-12-13 15:17:37 +0100627 const struct lysp_tpdf *typedefs;
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200628 LY_ARRAY_COUNT_TYPE u, v;
Radek Krejci7eb54ba2020-05-18 16:30:04 +0200629 uint32_t i;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100630 LY_ERR ret = LY_EVALID;
631
632 /* check name collisions - typedefs and groupings */
633 ids_global = lyht_new(8, sizeof(char*), lysp_id_cmp, NULL, 1);
634 ids_scoped = lyht_new(8, sizeof(char*), lysp_id_cmp, NULL, 1);
Radek Krejci7eb54ba2020-05-18 16:30:04 +0200635 LY_ARRAY_FOR(mod->typedefs, v) {
636 if (lysp_check_typedef(ctx, NULL, &mod->typedefs[v], ids_global, ids_scoped)) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100637 goto cleanup;
638 }
639 }
Radek Krejci7eb54ba2020-05-18 16:30:04 +0200640 LY_ARRAY_FOR(mod->includes, v) {
641 LY_ARRAY_FOR(mod->includes[v].submodule->typedefs, u) {
642 if (lysp_check_typedef(ctx, NULL, &mod->includes[v].submodule->typedefs[u], ids_global, ids_scoped)) {
Radek Krejci3b1f9292018-11-08 10:58:35 +0100643 goto cleanup;
644 }
645 }
646 }
Radek Krejci7eb54ba2020-05-18 16:30:04 +0200647 for (i = 0; i < ctx->tpdfs_nodes.count; ++i) {
648 typedefs = lysp_node_typedefs((struct lysp_node *)ctx->tpdfs_nodes.objs[i]);
649 LY_ARRAY_FOR(typedefs, u) {
650 if (lysp_check_typedef(ctx, (struct lysp_node *)ctx->tpdfs_nodes.objs[i], &typedefs[u], ids_global, ids_scoped)) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100651 goto cleanup;
652 }
653 }
654 }
655 ret = LY_SUCCESS;
656cleanup:
657 lyht_free(ids_global);
658 lyht_free(ids_scoped);
659 ly_set_erase(&ctx->tpdfs_nodes, NULL);
660
661 return ret;
662}
663
Radek Krejci9ed7a192018-10-31 16:23:51 +0100664struct lysp_load_module_check_data {
665 const char *name;
666 const char *revision;
667 const char *path;
668 const char* submoduleof;
669};
670
671static LY_ERR
Michal Vaskob36053d2020-03-26 15:49:30 +0100672lysp_load_module_check(const struct ly_ctx *ctx, struct lysp_module *mod, struct lysp_submodule *submod, void *data)
Radek Krejci9ed7a192018-10-31 16:23:51 +0100673{
674 struct lysp_load_module_check_data *info = data;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100675 const char *filename, *dot, *rev, *name;
Radek Krejcib3289d62019-09-18 12:21:39 +0200676 uint8_t latest_revision;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100677 size_t len;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100678 struct lysp_revision *revs;
679
680 name = mod ? mod->mod->name : submod->name;
681 revs = mod ? mod->revs : submod->revs;
Radek Krejcib3289d62019-09-18 12:21:39 +0200682 latest_revision = mod ? mod->mod->latest_revision : submod->latest_revision;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100683
684 if (info->name) {
685 /* check name of the parsed model */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100686 if (strcmp(info->name, name)) {
687 LOGERR(ctx, LY_EINVAL, "Unexpected module \"%s\" parsed instead of \"%s\").", name, info->name);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100688 return LY_EINVAL;
689 }
690 }
691 if (info->revision) {
692 /* check revision of the parsed model */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100693 if (!revs || strcmp(info->revision, revs[0].date)) {
694 LOGERR(ctx, LY_EINVAL, "Module \"%s\" parsed with the wrong revision (\"%s\" instead \"%s\").", name,
Radek Krejcib07b5c92019-04-08 10:56:37 +0200695 revs ? revs[0].date : "none", info->revision);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100696 return LY_EINVAL;
697 }
Radek Krejcib3289d62019-09-18 12:21:39 +0200698 } else if (!latest_revision) {
699 /* do not log, we just need to drop the schema and use the latest revision from the context */
700 return LY_EEXIST;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100701 }
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100702 if (submod) {
703 assert(info->submoduleof);
704
Radek Krejci9ed7a192018-10-31 16:23:51 +0100705 /* check that the submodule belongs-to our module */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100706 if (strcmp(info->submoduleof, submod->belongsto)) {
Radek Krejci9ed7a192018-10-31 16:23:51 +0100707 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "Included \"%s\" submodule from \"%s\" belongs-to a different module \"%s\".",
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100708 submod->name, info->submoduleof, submod->belongsto);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100709 return LY_EVALID;
710 }
711 /* check circular dependency */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100712 if (submod->parsing) {
713 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "A circular dependency (include) for module \"%s\".", submod->name);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100714 return LY_EVALID;
715 }
716 }
717 if (info->path) {
718 /* check that name and revision match filename */
719 filename = strrchr(info->path, '/');
720 if (!filename) {
721 filename = info->path;
722 } else {
723 filename++;
724 }
725 /* name */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100726 len = strlen(name);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100727 rev = strchr(filename, '@');
728 dot = strrchr(info->path, '.');
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100729 if (strncmp(filename, name, len) ||
Radek Krejci9ed7a192018-10-31 16:23:51 +0100730 ((rev && rev != &filename[len]) || (!rev && dot != &filename[len]))) {
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100731 LOGWRN(ctx, "File name \"%s\" does not match module name \"%s\".", filename, name);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100732 }
733 /* revision */
734 if (rev) {
735 len = dot - ++rev;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100736 if (!revs || len != 10 || strncmp(revs[0].date, rev, len)) {
Radek Krejci9ed7a192018-10-31 16:23:51 +0100737 LOGWRN(ctx, "File name \"%s\" does not match module revision \"%s\".", filename,
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100738 revs ? revs[0].date : "none");
Radek Krejci9ed7a192018-10-31 16:23:51 +0100739 }
740 }
741 }
742 return LY_SUCCESS;
743}
744
745LY_ERR
fredgancd485b82019-10-18 15:00:17 +0800746lys_module_localfile(struct ly_ctx *ctx, const char *name, const char *revision, int implement,
Radek Krejci78f06822019-10-30 12:54:05 +0100747 struct lys_parser_ctx *main_ctx, const char *main_name, int required, void **result)
Radek Krejci9ed7a192018-10-31 16:23:51 +0100748{
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200749 struct ly_in *in;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100750 char *filepath = NULL;
751 LYS_INFORMAT format;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100752 void *mod = NULL;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100753 LY_ERR ret = LY_SUCCESS;
754 struct lysp_load_module_check_data check_data = {0};
755
756 LY_CHECK_RET(lys_search_localfile(ly_ctx_get_searchdirs(ctx), !(ctx->flags & LY_CTX_DISABLE_SEARCHDIR_CWD), name, revision,
757 &filepath, &format));
Radek Krejci78f06822019-10-30 12:54:05 +0100758 LY_CHECK_ERR_RET(!filepath, if (required) {LOGERR(ctx, LY_ENOTFOUND, "Data model \"%s%s%s\" not found in local searchdirs.",
759 name, revision ? "@" : "", revision ? revision : "");}, LY_ENOTFOUND);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100760
761 LOGVRB("Loading schema from \"%s\" file.", filepath);
762
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200763 /* get the (sub)module */
764 LY_CHECK_ERR_GOTO(ret = ly_in_new_filepath(filepath, 0, &in), LOGERR(ctx, ret, "Unable to create input handler for filepath %s.", filepath), cleanup);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100765 check_data.name = name;
766 check_data.revision = revision;
767 check_data.path = filepath;
fredgancd485b82019-10-18 15:00:17 +0800768 check_data.submoduleof = main_name;
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200769 if (main_ctx) {
770 mod = lys_parse_mem_submodule(ctx, in->current, format, main_ctx, lysp_load_module_check, &check_data);
771 } else {
772 mod = lys_parse_mem_module(ctx, in->current, format, implement, lysp_load_module_check, &check_data);
773
774 }
775 LY_CHECK_ERR_GOTO(!mod, ly_in_free(in, 1);ly_errcode(ctx), cleanup);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100776
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100777 if (main_ctx) {
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200778 lys_parser_fill_filepath(ctx, in, &((struct lysp_submodule*)mod)->filepath);
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100779 } else {
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200780 lys_parser_fill_filepath(ctx, in, &((struct lys_module*)mod)->filepath);
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100781 }
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200782 ly_in_free(in, 1);
783
784 if (mod && implement) {
785 lys_compile((struct lys_module**)&mod, 0);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100786 }
787
788 *result = mod;
789
790 /* success */
791cleanup:
792 free(filepath);
793 return ret;
794}
795
Radek Krejcid33273d2018-10-25 14:55:52 +0200796LY_ERR
Radek Krejci6d6e4e42018-10-29 13:28:19 +0100797lysp_load_module(struct ly_ctx *ctx, const char *name, const char *revision, int implement, int require_parsed, struct lys_module **mod)
Radek Krejci086c7132018-10-26 15:29:04 +0200798{
Radek Krejci9ed7a192018-10-31 16:23:51 +0100799 const char *module_data = NULL;
Radek Krejci086c7132018-10-26 15:29:04 +0200800 LYS_INFORMAT format = LYS_IN_UNKNOWN;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100801 void (*module_data_free)(void *module_data, void *user_data) = NULL;
802 struct lysp_load_module_check_data check_data = {0};
Radek Krejcib3289d62019-09-18 12:21:39 +0200803 struct lys_module *m = NULL;
Radek Krejci086c7132018-10-26 15:29:04 +0200804
Radek Krejci0af46292019-01-11 16:02:31 +0100805 assert(mod);
806
807 if (!*mod) {
808 /* try to get the module from the context */
809 if (revision) {
Radek Krejcied5acc52019-04-25 15:57:04 +0200810 /* get the specific revision */
Radek Krejci0af46292019-01-11 16:02:31 +0100811 *mod = (struct lys_module*)ly_ctx_get_module(ctx, name, revision);
Radek Krejcied5acc52019-04-25 15:57:04 +0200812 } else if (implement) {
813 /* prefer the implemented module instead of the latest one */
814 *mod = (struct lys_module*)ly_ctx_get_module_implemented(ctx, name);
815 if (!*mod) {
816 /* there is no implemented module in the context, try to get the latest revision module */
817 goto latest_in_the_context;
818 }
Radek Krejci0af46292019-01-11 16:02:31 +0100819 } else {
Radek Krejcied5acc52019-04-25 15:57:04 +0200820 /* get the requested module of the latest revision in the context */
821latest_in_the_context:
Radek Krejci0af46292019-01-11 16:02:31 +0100822 *mod = (struct lys_module*)ly_ctx_get_module_latest(ctx, name);
Radek Krejcib3289d62019-09-18 12:21:39 +0200823 if (*mod && (*mod)->latest_revision == 1) {
824 /* let us now search with callback and searchpaths to check if there is newer revision outside the context */
825 m = *mod;
826 *mod = NULL;
827 }
Radek Krejci0af46292019-01-11 16:02:31 +0100828 }
Radek Krejci086c7132018-10-26 15:29:04 +0200829 }
830
Radek Krejci6d6e4e42018-10-29 13:28:19 +0100831 if (!(*mod) || (require_parsed && !(*mod)->parsed)) {
832 (*mod) = NULL;
833
Radek Krejci086c7132018-10-26 15:29:04 +0200834 /* check collision with other implemented revision */
835 if (implement && ly_ctx_get_module_implemented(ctx, name)) {
836 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE,
837 "Module \"%s\" is already present in other implemented revision.", name);
838 return LY_EDENIED;
839 }
840
Radek Krejci9ed7a192018-10-31 16:23:51 +0100841 /* module not present in the context, get the input data and parse it */
Radek Krejci086c7132018-10-26 15:29:04 +0200842 if (!(ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
843search_clb:
844 if (ctx->imp_clb) {
845 if (ctx->imp_clb(name, revision, NULL, NULL, ctx->imp_clb_data,
Radek Krejci9ed7a192018-10-31 16:23:51 +0100846 &format, &module_data, &module_data_free) == LY_SUCCESS) {
847 check_data.name = name;
848 check_data.revision = revision;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100849 *mod = lys_parse_mem_module(ctx, module_data, format, implement,
850 lysp_load_module_check, &check_data);
Radek Krejci9ed7a192018-10-31 16:23:51 +0100851 if (module_data_free) {
852 module_data_free((void*)module_data, ctx->imp_clb_data);
853 }
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200854 if (*mod && implement) {
855 lys_compile(mod, 0);
Radek Krejci096235c2019-01-11 11:12:19 +0100856 }
Radek Krejci086c7132018-10-26 15:29:04 +0200857 }
858 }
859 if (!(*mod) && !(ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
860 goto search_file;
861 }
862 } else {
863search_file:
864 if (!(ctx->flags & LY_CTX_DISABLE_SEARCHDIRS)) {
865 /* module was not received from the callback or there is no callback set */
Radek Krejci78f06822019-10-30 12:54:05 +0100866 lys_module_localfile(ctx, name, revision, implement, NULL, NULL, m ? 0 : 1, (void **)mod);
Radek Krejci086c7132018-10-26 15:29:04 +0200867 }
868 if (!(*mod) && (ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
869 goto search_clb;
870 }
871 }
Radek Krejci9ed7a192018-10-31 16:23:51 +0100872
Radek Krejcib3289d62019-09-18 12:21:39 +0200873 /* update the latest_revision flag - here we have selected the latest available schema,
874 * consider that even the callback provides correct latest revision */
875 if (!(*mod) && m) {
Radek Krejci78f06822019-10-30 12:54:05 +0100876 LOGVRB("Newer revision than %s-%s not found, using this as the latest revision.", m->name, m->revision);
Radek Krejcib3289d62019-09-18 12:21:39 +0200877 m->latest_revision = 2;
878 *mod = m;
879 } else if ((*mod) && !revision && ((*mod)->latest_revision == 1)) {
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100880 (*mod)->latest_revision = 2;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100881 }
Radek Krejci086c7132018-10-26 15:29:04 +0200882 } else {
883 /* we have module from the current context */
Radek Krejci0af46292019-01-11 16:02:31 +0100884 if (implement) {
885 m = ly_ctx_get_module_implemented(ctx, name);
886 if (m && m != *mod) {
887 /* check collision with other implemented revision */
888 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE,
889 "Module \"%s\" is already present in other implemented revision.", name);
890 *mod = NULL;
891 return LY_EDENIED;
892 }
Radek Krejci086c7132018-10-26 15:29:04 +0200893 }
894
895 /* circular check */
Radek Krejcif8f882a2018-10-31 14:51:15 +0100896 if ((*mod)->parsed && (*mod)->parsed->parsing) {
Radek Krejci086c7132018-10-26 15:29:04 +0200897 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "A circular dependency (import) for module \"%s\".", name);
898 *mod = NULL;
899 return LY_EVALID;
900 }
901 }
902 if (!(*mod)) {
Radek Krejci9ed7a192018-10-31 16:23:51 +0100903 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "%s \"%s\" module failed.", implement ? "Loading" : "Importing", name);
Radek Krejci086c7132018-10-26 15:29:04 +0200904 return LY_EVALID;
905 }
906
907 if (implement) {
908 /* mark the module implemented, check for collision was already done */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100909 (*mod)->implemented = 1;
Radek Krejci086c7132018-10-26 15:29:04 +0200910 }
Radek Krejci086c7132018-10-26 15:29:04 +0200911
912 return LY_SUCCESS;
913}
914
915LY_ERR
David Sedlák4a650532019-07-10 11:55:18 +0200916lysp_check_stringchar(struct lys_parser_ctx *ctx, unsigned int c)
917{
918 if (!is_yangutf8char(c)) {
919 LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, c);
920 return LY_EVALID;
921 }
922 return LY_SUCCESS;
923}
924
925LY_ERR
926lysp_check_identifierchar(struct lys_parser_ctx *ctx, unsigned int c, int first, int *prefix)
927{
928 if (first || (prefix && (*prefix) == 1)) {
929 if (!is_yangidentstartchar(c)) {
930 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid identifier first character '%c'.", c);
931 return LY_EVALID;
932 }
933 if (prefix) {
934 if (first) {
935 (*prefix) = 0;
936 } else {
937 (*prefix) = 2;
938 }
939 }
940 } else if (c == ':' && prefix && (*prefix) == 0) {
941 (*prefix) = 1;
942 } else if (!is_yangidentchar(c)) {
943 LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid identifier character '%c'.", c);
944 return LY_EVALID;
945 }
946
947 return LY_SUCCESS;
948}
949
950LY_ERR
Michal Vaskob36053d2020-03-26 15:49:30 +0100951lysp_load_submodule(struct lys_parser_ctx *pctx, struct lysp_module *mod, struct lysp_include *inc)
Radek Krejcid33273d2018-10-25 14:55:52 +0200952{
Michal Vaskob36053d2020-03-26 15:49:30 +0100953 struct ly_ctx *ctx = (struct ly_ctx *)(PARSER_CTX(pctx));
Radek Krejci3eb299d2019-04-08 15:07:44 +0200954 struct lysp_submodule *submod = NULL;
Radek Krejcid33273d2018-10-25 14:55:52 +0200955 const char *submodule_data = NULL;
956 LYS_INFORMAT format = LYS_IN_UNKNOWN;
957 void (*submodule_data_free)(void *module_data, void *user_data) = NULL;
Radek Krejci9ed7a192018-10-31 16:23:51 +0100958 struct lysp_load_module_check_data check_data = {0};
Radek Krejcid33273d2018-10-25 14:55:52 +0200959
Radek Krejcibbe09a92018-11-08 09:36:54 +0100960 /* submodule not present in the context, get the input data and parse it */
Michal Vaskob36053d2020-03-26 15:49:30 +0100961 if (!(ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
Radek Krejcid33273d2018-10-25 14:55:52 +0200962search_clb:
Michal Vaskob36053d2020-03-26 15:49:30 +0100963 if (ctx->imp_clb) {
964 if (ctx->imp_clb(mod->mod->name, NULL, inc->name, inc->rev[0] ? inc->rev : NULL, ctx->imp_clb_data,
Radek Krejcibbe09a92018-11-08 09:36:54 +0100965 &format, &submodule_data, &submodule_data_free) == LY_SUCCESS) {
966 check_data.name = inc->name;
967 check_data.revision = inc->rev[0] ? inc->rev : NULL;
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100968 check_data.submoduleof = mod->mod->name;
Michal Vaskob36053d2020-03-26 15:49:30 +0100969 submod = lys_parse_mem_submodule(ctx, submodule_data, format, pctx,
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100970 lysp_load_module_check, &check_data);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100971 if (submodule_data_free) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100972 submodule_data_free((void*)submodule_data, ctx->imp_clb_data);
Radek Krejcid33273d2018-10-25 14:55:52 +0200973 }
974 }
Radek Krejcid33273d2018-10-25 14:55:52 +0200975 }
Michal Vaskob36053d2020-03-26 15:49:30 +0100976 if (!submod && !(ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100977 goto search_file;
Radek Krejcid33273d2018-10-25 14:55:52 +0200978 }
Radek Krejci2d31ea72018-10-25 15:46:42 +0200979 } else {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100980search_file:
Michal Vaskob36053d2020-03-26 15:49:30 +0100981 if (!(ctx->flags & LY_CTX_DISABLE_SEARCHDIRS)) {
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100982 /* submodule was not received from the callback or there is no callback set */
Michal Vaskob36053d2020-03-26 15:49:30 +0100983 lys_module_localfile(ctx, inc->name, inc->rev[0] ? inc->rev : NULL, 0, pctx, mod->mod->name, 1, (void**)&submod);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100984 }
Michal Vaskob36053d2020-03-26 15:49:30 +0100985 if (!submod && (ctx->flags & LY_CTX_PREFER_SEARCHDIRS)) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100986 goto search_clb;
987 }
988 }
989 if (submod) {
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100990 if (!inc->rev[0] && (submod->latest_revision == 1)) {
Radek Krejcibbe09a92018-11-08 09:36:54 +0100991 /* update the latest_revision flag - here we have selected the latest available schema,
992 * consider that even the callback provides correct latest revision */
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100993 submod->latest_revision = 2;
Radek Krejcibbe09a92018-11-08 09:36:54 +0100994 }
995
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100996 inc->submodule = submod;
Radek Krejcid33273d2018-10-25 14:55:52 +0200997 }
998 if (!inc->submodule) {
Michal Vaskob36053d2020-03-26 15:49:30 +0100999 LOGVAL(ctx, LY_VLOG_NONE, NULL, LYVE_REFERENCE, "Including \"%s\" submodule into \"%s\" failed.",
Radek Krejci0bcdaed2019-01-10 10:21:34 +01001000 inc->name, mod->mod->name);
Radek Krejcid33273d2018-10-25 14:55:52 +02001001 return LY_EVALID;
1002 }
1003
1004 return LY_SUCCESS;
1005}
1006
Radek Krejci01342af2019-01-03 15:18:08 +01001007#define FIND_MODULE(TYPE, MOD) \
Radek Krejcice8c1592018-10-29 15:35:51 +01001008 TYPE *imp; \
Radek Krejci7f9b6512019-09-18 13:11:09 +02001009 if (!ly_strncmp((MOD)->mod->prefix, prefix, len)) { \
Radek Krejcice8c1592018-10-29 15:35:51 +01001010 /* it is the prefix of the module itself */ \
Radek Krejci0af46292019-01-11 16:02:31 +01001011 m = ly_ctx_get_module((MOD)->mod->ctx, (MOD)->mod->name, (MOD)->mod->revision); \
Radek Krejcice8c1592018-10-29 15:35:51 +01001012 } \
1013 /* search in imports */ \
Radek Krejcibbe09a92018-11-08 09:36:54 +01001014 if (!m) { \
1015 LY_ARRAY_FOR((MOD)->imports, TYPE, imp) { \
Radek Krejci7f9b6512019-09-18 13:11:09 +02001016 if (!ly_strncmp(imp->prefix, prefix, len)) { \
Radek Krejcibbe09a92018-11-08 09:36:54 +01001017 m = imp->module; \
1018 break; \
1019 } \
Radek Krejcice8c1592018-10-29 15:35:51 +01001020 } \
Radek Krejcibbe09a92018-11-08 09:36:54 +01001021 }
Radek Krejcice8c1592018-10-29 15:35:51 +01001022
Radek Krejcibbe09a92018-11-08 09:36:54 +01001023struct lysc_module *
Radek Krejcia3045382018-11-22 14:30:31 +01001024lysc_module_find_prefix(const struct lysc_module *mod, const char *prefix, size_t len)
Radek Krejci151a5b72018-10-19 14:21:44 +02001025{
Radek Krejcibbe09a92018-11-08 09:36:54 +01001026 const struct lys_module *m = NULL;
1027
Radek Krejci01342af2019-01-03 15:18:08 +01001028 FIND_MODULE(struct lysc_import, mod);
Radek Krejcibbe09a92018-11-08 09:36:54 +01001029 return m ? m->compiled : NULL;
Radek Krejcice8c1592018-10-29 15:35:51 +01001030}
Radek Krejci151a5b72018-10-19 14:21:44 +02001031
Radek Krejcibbe09a92018-11-08 09:36:54 +01001032struct lysp_module *
Radek Krejcia3045382018-11-22 14:30:31 +01001033lysp_module_find_prefix(const struct lysp_module *mod, const char *prefix, size_t len)
Radek Krejcice8c1592018-10-29 15:35:51 +01001034{
Radek Krejcibbe09a92018-11-08 09:36:54 +01001035 const struct lys_module *m = NULL;
1036
Radek Krejci01342af2019-01-03 15:18:08 +01001037 FIND_MODULE(struct lysp_import, mod);
Radek Krejcibbe09a92018-11-08 09:36:54 +01001038 return m ? m->parsed : NULL;
Radek Krejcice8c1592018-10-29 15:35:51 +01001039}
Radek Krejci151a5b72018-10-19 14:21:44 +02001040
Radek Krejcice8c1592018-10-29 15:35:51 +01001041struct lys_module *
Radek Krejcia3045382018-11-22 14:30:31 +01001042lys_module_find_prefix(const struct lys_module *mod, const char *prefix, size_t len)
Radek Krejcice8c1592018-10-29 15:35:51 +01001043{
Radek Krejcibbe09a92018-11-08 09:36:54 +01001044 const struct lys_module *m = NULL;
1045
Michal Vasko88a163b2019-12-18 12:11:44 +01001046 if (!prefix || (!strncmp(prefix, mod->prefix, len) && !mod->prefix[len])) {
1047 return (struct lys_module *)mod;
Radek Krejci73dead22019-07-11 16:46:16 +02001048 }
Radek Krejcice8c1592018-10-29 15:35:51 +01001049 if (mod->compiled) {
Radek Krejci01342af2019-01-03 15:18:08 +01001050 FIND_MODULE(struct lysc_import, mod->compiled);
Radek Krejcice8c1592018-10-29 15:35:51 +01001051 } else {
Radek Krejci01342af2019-01-03 15:18:08 +01001052 FIND_MODULE(struct lysp_import, mod->parsed);
Radek Krejcibbe09a92018-11-08 09:36:54 +01001053 }
1054 return (struct lys_module*)m;
1055}
1056
Radek Krejcia3045382018-11-22 14:30:31 +01001057const char *
Radek Krejci693262f2019-04-29 15:23:20 +02001058lys_prefix_find_module(const struct lys_module *mod, const struct lys_module *import)
1059{
Michal Vaskofd69e1d2020-07-03 11:57:17 +02001060 LY_ARRAY_COUNT_TYPE u;
Radek Krejci693262f2019-04-29 15:23:20 +02001061
1062 if (import == mod) {
1063 return mod->prefix;
1064 }
1065
1066 if (mod->parsed) {
1067 LY_ARRAY_FOR(mod->parsed->imports, u) {
1068 if (mod->parsed->imports[u].module == import) {
1069 return mod->parsed->imports[u].prefix;
1070 }
1071 }
1072 } else {
1073 /* we don't have original information about the import's prefix,
1074 * so the prefix of the import module itself is returned instead */
1075 return import->prefix;
1076 }
1077
1078 return NULL;
1079}
1080
Radek Krejci0935f412019-08-20 16:15:18 +02001081API const char *
Radek Krejcia3045382018-11-22 14:30:31 +01001082lys_nodetype2str(uint16_t nodetype)
1083{
1084 switch(nodetype) {
1085 case LYS_CONTAINER:
1086 return "container";
1087 case LYS_CHOICE:
1088 return "choice";
1089 case LYS_LEAF:
1090 return "leaf";
1091 case LYS_LEAFLIST:
1092 return "leaf-list";
1093 case LYS_LIST:
1094 return "list";
1095 case LYS_ANYXML:
1096 return "anyxml";
1097 case LYS_ANYDATA:
1098 return "anydata";
Radek Krejcif12a1f02019-02-11 16:42:08 +01001099 case LYS_CASE:
1100 return "case";
Michal Vasko1bf09392020-03-27 12:38:10 +01001101 case LYS_RPC:
1102 return "RPC";
Radek Krejcif538ce52019-03-05 10:46:14 +01001103 case LYS_ACTION:
Michal Vasko1bf09392020-03-27 12:38:10 +01001104 return "action";
Radek Krejcif538ce52019-03-05 10:46:14 +01001105 case LYS_NOTIF:
Michal Vaskoa3881362020-01-21 15:57:35 +01001106 return "notification";
Radek Krejcifc81ea82019-04-18 13:27:22 +02001107 case LYS_USES:
1108 return "uses";
Radek Krejcia3045382018-11-22 14:30:31 +01001109 default:
1110 return "unknown";
1111 }
1112}
1113
Radek Krejci693262f2019-04-29 15:23:20 +02001114const char *
1115lys_datatype2str(LY_DATA_TYPE basetype)
1116{
1117 switch(basetype) {
1118 case LY_TYPE_BINARY:
1119 return "binary";
1120 case LY_TYPE_UINT8:
1121 return "uint8";
1122 case LY_TYPE_UINT16:
1123 return "uint16";
1124 case LY_TYPE_UINT32:
1125 return "uint32";
1126 case LY_TYPE_UINT64:
1127 return "uint64";
1128 case LY_TYPE_STRING:
1129 return "string";
1130 case LY_TYPE_BITS:
1131 return "bits";
1132 case LY_TYPE_BOOL:
1133 return "boolean";
1134 case LY_TYPE_DEC64:
1135 return "decimal64";
1136 case LY_TYPE_EMPTY:
1137 return "empty";
1138 case LY_TYPE_ENUM:
1139 return "enumeration";
1140 case LY_TYPE_IDENT:
1141 return "identityref";
1142 case LY_TYPE_INST:
1143 return "instance-identifier";
1144 case LY_TYPE_LEAFREF:
1145 return "leafref";
1146 case LY_TYPE_UNION:
1147 return "union";
1148 case LY_TYPE_INT8:
1149 return "int8";
1150 case LY_TYPE_INT16:
1151 return "int16";
1152 case LY_TYPE_INT32:
1153 return "int32";
1154 case LY_TYPE_INT64:
1155 return "int64";
1156 default:
1157 return "unknown";
1158 }
1159}
1160
Radek Krejci056d0a82018-12-06 16:57:25 +01001161API const struct lysp_tpdf *
1162lysp_node_typedefs(const struct lysp_node *node)
1163{
Radek Krejci0fb28562018-12-13 15:17:37 +01001164 switch (node->nodetype) {
1165 case LYS_CONTAINER:
1166 return ((struct lysp_node_container*)node)->typedefs;
1167 case LYS_LIST:
1168 return ((struct lysp_node_list*)node)->typedefs;
1169 case LYS_GROUPING:
1170 return ((struct lysp_grp*)node)->typedefs;
Michal Vasko1bf09392020-03-27 12:38:10 +01001171 case LYS_RPC:
Radek Krejci0fb28562018-12-13 15:17:37 +01001172 case LYS_ACTION:
1173 return ((struct lysp_action*)node)->typedefs;
1174 case LYS_INOUT:
1175 return ((struct lysp_action_inout*)node)->typedefs;
1176 case LYS_NOTIF:
1177 return ((struct lysp_notif*)node)->typedefs;
1178 default:
Radek Krejci056d0a82018-12-06 16:57:25 +01001179 return NULL;
1180 }
1181}
1182
Radek Krejci53ea6152018-12-13 15:21:15 +01001183API const struct lysp_grp *
1184lysp_node_groupings(const struct lysp_node *node)
1185{
1186 switch (node->nodetype) {
1187 case LYS_CONTAINER:
1188 return ((struct lysp_node_container*)node)->groupings;
1189 case LYS_LIST:
1190 return ((struct lysp_node_list*)node)->groupings;
1191 case LYS_GROUPING:
1192 return ((struct lysp_grp*)node)->groupings;
Michal Vasko1bf09392020-03-27 12:38:10 +01001193 case LYS_RPC:
Radek Krejci53ea6152018-12-13 15:21:15 +01001194 case LYS_ACTION:
1195 return ((struct lysp_action*)node)->groupings;
1196 case LYS_INOUT:
1197 return ((struct lysp_action_inout*)node)->groupings;
1198 case LYS_NOTIF:
1199 return ((struct lysp_notif*)node)->groupings;
1200 default:
1201 return NULL;
1202 }
1203}
1204
Radek Krejcibbe09a92018-11-08 09:36:54 +01001205struct lysp_action **
Radek Krejci056d0a82018-12-06 16:57:25 +01001206lysp_node_actions_p(struct lysp_node *node)
Radek Krejcibbe09a92018-11-08 09:36:54 +01001207{
1208 assert(node);
1209 switch (node->nodetype) {
1210 case LYS_CONTAINER:
1211 return &((struct lysp_node_container*)node)->actions;
1212 case LYS_LIST:
1213 return &((struct lysp_node_list*)node)->actions;
1214 case LYS_GROUPING:
1215 return &((struct lysp_grp*)node)->actions;
1216 case LYS_AUGMENT:
1217 return &((struct lysp_augment*)node)->actions;
1218 default:
1219 return NULL;
1220 }
1221}
1222
Radek Krejci056d0a82018-12-06 16:57:25 +01001223API const struct lysp_action *
1224lysp_node_actions(const struct lysp_node *node)
1225{
1226 struct lysp_action **actions;
1227 actions = lysp_node_actions_p((struct lysp_node*)node);
1228 if (actions) {
1229 return *actions;
1230 } else {
1231 return NULL;
1232 }
1233}
1234
Radek Krejcibbe09a92018-11-08 09:36:54 +01001235struct lysp_notif **
Radek Krejci056d0a82018-12-06 16:57:25 +01001236lysp_node_notifs_p(struct lysp_node *node)
Radek Krejcibbe09a92018-11-08 09:36:54 +01001237{
1238 assert(node);
1239 switch (node->nodetype) {
1240 case LYS_CONTAINER:
1241 return &((struct lysp_node_container*)node)->notifs;
1242 case LYS_LIST:
1243 return &((struct lysp_node_list*)node)->notifs;
1244 case LYS_GROUPING:
1245 return &((struct lysp_grp*)node)->notifs;
1246 case LYS_AUGMENT:
1247 return &((struct lysp_augment*)node)->notifs;
1248 default:
1249 return NULL;
1250 }
1251}
1252
Radek Krejci056d0a82018-12-06 16:57:25 +01001253API const struct lysp_notif *
1254lysp_node_notifs(const struct lysp_node *node)
1255{
1256 struct lysp_notif **notifs;
1257 notifs = lysp_node_notifs_p((struct lysp_node*)node);
1258 if (notifs) {
1259 return *notifs;
1260 } else {
1261 return NULL;
1262 }
1263}
1264
Radek Krejcibbe09a92018-11-08 09:36:54 +01001265struct lysp_node **
Radek Krejci056d0a82018-12-06 16:57:25 +01001266lysp_node_children_p(struct lysp_node *node)
Radek Krejcibbe09a92018-11-08 09:36:54 +01001267{
1268 assert(node);
1269 switch (node->nodetype) {
1270 case LYS_CONTAINER:
1271 return &((struct lysp_node_container*)node)->child;
1272 case LYS_CHOICE:
1273 return &((struct lysp_node_choice*)node)->child;
1274 case LYS_LIST:
1275 return &((struct lysp_node_list*)node)->child;
1276 case LYS_CASE:
1277 return &((struct lysp_node_case*)node)->child;
1278 case LYS_GROUPING:
1279 return &((struct lysp_grp*)node)->data;
1280 case LYS_AUGMENT:
1281 return &((struct lysp_augment*)node)->child;
1282 case LYS_INOUT:
1283 return &((struct lysp_action_inout*)node)->data;
1284 case LYS_NOTIF:
1285 return &((struct lysp_notif*)node)->data;
1286 default:
1287 return NULL;
1288 }
1289}
1290
Radek Krejci056d0a82018-12-06 16:57:25 +01001291API const struct lysp_node *
1292lysp_node_children(const struct lysp_node *node)
1293{
1294 struct lysp_node **children;
Radek Krejcie7b95092019-05-15 11:03:07 +02001295
1296 if (!node) {
1297 return NULL;
1298 }
1299
Radek Krejci056d0a82018-12-06 16:57:25 +01001300 children = lysp_node_children_p((struct lysp_node*)node);
1301 if (children) {
1302 return *children;
1303 } else {
1304 return NULL;
1305 }
1306}
1307
1308struct lysc_action **
1309lysc_node_actions_p(struct lysc_node *node)
1310{
1311 assert(node);
1312 switch (node->nodetype) {
1313 case LYS_CONTAINER:
1314 return &((struct lysc_node_container*)node)->actions;
1315 case LYS_LIST:
1316 return &((struct lysc_node_list*)node)->actions;
1317 default:
1318 return NULL;
1319 }
1320}
1321
1322API const struct lysc_action *
1323lysc_node_actions(const struct lysc_node *node)
1324{
1325 struct lysc_action **actions;
1326 actions = lysc_node_actions_p((struct lysc_node*)node);
1327 if (actions) {
1328 return *actions;
1329 } else {
1330 return NULL;
1331 }
1332}
1333
1334struct lysc_notif **
1335lysc_node_notifs_p(struct lysc_node *node)
1336{
1337 assert(node);
1338 switch (node->nodetype) {
1339 case LYS_CONTAINER:
1340 return &((struct lysc_node_container*)node)->notifs;
1341 case LYS_LIST:
1342 return &((struct lysc_node_list*)node)->notifs;
1343 default:
1344 return NULL;
1345 }
1346}
1347
1348API const struct lysc_notif *
1349lysc_node_notifs(const struct lysc_node *node)
1350{
1351 struct lysc_notif **notifs;
1352 notifs = lysc_node_notifs_p((struct lysc_node*)node);
1353 if (notifs) {
1354 return *notifs;
1355 } else {
1356 return NULL;
1357 }
1358}
1359
Radek Krejcibbe09a92018-11-08 09:36:54 +01001360struct lysc_node **
Radek Krejci6eeb58f2019-02-22 16:29:37 +01001361lysc_node_children_p(const struct lysc_node *node, uint16_t flags)
Radek Krejcibbe09a92018-11-08 09:36:54 +01001362{
1363 assert(node);
1364 switch (node->nodetype) {
1365 case LYS_CONTAINER:
1366 return &((struct lysc_node_container*)node)->child;
1367 case LYS_CHOICE:
Radek Krejcia3045382018-11-22 14:30:31 +01001368 if (((struct lysc_node_choice*)node)->cases) {
Radek Krejci95710c92019-02-11 15:49:55 +01001369 return &((struct lysc_node_choice*)node)->cases->child;
Radek Krejcia3045382018-11-22 14:30:31 +01001370 } else {
1371 return NULL;
1372 }
Radek Krejci01342af2019-01-03 15:18:08 +01001373 case LYS_CASE:
1374 return &((struct lysc_node_case*)node)->child;
Radek Krejcibbe09a92018-11-08 09:36:54 +01001375 case LYS_LIST:
1376 return &((struct lysc_node_list*)node)->child;
Michal Vasko1bf09392020-03-27 12:38:10 +01001377 case LYS_RPC:
Radek Krejci6eeb58f2019-02-22 16:29:37 +01001378 case LYS_ACTION:
1379 if (flags & LYS_CONFIG_R) {
1380 return &((struct lysc_action*)node)->output.data;
1381 } else {
1382 /* LYS_CONFIG_W, but also the default case */
1383 return &((struct lysc_action*)node)->input.data;
1384 }
Radek Krejcifc11bd72019-04-11 16:00:05 +02001385 case LYS_NOTIF:
1386 return &((struct lysc_notif*)node)->data;
Radek Krejcibbe09a92018-11-08 09:36:54 +01001387 default:
1388 return NULL;
1389 }
1390}
1391
Radek Krejci056d0a82018-12-06 16:57:25 +01001392API const struct lysc_node *
Radek Krejci6eeb58f2019-02-22 16:29:37 +01001393lysc_node_children(const struct lysc_node *node, uint16_t flags)
Radek Krejcia3045382018-11-22 14:30:31 +01001394{
Radek Krejci056d0a82018-12-06 16:57:25 +01001395 struct lysc_node **children;
Radek Krejcie7b95092019-05-15 11:03:07 +02001396
1397 if (!node) {
1398 return NULL;
1399 }
1400
Radek Krejci6eeb58f2019-02-22 16:29:37 +01001401 children = lysc_node_children_p((struct lysc_node*)node, flags);
Radek Krejci056d0a82018-12-06 16:57:25 +01001402 if (children) {
1403 return *children;
1404 } else {
Radek Krejcia3045382018-11-22 14:30:31 +01001405 return NULL;
1406 }
1407}
1408
Radek Krejci96a0bfd2018-11-22 15:25:06 +01001409struct lys_module *
1410lysp_find_module(struct ly_ctx *ctx, const struct lysp_module *mod)
1411{
1412 unsigned int u;
1413
1414 for (u = 0; u < ctx->list.count; ++u) {
1415 if (((struct lys_module*)ctx->list.objs[u])->parsed == mod) {
1416 return ((struct lys_module*)ctx->list.objs[u]);
1417 }
1418 }
1419 return NULL;
1420}
1421
Radek Krejcid6b76452019-09-03 17:03:03 +02001422enum ly_stmt
Michal Vaskob36053d2020-03-26 15:49:30 +01001423lysp_match_kw(struct lys_yang_parser_ctx *ctx, const char **data)
David Sedlákc10e7902018-12-17 02:17:59 +01001424{
David Sedlák1bccdfa2019-06-17 15:55:27 +02001425/**
1426 * @brief Move the DATA pointer by COUNT items. Also updates the indent value in yang parser context
1427 * @param[in] CTX yang parser context to update its indent value.
1428 * @param[in,out] DATA pointer to move
1429 * @param[in] COUNT number of items for which the DATA pointer is supposed to move on.
1430 */
1431#define MOVE_IN(CTX, DATA, COUNT) (*(DATA))+=COUNT;if(CTX){(CTX)->indent+=COUNT;}
1432#define IF_KW(STR, LEN, STMT) if (!strncmp(*(data), STR, LEN)) {MOVE_IN(ctx, data, LEN);*kw=STMT;}
1433#define IF_KW_PREFIX(STR, LEN) if (!strncmp(*(data), STR, LEN)) {MOVE_IN(ctx, data, LEN);
1434#define IF_KW_PREFIX_END }
David Sedlák572e7ab2019-06-04 16:01:58 +02001435
Radek Krejci6e546bf2020-05-19 16:16:19 +02001436 const char *start = *data;
Radek Krejcid6b76452019-09-03 17:03:03 +02001437 enum ly_stmt result = LY_STMT_NONE;
1438 enum ly_stmt *kw = &result;
David Sedlák1bccdfa2019-06-17 15:55:27 +02001439 /* read the keyword itself */
1440 switch (**data) {
David Sedlák23a59a62018-10-26 13:08:02 +02001441 case 'a':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001442 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001443 IF_KW("rgument", 7, LY_STMT_ARGUMENT)
1444 else IF_KW("ugment", 6, LY_STMT_AUGMENT)
1445 else IF_KW("ction", 5, LY_STMT_ACTION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001446 else IF_KW_PREFIX("ny", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001447 IF_KW("data", 4, LY_STMT_ANYDATA)
1448 else IF_KW("xml", 3, LY_STMT_ANYXML)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001449 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001450 break;
1451 case 'b':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001452 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001453 IF_KW("ase", 3, LY_STMT_BASE)
1454 else IF_KW("elongs-to", 9, LY_STMT_BELONGS_TO)
1455 else IF_KW("it", 2, LY_STMT_BIT)
David Sedlák23a59a62018-10-26 13:08:02 +02001456 break;
1457 case 'c':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001458 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001459 IF_KW("ase", 3, LY_STMT_CASE)
1460 else IF_KW("hoice", 5, LY_STMT_CHOICE)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001461 else IF_KW_PREFIX("on", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001462 IF_KW("fig", 3, LY_STMT_CONFIG)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001463 else IF_KW_PREFIX("ta", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001464 IF_KW("ct", 2, LY_STMT_CONTACT)
1465 else IF_KW("iner", 4, LY_STMT_CONTAINER)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001466 IF_KW_PREFIX_END
1467 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001468 break;
1469 case 'd':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001470 MOVE_IN(ctx, data, 1);
1471 IF_KW_PREFIX("e", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001472 IF_KW("fault", 5, LY_STMT_DEFAULT)
1473 else IF_KW("scription", 9, LY_STMT_DESCRIPTION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001474 else IF_KW_PREFIX("viat", 4)
Radek Krejcid6b76452019-09-03 17:03:03 +02001475 IF_KW("e", 1, LY_STMT_DEVIATE)
1476 else IF_KW("ion", 3, LY_STMT_DEVIATION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001477 IF_KW_PREFIX_END
1478 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001479 break;
1480 case 'e':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001481 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001482 IF_KW("num", 3, LY_STMT_ENUM)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001483 else IF_KW_PREFIX("rror-", 5)
Radek Krejcid6b76452019-09-03 17:03:03 +02001484 IF_KW("app-tag", 7, LY_STMT_ERROR_APP_TAG)
1485 else IF_KW("message", 7, LY_STMT_ERROR_MESSAGE)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001486 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001487 else IF_KW("xtension", 8, LY_STMT_EXTENSION)
David Sedlák23a59a62018-10-26 13:08:02 +02001488 break;
1489 case 'f':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001490 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001491 IF_KW("eature", 6, LY_STMT_FEATURE)
1492 else IF_KW("raction-digits", 14, LY_STMT_FRACTION_DIGITS)
David Sedlák23a59a62018-10-26 13:08:02 +02001493 break;
1494 case 'g':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001495 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001496 IF_KW("rouping", 7, LY_STMT_GROUPING)
David Sedlák23a59a62018-10-26 13:08:02 +02001497 break;
1498 case 'i':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001499 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001500 IF_KW("dentity", 7, LY_STMT_IDENTITY)
1501 else IF_KW("f-feature", 9, LY_STMT_IF_FEATURE)
1502 else IF_KW("mport", 5, LY_STMT_IMPORT)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001503 else IF_KW_PREFIX("n", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001504 IF_KW("clude", 5, LY_STMT_INCLUDE)
1505 else IF_KW("put", 3, LY_STMT_INPUT)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001506 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001507 break;
1508 case 'k':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001509 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001510 IF_KW("ey", 2, LY_STMT_KEY)
David Sedlák23a59a62018-10-26 13:08:02 +02001511 break;
1512 case 'l':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001513 MOVE_IN(ctx, data, 1);
1514 IF_KW_PREFIX("e", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001515 IF_KW("af-list", 7, LY_STMT_LEAF_LIST)
1516 else IF_KW("af", 2, LY_STMT_LEAF)
1517 else IF_KW("ngth", 4, LY_STMT_LENGTH)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001518 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001519 else IF_KW("ist", 3, LY_STMT_LIST)
David Sedlák23a59a62018-10-26 13:08:02 +02001520 break;
1521 case 'm':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001522 MOVE_IN(ctx, data, 1);
1523 IF_KW_PREFIX("a", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001524 IF_KW("ndatory", 7, LY_STMT_MANDATORY)
1525 else IF_KW("x-elements", 10, LY_STMT_MAX_ELEMENTS)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001526 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001527 else IF_KW("in-elements", 11, LY_STMT_MIN_ELEMENTS)
1528 else IF_KW("ust", 3, LY_STMT_MUST)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001529 else IF_KW_PREFIX("od", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001530 IF_KW("ule", 3, LY_STMT_MODULE)
1531 else IF_KW("ifier", 5, LY_STMT_MODIFIER)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001532 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001533 break;
1534 case 'n':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001535 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001536 IF_KW("amespace", 8, LY_STMT_NAMESPACE)
1537 else IF_KW("otification", 11, LY_STMT_NOTIFICATION)
David Sedlák23a59a62018-10-26 13:08:02 +02001538 break;
1539 case 'o':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001540 MOVE_IN(ctx, data, 1);
1541 IF_KW_PREFIX("r", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001542 IF_KW("dered-by", 8, LY_STMT_ORDERED_BY)
1543 else IF_KW("ganization", 10, LY_STMT_ORGANIZATION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001544 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001545 else IF_KW("utput", 5, LY_STMT_OUTPUT)
David Sedlák23a59a62018-10-26 13:08:02 +02001546 break;
1547 case 'p':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001548 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001549 IF_KW("ath", 3, LY_STMT_PATH)
1550 else IF_KW("attern", 6, LY_STMT_PATTERN)
1551 else IF_KW("osition", 7, LY_STMT_POSITION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001552 else IF_KW_PREFIX("re", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001553 IF_KW("fix", 3, LY_STMT_PREFIX)
1554 else IF_KW("sence", 5, LY_STMT_PRESENCE)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001555 IF_KW_PREFIX_END
David Sedlák23a59a62018-10-26 13:08:02 +02001556 break;
1557 case 'r':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001558 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001559 IF_KW("ange", 4, LY_STMT_RANGE)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001560 else IF_KW_PREFIX("e", 1)
1561 IF_KW_PREFIX("f", 1)
Radek Krejcid6b76452019-09-03 17:03:03 +02001562 IF_KW("erence", 6, LY_STMT_REFERENCE)
1563 else IF_KW("ine", 3, LY_STMT_REFINE)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001564 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001565 else IF_KW("quire-instance", 14, LY_STMT_REQUIRE_INSTANCE)
1566 else IF_KW("vision-date", 11, LY_STMT_REVISION_DATE)
1567 else IF_KW("vision", 6, LY_STMT_REVISION)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001568 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001569 else IF_KW("pc", 2, LY_STMT_RPC)
David Sedlák23a59a62018-10-26 13:08:02 +02001570 break;
1571 case 's':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001572 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001573 IF_KW("tatus", 5, LY_STMT_STATUS)
1574 else IF_KW("ubmodule", 8, LY_STMT_SUBMODULE)
David Sedlák23a59a62018-10-26 13:08:02 +02001575 break;
1576 case 't':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001577 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001578 IF_KW("ypedef", 6, LY_STMT_TYPEDEF)
1579 else IF_KW("ype", 3, LY_STMT_TYPE)
David Sedlák23a59a62018-10-26 13:08:02 +02001580 break;
1581 case 'u':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001582 MOVE_IN(ctx, data, 1);
1583 IF_KW_PREFIX("ni", 2)
Radek Krejcid6b76452019-09-03 17:03:03 +02001584 IF_KW("que", 3, LY_STMT_UNIQUE)
1585 else IF_KW("ts", 2, LY_STMT_UNITS)
David Sedlák1bccdfa2019-06-17 15:55:27 +02001586 IF_KW_PREFIX_END
Radek Krejcid6b76452019-09-03 17:03:03 +02001587 else IF_KW("ses", 3, LY_STMT_USES)
David Sedlák23a59a62018-10-26 13:08:02 +02001588 break;
1589 case 'v':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001590 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001591 IF_KW("alue", 4, LY_STMT_VALUE)
David Sedlák23a59a62018-10-26 13:08:02 +02001592 break;
1593 case 'w':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001594 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001595 IF_KW("hen", 3, LY_STMT_WHEN)
David Sedlák23a59a62018-10-26 13:08:02 +02001596 break;
1597 case 'y':
David Sedlák1bccdfa2019-06-17 15:55:27 +02001598 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001599 IF_KW("ang-version", 11, LY_STMT_YANG_VERSION)
1600 else IF_KW("in-element", 10, LY_STMT_YIN_ELEMENT)
David Sedlák23a59a62018-10-26 13:08:02 +02001601 break;
David Sedlák23a59a62018-10-26 13:08:02 +02001602 default:
David Sedlák1bccdfa2019-06-17 15:55:27 +02001603 /* if context is not NULL we are matching keyword from YANG data*/
1604 if (ctx) {
1605 if (**data == ';') {
1606 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001607 *kw = LY_STMT_SYNTAX_SEMICOLON;
David Sedlák1bccdfa2019-06-17 15:55:27 +02001608 } else if (**data == '{') {
1609 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001610 *kw = LY_STMT_SYNTAX_LEFT_BRACE;
David Sedlák1bccdfa2019-06-17 15:55:27 +02001611 } else if (**data == '}') {
1612 MOVE_IN(ctx, data, 1);
Radek Krejcid6b76452019-09-03 17:03:03 +02001613 *kw = LY_STMT_SYNTAX_RIGHT_BRACE;
David Sedlák1bccdfa2019-06-17 15:55:27 +02001614 }
1615 }
David Sedlák23a59a62018-10-26 13:08:02 +02001616 break;
1617 }
1618
Radek Krejci6e546bf2020-05-19 16:16:19 +02001619 if ((*kw < LY_STMT_SYNTAX_SEMICOLON) && isalnum(**data)) {
1620 /* the keyword is not terminated */
1621 *kw = LY_STMT_NONE;
1622 *data = start;
1623 }
1624
David Sedlák1bccdfa2019-06-17 15:55:27 +02001625#undef IF_KW
1626#undef IF_KW_PREFIX
1627#undef IF_KW_PREFIX_END
David Sedlák18730132019-03-15 15:51:34 +01001628#undef MOVE_IN
David Sedlák18730132019-03-15 15:51:34 +01001629
David Sedlák1bccdfa2019-06-17 15:55:27 +02001630 return result;
David Sedlák23a59a62018-10-26 13:08:02 +02001631}
David Sedlákecf5eb82019-06-03 14:12:44 +02001632
Michal Vaskofd69e1d2020-07-03 11:57:17 +02001633LY_ARRAY_COUNT_TYPE
1634lysp_ext_instance_iter(struct lysp_ext_instance *ext, LY_ARRAY_COUNT_TYPE index, LYEXT_SUBSTMT substmt)
Radek Krejcid3ca0632019-04-16 16:54:54 +02001635{
1636 LY_CHECK_ARG_RET(NULL, ext, LY_EINVAL);
1637
Michal Vaskofd69e1d2020-07-03 11:57:17 +02001638 for (; index < LY_ARRAY_COUNT(ext); index++) {
Radek Krejcid3ca0632019-04-16 16:54:54 +02001639 if (ext[index].insubstmt == substmt) {
1640 return index;
1641 }
1642 }
1643
Michal Vaskofd69e1d2020-07-03 11:57:17 +02001644 return LY_ARRAY_COUNT(ext);
Radek Krejcid3ca0632019-04-16 16:54:54 +02001645}
1646
Radek Krejcia1911222019-07-22 17:24:50 +02001647/**
1648 * @brief Schema mapping of YANG modules to prefixes in values.
1649 *
1650 * Implementation of ly_clb_get_prefix. Inverse function to lys_resolve_prefix.
1651 *
1652 * In this case the @p mod is searched in the list of imports and the import's prefix
1653 * (not the module's itself) prefix is returned.
1654 */
1655const char *
1656lys_get_prefix(const struct lys_module *mod, void *private)
1657{
1658 struct lys_module *context_mod = (struct lys_module*)private;
Michal Vaskofd69e1d2020-07-03 11:57:17 +02001659 LY_ARRAY_COUNT_TYPE u;
Radek Krejcid3ca0632019-04-16 16:54:54 +02001660
Radek Krejci474f9b82019-07-24 11:36:37 +02001661 if (context_mod == mod) {
1662 return context_mod->prefix;
1663 }
Radek Krejcia1911222019-07-22 17:24:50 +02001664 LY_ARRAY_FOR(context_mod->compiled->imports, u) {
1665 if (context_mod->compiled->imports[u].module == mod) {
1666 /* match */
Radek Krejcid0ef1af2019-07-23 12:22:05 +02001667 return context_mod->compiled->imports[u].prefix;
Radek Krejcia1911222019-07-22 17:24:50 +02001668 }
1669 }
1670
1671 return NULL;
1672}
1673
1674/**
1675 * @brief Schema mapping of prefix in values to YANG modules (imports).
1676 *
1677 * Implementation of ly_clb_resolve_prefix. Inverse function to lys_get_prefix().
1678 *
1679 * In this case the @p prefix is searched in the list of imports' prefixes (not the prefixes of the imported modules themselves).
1680 */
1681const struct lys_module *
Michal Vasko52927e22020-03-16 17:26:14 +01001682lys_resolve_prefix(const struct ly_ctx *UNUSED(ctx), const char *prefix, size_t prefix_len, void *private)
Radek Krejcia1911222019-07-22 17:24:50 +02001683{
1684 return lys_module_find_prefix((const struct lys_module*)private, prefix, prefix_len);
1685}
Michal Vasko62ed12d2020-05-21 10:08:25 +02001686
1687const struct lysc_node *
1688lysc_data_parent(const struct lysc_node *schema)
1689{
1690 const struct lysc_node *parent;
1691
1692 for (parent = schema->parent; parent && (parent->nodetype & (LYS_CHOICE | LYS_CASE)); parent = parent->parent);
1693
1694 return parent;
1695}
Michal Vasko00cbf532020-06-15 13:58:47 +02001696
1697int
1698lysc_is_output(const struct lysc_node *schema)
1699{
1700 const struct lysc_node *parent;
1701
1702 assert(schema);
1703
1704 for (parent = schema->parent; parent && !(parent->nodetype & (LYS_RPC | LYS_ACTION)); parent = parent->parent);
1705 if (parent && (schema->flags & LYS_CONFIG_R)) {
1706 return 1;
1707 }
1708 return 0;
1709}
Michal Vaskod975f862020-06-23 13:29:28 +02001710
1711API int
1712lysc_is_userordered(const struct lysc_node *schema)
1713{
1714 if (!schema || !(schema->nodetype & (LYS_LEAFLIST | LYS_LIST)) || !(schema->flags & LYS_ORDBY_USER)) {
1715 return 0;
1716 }
1717
1718 return 1;
1719}