blob: afd4d0b8ab63681241afbb37103927f9203324c5 [file] [log] [blame]
Radek Krejci5aeea3a2018-09-05 13:29:36 +02001/**
2 * @file common.h
3 * @author Radek Krejci <rkrejci@cesnet.cz>
4 * @brief common internal definitions for libyang
5 *
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 */
14
15#ifndef LY_COMMON_H_
16#define LY_COMMON_H_
17
Radek Krejcib7db73a2018-10-24 14:18:40 +020018#define _DEFAULT_SOURCE
19#define _GNU_SOURCE
20#define _XOPEN_SOURCE
21
Radek Krejci151a5b72018-10-19 14:21:44 +020022#include <assert.h>
Radek Krejci6caa6ab2018-10-24 10:04:48 +020023#include <pthread.h>
Radek Krejci5aeea3a2018-09-05 13:29:36 +020024#include <stdint.h>
25#include <stdlib.h>
26
Radek Krejci2c22f122018-09-05 15:08:03 +020027#include "config.h"
Radek Krejciad573502018-09-07 15:26:55 +020028#include "log.h"
Radek Krejcic59bc972018-09-17 16:13:06 +020029#include "tree_schema.h"
Radek Krejci6caa6ab2018-10-24 10:04:48 +020030#include "set.h"
31#include "hash_table.h"
Radek Krejci5aeea3a2018-09-05 13:29:36 +020032
33#if __STDC_VERSION__ >= 201112 && !defined __STDC_NO_THREADS__
34# define THREAD_LOCAL _Thread_local
35#elif defined __GNUC__ || \
36 defined __SUNPRO_C || \
37 defined __xlC__
38# define THREAD_LOCAL __thread
39#else
40# error "Cannot define THREAD_LOCAL"
41#endif
42
Radek Krejcic59bc972018-09-17 16:13:06 +020043#define GETMACRO1(_1, NAME, ...) NAME
Radek Krejci5aeea3a2018-09-05 13:29:36 +020044#define GETMACRO2(_1, _2, NAME, ...) NAME
45#define GETMACRO3(_1, _2, _3, NAME, ...) NAME
46#define GETMACRO4(_1, _2, _3, _4, NAME, ...) NAME
47
48/*
Radek Krejcic59bc972018-09-17 16:13:06 +020049 * If the compiler supports attribute to mark objects as hidden, mark all
50 * objects as hidden and export only objects explicitly marked to be part of
51 * the public API.
Radek Krejci5aeea3a2018-09-05 13:29:36 +020052 */
Radek Krejcic59bc972018-09-17 16:13:06 +020053#define API __attribute__((visibility("default")))
54
55/******************************************************************************
56 * Logger
57 *****************************************************************************/
Radek Krejci5aeea3a2018-09-05 13:29:36 +020058
59/* internal logging options */
60enum int_log_opts {
61 ILO_LOG = 0, /* log normally */
62 ILO_STORE, /* only store any messages, they will be processed higher on stack */
63 ILO_IGNORE, /* completely ignore messages */
64 ILO_ERR2WRN, /* change errors to warnings */
65};
66
Radek Krejci94aa9942018-09-07 17:12:17 +020067enum LY_VLOG_ELEM {
68 LY_VLOG_NONE = 0,
69 LY_VLOG_LINE,/* line number */
70 LY_VLOG_LYS, /* struct lysc_node* */
71 LY_VLOG_LYD, /* struct lyd_node* */
72 LY_VLOG_STR, /* const char* */
73 LY_VLOG_PREV /* use exact same previous path */
74};
75
Radek Krejci5aeea3a2018-09-05 13:29:36 +020076extern THREAD_LOCAL enum int_log_opts log_opt;
77extern volatile uint8_t ly_log_level;
78extern volatile uint8_t ly_log_opts;
79
Radek Krejciad573502018-09-07 15:26:55 +020080void ly_err_free(void *ptr);
Radek Krejci5aeea3a2018-09-05 13:29:36 +020081void ly_log(const struct ly_ctx *ctx, LY_LOG_LEVEL level, LY_ERR no, const char *format, ...);
Radek Krejci94aa9942018-09-07 17:12:17 +020082void ly_vlog(const struct ly_ctx *ctx, enum LY_VLOG_ELEM elem_type, const void *elem, LY_VECODE code, const char *format, ...);
Radek Krejci5aeea3a2018-09-05 13:29:36 +020083
84#define LOGERR(ctx, errno, str, args...) ly_log(ctx, LY_LLERR, errno, str, ##args)
85#define LOGWRN(ctx, str, args...) ly_log(ctx, LY_LLWRN, 0, str, ##args)
86#define LOGVRB(str, args...) ly_log(NULL, LY_LLVRB, 0, str, ##args)
87
Radek Krejci4ab61562018-09-05 15:00:37 +020088#ifdef NDEBUG
89# define LOGDBG(dbg_group, str, args...)
90#else
91 void ly_log_dbg(int group, const char *format, ...);
92# define LOGDBG(dbg_group, str, args...) ly_log_dbg(dbg_group, str, ##args);
93#endif
94
Radek Krejci5aeea3a2018-09-05 13:29:36 +020095#define LOGMEM(CTX) LOGERR(CTX, LY_EMEM, "Memory allocation failed (%s()).", __func__)
96#define LOGINT(CTX) LOGERR(CTX, LY_EINT, "Internal error (%s:%d).", __FILE__, __LINE__)
97#define LOGARG(CTX, ARG) LOGERR(CTX, LY_EINVAL, "Invalid argument %s (%s()).", #ARG, __func__)
Radek Krejcic07921a2018-09-17 11:40:15 +020098#define LOGVAL(CTX, ELEM_TYPE, ELEM, CODE, FORMAT...) ly_vlog(CTX, ELEM_TYPE, ELEM, CODE, ##FORMAT)
Radek Krejci94aa9942018-09-07 17:12:17 +020099
100#define LOGMEM_RET(CTX) LOGMEM(CTX); return LY_EMEM
101#define LOGINT_RET(CTX) LOGINT(CTX); return LY_EINT
102#define LOGARG_RET(CTX) LOGARG(CTX); return LY_EINVAL
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200103
104/*
105 * Common code to check return value and perform appropriate action.
106 */
107#define LY_CHECK_GOTO(COND, GOTO) if (COND) {goto GOTO;}
108#define LY_CHECK_ERR_GOTO(COND, ERR, GOTO) if (COND) {ERR; goto GOTO;}
Radek Krejcic59bc972018-09-17 16:13:06 +0200109#define LY_CHECK_RET1(RETVAL) if (RETVAL != LY_SUCCESS) {return RETVAL;}
110#define LY_CHECK_RET2(COND, RETVAL) if (COND) {return RETVAL;}
111#define LY_CHECK_RET(...) GETMACRO2(__VA_ARGS__, LY_CHECK_RET2, LY_CHECK_RET1)(__VA_ARGS__)
Michal Vaskob3d0d6b2018-09-07 10:17:33 +0200112#define LY_CHECK_ERR_RET(COND, ERR, RETVAL) if (COND) {ERR; return RETVAL;}
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200113
Michal Vaskob3d0d6b2018-09-07 10:17:33 +0200114#define LY_CHECK_ARG_GOTO1(CTX, ARG, GOTO) if (!ARG) {LOGARG(CTX, ARG);goto GOTO;}
115#define LY_CHECK_ARG_GOTO2(CTX, ARG1, ARG2, GOTO) LY_CHECK_ARG_GOTO1(CTX, ARG1, GOTO);LY_CHECK_ARG_GOTO1(CTX, ARG2, GOTO)
116#define LY_CHECK_ARG_GOTO3(CTX, ARG1, ARG2, ARG3, GOTO) LY_CHECK_ARG_GOTO2(CTX, ARG1, ARG2, GOTO);LY_CHECK_ARG_GOTO1(CTX, ARG3, GOTO)
117#define LY_CHECK_ARG_GOTO(CTX, ...) GETMACRO4(__VA_ARGS__, LY_CHECK_ARG_GOTO3, LY_CHECK_ARG_GOTO2, LY_CHECK_ARG_GOTO1)(CTX, __VA_ARGS__)
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200118
Michal Vaskob3d0d6b2018-09-07 10:17:33 +0200119#define LY_CHECK_ARG_RET1(CTX, ARG, RETVAL) if (!ARG) {LOGARG(CTX, ARG);return RETVAL;}
120#define LY_CHECK_ARG_RET2(CTX, ARG1, ARG2, RETVAL) LY_CHECK_ARG_RET1(CTX, ARG1, RETVAL);LY_CHECK_ARG_RET1(CTX, ARG2, RETVAL)
121#define LY_CHECK_ARG_RET3(CTX, ARG1, ARG2, ARG3, RETVAL) LY_CHECK_ARG_RET2(CTX, ARG1, ARG2, RETVAL);LY_CHECK_ARG_RET1(CTX, ARG3, RETVAL)
122#define LY_CHECK_ARG_RET(CTX, ...) GETMACRO4(__VA_ARGS__, LY_CHECK_ARG_RET3, LY_CHECK_ARG_RET2, LY_CHECK_ARG_RET1)(CTX, __VA_ARGS__)
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200123
Radek Krejcid972c252018-09-25 13:23:39 +0200124/* count sequence size for LY_VCODE_INCHILDSTMT validation error code */
125size_t LY_VCODE_INSTREXP_len(const char *str);
126/* default maximum characters to print in LY_VCODE_INCHILDSTMT */
127#define LY_VCODE_INSTREXP_MAXLEN 20
128
Michal Vasko58257712018-09-12 11:11:38 +0200129#define LY_VCODE_INCHAR LYVE_SYNTAX, "Invalid character 0x%x."
Michal Vasko37d705c2018-09-12 15:31:26 +0200130#define LY_VCODE_INSTREXP LYVE_SYNTAX, "Invalid character sequence \"%.*s\", expected %s."
Michal Vasko58257712018-09-12 11:11:38 +0200131#define LY_VCODE_EOF LYVE_SYNTAX, "Unexpected end-of-file."
Radek Krejcid91dbaf2018-09-21 15:51:39 +0200132#define LY_VCODE_NTERM LYVE_SYNTAX, "%s not terminated."
133#define LY_VCODE_NSUPP LYVE_SYNTAX, "%s not supported."
Radek Krejci94aa9942018-09-07 17:12:17 +0200134#define LY_VCODE_INSTMT LYVE_SYNTAX_YANG, "Invalid keyword \"%s\"."
Michal Vasko58257712018-09-12 11:11:38 +0200135#define LY_VCODE_INCHILDSTMT LYVE_SYNTAX_YANG, "Invalid keyword \"%s\" as a child of \"%s\"."
136#define LY_VCODE_DUPSTMT LYVE_SYNTAX_YANG, "Duplicate keyword \"%s\"."
Michal Vasko37d705c2018-09-12 15:31:26 +0200137#define LY_VCODE_INVAL LYVE_SYNTAX_YANG, "Invalid value \"%.*s\" of \"%s\"."
Michal Vasko58257712018-09-12 11:11:38 +0200138#define LY_VCODE_MISSTMT LYVE_SYNTAX_YANG, "Missing mandatory keyword \"%s\" as a child of \"%s\"."
139#define LY_VCODE_INORD LYVE_SYNTAX_YANG, "Invalid keyword \"%s\", it cannot appear after \"%s\"."
Michal Vasko37d705c2018-09-12 15:31:26 +0200140#define LY_VCODE_OOB LYVE_SYNTAX_YANG, "Value \"%.*s\" is out of \"%s\" bounds."
Michal Vasko58257712018-09-12 11:11:38 +0200141#define LY_VCODE_INDEV LYVE_SYNTAX_YANG, "Deviate \"%s\" does not support keyword \"%s\"."
Radek Krejci94aa9942018-09-07 17:12:17 +0200142
Radek Krejcic59bc972018-09-17 16:13:06 +0200143/******************************************************************************
Radek Krejci6caa6ab2018-10-24 10:04:48 +0200144 * Context
145 *****************************************************************************/
146
147/**
148 * @brief Context of the YANG schemas
149 */
150struct ly_ctx {
151 struct dict_table dict; /**< dictionary to effectively store strings used in the context related structures */
152 struct ly_set search_paths; /**< set of directories where to search for schema's imports/includes */
153 struct ly_set list; /**< set of YANG schemas */
154 uint16_t module_set_id; /**< ID of the current set of schemas */
155 uint16_t flags; /**< context settings, see @ref contextoptions. */
156 pthread_key_t errlist_key; /**< key for the thread-specific list of errors related to the context */
157};
158
159/******************************************************************************
Radek Krejcic59bc972018-09-17 16:13:06 +0200160 * Parsers
161 *****************************************************************************/
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200162
Radek Krejcic59bc972018-09-17 16:13:06 +0200163enum yang_keyword {
164 YANG_NONE = 0,
165 YANG_ACTION,
166 YANG_ANYDATA,
167 YANG_ANYXML,
168 YANG_ARGUMENT,
169 YANG_AUGMENT,
170 YANG_BASE,
171 YANG_BELONGS_TO,
172 YANG_BIT,
173 YANG_CASE,
174 YANG_CHOICE,
175 YANG_CONFIG,
176 YANG_CONTACT,
177 YANG_CONTAINER,
178 YANG_DEFAULT,
179 YANG_DESCRIPTION,
180 YANG_DEVIATE,
181 YANG_DEVIATION,
182 YANG_ENUM,
183 YANG_ERROR_APP_TAG,
184 YANG_ERROR_MESSAGE,
185 YANG_EXTENSION,
186 YANG_FEATURE,
187 YANG_FRACTION_DIGITS,
188 YANG_GROUPING,
189 YANG_IDENTITY,
190 YANG_IF_FEATURE,
191 YANG_IMPORT,
192 YANG_INCLUDE,
193 YANG_INPUT,
194 YANG_KEY,
195 YANG_LEAF,
196 YANG_LEAF_LIST,
197 YANG_LENGTH,
198 YANG_LIST,
199 YANG_MANDATORY,
200 YANG_MAX_ELEMENTS,
201 YANG_MIN_ELEMENTS,
202 YANG_MODIFIER,
203 YANG_MODULE,
204 YANG_MUST,
205 YANG_NAMESPACE,
206 YANG_NOTIFICATION,
207 YANG_ORDERED_BY,
208 YANG_ORGANIZATION,
209 YANG_OUTPUT,
210 YANG_PATH,
211 YANG_PATTERN,
212 YANG_POSITION,
213 YANG_PREFIX,
214 YANG_PRESENCE,
215 YANG_RANGE,
216 YANG_REFERENCE,
217 YANG_REFINE,
218 YANG_REQUIRE_INSTANCE,
219 YANG_REVISION,
220 YANG_REVISION_DATE,
221 YANG_RPC,
222 YANG_STATUS,
223 YANG_SUBMODULE,
224 YANG_TYPE,
225 YANG_TYPEDEF,
226 YANG_UNIQUE,
227 YANG_UNITS,
228 YANG_USES,
229 YANG_VALUE,
230 YANG_WHEN,
231 YANG_YANG_VERSION,
232 YANG_YIN_ELEMENT,
233
234 YANG_SEMICOLON,
235 YANG_LEFT_BRACE,
236 YANG_RIGHT_BRACE,
237 YANG_CUSTOM
238};
239
240/* list of the YANG statements strings */
241extern const char *const ly_stmt_list[];
242#define ly_stmt2str(STMT) ly_stmt_list[STMT]
243
244/* list of the extensions' substatements strings */
245extern const char *const lyext_substmt_list[];
246#define lyext_substmt2str(STMT) lyext_substmt_list[STMT]
247
248/* list of the deviate modifications strings */
249extern const char *const ly_devmod_list[];
250#define ly_devmod2str(TYPE) ly_devmod_list[TYPE]
251
252/******************************************************************************
Michal Vasko1324b6c2018-09-07 11:16:23 +0200253 * Generic useful functions.
Radek Krejcic59bc972018-09-17 16:13:06 +0200254 *****************************************************************************/
Michal Vasko1324b6c2018-09-07 11:16:23 +0200255
256/**
257 * @brief Wrapper for realloc() call. The only difference is that if it fails to
258 * allocate the requested memory, the original memory is freed as well.
259 *
260 * @param[in] ptr Memory to reallocate.
261 * @param[in] size New size of the memory block.
262 *
263 * @return Pointer to the new memory, NULL on error.
264 */
265void *ly_realloc(void *ptr, size_t size);
266
Radek Krejcif345c012018-09-19 11:12:59 +0200267/**
Radek Krejcib416be62018-10-01 14:51:45 +0200268 * @brief Get UTF8 code point of the next character in the input string.
269 *
270 * @param[in,out] input Input string to process, updated according to the processed/read data.
271 * @param[out] utf8_char UTF8 code point of the next character.
272 * @param[out] bytes_read Number of bytes used to encode the read utf8_char.
273 * @return LY_ERR value
274 */
275LY_ERR ly_getutf8(const char **input, unsigned int *utf8_char, size_t *bytes_read);
276
277/**
Radek Krejci86d106e2018-10-18 09:53:19 +0200278 * @brief mmap(2) wrapper to map input files into memory to unify parsing.
Radek Krejcif345c012018-09-19 11:12:59 +0200279 *
Radek Krejci86d106e2018-10-18 09:53:19 +0200280 * The address space is allocate only for reading.
281 *
282 * @param[in] ctx libyang context for logging
283 * @param[in] fd Open file descriptor of a file to map.
284 * @param[out] length Allocated size.
285 * @param[out] addr Address where the file is mapped.
Radek Krejcif345c012018-09-19 11:12:59 +0200286 * @return LY_ERR value.
287 */
Radek Krejci86d106e2018-10-18 09:53:19 +0200288LY_ERR ly_mmap(struct ly_ctx *ctx, int fd, size_t *length, void **addr);
Michal Vasko841d1a92018-09-07 15:40:31 +0200289
Radek Krejci86d106e2018-10-18 09:53:19 +0200290/**
291 * @brief munmap(2) wrapper to free the memory mapped by ly_mmap()
Michal Vasko1324b6c2018-09-07 11:16:23 +0200292 *
Radek Krejci86d106e2018-10-18 09:53:19 +0200293 * @param[in] addr Address where the input file is mapped.
294 * @param[in] length Allocated size of the address space.
295 * @return LY_ERR value.
296 */
297LY_ERR ly_munmap(void *addr, size_t length);
298
299/**
300 * @brief (Re-)Allocation of a ([sized array](@ref sizedarrays)).
Radek Krejcie53a8dc2018-10-17 12:52:40 +0200301 *
Radek Krejci2c4e7172018-10-19 15:56:26 +0200302 * Increases the size information.
303 *
Radek Krejci86d106e2018-10-18 09:53:19 +0200304 * @param[in] CTX libyang context for logging.
Radek Krejci2c4e7172018-10-19 15:56:26 +0200305 * @param[in,out] ARRAY Pointer to the array to allocate/resize. The size of the allocated
306 * space is counted from the type of the ARRAY, so do not provide placeholder void pointers.
Radek Krejci86d106e2018-10-18 09:53:19 +0200307 * @param[out] NEW_ITEM Returning pointer to the newly allocated record in the ARRAY.
308 * @param[in] RETVAL Return value for the case of error (memory allocation failure).
Michal Vasko1324b6c2018-09-07 11:16:23 +0200309 */
Radek Krejci2c4e7172018-10-19 15:56:26 +0200310#define LY_ARRAY_NEW_RET(CTX, ARRAY, NEW_ITEM, RETVAL) \
Radek Krejcie53a8dc2018-10-17 12:52:40 +0200311 if (!(ARRAY)) { \
312 ARRAY = malloc(sizeof(uint32_t) + sizeof *(ARRAY)); \
313 *((uint32_t*)(ARRAY)) = 1; \
314 } else { \
Radek Krejci2c4e7172018-10-19 15:56:26 +0200315 ++(*((uint32_t*)(ARRAY) - 1)); \
316 ARRAY = ly_realloc(((uint32_t*)(ARRAY) - 1), sizeof(uint32_t) + (*((uint32_t*)(ARRAY) - 1) * sizeof *(ARRAY))); \
Radek Krejcie53a8dc2018-10-17 12:52:40 +0200317 LY_CHECK_ERR_RET(!(ARRAY), LOGMEM(CTX), RETVAL); \
318 } \
Radek Krejci2c4e7172018-10-19 15:56:26 +0200319 ARRAY = (void*)((uint32_t*)(ARRAY) + 1); \
320 (NEW_ITEM) = &(ARRAY)[*((uint32_t*)(ARRAY) - 1) - 1]; \
321 memset(NEW_ITEM, 0, sizeof *(NEW_ITEM))
Michal Vasko1324b6c2018-09-07 11:16:23 +0200322
Radek Krejci2c4e7172018-10-19 15:56:26 +0200323/**
324 * @brief Allocate a ([sized array](@ref sizedarrays)) for the specified number of items.
325 *
326 * Does not set the size information, it is supposed to be incremented via ::LY_ARRAY_INCREMENT
327 * when the items are filled.
328 *
329 * @param[in] CTX libyang context for logging.
330 * @param[in,out] ARRAY Pointer to the array to create.
331 * @param[in] SIZE Number of items the array is supposed to hold. The size of the allocated
332 * space is then counted from the type of the ARRAY, so do not provide placeholder void pointers.
333 * @param[in] RETVAL Return value for the case of error (memory allocation failure).
334 */
335#define LY_ARRAY_CREATE_RET(CTX, ARRAY, SIZE, RETVAL) \
336 ARRAY = calloc(1, sizeof(uint32_t) + SIZE * sizeof *(ARRAY)); \
337 LY_CHECK_ERR_RET(!(ARRAY), LOGMEM(CTX), RETVAL); \
338 ARRAY = (void*)((uint32_t*)(ARRAY) + 1)
339
340#define LY_ARRAY_INCREMENT(ARRAY) \
341 ++(*((uint32_t*)(ARRAY) - 1))
342/**
343 * @brief Free the space allocated for the ([sized array](@ref sizedarrays)).
344 *
345 * The items inside the array are not freed.
346 *
347 * @param[in] ARRAY A ([sized array](@ref sizedarrays)) to be freed.
348 */
349#define LY_ARRAY_FREE(ARRAY) \
350 if (ARRAY){free((uint32_t*)(ARRAY) - 1);}
Radek Krejci5aeea3a2018-09-05 13:29:36 +0200351#endif /* LY_COMMON_H_ */