blob: 9fe27cd4e7ad21fd06f6597b1e7da9deef340e9f [file] [log] [blame]
Radek Krejci70853c52018-10-15 14:46:16 +02001/**
2 * @file tree_schema_internal.h
3 * @author Radek Krejci <rkrejci@cesnet.cz>
4 * @brief internal functions for YANG schema trees.
5 *
Michal Vasko87cfdba2022-02-22 14:13:45 +01006 * Copyright (c) 2015 - 2022 CESNET, z.s.p.o.
Radek Krejci70853c52018-10-15 14:46:16 +02007 *
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#ifndef LY_TREE_SCHEMA_INTERNAL_H_
16#define LY_TREE_SCHEMA_INTERNAL_H_
17
Radek Krejci2d7a47b2019-05-16 13:34:10 +020018#include <stdint.h>
19
Radek Krejci535ea9f2020-05-29 16:01:05 +020020#include "common.h"
Radek Krejci2d7a47b2019-05-16 13:34:10 +020021#include "set.h"
22#include "tree_schema.h"
23
Michal Vasko1a7a7bd2020-10-16 14:39:15 +020024struct lysc_ctx;
Michal Vasko405cc9e2020-12-01 12:01:27 +010025struct lys_glob_unres;
Michal Vasko1a7a7bd2020-10-16 14:39:15 +020026
Radek Krejcif13b87b2020-12-01 22:02:17 +010027#define LY_YANG_SUFFIX ".yang"
28#define LY_YANG_SUFFIX_LEN 5
29#define LY_YIN_SUFFIX ".yin"
30#define LY_YIN_SUFFIX_LEN 4
31
FredGand944bdc2019-11-05 21:57:07 +080032#define YIN_NS_URI "urn:ietf:params:xml:ns:yang:yin:1"
33
Radek Krejcif13b87b2020-12-01 22:02:17 +010034#define LY_PCRE2_MSG_LIMIT 256
35
Radek Krejci335332a2019-09-05 13:03:35 +020036/**
aPiecek93582ed2021-05-25 14:49:06 +020037 * @brief The maximum depth at which the last nested block is located.
38 * Designed to protect against corrupted input that causes a stack-overflow error.
39 * For yang language and json format, the block is bounded by "{ }".
40 * For the xml format, the opening and closing element tag is considered as the block.
41 */
42#define LY_MAX_BLOCK_DEPTH 500
43
44/**
Radek Krejcieccf6602021-02-05 19:42:54 +010045 * @brief Informational structure for YANG statements
46 */
47struct stmt_info_s {
48 const char *name; /**< name of the statement */
49 const char *arg; /**< name of YIN's attribute to present the statement */
50 uint8_t flags; /**< various flags to clarify printing of the statement */
51#define STMT_FLAG_YIN 0x1 /**< has YIN element */
52#define STMT_FLAG_ID 0x2 /**< the value is identifier -> no quotes */
53};
54
55/* statements informations filled in tree_schema.c */
56extern struct stmt_info_s stmt_attr_info[];
57
Radek Krejcieccf6602021-02-05 19:42:54 +010058/* list of the deviate modifications strings */
59extern const char * const ly_devmod_list[];
60#define ly_devmod2str(TYPE) ly_devmod_list[TYPE]
61
62/**
Radek Krejci335332a2019-09-05 13:03:35 +020063 * @brief Check module version is at least 2 (YANG 1.1) because of the keyword presence.
64 * Logs error message and returns LY_EVALID in case of module in YANG version 1.0.
65 * @param[in] CTX yang parser context to get current module and for logging.
66 * @param[in] KW keyword allowed only in YANG version 1.1 (or later) - for logging.
67 * @param[in] PARENT parent statement where the KW is present - for logging.
68 */
69#define PARSER_CHECK_STMTVER2_RET(CTX, KW, PARENT) \
Michal Vasko8a67eff2021-12-07 14:04:47 +010070 if (PARSER_CUR_PMOD(CTX)->version < LYS_VERSION_1_1) {LOGVAL_PARSER((CTX), LY_VCODE_INCHILDSTMT2, KW, PARENT); return LY_EVALID;}
Radek Krejcid33273d2018-10-25 14:55:52 +020071
Radek Krejcia9026eb2018-12-12 16:04:47 +010072/* These 2 macros checks YANG's identifier grammar rule */
73#define is_yangidentstartchar(c) ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || c == '_')
74#define is_yangidentchar(c) ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || (c >= '0' && c <= '9') || \
David Sedlákebd3acf2019-07-26 15:04:32 +020075 c == '_' || c == '-' || c == '.')
Radek Krejcia9026eb2018-12-12 16:04:47 +010076
David Sedlák4a650532019-07-10 11:55:18 +020077/* Macro to check YANG's yang-char grammar rule */
David Sedlák2c0d5ef2019-08-14 11:40:44 +020078#define is_yangutf8char(c) ((c >= 0x20 && c <= 0xd7ff) || c == 0x09 || c == 0x0a || c == 0x0d || \
David Sedlák4a650532019-07-10 11:55:18 +020079 (c >= 0xe000 && c <= 0xfdcf) || (c >= 0xfdf0 && c <= 0xfffd) || \
80 (c >= 0x10000 && c <= 0x1fffd) || (c >= 0x20000 && c <= 0x2fffd) || \
81 (c >= 0x30000 && c <= 0x3fffd) || (c >= 0x40000 && c <= 0x2fffd) || \
82 (c >= 0x50000 && c <= 0x5fffd) || (c >= 0x60000 && c <= 0x6fffd) || \
83 (c >= 0x70000 && c <= 0x7fffd) || (c >= 0x80000 && c <= 0x8fffd) || \
84 (c >= 0x90000 && c <= 0x9fffd) || (c >= 0xa0000 && c <= 0xafffd) || \
85 (c >= 0xb0000 && c <= 0xbfffd) || (c >= 0xc0000 && c <= 0xcfffd) || \
86 (c >= 0xd0000 && c <= 0xdfffd) || (c >= 0xe0000 && c <= 0xefffd) || \
87 (c >= 0xf0000 && c <= 0xffffd) || (c >= 0x100000 && c <= 0x10fffd))
88
Radek Krejci70853c52018-10-15 14:46:16 +020089/**
David Sedlákca36c422019-07-12 12:47:55 +020090 * @brief Try to find object with MEMBER string matching the IDENT in the given ARRAY.
91 * Macro logs an error message and returns LY_EVALID in case of existence of a matching object.
92 *
93 * @param[in] CTX yang parser context for logging.
94 * @param[in] ARRAY [sized array](@ref sizedarrays) of a generic objects with member named MEMBER to search.
95 * @param[in] MEMBER Name of the member of the objects in the ARRAY to compare.
96 * @param[in] STMT Name of the compared YANG statements for logging.
97 * @param[in] IDENT String trying to find in the ARRAY's objects inside the MEMBER member.
98 */
99#define CHECK_UNIQUENESS(CTX, ARRAY, MEMBER, STMT, IDENT) \
100 if (ARRAY) { \
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200101 for (LY_ARRAY_COUNT_TYPE u_ = 0; u_ < LY_ARRAY_COUNT(ARRAY) - 1; ++u_) { \
Radek Krejci7eb54ba2020-05-18 16:30:04 +0200102 if (!strcmp((ARRAY)[u_].MEMBER, IDENT)) { \
David Sedlákca36c422019-07-12 12:47:55 +0200103 LOGVAL_PARSER(CTX, LY_VCODE_DUPIDENT, IDENT, STMT); \
104 return LY_EVALID; \
105 } \
106 } \
107 }
108
Michal Vaskob36053d2020-03-26 15:49:30 +0100109#define CHECK_NONEMPTY(CTX, VALUE_LEN, STMT) \
David Sedlák129a09c2019-07-12 14:08:34 +0200110 if (!VALUE_LEN) { \
Michal Vaskob36053d2020-03-26 15:49:30 +0100111 LOGWRN(PARSER_CTX(CTX), "Empty argument of %s statement does not make sense.", STMT); \
David Sedlák129a09c2019-07-12 14:08:34 +0200112 }
Radek Krejci70853c52018-10-15 14:46:16 +0200113
Radek Krejcif13b87b2020-12-01 22:02:17 +0100114/*
115 * Additional YANG constants
116 */
117#define Y_TAB_SPACES 8 /**< number of spaces instead of tab character */
118#define LY_TYPE_DEC64_FD_MAX 18 /**< Maximal value of decimal64's fraction-digits */
119
Radek Krejci70853c52018-10-15 14:46:16 +0200120/**
Radek Krejcie3846472018-10-15 15:24:51 +0200121 * @brief List of YANG statement groups - the (sub)module's substatements
122 */
123enum yang_module_stmt {
124 Y_MOD_MODULE_HEADER,
125 Y_MOD_LINKAGE,
126 Y_MOD_META,
127 Y_MOD_REVISION,
128 Y_MOD_BODY
129};
130
131/**
132 * @brief Types of arguments of YANG statements
133 */
134enum yang_arg {
135 Y_IDENTIF_ARG, /**< YANG "identifier-arg-str" rule */
Radek Krejcia9026eb2018-12-12 16:04:47 +0100136 Y_PREF_IDENTIF_ARG, /**< YANG "identifier-ref-arg-str" or node-identifier rule */
Radek Krejcie3846472018-10-15 15:24:51 +0200137 Y_STR_ARG, /**< YANG "string" rule */
138 Y_MAYBE_STR_ARG /**< optional YANG "string" rule */
139};
140
Michal Vasko8a67eff2021-12-07 14:04:47 +0100141#define PARSER_CUR_PMOD(CTX) ((struct lysp_module *)(CTX)->parsed_mods->objs[(CTX)->parsed_mods->count - 1])
142#define PARSER_CTX(CTX) (PARSER_CUR_PMOD(CTX)->mod->ctx)
Radek Krejci2efc45b2020-12-22 16:25:44 +0100143#define LOGVAL_PARSER(CTX, ...) LOGVAL((CTX) ? PARSER_CTX(CTX) : NULL, __VA_ARGS__)
Michal Vaskob36053d2020-03-26 15:49:30 +0100144
145struct lys_parser_ctx {
aPiecek8d4e75d2021-06-24 14:47:06 +0200146 LYS_INFORMAT format; /**< parser format */
147 struct ly_set tpdfs_nodes; /**< Set of nodes that contain typedef(s). Invalid in case of
148 submodule, use ::lys_parser_ctx.main_ctx instead. */
149 struct ly_set grps_nodes; /**< Set of nodes that contain grouping(s). Invalid in case of
aPiecek63e080d2021-06-29 13:53:28 +0200150 submodule, use ::lys_parser_ctx.main_ctx instead. */
Michal Vasko8a67eff2021-12-07 14:04:47 +0100151 struct ly_set *parsed_mods; /**< (sub)modules being parsed, the last one is the current */
aPiecek8d4e75d2021-06-24 14:47:06 +0200152 struct lys_parser_ctx *main_ctx; /**< This pointer must not be NULL. If this context deals with the submodule,
153 then should be set to the context of the module to which it belongs,
154 otherwise it points to the beginning of this structure. */
Michal Vaskob36053d2020-03-26 15:49:30 +0100155};
156
Radek Krejcie3846472018-10-15 15:24:51 +0200157/**
David Sedlákebd3acf2019-07-26 15:04:32 +0200158 * @brief Internal context for yang schema parser.
Radek Krejci70853c52018-10-15 14:46:16 +0200159 */
Michal Vaskob36053d2020-03-26 15:49:30 +0100160struct lys_yang_parser_ctx {
aPiecek8d4e75d2021-06-24 14:47:06 +0200161 LYS_INFORMAT format; /**< parser format */
162 struct ly_set tpdfs_nodes; /**< Set of nodes that contain typedef(s). Invalid in case of
163 submodule, use ::lys_parser_ctx.main_ctx instead. */
164 struct ly_set grps_nodes; /**< Set of nodes that contain grouping(s). Invalid in case of
aPiecek63e080d2021-06-29 13:53:28 +0200165 submodule, use ::lys_parser_ctx.main_ctx instead. */
Michal Vasko8a67eff2021-12-07 14:04:47 +0100166 struct ly_set *parsed_mods; /**< (sub)modules being parsed, the last one is the current */
aPiecek8d4e75d2021-06-24 14:47:06 +0200167 struct lys_parser_ctx *main_ctx; /**< This pointer must not be NULL. If this context deals with the submodule,
168 then should be set to the context of the module to which it belongs,
169 otherwise it points to the beginning of this structure. */
170 struct ly_in *in; /**< input handler for the parser */
171 uint64_t indent; /**< current position on the line for YANG indentation */
172 uint32_t depth; /**< current number of nested blocks, see ::LY_MAX_BLOCK_DEPTH */
Radek Krejci70853c52018-10-15 14:46:16 +0200173};
174
David Sedlákebd3acf2019-07-26 15:04:32 +0200175/**
176 * @brief free lys parser context.
177 */
Michal Vaskob36053d2020-03-26 15:49:30 +0100178void yang_parser_ctx_free(struct lys_yang_parser_ctx *ctx);
David Sedlákebd3acf2019-07-26 15:04:32 +0200179
180/**
181 * @brief Internal context for yin schema parser.
182 */
Michal Vaskob36053d2020-03-26 15:49:30 +0100183struct lys_yin_parser_ctx {
aPiecek8d4e75d2021-06-24 14:47:06 +0200184 LYS_INFORMAT format; /**< parser format */
185 struct ly_set tpdfs_nodes; /**< Set of nodes that contain typedef(s). Invalid in case of
186 submodule, use ::lys_parser_ctx.main_ctx instead. */
187 struct ly_set grps_nodes; /**< Set of nodes that contain grouping(s). Invalid in case of
aPiecek63e080d2021-06-29 13:53:28 +0200188 submodule, use ::lys_parser_ctx.main_ctx instead. */
Michal Vasko8a67eff2021-12-07 14:04:47 +0100189 struct ly_set *parsed_mods; /**< (sub)modules being parsed, the last one is the current */
aPiecek8d4e75d2021-06-24 14:47:06 +0200190 struct lys_parser_ctx *main_ctx; /**< This pointer must not be NULL. If this context deals with the submodule,
191 then should be set to the context of the module to which it belongs,
192 otherwise it points to the beginning of this structure. */
193 struct lyxml_ctx *xmlctx; /**< context for xml parser */
David Sedlákebd3acf2019-07-26 15:04:32 +0200194};
195
196/**
197 * @brief free yin parser context
198 *
199 * @param[in] ctx Context to free.
200 */
Michal Vaskob36053d2020-03-26 15:49:30 +0100201void yin_parser_ctx_free(struct lys_yin_parser_ctx *ctx);
David Sedlákebd3acf2019-07-26 15:04:32 +0200202
Michal Vasko7f45cf22020-10-01 12:49:44 +0200203/**
David Sedlák4a650532019-07-10 11:55:18 +0200204 * @brief Check that \p c is valid UTF8 code point for YANG string.
205 *
Michal Vaskob36053d2020-03-26 15:49:30 +0100206 * @param[in] ctx parser context for logging.
David Sedlák4a650532019-07-10 11:55:18 +0200207 * @param[in] c UTF8 code point of a character to check.
208 * @return LY_ERR values.
209 */
Radek Krejci1deb5be2020-08-26 16:43:36 +0200210LY_ERR lysp_check_stringchar(struct lys_parser_ctx *ctx, uint32_t c);
David Sedlák4a650532019-07-10 11:55:18 +0200211
212/**
213 * @brief Check that \p c is valid UTF8 code point for YANG identifier.
214 *
Michal Vaskob36053d2020-03-26 15:49:30 +0100215 * @param[in] ctx parser context for logging.
David Sedlák4a650532019-07-10 11:55:18 +0200216 * @param[in] c UTF8 code point of a character to check.
217 * @param[in] first Flag to check the first character of an identifier, which is more restricted.
218 * @param[in,out] prefix Storage for internally used flag in case of possible prefixed identifiers:
219 * 0 - colon not yet found (no prefix)
220 * 1 - \p c is the colon character
221 * 2 - prefix already processed, now processing the identifier
222 *
223 * If the identifier cannot be prefixed, NULL is expected.
224 * @return LY_ERR values.
225 */
Radek Krejci857189e2020-09-01 13:26:36 +0200226LY_ERR lysp_check_identifierchar(struct lys_parser_ctx *ctx, uint32_t c, ly_bool first, uint8_t *prefix);
David Sedlák4a650532019-07-10 11:55:18 +0200227
228/**
Radek Krejci70853c52018-10-15 14:46:16 +0200229 * @brief Check the currently present prefixes in the module for collision with the new one.
230 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100231 * @param[in] ctx Context for logging.
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100232 * @param[in] imports List of current imports of the module to check prefix collision.
233 * @param[in] module_prefix Prefix of the module to check collision.
Radek Krejci70853c52018-10-15 14:46:16 +0200234 * @param[in] value Newly added prefix value (including its location to distinguish collision with itself).
235 * @return LY_EEXIST when prefix is already used in the module, LY_SUCCESS otherwise
236 */
Radek Krejcie7b95092019-05-15 11:03:07 +0200237LY_ERR lysp_check_prefix(struct lys_parser_ctx *ctx, struct lysp_import *imports, const char *module_prefix, const char **value);
Radek Krejci70853c52018-10-15 14:46:16 +0200238
Radek Krejci86d106e2018-10-18 09:53:19 +0200239/**
240 * @brief Check date string (4DIGIT "-" 2DIGIT "-" 2DIGIT)
241 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100242 * @param[in] ctx Optional context for logging.
Radek Krejci86d106e2018-10-18 09:53:19 +0200243 * @param[in] date Date string to check (non-necessarily terminated by \0)
244 * @param[in] date_len Length of the date string, 10 expected.
245 * @param[in] stmt Statement name for error message.
246 * @return LY_ERR value.
247 */
Juraj Vijtiuk74dad9e2021-05-26 12:42:14 +0200248LY_ERR lysp_check_date(struct lys_parser_ctx *ctx, const char *date, size_t date_len, const char *stmt);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100249
250/**
251 * @brief Check names of typedefs in the parsed module to detect collisions.
252 *
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100253 * @param[in] ctx Parser context for logging and to maintain tpdfs_nodes
254 * @param[in] mod Module where the type is being defined.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100255 * @return LY_ERR value.
256 */
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100257LY_ERR lysp_check_dup_typedefs(struct lys_parser_ctx *ctx, struct lysp_module *mod);
258
259/**
aPiecek63e080d2021-06-29 13:53:28 +0200260 * @brief Check names of groupings in the parsed module to detect collisions.
261 *
262 * @param[in] ctx Parser context for logging and to maintain grps_nodes.
263 * @param[in] mod Module where the type is being defined.
264 * @return LY_ERR value.
265 */
266LY_ERR lysp_check_dup_groupings(struct lys_parser_ctx *ctx, struct lysp_module *mod);
267
268/**
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100269 * @brief Check names of features in the parsed module and submodules to detect collisions.
270 *
271 * @param[in] ctx Parser context.
272 * @param[in] mod Module where the type is being defined.
273 * @return LY_ERR value.
274 */
275LY_ERR lysp_check_dup_features(struct lys_parser_ctx *ctx, struct lysp_module *mod);
276
277/**
278 * @brief Check names of identities in the parsed module and submodules to detect collisions.
279 *
280 * @param[in] ctx Parser context.
281 * @param[in] mod Module where the type is being defined.
282 * @return LY_ERR value.
283 */
284LY_ERR lysp_check_dup_identities(struct lys_parser_ctx *ctx, struct lysp_module *mod);
Radek Krejci86d106e2018-10-18 09:53:19 +0200285
286/**
287 * @brief Just move the newest revision into the first position, does not sort the rest
288 * @param[in] revs Sized-array of the revisions in a printable schema tree.
289 */
290void lysp_sort_revisions(struct lysp_revision *revs);
291
292/**
David Sedlák6544c182019-07-12 13:17:33 +0200293 * @brief Find type specified type definition.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100294 *
295 * @param[in] id Name of the type including possible prefix. Module where the prefix is being searched is start_module.
296 * @param[in] start_node Context node where the type is being instantiated to be able to search typedefs in parents.
297 * @param[in] start_module Module where the type is being instantiated for search for typedefs.
Radek Krejci4f28eda2018-11-12 11:46:16 +0100298 * @param[out] type Built-in type identifier of the id. If #LY_TYPE_UNKNOWN, tpdf is expected to contain found YANG schema typedef statement.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100299 * @param[out] tpdf Found type definition.
300 * @param[out] node Node where the found typedef is defined, NULL in case of a top-level typedef.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100301 */
Michal Vaskoa99b3572021-02-01 11:54:58 +0100302LY_ERR lysp_type_find(const char *id, struct lysp_node *start_node, const struct lysp_module *start_module,
303 LY_DATA_TYPE *type, const struct lysp_tpdf **tpdf, struct lysp_node **node);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100304
305/**
David Sedlák6544c182019-07-12 13:17:33 +0200306 * @brief Validate enum name.
307 *
308 * @param[in] ctx yang parser context for logging.
309 * @param[in] name String to check.
310 * @param[in] name_len Length of name.
311 *
312 * @return LY_ERR values
313 */
David Sedlák07869a52019-07-12 14:28:19 +0200314LY_ERR lysp_check_enum_name(struct lys_parser_ctx *ctx, const char *name, size_t name_len);
David Sedlák6544c182019-07-12 13:17:33 +0200315
316/**
Michal Vasko4e205e82021-06-08 14:01:47 +0200317 * @brief Find source data for a specific module, parse it, and add into the context.
Radek Krejci086c7132018-10-26 15:29:04 +0200318 *
319 * @param[in] ctx libyang context.
320 * @param[in] name Name of the module to load.
Radek Krejci84d7fd72021-07-14 18:32:21 +0200321 * @param[in] revision Optional revision of the module to load. If NULL, the newest revision is loaded.
Michal Vaskodd992582021-06-10 14:34:57 +0200322 * @param[in,out] new_mods Set of all the new mods added to the context. Includes this module and all of its imports.
Michal Vasko18a86e52021-04-16 11:50:13 +0200323 * @param[out] mod Created module structure.
Michal Vasko4e205e82021-06-08 14:01:47 +0200324 * @return LY_SUCCESS on success.
325 * @return LY_ERR on error.
Radek Krejci086c7132018-10-26 15:29:04 +0200326 */
Michal Vaskodd992582021-06-10 14:34:57 +0200327LY_ERR lys_parse_load(struct ly_ctx *ctx, const char *name, const char *revision, struct ly_set *new_mods,
Michal Vasko4e205e82021-06-08 14:01:47 +0200328 struct lys_module **mod);
Radek Krejci086c7132018-10-26 15:29:04 +0200329
330/**
Radek Krejci771928a2021-01-19 13:42:36 +0100331 * @brief Parse included submodules into the simply parsed YANG module.
332 *
333 * YANG 1.0 does not require the main module to include all the submodules. Therefore, parsing submodules can cause
334 * reallocating and extending the includes array in the main module by the submodules included only in submodules.
Radek Krejcid33273d2018-10-25 14:55:52 +0200335 *
Michal Vasko7c8439f2020-08-05 13:25:19 +0200336 * @param[in] pctx main parser context
Radek Krejci771928a2021-01-19 13:42:36 +0100337 * @param[in] pmod Parsed module with the includes array to be processed.
aPiecekc3e26142021-06-22 14:25:49 +0200338 * @param[in,out] new_mods Set of all the new mods added to the context. Includes this module and all of its imports.
Radek Krejcid33273d2018-10-25 14:55:52 +0200339 * @return LY_ERR value.
340 */
aPiecekc3e26142021-06-22 14:25:49 +0200341LY_ERR lysp_load_submodules(struct lys_parser_ctx *pctx, struct lysp_module *pmod, struct ly_set *new_mods);
Radek Krejcid33273d2018-10-25 14:55:52 +0200342
343/**
Michal Vasko7f45cf22020-10-01 12:49:44 +0200344 * @brief Free a parsed restriction.
345 *
346 * @param[in] ctx libyang context.
347 * @param[in] restr Restriction to free.
348 */
349void lysp_restr_free(struct ly_ctx *ctx, struct lysp_restr *restr);
350
351/**
352 * @brief Free a parsed qualified name.
353 *
354 * @param[in] ctx libyang context.
355 * @param[in] qname Qualified name to free.
356 */
357void lysp_qname_free(struct ly_ctx *ctx, struct lysp_qname *qname);
358
359/**
360 * @brief Free a parsed node.
361 *
362 * @param[in] ctx libyang context.
363 * @param[in] node Node to free.
364 */
365void lysp_node_free(struct ly_ctx *ctx, struct lysp_node *node);
366
367/**
Radek Krejcibbe09a92018-11-08 09:36:54 +0100368 * @brief Get address of a node's actions list if any.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100369 * Decides the node's type and in case it has an actions list, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100370 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100371 * @param[in] node Node to check.
372 * @return Address of the node's actions member if any, NULL otherwise.
373 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100374struct lysp_node_action **lysp_node_actions_p(struct lysp_node *node);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100375
376/**
377 * @brief Get address of a node's notifications list if any.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100378 * Decides the node's type and in case it has a notifications list, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100379 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100380 * @param[in] node Node to check.
381 * @return Address of the node's notifs member if any, NULL otherwise.
382 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100383struct lysp_node_notif **lysp_node_notifs_p(struct lysp_node *node);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100384
385/**
386 * @brief Get address of a node's child pointer if any.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100387 * Decides the node's type and in case it has a children list, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100388 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100389 * @param[in] node Node to check.
390 * @return Address of the node's child member if any, NULL otherwise.
391 */
Michal Vasko544e58a2021-01-28 14:33:41 +0100392struct lysp_node **lysp_node_child_p(struct lysp_node *node);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100393
394/**
Radek Krejci9a3823e2021-01-27 20:26:46 +0100395 * @brief Get the address of the node's musts member, if any.
396 * Decides the node's type and in case it has a musts member, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100397 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100398 * @param[in] node Node to examine.
399 * @return The address of the node's musts member if any, NULL otherwise.
400 */
401struct lysp_restr **lysp_node_musts_p(const struct lysp_node *node);
402
403/**
404 * @brief Get the node's musts member, if any.
405 * Decides the node's type and in case it has a musts member, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100406 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100407 * @param[in] node Node to examine.
408 * @return The node's musts member if any, NULL otherwise.
409 */
410struct lysp_restr *lysp_node_musts(const struct lysp_node *node);
411
412/**
413 * @brief Get the address of the node's when member, if any.
414 * Decides the node's type and in case it has a when, returns it.
Michal Vasko544e58a2021-01-28 14:33:41 +0100415 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100416 * @param[in] node Node to examine.
417 * @return The address of the node's when member if any, NULL otherwise.
418 */
419struct lysp_when **lysp_node_when_p(const struct lysp_node *node);
420
421/**
422 * @brief Get the node's when member, if any.
423 * Decides the node's type and in case it has a when, returns it.
Michal Vasko544e58a2021-01-28 14:33:41 +0100424 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100425 * @param[in] node Node to examine.
426 * @return The node's when member if any, NULL otherwise.
427 */
428struct lysp_when *lysp_node_when(const struct lysp_node *node);
429
430/**
Radek Krejcibbe09a92018-11-08 09:36:54 +0100431 * @brief Get address of a node's child pointer if any.
Radek Krejcibbe09a92018-11-08 09:36:54 +0100432 * Decides the node's type and in case it has a children list, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100433 *
434 * Do not use for RPC and action nodes.
435 *
Radek Krejcibbe09a92018-11-08 09:36:54 +0100436 * @param[in] node Node to check.
437 * @return Address of the node's child member if any, NULL otherwise.
438 */
Michal Vasko544e58a2021-01-28 14:33:41 +0100439struct lysc_node **lysc_node_child_p(const struct lysc_node *node);
Radek Krejcibbe09a92018-11-08 09:36:54 +0100440
441/**
Radek Krejcifc11bd72019-04-11 16:00:05 +0200442 * @brief Get address of a node's notifs pointer if any.
Radek Krejcifc11bd72019-04-11 16:00:05 +0200443 * Decides the node's type and in case it has a notifs array, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100444 *
Radek Krejcifc11bd72019-04-11 16:00:05 +0200445 * @param[in] node Node to check.
446 * @return Address of the node's notifs member if any, NULL otherwise.
447 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100448struct lysc_node_notif **lysc_node_notifs_p(struct lysc_node *node);
Radek Krejcifc11bd72019-04-11 16:00:05 +0200449
450/**
451 * @brief Get address of a node's actions pointer if any.
Radek Krejcifc11bd72019-04-11 16:00:05 +0200452 * Decides the node's type and in case it has a actions array, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100453 *
Radek Krejcifc11bd72019-04-11 16:00:05 +0200454 * @param[in] node Node to check.
455 * @return Address of the node's actions member if any, NULL otherwise.
456 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100457struct lysc_node_action **lysc_node_actions_p(struct lysc_node *node);
Radek Krejcifc11bd72019-04-11 16:00:05 +0200458
459/**
Radek Krejci9a3823e2021-01-27 20:26:46 +0100460 * @brief Get address of a node's when member if any.
Radek Krejci9a3823e2021-01-27 20:26:46 +0100461 * Decides the node's type and in case it has a when member, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100462 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100463 * @param[in] node Node to check.
464 * @return Address of the node's when member if any, NULL otherwise.
465 */
466struct lysc_when ***lysc_node_when_p(const struct lysc_node *node);
467
468/**
469 * @brief Get address of a node's musts member if any.
Radek Krejci9a3823e2021-01-27 20:26:46 +0100470 * Decides the node's type and in case it has a musts member, returns its address.
Michal Vasko544e58a2021-01-28 14:33:41 +0100471 *
Radek Krejci9a3823e2021-01-27 20:26:46 +0100472 * @param[in] node Node to check.
473 * @return Address of the node's musts member if any, NULL otherwise.
474 */
475struct lysc_must **lysc_node_musts_p(const struct lysc_node *node);
476
477/**
Radek Krejci85ac8312021-03-03 20:21:33 +0100478 * @brief Find parsed extension definition for the given extension instance.
479 *
480 * @param[in] ctx libyang context.
481 * @param[in] ext Extension instance for which the definition will be searched.
482 * @param[in, out] ext_mod Pointer to the module where the extension definition of the @p ext to correctly resolve prefixes.
483 * @param[out] ext_def Pointer to return found extension definition.
484 * @return LY_SUCCESS when the definition was found.
485 * @return LY_EVALID when the extension instance is invalid and/or the definition not found.
486 */
487LY_ERR lysp_ext_find_definition(const struct ly_ctx *ctx, const struct lysp_ext_instance *ext, const struct lys_module **ext_mod,
488 struct lysp_ext **ext_def);
489
490/**
Radek Krejciba05eab2021-03-10 13:19:29 +0100491 * @brief Get schema node in extension instance according to the given parameters.
492 *
493 * Wraps ::lys_getnext_ext() and match according to the given arguments.
494 *
495 * @param[in] ext Extension instance which top-level schema node is being searched.
496 * @param[in] module Optional parameter to match the extension instance's (and its data) module.
497 * @param[in] name Name of the schema node to find, if the string is not NULL-terminated, the @p name_len must be set.
498 * @param[in] name_len Length of the @p name string, use in case the @p name is not NULL-terminated string.
499 * @param[in] nodetype Allowed [type of the node](@ref schemanodetypes).
500 * @param[in] options ORed [lys_getnext options](@ref sgetnextflags).
501 * @return Found schema node if there is some satisfy the provided requirements.
502 */
503const struct lysc_node *lysc_ext_find_node(const struct lysc_ext_instance *ext, const struct lys_module *module,
504 const char *name, size_t name_len, uint16_t nodetype, uint32_t options);
505
506/**
Radek Krejci85ac8312021-03-03 20:21:33 +0100507 * @brief When the module comes from YIN format, the argument name is unknown because of missing extension definition
508 * (it might come from import modules which is not yet parsed at that time). Therefore, all the attributes are stored
509 * as substatements and resolving argument is postponed.
510 *
511 * There are 3 places which need the argument, so they resolve it when missing - YIN and YANG printers and extension instance
512 * compiler.
513 *
514 * @param[in] ctx libyang context
515 * @param[in] ext_p Parsed extension to be updated.
516 * @param[in] ext_def Extension definition, found with ::lysp_ext_find_definition().
517 * @return LY_ERR value.
518 */
519LY_ERR lysp_ext_instance_resolve_argument(struct ly_ctx *ctx, struct lysp_ext_instance *ext_p, struct lysp_ext *ext_def);
520
521/**
Radek Krejcid3ca0632019-04-16 16:54:54 +0200522 * @brief Iterate over the specified type of the extension instances
523 *
524 * @param[in] ext ([Sized array](@ref sizedarrays)) of extensions to explore
525 * @param[in] index Index in the \p ext array where to start searching (first call with 0, the consequent calls with
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200526 * the returned index increased by 1 (until the iteration is not terminated by returning LY_ARRAY_COUNT(ext).
Radek Krejcifc596f92021-02-26 22:40:26 +0100527 * @param[in] substmt The statement the extension is supposed to belong to.
Michal Vaskofd69e1d2020-07-03 11:57:17 +0200528 * @result index in the ext array, LY_ARRAY_COUNT(ext) value if not present.
Radek Krejcid3ca0632019-04-16 16:54:54 +0200529 */
Radek Krejcifc596f92021-02-26 22:40:26 +0100530LY_ARRAY_COUNT_TYPE lysp_ext_instance_iter(struct lysp_ext_instance *ext, LY_ARRAY_COUNT_TYPE index, enum ly_stmt substmt);
Radek Krejcid3ca0632019-04-16 16:54:54 +0200531
532/**
Radek Krejci96a0bfd2018-11-22 15:25:06 +0100533 * @brief Get the covering schema module structure for the given parsed module structure.
Michal Vasko544e58a2021-01-28 14:33:41 +0100534 *
Radek Krejci96a0bfd2018-11-22 15:25:06 +0100535 * @param[in] ctx libyang context to search.
536 * @param[in] mod Parsed schema structure.
537 * @return Corresponding lys_module structure for the given parsed schema structure.
538 */
539struct lys_module *lysp_find_module(struct ly_ctx *ctx, const struct lysp_module *mod);
540
541/**
Radek Krejci693262f2019-04-29 15:23:20 +0200542 * @brief Stringify YANG built-in type.
Michal Vasko1bf09392020-03-27 12:38:10 +0100543 * @param[in] basetype Built-in type ID to stringify.
Radek Krejci693262f2019-04-29 15:23:20 +0200544 * @return Constant string with the name of the built-in type.
545 */
546const char *lys_datatype2str(LY_DATA_TYPE basetype);
547
Michal Vasko405cc9e2020-12-01 12:01:27 +0100548/**
Michal Vasko65333882021-06-10 14:12:16 +0200549 * @brief Implement a module and resolve all global unres.
Michal Vasko405cc9e2020-12-01 12:01:27 +0100550 *
551 * @param[in] mod Module to implement.
Michal Vasko4e205e82021-06-08 14:01:47 +0200552 * @param[in] features Features to set, see ::lys_set_features().
Michal Vasko65333882021-06-10 14:12:16 +0200553 * @param[in] unres Global unres with all the created modules.
554 * @return LY_SUCCESS on success.
Michal Vasko4e205e82021-06-08 14:01:47 +0200555 * @return LY_ERR on error.
Michal Vasko405cc9e2020-12-01 12:01:27 +0100556 */
Michal Vasko65333882021-06-10 14:12:16 +0200557LY_ERR _lys_set_implemented(struct lys_module *mod, const char **features, struct lys_glob_unres *unres);
Michal Vasko405cc9e2020-12-01 12:01:27 +0100558
Michal Vaskof4258e12021-06-15 12:11:42 +0200559/**
560 * @brief Create dependency sets for all modules in a context.
Michal Vasko50bc09a2021-06-17 17:31:56 +0200561 * Also sets to_compile flags for all the modules that should be (re)compiled.
Michal Vaskof4258e12021-06-15 12:11:42 +0200562 *
563 * @param[in] ctx Context to use.
564 * @param[in,out] main_set Set of dependency module sets.
565 * @param[in] mod Optional only module whose dependency set is needed, otherwise all sets are created.
566 * @return LY_ERR value.
567 */
Michal Vasko50bc09a2021-06-17 17:31:56 +0200568LY_ERR lys_unres_dep_sets_create(struct ly_ctx *ctx, struct ly_set *main_set, struct lys_module *mod);
Michal Vaskof4258e12021-06-15 12:11:42 +0200569
570/**
571 * @brief Revert changes stored in global compile context after a failed compilation.
572 *
573 * @param[in] ctx libyang context.
574 * @param[in] unres Global unres to use.
575 */
576void lys_unres_glob_revert(struct ly_ctx *ctx, struct lys_glob_unres *unres);
577
578/**
579 * @brief Erase the global compile context.
580 *
581 * @param[in] unres Global unres to erase.
582 */
583void lys_unres_glob_erase(struct lys_glob_unres *unres);
584
Michal Vasko3a41dff2020-07-15 14:30:28 +0200585typedef LY_ERR (*lys_custom_check)(const struct ly_ctx *ctx, struct lysp_module *mod, struct lysp_submodule *submod,
Radek Krejci0f969882020-08-21 16:56:47 +0200586 void *check_data);
Michal Vaskob36053d2020-03-26 15:49:30 +0100587
Radek Krejci693262f2019-04-29 15:23:20 +0200588/**
Michal Vasko4e205e82021-06-08 14:01:47 +0200589 * @brief Parse a module and add it into the context.
Radek Krejcid33273d2018-10-25 14:55:52 +0200590 *
591 * @param[in] ctx libyang context where to process the data model.
Michal Vasko63f3d842020-07-08 10:10:14 +0200592 * @param[in] in Input structure.
Radek Krejcid33273d2018-10-25 14:55:52 +0200593 * @param[in] format Format of the input data (YANG or YIN).
Radek Krejci9ed7a192018-10-31 16:23:51 +0100594 * @param[in] custom_check Callback to check the parsed schema before it is accepted.
595 * @param[in] check_data Caller's data to pass to the custom_check callback.
Michal Vaskodd992582021-06-10 14:34:57 +0200596 * @param[in,out] new_mods Set of all the new mods added to the context. Includes this module and all of its imports.
Michal Vasko7a0b0762020-09-02 16:37:01 +0200597 * @param[out] module Created module.
Michal Vaskodd992582021-06-10 14:34:57 +0200598 * @return LY_SUCCESS on success.
599 * @return LY_ERR on error, @p new_mods may be modified.
Radek Krejcid33273d2018-10-25 14:55:52 +0200600 */
Michal Vasko4e205e82021-06-08 14:01:47 +0200601LY_ERR lys_parse_in(struct ly_ctx *ctx, struct ly_in *in, LYS_INFORMAT format, lys_custom_check custom_check,
Michal Vaskodd992582021-06-10 14:34:57 +0200602 void *check_data, struct ly_set *new_mods, struct lys_module **module);
Radek Krejcid33273d2018-10-25 14:55:52 +0200603
604/**
Michal Vasko7a0b0762020-09-02 16:37:01 +0200605 * @brief Parse submodule.
Radek Krejcid33273d2018-10-25 14:55:52 +0200606 *
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100607 * The latest_revision flag of submodule is updated.
608 *
609 * @param[in] ctx libyang context where to process the data model.
Michal Vasko63f3d842020-07-08 10:10:14 +0200610 * @param[in] in Input structure.
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100611 * @param[in] format Format of the input data (YANG or YIN).
612 * @param[in] main_ctx Parser context of the main module.
613 * @param[in] custom_check Callback to check the parsed schema before it is accepted.
614 * @param[in] check_data Caller's data to pass to the custom_check callback.
aPiecekc3e26142021-06-22 14:25:49 +0200615 * @param[in] new_mods Set of all the new mods added to the context. Includes this module and all of its imports.
Michal Vasko3a41dff2020-07-15 14:30:28 +0200616 * @param[out] submodule Parsed submodule.
617 * @return LY_ERR value.
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100618 */
Michal Vasko87f1cf02021-06-08 14:02:47 +0200619LY_ERR lys_parse_submodule(struct ly_ctx *ctx, struct ly_in *in, LYS_INFORMAT format, struct lys_parser_ctx *main_ctx,
aPiecekc3e26142021-06-22 14:25:49 +0200620 lys_custom_check custom_check, void *check_data, struct ly_set *new_mods, struct lysp_submodule **submodule);
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100621
622/**
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200623 * @brief Fill filepath value if available in input handler @p in
Radek Krejci0bcdaed2019-01-10 10:21:34 +0100624 *
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200625 * @param[in] ctx Context with dictionary where the filepath value will be stored.
626 * @param[in] in Input handler to examine (filepath is not available for all the input types).
627 * @param[out] filepath Address of the variable where the filepath is stored.
Radek Krejcid33273d2018-10-25 14:55:52 +0200628 */
Radek Krejcif0e1ba52020-05-22 15:14:35 +0200629void lys_parser_fill_filepath(struct ly_ctx *ctx, struct ly_in *in, const char **filepath);
Radek Krejcid33273d2018-10-25 14:55:52 +0200630
631/**
Radek Krejci693262f2019-04-29 15:23:20 +0200632 * @brief Get the @ref ifftokens from the given position in the 2bits array
633 * (libyang format of the if-feature expression).
634 * @param[in] list The 2bits array with the compiled if-feature expression.
635 * @param[in] pos Position (0-based) to specify from which position get the operator.
636 */
Radek Krejci1deb5be2020-08-26 16:43:36 +0200637uint8_t lysc_iff_getop(uint8_t *list, size_t pos);
Radek Krejci0af46292019-01-11 16:02:31 +0100638
639/**
Radek Krejcifc11bd72019-04-11 16:00:05 +0200640 * @brief Macro to free [sized array](@ref sizedarrays) of items using the provided free function. The ARRAY itself is also freed,
641 * but the memory is not sanitized.
642 */
Radek Krejci0a03a342021-01-19 13:39:28 +0100643#define FREE_ARRAY(CTX, ARRAY, FUNC) {LY_ARRAY_COUNT_TYPE c__; LY_ARRAY_FOR(ARRAY, c__){(FUNC)(CTX, &(ARRAY)[c__]);}LY_ARRAY_FREE(ARRAY);}
Radek Krejcifc11bd72019-04-11 16:00:05 +0200644
645/**
646 * @brief Macro to free the specified MEMBER of a structure using the provided free function. The memory is not sanitized.
647 */
Radek Krejci0a03a342021-01-19 13:39:28 +0100648#define FREE_MEMBER(CTX, MEMBER, FUNC) if (MEMBER) {(FUNC)(CTX, MEMBER);free(MEMBER);}
Radek Krejcifc11bd72019-04-11 16:00:05 +0200649
650/**
651 * @brief Macro to free [sized array](@ref sizedarrays) of strings stored in the context's dictionary. The ARRAY itself is also freed,
652 * but the memory is not sanitized.
653 */
Michal Vaskoe180ed02021-02-05 16:31:20 +0100654#define FREE_STRINGS(CTX, ARRAY) {LY_ARRAY_COUNT_TYPE c__; LY_ARRAY_FOR(ARRAY, c__){lydict_remove(CTX, ARRAY[c__]);}LY_ARRAY_FREE(ARRAY);}
Radek Krejcifc11bd72019-04-11 16:00:05 +0200655
656/**
Radek Krejci15f10ab2020-11-03 14:14:14 +0100657 * @brief Free the printable YANG schema tree structure. Works for both modules and submodules.
658 *
659 * @param[in] module Printable YANG schema tree structure to free.
660 */
661void lysp_module_free(struct lysp_module *module);
662
663/**
Radek Krejci38d85362019-09-05 16:26:38 +0200664 * @brief Free the parsed type structure.
665 * @param[in] ctx libyang context where the string data resides in a dictionary.
Michal Vasko8d544252020-03-02 10:19:52 +0100666 * @param[in] type Parsed schema type structure to free. Note that the type itself is not freed.
Radek Krejci38d85362019-09-05 16:26:38 +0200667 */
668void lysp_type_free(struct ly_ctx *ctx, struct lysp_type *type);
Radek Krejci335332a2019-09-05 13:03:35 +0200669
Radek Krejciad5963b2019-09-06 16:03:05 +0200670/**
Michal Vasko8d544252020-03-02 10:19:52 +0100671 * @brief Free the parsed extension instance structure.
672 * @param[in] ctx libyang context where the string data resides in a dictionary.
Radek Krejci84d7fd72021-07-14 18:32:21 +0200673 * @param[in] ext Parsed extension instance structure to free. Note that the instance itself is not freed.
Michal Vasko8d544252020-03-02 10:19:52 +0100674 */
675void lysp_ext_instance_free(struct ly_ctx *ctx, struct lysp_ext_instance *ext);
676
677/**
Radek Krejci84d7fd72021-07-14 18:32:21 +0200678 * @brief Parse generic statement structure into a specific parsed-schema structure.
679 *
680 * @param[in] ctx The compilation context of the @p stmt being processed
681 * @param[in] stmt Generic statement structure to process.
682 * @param[out] result Specific parsed-schema structure for the given statement. For the specific type for the particular statement, check the function code.
Radek Krejciad5963b2019-09-06 16:03:05 +0200683 * @param[in,out] exts [sized array](@ref sizedarrays) For extension instances in case of statements that do not store extension instances in their own list.
Radek Krejci84d7fd72021-07-14 18:32:21 +0200684 * @return LY_ERR value.
Radek Krejciad5963b2019-09-06 16:03:05 +0200685 */
Radek Krejci76c8c4e2021-02-17 10:16:48 +0100686LY_ERR lysp_stmt_parse(struct lysc_ctx *ctx, const struct lysp_stmt *stmt, void **result, struct lysp_ext_instance **exts);
Radek Krejci335332a2019-09-05 13:03:35 +0200687
Radek Krejcid33273d2018-10-25 14:55:52 +0200688/**
Michal Vasko20424b42020-08-31 12:29:38 +0200689 * @brief Free a parsed node.
690 *
691 * @param[in] ctx libyang context.
692 * @param[in] node Node to free.
693 */
694void lysp_node_free(struct ly_ctx *ctx, struct lysp_node *node);
695
696/**
Michal Vasko51de7b72022-04-29 09:50:22 +0200697 * @brief Free a compiled pattern.
698 *
699 * @param[in] ctx libyang context.
700 * @param[in] pattern Pointer to the pattern to free.
701 */
702void lysc_pattern_free(struct ly_ctx *ctx, struct lysc_pattern **pattern);
703
704/**
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100705 * @brief Free a bit/enum item.
706 *
707 * @param[in] ctx libyang context.
708 * @param[in] item Bit/enum item to free.
709 */
710void lysc_enum_item_free(struct ly_ctx *ctx, struct lysc_type_bitenum_item *item);
711
712/**
Radek Krejcicdfecd92018-11-26 11:27:32 +0100713 * @brief Free the compiled type structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100714 *
Radek Krejcicdfecd92018-11-26 11:27:32 +0100715 * @param[in] ctx libyang context where the string data resides in a dictionary.
716 * @param[in,out] type Compiled type structure to be freed. The structure has refcount, so it is freed only in case the value is decreased to 0.
717 */
718void lysc_type_free(struct ly_ctx *ctx, struct lysc_type *type);
719
720/**
Radek Krejci0af46292019-01-11 16:02:31 +0100721 * @brief Free the compiled if-feature structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100722 *
Radek Krejci0af46292019-01-11 16:02:31 +0100723 * @param[in] ctx libyang context where the string data resides in a dictionary.
724 * @param[in,out] iff Compiled if-feature structure to be cleaned.
725 * Since the structure is typically part of the sized array, the structure itself is not freed.
726 */
727void lysc_iffeature_free(struct ly_ctx *ctx, struct lysc_iffeature *iff);
728
729/**
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100730 * @brief Free the compiled identity structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100731 *
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100732 * @param[in] ctx libyang context where the string data resides in a dictionary.
733 * @param[in,out] ident Compiled identity structure to be cleaned.
734 * Since the structure is typically part of the sized array, the structure itself is not freed.
735 */
736void lysc_ident_free(struct ly_ctx *ctx, struct lysc_ident *ident);
737
738/**
Radek Krejciccd20f12019-02-15 14:12:27 +0100739 * @brief Free the compiled must structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100740 *
Radek Krejciccd20f12019-02-15 14:12:27 +0100741 * @param[in] ctx libyang context where the string data resides in a dictionary.
742 * @param[in,out] must Compiled must structure to be cleaned.
743 * Since the structure is typically part of the sized array, the structure itself is not freed.
744 */
745void lysc_must_free(struct ly_ctx *ctx, struct lysc_must *must);
746
747/**
Radek Krejcif538ce52019-03-05 10:46:14 +0100748 * @brief Free the data inside compiled input/output structure.
749 * @param[in] ctx libyang context where the string data resides in a dictionary.
750 * @param[in,out] inout Compiled inout structure to be cleaned.
751 * Since the structure is part of the RPC/action structure, it is not freed itself.
752 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100753void lysc_node_action_inout_free(struct ly_ctx *ctx, struct lysc_node_action_inout *inout);
Radek Krejcif538ce52019-03-05 10:46:14 +0100754
755/**
756 * @brief Free the data inside compiled RPC/action structure.
757 * @param[in] ctx libyang context where the string data resides in a dictionary.
758 * @param[in,out] action Compiled action structure to be cleaned.
759 * Since the structure is typically part of the sized array, the structure itself is not freed.
760 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100761void lysc_node_action_free(struct ly_ctx *ctx, struct lysc_node_action *action);
Radek Krejcif538ce52019-03-05 10:46:14 +0100762
763/**
Radek Krejcifc11bd72019-04-11 16:00:05 +0200764 * @brief Free the items inside the compiled Notification structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100765 *
Radek Krejcifc11bd72019-04-11 16:00:05 +0200766 * @param[in] ctx libyang context where the string data resides in a dictionary.
Radek Krejci720d2612021-03-03 19:44:22 +0100767 * @param[in,out] notif Compiled Notification structure to be cleaned.
Radek Krejcifc11bd72019-04-11 16:00:05 +0200768 * Since the structure is typically part of the sized array, the structure itself is not freed.
769 */
Radek Krejci2a9fc652021-01-22 17:44:34 +0100770void lysc_node_notif_free(struct ly_ctx *ctx, struct lysc_node_notif *notif);
Radek Krejcifc11bd72019-04-11 16:00:05 +0200771
772/**
Radek Krejci720d2612021-03-03 19:44:22 +0100773 * @brief Free the compiled extension definition and NULL the provided pointer.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100774 *
Radek Krejci720d2612021-03-03 19:44:22 +0100775 * @param[in] ctx libyang context where the string data resides in a dictionary.
aPiecekb0445f22021-06-24 11:34:07 +0200776 * @param[in,out] ext Compiled extension definition to be freed.
Radek Krejci720d2612021-03-03 19:44:22 +0100777 */
778void lysc_extension_free(struct ly_ctx *ctx, struct lysc_ext **ext);
779
780/**
Radek Krejci0af46292019-01-11 16:02:31 +0100781 * @brief Free the compiled extension instance structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100782 *
Radek Krejci0af46292019-01-11 16:02:31 +0100783 * @param[in] ctx libyang context where the string data resides in a dictionary.
784 * @param[in,out] ext Compiled extension instance structure to be cleaned.
785 * Since the structure is typically part of the sized array, the structure itself is not freed.
786 */
787void lysc_ext_instance_free(struct ly_ctx *ctx, struct lysc_ext_instance *ext);
788
789/**
Radek Krejci19a96102018-11-15 13:38:09 +0100790 * @brief Free the compiled node structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100791 *
Radek Krejci19a96102018-11-15 13:38:09 +0100792 * @param[in] ctx libyang context where the string data resides in a dictionary.
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100793 * @param[in] node Compiled node structure to be freed.
794 * @param[in] unlink Whether to first unlink the node before freeing.
Radek Krejci19a96102018-11-15 13:38:09 +0100795 */
Michal Vasko7b1ad1a2020-11-02 15:41:27 +0100796void lysc_node_free(struct ly_ctx *ctx, struct lysc_node *node, ly_bool unlink);
Radek Krejci19a96102018-11-15 13:38:09 +0100797
798/**
Radek Krejcif2de0ed2019-05-02 14:13:18 +0200799 * @brief Free the compiled container node structure.
800 *
801 * Only the container-specific members are freed, for generic node free function,
Radek Krejci8678fa42020-08-18 16:07:28 +0200802 * use ::lysc_node_free().
Radek Krejcif2de0ed2019-05-02 14:13:18 +0200803 *
804 * @param[in] ctx libyang context where the string data resides in a dictionary.
805 * @param[in,out] node Compiled container node structure to be freed.
806 */
807void lysc_node_container_free(struct ly_ctx *ctx, struct lysc_node_container *node);
808
809/**
Radek Krejci19a96102018-11-15 13:38:09 +0100810 * @brief Free the compiled schema structure.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100811 *
Radek Krejci19a96102018-11-15 13:38:09 +0100812 * @param[in,out] module Compiled schema module structure to free.
Radek Krejci19a96102018-11-15 13:38:09 +0100813 */
Radek Krejci90ed21e2021-04-12 14:47:46 +0200814void lysc_module_free(struct lysc_module *module);
Radek Krejci19a96102018-11-15 13:38:09 +0100815
816/**
Radek Krejci86d106e2018-10-18 09:53:19 +0200817 * @brief Free the schema structure. It just frees, it does not remove the schema from its context.
Michal Vaskof4fa90d2021-11-11 15:05:19 +0100818 *
Radek Krejci86d106e2018-10-18 09:53:19 +0200819 * @param[in,out] module Schema module structure to free.
Michal Vasko4f9da5e2022-03-14 13:11:26 +0100820 * @param[in] remove_links Whether to remove links in other modules to structures in this module. Not needed if
821 * the whole context is being freed.
Radek Krejci86d106e2018-10-18 09:53:19 +0200822 */
Michal Vasko4f9da5e2022-03-14 13:11:26 +0100823void lys_module_free(struct lys_module *module, ly_bool remove_links);
Radek Krejci86d106e2018-10-18 09:53:19 +0200824
825/**
David Sedlák18e494b2018-12-17 03:58:39 +0100826 * @brief match yang keyword
David Sedlák1bccdfa2019-06-17 15:55:27 +0200827 *
Michal Vasko63f3d842020-07-08 10:10:14 +0200828 * @param[in,out] in Input structure, is updated.
Radek Krejcid54412f2020-12-17 20:25:35 +0100829 * @param[in,out] indent Pointer to the counter of current position on the line for YANG indentation (optional).
Michal Vasko14654712020-02-06 08:35:21 +0100830 * @return yang_keyword values.
David Sedlák18e494b2018-12-17 03:58:39 +0100831 */
Radek Krejcid54412f2020-12-17 20:25:35 +0100832enum ly_stmt lysp_match_kw(struct ly_in *in, uint64_t *indent);
David Sedlák1bccdfa2019-06-17 15:55:27 +0200833
Michal Vasko14654712020-02-06 08:35:21 +0100834/**
835 * @brief Generate path of the given node in the requested format.
836 *
837 * @param[in] node Schema path of this node will be generated.
838 * @param[in] parent Build relative path only until this parent is found. If NULL, the full absolute path is printed.
839 * @param[in] pathtype Format of the path to generate.
840 * @param[in,out] buffer Prepared buffer of the @p buflen length to store the generated path.
841 * If NULL, memory for the complete path is allocated.
842 * @param[in] buflen Size of the provided @p buffer.
843 * @return NULL in case of memory allocation error, path of the node otherwise.
844 * In case the @p buffer is NULL, the returned string is dynamically allocated and caller is responsible to free it.
845 */
846char *lysc_path_until(const struct lysc_node *node, const struct lysc_node *parent, LYSC_PATH_TYPE pathtype, char *buffer,
Radek Krejci0f969882020-08-21 16:56:47 +0200847 size_t buflen);
Michal Vasko14654712020-02-06 08:35:21 +0100848
Michal Vasko62ed12d2020-05-21 10:08:25 +0200849/**
Radek Krejci239c38a2020-10-19 10:58:25 +0200850 * @brief Get format-specific prefix for a module.
851 *
Radek Krejci84d7fd72021-07-14 18:32:21 +0200852 * This function is available for type plugins via ::lyplg_type_get_prefix() API function.
Radek Krejci239c38a2020-10-19 10:58:25 +0200853 *
854 * @param[in] mod Module whose prefix to get.
855 * @param[in] format Format of the prefix.
Radek Krejci8df109d2021-04-23 12:19:08 +0200856 * @param[in] prefix_data Format-specific data based on @p format:
Radek Krejci224d4b42021-04-23 13:54:59 +0200857 * LY_VALUE_CANON - NULL
Radek Krejci84d7fd72021-07-14 18:32:21 +0200858 * LY_VALUE_SCHEMA - const struct ::lysp_module* (module used for resolving imports to prefixes)
859 * LY_VALUE_SCHEMA_RESOLVED - struct ::lysc_prefix* (sized array of pairs: prefix - module)
860 * LY_VALUE_XML - struct ::ly_set* (set of all returned modules as struct ::lys_module)
Radek Krejci8df109d2021-04-23 12:19:08 +0200861 * LY_VALUE_JSON - NULL
Radek Krejcif9943642021-04-26 10:18:21 +0200862 * LY_VALUE_LYB - NULL
Radek Krejci239c38a2020-10-19 10:58:25 +0200863 * @return Module prefix to print.
864 * @return NULL on error.
865 */
Radek Krejci8df109d2021-04-23 12:19:08 +0200866const char *ly_get_prefix(const struct lys_module *mod, LY_VALUE_FORMAT format, void *prefix_data);
Radek Krejci239c38a2020-10-19 10:58:25 +0200867
868/**
869 * @brief Resolve format-specific prefixes to modules.
870 *
Radek Krejci239c38a2020-10-19 10:58:25 +0200871 * @param[in] ctx libyang context.
872 * @param[in] prefix Prefix to resolve.
873 * @param[in] prefix_len Length of @p prefix.
874 * @param[in] format Format of the prefix.
Radek Krejcif9943642021-04-26 10:18:21 +0200875 * @param[in] prefix_data Format-specific data based on @p format:
876 * LY_VALUE_CANON - NULL
877 * LY_VALUE_SCHEMA - const struct lysp_module * (module used for resolving prefixes from imports)
878 * LY_VALUE_SCHEMA_RESOLVED - struct lyd_value_prefix * (sized array of pairs: prefix - module)
879 * LY_VALUE_XML - const struct ly_set * (set with defined namespaces stored as ::lyxml_ns)
880 * LY_VALUE_JSON - NULL
881 * LY_VALUE_LYB - NULL
Radek Krejci239c38a2020-10-19 10:58:25 +0200882 * @return Resolved prefix module,
883 * @return NULL otherwise.
884 */
Radek Krejcif9943642021-04-26 10:18:21 +0200885const struct lys_module *ly_resolve_prefix(const struct ly_ctx *ctx, const void *prefix, size_t prefix_len,
Radek Krejci8df109d2021-04-23 12:19:08 +0200886 LY_VALUE_FORMAT format, const void *prefix_data);
Radek Krejci239c38a2020-10-19 10:58:25 +0200887
Michal Vaskof4258e12021-06-15 12:11:42 +0200888/**
889 * @brief Learn whether @p PMOD needs to be recompiled if it is implemented.
890 *
891 * @param[in] PMOD Parsed module or submodule.
892 * @return Whether it has statements that are recompiled or not.
893 */
894#define LYSP_HAS_RECOMPILED(PMOD) \
895 (PMOD->data || PMOD->rpcs || PMOD->notifs || PMOD->exts)
896
897/**
898 * @brief Learn whether the module has statements that need to be recompiled or not.
899 *
900 * @param[in] mod Module to examine.
901 * @return Whether it has statements that are recompiled or not.
902 */
903ly_bool lys_has_recompiled(const struct lys_module *mod);
904
905/**
906 * @brief Learn whether @p PMOD needs to be compiled if it is implemented.
907 *
908 * @param[in] PMOD Parsed module or submodule.
909 * @return Whether it needs (has) a compiled module or not.
910 */
911#define LYSP_HAS_COMPILED(PMOD) \
aPiecek6b3d5422021-07-30 15:55:43 +0200912 (LYSP_HAS_RECOMPILED(PMOD) || PMOD->augments || PMOD->deviations)
Michal Vaskof4258e12021-06-15 12:11:42 +0200913
914/**
915 * @brief Learn whether the module has statements that need to be compiled or not.
916 *
917 * @param[in] mod Module to examine.
918 * @return Whether it needs compiled module or not.
919 */
920ly_bool lys_has_compiled(const struct lys_module *mod);
921
Michal Vasko7ee5be22021-06-16 17:03:34 +0200922/**
923 * @brief Learn whether the module has any grouping statements or not.
924 *
925 * @param[in] mod Module to examine.
926 * @return Whether it has groupings or not.
927 */
Michal Vasko87cfdba2022-02-22 14:13:45 +0100928ly_bool lys_has_dep_mods(const struct lys_module *mod);
Michal Vasko7ee5be22021-06-16 17:03:34 +0200929
Michal Vasko0bccbf12021-11-22 09:59:57 +0100930/**
931 * @brief Learn whether the module qualifies for a single dep set with only this module or not.
932 *
933 * @param[in] mod Module to examine.
934 * @return Whether it qualifies as a single dep set or not.
935 */
936#define LYS_IS_SINGLE_DEP_SET(mod) \
937 (!(mod)->parsed->features && (!lys_has_compiled(mod) || ((mod)->compiled && !lys_has_recompiled(mod))))
938
Radek Krejci70853c52018-10-15 14:46:16 +0200939#endif /* LY_TREE_SCHEMA_INTERNAL_H_ */