| /** |
| * @file parser_yang.c |
| * @author Michal Vasko <mvasko@cesnet.cz> |
| * @brief YANG parser |
| * |
| * Copyright (c) 2018 CESNET, z.s.p.o. |
| * |
| * This source code is licensed under BSD 3-Clause License (the "License"). |
| * You may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * https://opensource.org/licenses/BSD-3-Clause |
| */ |
| #include "parser_internal.h" |
| |
| #include <assert.h> |
| #include <ctype.h> |
| #include <errno.h> |
| #include <stdint.h> |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <string.h> |
| |
| #include "common.h" |
| #include "context.h" |
| #include "dict.h" |
| #include "in_internal.h" |
| #include "log.h" |
| #include "parser_schema.h" |
| #include "path.h" |
| #include "set.h" |
| #include "tree.h" |
| #include "tree_edit.h" |
| #include "tree_schema.h" |
| #include "tree_schema_internal.h" |
| |
| struct lys_glob_unres; |
| |
| /** |
| * @brief Insert WORD into the libyang context's dictionary and store as TARGET. |
| * @param[in] CTX yang parser context to access libyang context. |
| * @param[in] BUF buffer in case the word is not a constant and can be inserted directly (zero-copy) |
| * @param[out] TARGET variable where to store the pointer to the inserted value. |
| * @param[in] WORD string to store. |
| * @param[in] LEN length of the string in WORD to store. |
| */ |
| #define INSERT_WORD_RET(CTX, BUF, TARGET, WORD, LEN) \ |
| if (BUF) {LY_CHECK_RET(lydict_insert_zc(PARSER_CTX(CTX), WORD, &(TARGET)));}\ |
| else {LY_CHECK_RET(lydict_insert(PARSER_CTX(CTX), LEN ? WORD : "", LEN, &(TARGET)));} |
| |
| /** |
| * @brief Read from the IN structure COUNT items. Also updates the indent value in yang parser context |
| * @param[in] CTX yang parser context to update its indent value. |
| * @param[in] COUNT number of items for which the DATA pointer is supposed to move on. |
| */ |
| #define MOVE_INPUT(CTX, COUNT) ly_in_skip((CTX)->in, COUNT);(CTX)->indent+=COUNT |
| |
| /** |
| * @brief Loop through all substatements. |
| * |
| * @param[in] CTX yang parser context for logging. |
| * @param[out] KW YANG keyword read. |
| * @param[out] WORD Pointer to the keyword itself. |
| * @param[out] WORD_LEN Length of the keyword. |
| * @param[out] ERR Variable for error storing. |
| * @param[in] SUC_CMD Command is applied if a semicolon is found, so no |
| * substatements are available. It is expected to contain a return or goto command. |
| * @param[in] ERR_CMD Command is applied if an error occurs before loop through |
| * substatements. It is expected to contain return or goto command. |
| * |
| * @return In case there are no substatements or a fatal error encountered. |
| */ |
| #define YANG_READ_SUBSTMT_FOR(CTX, KW, WORD, WORD_LEN, ERR, SUC_CMD, ERR_CMD) \ |
| if ((ERR = get_keyword(CTX, &KW, &WORD, &WORD_LEN))) { \ |
| ERR_CMD; \ |
| } \ |
| if (KW == LY_STMT_SYNTAX_SEMICOLON) { \ |
| SUC_CMD; \ |
| } \ |
| if (KW != LY_STMT_SYNTAX_LEFT_BRACE) { \ |
| LOGVAL_PARSER(CTX, LYVE_SYNTAX_YANG, "Invalid keyword \"%s\", expected \";\" or \"{\".", ly_stmt2str(KW)); \ |
| ERR = LY_EVALID; \ |
| ERR_CMD; \ |
| } \ |
| for (ERR = get_keyword(CTX, &KW, &WORD, &WORD_LEN); \ |
| !ERR && (KW != LY_STMT_SYNTAX_RIGHT_BRACE); \ |
| ERR = get_keyword(CTX, &KW, &WORD, &WORD_LEN)) |
| |
| LY_ERR parse_container(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, |
| struct lysp_node **siblings); |
| LY_ERR parse_uses(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings); |
| LY_ERR parse_choice(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings); |
| LY_ERR parse_case(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings); |
| LY_ERR parse_list(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings); |
| LY_ERR parse_grouping(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node_grp **groupings); |
| |
| /** |
| * @brief Add another character to dynamic buffer, a low-level function. |
| * |
| * Enlarge if needed. Updates \p input as well as \p buf_used. |
| * |
| * @param[in] ctx libyang context for logging. |
| * @param[in,out] in Input structure. |
| * @param[in] len Number of bytes to get from the input string and copy into the buffer. |
| * @param[in,out] buf Buffer to use, can be moved by realloc(). |
| * @param[in,out] buf_len Current size of the buffer. |
| * @param[in,out] buf_used Currently used characters of the buffer. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| buf_add_char(struct ly_ctx *ctx, struct ly_in *in, size_t len, char **buf, size_t *buf_len, size_t *buf_used) |
| { |
| #define BUF_STEP 16; |
| if (*buf_len <= (*buf_used) + len) { |
| *buf_len += BUF_STEP; |
| *buf = ly_realloc(*buf, *buf_len); |
| LY_CHECK_ERR_RET(!*buf, LOGMEM(ctx), LY_EMEM); |
| } |
| if (*buf_used) { |
| ly_in_read(in, &(*buf)[*buf_used], len); |
| } else { |
| ly_in_read(in, *buf, len); |
| } |
| |
| (*buf_used) += len; |
| return LY_SUCCESS; |
| #undef BUF_STEP |
| } |
| |
| /** |
| * @brief Store a single UTF8 character. It depends whether in a dynamically-allocated buffer or just as a pointer to the data. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] arg Type of the input string to select method of checking character validity. |
| * @param[in,out] word_p Word pointer. If buffer (\p word_b) was not yet needed, it is just a pointer to the first |
| * stored character. If buffer was needed (\p word_b is non-NULL or \p need_buf is set), it is pointing to the buffer. |
| * @param[in,out] word_len Current length of the word pointed to by \p word_p. |
| * @param[in,out] word_b Word buffer. Is kept NULL as long as it is not requested (word is a substring of the data). |
| * @param[in,out] buf_len Current length of \p word_b. |
| * @param[in] need_buf Flag if the dynamically allocated buffer is required. |
| * @param[in,out] prefix Storage for internally used flag in case of possible prefixed identifiers: |
| * 0 - colon not yet found (no prefix) |
| * 1 - \p c is the colon character |
| * 2 - prefix already processed, now processing the identifier |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| buf_store_char(struct lys_yang_parser_ctx *ctx, enum yang_arg arg, char **word_p, size_t *word_len, |
| char **word_b, size_t *buf_len, ly_bool need_buf, uint8_t *prefix) |
| { |
| uint32_t c; |
| size_t len; |
| |
| /* check valid combination of input paremeters - if need_buf specified, word_b must be provided */ |
| assert(!need_buf || (need_buf && word_b)); |
| |
| /* get UTF8 code point (and number of bytes coding the character) */ |
| LY_CHECK_ERR_RET(ly_getutf8(&ctx->in->current, &c, &len), |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[-len]), LY_EVALID); |
| ctx->in->current -= len; |
| if (c == '\n') { |
| ctx->indent = 0; |
| LY_IN_NEW_LINE(ctx->in); |
| } else { |
| /* note - even the multibyte character is count as 1 */ |
| ++ctx->indent; |
| } |
| |
| /* check character validity */ |
| switch (arg) { |
| case Y_IDENTIF_ARG: |
| LY_CHECK_RET(lysp_check_identifierchar((struct lys_parser_ctx *)ctx, c, !(*word_len), NULL)); |
| break; |
| case Y_PREF_IDENTIF_ARG: |
| LY_CHECK_RET(lysp_check_identifierchar((struct lys_parser_ctx *)ctx, c, !(*word_len), prefix)); |
| break; |
| case Y_STR_ARG: |
| case Y_MAYBE_STR_ARG: |
| LY_CHECK_RET(lysp_check_stringchar((struct lys_parser_ctx *)ctx, c)); |
| break; |
| } |
| |
| if (word_b && *word_b) { |
| /* add another character into buffer */ |
| if (buf_add_char(PARSER_CTX(ctx), ctx->in, len, word_b, buf_len, word_len)) { |
| return LY_EMEM; |
| } |
| |
| /* in case of realloc */ |
| *word_p = *word_b; |
| } else if (word_b && need_buf) { |
| /* first time we need a buffer, copy everything read up to now */ |
| if (*word_len) { |
| *word_b = malloc(*word_len); |
| LY_CHECK_ERR_RET(!*word_b, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| *buf_len = *word_len; |
| memcpy(*word_b, *word_p, *word_len); |
| } |
| |
| /* add this new character into buffer */ |
| if (buf_add_char(PARSER_CTX(ctx), ctx->in, len, word_b, buf_len, word_len)) { |
| return LY_EMEM; |
| } |
| |
| /* in case of realloc */ |
| *word_p = *word_b; |
| } else { |
| /* just remember the first character pointer */ |
| if (!*word_p) { |
| *word_p = (char *)ctx->in->current; |
| } |
| /* ... and update the word's length */ |
| (*word_len) += len; |
| ly_in_skip(ctx->in, len); |
| } |
| |
| return LY_SUCCESS; |
| } |
| |
| /** |
| * @brief Skip YANG comment in data. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] comment Type of the comment to process: |
| * 1 for a one-line comment, |
| * 2 for a block comment. |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| skip_comment(struct lys_yang_parser_ctx *ctx, uint8_t comment) |
| { |
| /* internal statuses: */ |
| #define COMMENT_NO 0 /* comment ended */ |
| #define COMMENT_LINE 1 /* in line comment */ |
| #define COMMENT_BLOCK 2 /* in block comment */ |
| #define COMMENT_BLOCK_END 3 /* in block comment with last read character '*' */ |
| |
| while (ctx->in->current[0] && comment) { |
| switch (comment) { |
| case COMMENT_LINE: |
| if (ctx->in->current[0] == '\n') { |
| comment = COMMENT_NO; |
| LY_IN_NEW_LINE(ctx->in); |
| } |
| break; |
| case COMMENT_BLOCK: |
| if (ctx->in->current[0] == '*') { |
| comment = COMMENT_BLOCK_END; |
| } else if (ctx->in->current[0] == '\n') { |
| LY_IN_NEW_LINE(ctx->in); |
| } |
| break; |
| case COMMENT_BLOCK_END: |
| if (ctx->in->current[0] == '/') { |
| comment = COMMENT_NO; |
| } else if (ctx->in->current[0] != '*') { |
| if (ctx->in->current[0] == '\n') { |
| LY_IN_NEW_LINE(ctx->in); |
| } |
| comment = COMMENT_BLOCK; |
| } |
| break; |
| default: |
| LOGINT_RET(PARSER_CTX(ctx)); |
| } |
| |
| if (ctx->in->current[0] == '\n') { |
| ctx->indent = 0; |
| } else { |
| ++ctx->indent; |
| } |
| ++ctx->in->current; |
| } |
| |
| if (!ctx->in->current[0] && (comment >= COMMENT_BLOCK)) { |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX, "Unexpected end-of-input, non-terminated comment."); |
| return LY_EVALID; |
| } |
| |
| return LY_SUCCESS; |
| |
| #undef COMMENT_NO |
| #undef COMMENT_LINE |
| #undef COMMENT_BLOCK |
| #undef COMMENT_BLOCK_END |
| } |
| |
| /** |
| * @brief Read a quoted string from data. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] arg Type of YANG keyword argument expected. |
| * @param[out] word_p Pointer to the read quoted string. |
| * @param[out] word_b Pointer to a dynamically-allocated buffer holding the read quoted string. If not needed, |
| * set to NULL. Otherwise equal to \p word_p. |
| * @param[out] word_len Length of the read quoted string. |
| * @param[out] buf_len Length of the dynamically-allocated buffer \p word_b. |
| * @param[in] indent Current indent (number of YANG spaces). Needed for correct multi-line string |
| * indenation in the final quoted string. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| read_qstring(struct lys_yang_parser_ctx *ctx, enum yang_arg arg, char **word_p, char **word_b, |
| size_t *word_len, size_t *buf_len) |
| { |
| /* string parsing status: */ |
| #define STRING_ENDED 0 /* string ended */ |
| #define STRING_SINGLE_QUOTED 1 /* string with ' */ |
| #define STRING_DOUBLE_QUOTED 2 /* string with " */ |
| #define STRING_DOUBLE_QUOTED_ESCAPED 3 /* string with " with last character \ */ |
| #define STRING_PAUSED_NEXTSTRING 4 /* string finished, now skipping whitespaces looking for + */ |
| #define STRING_PAUSED_CONTINUE 5 /* string continues after +, skipping whitespaces */ |
| |
| uint8_t string; |
| uint64_t block_indent = 0, current_indent = 0; |
| ly_bool need_buf = 0; |
| uint8_t prefix = 0; |
| const char *c; |
| uint64_t trailing_ws = 0; /* current number of stored trailing whitespace characters */ |
| |
| if (ctx->in->current[0] == '\"') { |
| string = STRING_DOUBLE_QUOTED; |
| current_indent = block_indent = ctx->indent + 1; |
| } else { |
| assert(ctx->in->current[0] == '\''); |
| string = STRING_SINGLE_QUOTED; |
| } |
| MOVE_INPUT(ctx, 1); |
| |
| while (ctx->in->current[0] && string) { |
| switch (string) { |
| case STRING_SINGLE_QUOTED: |
| switch (ctx->in->current[0]) { |
| case '\'': |
| /* string may be finished, but check for + */ |
| string = STRING_PAUSED_NEXTSTRING; |
| MOVE_INPUT(ctx, 1); |
| break; |
| default: |
| /* check and store character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| break; |
| } |
| break; |
| case STRING_DOUBLE_QUOTED: |
| switch (ctx->in->current[0]) { |
| case '\"': |
| /* string may be finished, but check for + */ |
| string = STRING_PAUSED_NEXTSTRING; |
| MOVE_INPUT(ctx, 1); |
| trailing_ws = 0; |
| break; |
| case '\\': |
| /* special character following */ |
| string = STRING_DOUBLE_QUOTED_ESCAPED; |
| |
| /* the backslash sequence is substituted, so we will need a buffer to store the result */ |
| need_buf = 1; |
| |
| /* move forward to the escaped character */ |
| ++ctx->in->current; |
| |
| /* note that the trailing whitespaces are supposed to be trimmed before substitution of |
| * backslash-escaped characters (RFC 7950, 6.1.3), so we have to zero the trailing whitespaces counter */ |
| trailing_ws = 0; |
| |
| /* since the backslash-escaped character is handled as first non-whitespace character, stop eating indentation */ |
| current_indent = block_indent; |
| break; |
| case ' ': |
| if (current_indent < block_indent) { |
| ++current_indent; |
| MOVE_INPUT(ctx, 1); |
| } else { |
| /* check and store whitespace character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| trailing_ws++; |
| } |
| break; |
| case '\t': |
| if (current_indent < block_indent) { |
| assert(need_buf); |
| current_indent += Y_TAB_SPACES; |
| ctx->indent += Y_TAB_SPACES; |
| for ( ; current_indent > block_indent; --current_indent, --ctx->indent) { |
| /* store leftover spaces from the tab */ |
| c = ctx->in->current; |
| ctx->in->current = " "; |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| ctx->in->current = c; |
| trailing_ws++; |
| } |
| ++ctx->in->current; |
| } else { |
| /* check and store whitespace character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| trailing_ws++; |
| /* additional characters for indentation - only 1 was count in buf_store_char */ |
| ctx->indent += Y_TAB_SPACES - 1; |
| } |
| break; |
| case '\r': |
| if (ctx->in->current[1] != '\n') { |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[0]); |
| return LY_EVALID; |
| } |
| /* fallthrough */ |
| case '\n': |
| if (block_indent) { |
| /* we will be removing the indents so we need our own buffer */ |
| need_buf = 1; |
| |
| /* remove trailing tabs and spaces */ |
| (*word_len) = *word_len - trailing_ws; |
| |
| /* restart indentation */ |
| current_indent = 0; |
| } |
| |
| /* check and store character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| |
| /* reset context indentation counter for possible string after this one */ |
| ctx->indent = 0; |
| trailing_ws = 0; |
| break; |
| default: |
| /* first non-whitespace character, stop eating indentation */ |
| current_indent = block_indent; |
| |
| /* check and store character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| trailing_ws = 0; |
| break; |
| } |
| break; |
| case STRING_DOUBLE_QUOTED_ESCAPED: |
| /* string encoded characters */ |
| c = ctx->in->current; |
| switch (ctx->in->current[0]) { |
| case 'n': |
| ctx->in->current = "\n"; |
| /* fix false newline count in buf_store_char() */ |
| ctx->in->line--; |
| break; |
| case 't': |
| ctx->in->current = "\t"; |
| break; |
| case '\"': |
| case '\\': |
| /* ok as is */ |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Double-quoted string unknown special character '\\%c'.", |
| ctx->in->current[0]); |
| return LY_EVALID; |
| } |
| |
| /* check and store character */ |
| LY_CHECK_RET(buf_store_char(ctx, arg, word_p, word_len, word_b, buf_len, need_buf, &prefix)); |
| |
| string = STRING_DOUBLE_QUOTED; |
| ctx->in->current = c + 1; |
| break; |
| case STRING_PAUSED_NEXTSTRING: |
| switch (ctx->in->current[0]) { |
| case '+': |
| /* string continues */ |
| string = STRING_PAUSED_CONTINUE; |
| need_buf = 1; |
| break; |
| case '\r': |
| if (ctx->in->current[1] != '\n') { |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[0]); |
| return LY_EVALID; |
| } |
| MOVE_INPUT(ctx, 1); |
| /* fallthrough */ |
| case '\n': |
| LY_IN_NEW_LINE(ctx->in); |
| /* fall through */ |
| case ' ': |
| case '\t': |
| /* just skip */ |
| break; |
| default: |
| /* string is finished */ |
| goto string_end; |
| } |
| MOVE_INPUT(ctx, 1); |
| break; |
| case STRING_PAUSED_CONTINUE: |
| switch (ctx->in->current[0]) { |
| case '\r': |
| if (ctx->in->current[1] != '\n') { |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[0]); |
| return LY_EVALID; |
| } |
| MOVE_INPUT(ctx, 1); |
| /* fallthrough */ |
| case '\n': |
| LY_IN_NEW_LINE(ctx->in); |
| /* fall through */ |
| case ' ': |
| case '\t': |
| /* skip */ |
| break; |
| case '\'': |
| string = STRING_SINGLE_QUOTED; |
| break; |
| case '\"': |
| string = STRING_DOUBLE_QUOTED; |
| break; |
| default: |
| /* it must be quoted again */ |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Both string parts divided by '+' must be quoted."); |
| return LY_EVALID; |
| } |
| MOVE_INPUT(ctx, 1); |
| break; |
| default: |
| return LY_EINT; |
| } |
| } |
| |
| string_end: |
| if ((arg <= Y_PREF_IDENTIF_ARG) && !(*word_len)) { |
| /* empty identifier */ |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Statement argument is required."); |
| return LY_EVALID; |
| } |
| return LY_SUCCESS; |
| |
| #undef STRING_ENDED |
| #undef STRING_SINGLE_QUOTED |
| #undef STRING_DOUBLE_QUOTED |
| #undef STRING_DOUBLE_QUOTED_ESCAPED |
| #undef STRING_PAUSED_NEXTSTRING |
| #undef STRING_PAUSED_CONTINUE |
| } |
| |
| /** |
| * @brief Get another YANG string from the raw data. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] arg Type of YANG keyword argument expected. |
| * @param[out] flags optional output argument to get flag of the argument's quoting (LYS_*QUOTED - see |
| * [schema node flags](@ref snodeflags)) |
| * @param[out] word_p Pointer to the read string. Can return NULL if \p arg is #Y_MAYBE_STR_ARG. |
| * @param[out] word_b Pointer to a dynamically-allocated buffer holding the read string. If not needed, |
| * set to NULL. Otherwise equal to \p word_p. |
| * @param[out] word_len Length of the read string. |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| get_argument(struct lys_yang_parser_ctx *ctx, enum yang_arg arg, uint16_t *flags, char **word_p, |
| char **word_b, size_t *word_len) |
| { |
| LY_ERR ret; |
| size_t buf_len = 0; |
| uint8_t prefix = 0; |
| |
| /* word buffer - dynamically allocated */ |
| *word_b = NULL; |
| |
| /* word pointer - just a pointer to data */ |
| *word_p = NULL; |
| |
| *word_len = 0; |
| while (ctx->in->current[0]) { |
| switch (ctx->in->current[0]) { |
| case '\'': |
| case '\"': |
| if (*word_len) { |
| /* invalid - quotes cannot be in unquoted string and only optsep, ; or { can follow it */ |
| LOGVAL_PARSER(ctx, LY_VCODE_INSTREXP, 1, ctx->in->current, |
| "unquoted string character, optsep, semicolon or opening brace"); |
| ret = LY_EVALID; |
| goto error; |
| } |
| if (flags) { |
| (*flags) |= ctx->in->current[0] == '\'' ? LYS_SINGLEQUOTED : LYS_DOUBLEQUOTED; |
| } |
| LY_CHECK_GOTO(ret = read_qstring(ctx, arg, word_p, word_b, word_len, &buf_len), error); |
| goto str_end; |
| case '/': |
| if (ctx->in->current[1] == '/') { |
| /* one-line comment */ |
| MOVE_INPUT(ctx, 2); |
| LY_CHECK_GOTO(ret = skip_comment(ctx, 1), error); |
| } else if (ctx->in->current[1] == '*') { |
| /* block comment */ |
| MOVE_INPUT(ctx, 2); |
| LY_CHECK_GOTO(ret = skip_comment(ctx, 2), error); |
| } else { |
| /* not a comment after all */ |
| LY_CHECK_GOTO(ret = buf_store_char(ctx, arg, word_p, word_len, word_b, &buf_len, 0, &prefix), error); |
| } |
| break; |
| case ' ': |
| if (*word_len) { |
| /* word is finished */ |
| goto str_end; |
| } |
| MOVE_INPUT(ctx, 1); |
| break; |
| case '\t': |
| if (*word_len) { |
| /* word is finished */ |
| goto str_end; |
| } |
| /* tabs count for 8 spaces */ |
| ctx->indent += Y_TAB_SPACES; |
| |
| ++ctx->in->current; |
| break; |
| case '\r': |
| if (ctx->in->current[1] != '\n') { |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[0]); |
| ret = LY_EVALID; |
| goto error; |
| } |
| MOVE_INPUT(ctx, 1); |
| /* fallthrough */ |
| case '\n': |
| if (*word_len) { |
| /* word is finished */ |
| goto str_end; |
| } |
| LY_IN_NEW_LINE(ctx->in); |
| MOVE_INPUT(ctx, 1); |
| |
| /* reset indent */ |
| ctx->indent = 0; |
| break; |
| case ';': |
| case '{': |
| if (*word_len || (arg == Y_MAYBE_STR_ARG)) { |
| /* word is finished */ |
| goto str_end; |
| } |
| |
| LOGVAL_PARSER(ctx, LY_VCODE_INSTREXP, 1, ctx->in->current, "an argument"); |
| ret = LY_EVALID; |
| goto error; |
| case '}': |
| /* invalid - braces cannot be in unquoted string (opening braces terminates the string and can follow it) */ |
| LOGVAL_PARSER(ctx, LY_VCODE_INSTREXP, 1, ctx->in->current, |
| "unquoted string character, optsep, semicolon or opening brace"); |
| ret = LY_EVALID; |
| goto error; |
| default: |
| LY_CHECK_GOTO(ret = buf_store_char(ctx, arg, word_p, word_len, word_b, &buf_len, 0, &prefix), error); |
| break; |
| } |
| } |
| |
| /* unexpected end of loop */ |
| LOGVAL_PARSER(ctx, LY_VCODE_EOF); |
| ret = LY_EVALID; |
| goto error; |
| |
| str_end: |
| /* terminating NULL byte for buf */ |
| if (*word_b) { |
| (*word_b) = ly_realloc(*word_b, (*word_len) + 1); |
| LY_CHECK_ERR_RET(!(*word_b), LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| (*word_b)[*word_len] = '\0'; |
| *word_p = *word_b; |
| } |
| |
| return LY_SUCCESS; |
| |
| error: |
| free(*word_b); |
| *word_b = NULL; |
| return ret; |
| } |
| |
| /** |
| * @brief Get another YANG keyword from the raw data. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[out] kw YANG keyword read. |
| * @param[out] word_p Pointer to the keyword in the data. Useful for extension instances. |
| * @param[out] word_len Length of the keyword in the data. Useful for extension instances. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| get_keyword(struct lys_yang_parser_ctx *ctx, enum ly_stmt *kw, char **word_p, size_t *word_len) |
| { |
| uint8_t prefix; |
| const char *word_start; |
| size_t len; |
| |
| if (word_p) { |
| *word_p = NULL; |
| *word_len = 0; |
| } |
| |
| /* first skip "optsep", comments */ |
| while (ctx->in->current[0]) { |
| switch (ctx->in->current[0]) { |
| case '/': |
| if (ctx->in->current[1] == '/') { |
| /* one-line comment */ |
| MOVE_INPUT(ctx, 2); |
| LY_CHECK_RET(skip_comment(ctx, 1)); |
| } else if (ctx->in->current[1] == '*') { |
| /* block comment */ |
| MOVE_INPUT(ctx, 2); |
| LY_CHECK_RET(skip_comment(ctx, 2)); |
| } else { |
| /* error - not a comment after all, keyword cannot start with slash */ |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Invalid identifier first character '/'."); |
| return LY_EVALID; |
| } |
| continue; |
| case '\n': |
| /* skip whitespaces (optsep) */ |
| LY_IN_NEW_LINE(ctx->in); |
| ctx->indent = 0; |
| break; |
| case ' ': |
| /* skip whitespaces (optsep) */ |
| ++ctx->indent; |
| break; |
| case '\t': |
| /* skip whitespaces (optsep) */ |
| ctx->indent += Y_TAB_SPACES; |
| break; |
| case '\r': |
| /* possible CRLF endline */ |
| if (ctx->in->current[1] == '\n') { |
| break; |
| } |
| /* fallthrough */ |
| default: |
| /* either a keyword start or an invalid character */ |
| goto keyword_start; |
| } |
| |
| ly_in_skip(ctx->in, 1); |
| } |
| |
| keyword_start: |
| word_start = ctx->in->current; |
| *kw = lysp_match_kw(ctx->in, &ctx->indent); |
| |
| if (*kw == LY_STMT_SYNTAX_SEMICOLON) { |
| goto success; |
| } else if (*kw == LY_STMT_SYNTAX_LEFT_BRACE) { |
| ctx->depth++; |
| if (ctx->depth > LY_MAX_BLOCK_DEPTH) { |
| LOGERR(ctx->parsed_mod->mod->ctx, LY_EINVAL, |
| "The maximum number of block nestings has been exceeded."); |
| return LY_EINVAL; |
| } |
| goto success; |
| } else if (*kw == LY_STMT_SYNTAX_RIGHT_BRACE) { |
| ctx->depth--; |
| goto success; |
| } |
| |
| if (*kw != LY_STMT_NONE) { |
| /* make sure we have the whole keyword */ |
| switch (ctx->in->current[0]) { |
| case '\r': |
| if (ctx->in->current[1] != '\n') { |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[0]); |
| return LY_EVALID; |
| } |
| MOVE_INPUT(ctx, 1); |
| /* fallthrough */ |
| case '\n': |
| case '\t': |
| case ' ': |
| /* mandatory "sep" is just checked, not eaten so nothing in the context is updated */ |
| break; |
| case ':': |
| /* keyword is not actually a keyword, but prefix of an extension. |
| * To avoid repeated check of the prefix syntax, move to the point where the colon was read |
| * and we will be checking the keyword (extension instance) itself */ |
| prefix = 1; |
| MOVE_INPUT(ctx, 1); |
| goto extension; |
| case '{': |
| /* allowed only for input and output statements which can be without arguments */ |
| if ((*kw == LY_STMT_INPUT) || (*kw == LY_STMT_OUTPUT)) { |
| break; |
| } |
| /* fall through */ |
| default: |
| MOVE_INPUT(ctx, 1); |
| LOGVAL_PARSER(ctx, LY_VCODE_INSTREXP, (int)(ctx->in->current - word_start), word_start, |
| "a keyword followed by a separator"); |
| return LY_EVALID; |
| } |
| } else { |
| /* still can be an extension */ |
| prefix = 0; |
| |
| extension: |
| while (ctx->in->current[0] && (ctx->in->current[0] != ' ') && (ctx->in->current[0] != '\t') && |
| (ctx->in->current[0] != '\n') && (ctx->in->current[0] != '\r') && (ctx->in->current[0] != '{') && |
| (ctx->in->current[0] != ';')) { |
| uint32_t c = 0; |
| |
| LY_CHECK_ERR_RET(ly_getutf8(&ctx->in->current, &c, &len), |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHAR, ctx->in->current[-len]), LY_EVALID); |
| ++ctx->indent; |
| /* check character validity */ |
| LY_CHECK_RET(lysp_check_identifierchar((struct lys_parser_ctx *)ctx, c, |
| ctx->in->current - len == word_start ? 1 : 0, &prefix)); |
| } |
| if (!ctx->in->current[0]) { |
| LOGVAL_PARSER(ctx, LY_VCODE_EOF); |
| return LY_EVALID; |
| } |
| |
| /* prefix is mandatory for extension instances */ |
| if (prefix != 2) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INSTREXP, (int)(ctx->in->current - word_start), word_start, "a keyword"); |
| return LY_EVALID; |
| } |
| |
| *kw = LY_STMT_EXTENSION_INSTANCE; |
| } |
| |
| success: |
| if (word_p) { |
| *word_p = (char *)word_start; |
| *word_len = ctx->in->current - word_start; |
| } |
| |
| return LY_SUCCESS; |
| } |
| |
| /** |
| * @brief Parse extension instance substatements. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] kw Statement keyword value matching @p word value. |
| * @param[in] word Extension instance substatement name (keyword). |
| * @param[in] word_len Extension instance substatement name length. |
| * @param[in,out] child Children of this extension instance to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_ext_substmt(struct lys_yang_parser_ctx *ctx, enum ly_stmt kw, char *word, size_t word_len, |
| struct lysp_stmt **child) |
| { |
| char *buf; |
| LY_ERR ret = LY_SUCCESS; |
| enum ly_stmt child_kw; |
| struct lysp_stmt *stmt, *par_child; |
| |
| stmt = calloc(1, sizeof *stmt); |
| LY_CHECK_ERR_RET(!stmt, LOGMEM(NULL), LY_EMEM); |
| |
| /* insert into parent statements */ |
| if (!*child) { |
| *child = stmt; |
| } else { |
| for (par_child = *child; par_child->next; par_child = par_child->next) {} |
| par_child->next = stmt; |
| } |
| |
| /* statement */ |
| LY_CHECK_RET(lydict_insert(PARSER_CTX(ctx), word, word_len, &stmt->stmt)); |
| |
| /* get optional argument */ |
| LY_CHECK_RET(get_argument(ctx, Y_MAYBE_STR_ARG, &stmt->flags, &word, &buf, &word_len)); |
| if (word) { |
| INSERT_WORD_RET(ctx, buf, stmt->arg, word, word_len); |
| } |
| |
| stmt->format = LY_VALUE_SCHEMA; |
| stmt->prefix_data = ctx->parsed_mod; |
| stmt->kw = kw; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, child_kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| LY_CHECK_RET(parse_ext_substmt(ctx, child_kw, word, word_len, &stmt->child)); |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse extension instance. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] ext_name Extension instance substatement name (keyword). |
| * @param[in] ext_name_len Extension instance substatement name length. |
| * @param[in] insubstmt The statement this extension instance is a substatement of. |
| * @param[in] insubstmt_index Index of the keyword instance this extension instance is a substatement of. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_ext(struct lys_yang_parser_ctx *ctx, const char *ext_name, size_t ext_name_len, enum ly_stmt insubstmt, |
| LY_ARRAY_COUNT_TYPE insubstmt_index, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| struct lysp_ext_instance *e; |
| enum ly_stmt kw; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *exts, e, LY_EMEM); |
| |
| if (!ly_strnchr(ext_name, ':', ext_name_len)) { |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX, "Extension instance \"%*.s\" without the mandatory prefix.", ext_name_len, ext_name); |
| return LY_EVALID; |
| } |
| |
| /* store name */ |
| LY_CHECK_RET(lydict_insert(PARSER_CTX(ctx), ext_name, ext_name_len, &e->name)); |
| |
| /* get optional argument */ |
| LY_CHECK_RET(get_argument(ctx, Y_MAYBE_STR_ARG, NULL, &word, &buf, &word_len)); |
| if (word) { |
| INSERT_WORD_RET(ctx, buf, e->argument, word, word_len); |
| } |
| |
| /* store the rest of information */ |
| e->format = LY_VALUE_SCHEMA; |
| e->parsed = NULL; |
| e->prefix_data = ctx->parsed_mod; |
| e->parent_stmt = insubstmt; |
| e->parent_stmt_index = insubstmt_index; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| LY_CHECK_RET(parse_ext_substmt(ctx, kw, word, word_len, &e->child)); |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse a generic text field without specific constraints. Those are contact, organization, |
| * description, etc... |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] substmt Type of this substatement. |
| * @param[in] substmt_index Index of this substatement. |
| * @param[in,out] value Place to store the parsed value. |
| * @param[in] arg Type of the YANG keyword argument (of the value). |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_text_field(struct lys_yang_parser_ctx *ctx, enum ly_stmt substmt, uint32_t substmt_index, |
| const char **value, enum yang_arg arg, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*value) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(substmt)); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, arg, NULL, &word, &buf, &word_len)); |
| |
| /* store value and spend buf if allocated */ |
| INSERT_WORD_RET(ctx, buf, *value, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, substmt, substmt_index, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(substmt)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the yang-version statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[out] version Storage for the parsed information. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_yangversion(struct lys_yang_parser_ctx *ctx, uint8_t *version, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*version) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "yang-version"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == 1) && !strncmp(word, "1", word_len)) { |
| *version = LYS_VERSION_1_0; |
| } else if ((word_len == ly_strlen_const("1.1")) && !strncmp(word, "1.1", word_len)) { |
| *version = LYS_VERSION_1_1; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "yang-version"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_YANG_VERSION, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "yang-version"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the belongs-to statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] prefix Place to store the parsed belongs-to prefix value. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_belongsto(struct lys_yang_parser_ctx *ctx, const char **prefix, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*prefix) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "belongs-to"); |
| return LY_EVALID; |
| } |
| |
| /* get value, it must match the main module */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| if (ly_strncmp(ctx->parsed_mod->mod->name, word, word_len)) { |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Submodule \"belongs-to\" value \"%.*s\" does not match its module name \"%s\".", |
| (int)word_len, word, ctx->parsed_mod->mod->name); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_PREFIX: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_PREFIX, 0, prefix, Y_IDENTIF_ARG, exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_BELONGS_TO, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "belongs-to"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| if (!*prefix) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "prefix", "belongs-to"); |
| return LY_EVALID; |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the revision-date statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] rev Array to store the parsed value in. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_revisiondate(struct lys_yang_parser_ctx *ctx, char *rev, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (rev[0]) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "revision-date"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| /* check value */ |
| if (lysp_check_date((struct lys_parser_ctx *)ctx, word, word_len, "revision-date")) { |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| /* store value and spend buf if allocated */ |
| strncpy(rev, word, word_len); |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_REVISION_DATE, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "revision-date"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the include statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] module_name Name of the module to check name collisions. |
| * @param[in,out] includes Parsed includes to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_include(struct lys_yang_parser_ctx *ctx, const char *module_name, struct lysp_include **includes) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_include *inc; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *includes, inc, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| |
| INSERT_WORD_RET(ctx, buf, inc->name, word, word_len); |
| |
| /* submodules share the namespace with the module names, so there must not be |
| * a module of the same name in the context, no need for revision matching */ |
| if (!strcmp(module_name, inc->name) || ly_ctx_get_module_latest(PARSER_CTX(ctx), inc->name)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_NAME2_COL, "module", "submodule", inc->name); |
| return LY_EVALID; |
| } |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "description", "include"); |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &inc->dsc, Y_STR_ARG, &inc->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "reference", "include"); |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &inc->ref, Y_STR_ARG, &inc->exts)); |
| break; |
| case LY_STMT_REVISION_DATE: |
| LY_CHECK_RET(parse_revisiondate(ctx, inc->rev, &inc->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_INCLUDE, 0, &inc->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "include"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the import statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] module_prefix Prefix of the module to check prefix collisions. |
| * @param[in,out] imports Parsed imports to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_import(struct lys_yang_parser_ctx *ctx, const char *module_prefix, struct lysp_import **imports) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_import *imp; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *imports, imp, LY_EVALID); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, imp->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_PREFIX: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_PREFIX, 0, &imp->prefix, Y_IDENTIF_ARG, &imp->exts)); |
| LY_CHECK_RET(lysp_check_prefix((struct lys_parser_ctx *)ctx, *imports, module_prefix, &imp->prefix), LY_EVALID); |
| break; |
| case LY_STMT_DESCRIPTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "description", "import"); |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &imp->dsc, Y_STR_ARG, &imp->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "reference", "import"); |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &imp->ref, Y_STR_ARG, &imp->exts)); |
| break; |
| case LY_STMT_REVISION_DATE: |
| LY_CHECK_RET(parse_revisiondate(ctx, imp->rev, &imp->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_IMPORT, 0, &imp->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "import"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| LY_CHECK_ERR_RET(!imp->prefix, LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "prefix", "import"), LY_EVALID); |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the revision statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] revs Parsed revisions to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_revision(struct lys_yang_parser_ctx *ctx, struct lysp_revision **revs) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_revision *rev; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *revs, rev, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| /* check value */ |
| if (lysp_check_date((struct lys_parser_ctx *)ctx, word, word_len, "revision")) { |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| strncpy(rev->date, word, word_len); |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &rev->dsc, Y_STR_ARG, &rev->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &rev->ref, Y_STR_ARG, &rev->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_REVISION, 0, &rev->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "revision"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse a generic text field that can have more instances such as base. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] substmt Type of this substatement. |
| * @param[in,out] texts Parsed values to add to. |
| * @param[in] arg Type of the expected argument. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_text_fields(struct lys_yang_parser_ctx *ctx, enum ly_stmt substmt, const char ***texts, enum yang_arg arg, |
| struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| const char **item; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| /* allocate new pointer */ |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *texts, item, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, arg, NULL, &word, &buf, &word_len)); |
| |
| INSERT_WORD_RET(ctx, buf, *item, word, word_len); |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, substmt, LY_ARRAY_COUNT(*texts) - 1, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(substmt)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse a generic text field that can have more instances such as base. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] substmt Type of this substatement. |
| * @param[in,out] qnames Parsed qnames to add to. |
| * @param[in] arg Type of the expected argument. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_qnames(struct lys_yang_parser_ctx *ctx, enum ly_stmt substmt, struct lysp_qname **qnames, |
| enum yang_arg arg, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| struct lysp_qname *item; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| /* allocate new pointer */ |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *qnames, item, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, arg, NULL, &word, &buf, &word_len)); |
| |
| INSERT_WORD_RET(ctx, buf, item->str, word, word_len); |
| item->mod = ctx->parsed_mod; |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, substmt, LY_ARRAY_COUNT(*qnames) - 1, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(substmt)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the config statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] flags Flags to add to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_config(struct lys_yang_parser_ctx *ctx, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_CONFIG_MASK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "config"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("true")) && !strncmp(word, "true", word_len)) { |
| *flags |= LYS_CONFIG_W; |
| } else if ((word_len == ly_strlen_const("false")) && !strncmp(word, "false", word_len)) { |
| *flags |= LYS_CONFIG_R; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "config"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_CONFIG, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "config"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the mandatory statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] flags Flags to add to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_mandatory(struct lys_yang_parser_ctx *ctx, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_MAND_MASK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "mandatory"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("true")) && !strncmp(word, "true", word_len)) { |
| *flags |= LYS_MAND_TRUE; |
| } else if ((word_len == ly_strlen_const("false")) && !strncmp(word, "false", word_len)) { |
| *flags |= LYS_MAND_FALSE; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "mandatory"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_MANDATORY, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "mandatory"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse a restriction such as range or length. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] restr_kw Type of this particular restriction. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_restr(struct lys_yang_parser_ctx *ctx, enum ly_stmt restr_kw, struct lysp_restr *restr) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| CHECK_NONEMPTY(ctx, word_len, ly_stmt2str(restr_kw)); |
| INSERT_WORD_RET(ctx, buf, restr->arg.str, word, word_len); |
| restr->arg.mod = ctx->parsed_mod; |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &restr->dsc, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &restr->ref, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_ERROR_APP_TAG: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ERROR_APP_TAG, 0, &restr->eapptag, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_ERROR_MESSAGE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ERROR_MESSAGE, 0, &restr->emsg, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, restr_kw, 0, &restr->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(restr_kw)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse a restriction that can have more instances such as must. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] restr_kw Type of this particular restriction. |
| * @param[in,out] restrs Restrictions to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_restrs(struct lys_yang_parser_ctx *ctx, enum ly_stmt restr_kw, struct lysp_restr **restrs) |
| { |
| struct lysp_restr *restr; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *restrs, restr, LY_EMEM); |
| return parse_restr(ctx, restr_kw, restr); |
| } |
| |
| /** |
| * @brief Parse the status statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] flags Flags to add to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_status(struct lys_yang_parser_ctx *ctx, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_STATUS_MASK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "status"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("current")) && !strncmp(word, "current", word_len)) { |
| *flags |= LYS_STATUS_CURR; |
| } else if ((word_len == ly_strlen_const("deprecated")) && !strncmp(word, "deprecated", word_len)) { |
| *flags |= LYS_STATUS_DEPRC; |
| } else if ((word_len == ly_strlen_const("obsolete")) && !strncmp(word, "obsolete", word_len)) { |
| *flags |= LYS_STATUS_OBSLT; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "status"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_STATUS, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "status"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the when statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] when_p When pointer to parse to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_when(struct lys_yang_parser_ctx *ctx, struct lysp_when **when_p) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_when *when; |
| |
| if (*when_p) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "when"); |
| return LY_EVALID; |
| } |
| |
| when = calloc(1, sizeof *when); |
| LY_CHECK_ERR_RET(!when, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| *when_p = when; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| CHECK_NONEMPTY(ctx, word_len, "when"); |
| INSERT_WORD_RET(ctx, buf, when->cond, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &when->dsc, Y_STR_ARG, &when->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &when->ref, Y_STR_ARG, &when->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_WHEN, 0, &when->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "when"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the anydata or anyxml statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] any_kw Type of this particular keyword. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_any(struct lys_yang_parser_ctx *ctx, enum ly_stmt any_kw, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| struct lysp_node_anydata *any; |
| enum ly_stmt kw; |
| |
| /* create new structure and insert into siblings */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, any, next, LY_EMEM); |
| |
| any->nodetype = any_kw == LY_STMT_ANYDATA ? LYS_ANYDATA : LYS_ANYXML; |
| any->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, any->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &any->flags, &any->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &any->dsc, Y_STR_ARG, &any->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &any->iffeatures, Y_STR_ARG, &any->exts)); |
| break; |
| case LY_STMT_MANDATORY: |
| LY_CHECK_RET(parse_mandatory(ctx, &any->flags, &any->exts)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &any->musts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &any->ref, Y_STR_ARG, &any->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &any->flags, &any->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &any->when)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, any_kw, 0, &any->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(any_kw)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the value or position statement. Substatement of type enum statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] val_kw Type of this particular keyword. |
| * @param[in,out] value Value to write to. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_type_enum_value_pos(struct lys_yang_parser_ctx *ctx, enum ly_stmt val_kw, int64_t *value, uint16_t *flags, |
| struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word, *ptr; |
| size_t word_len; |
| long int num = 0; |
| unsigned long int unum = 0; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_SET_VALUE) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(val_kw)); |
| return LY_EVALID; |
| } |
| *flags |= LYS_SET_VALUE; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if (!word_len || (word[0] == '+') || ((word[0] == '0') && (word_len > 1)) || ((val_kw == LY_STMT_POSITION) && !strncmp(word, "-0", 2))) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, ly_stmt2str(val_kw)); |
| goto error; |
| } |
| |
| errno = 0; |
| if (val_kw == LY_STMT_VALUE) { |
| num = strtol(word, &ptr, LY_BASE_DEC); |
| if ((num < INT64_C(-2147483648)) || (num > INT64_C(2147483647))) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, ly_stmt2str(val_kw)); |
| goto error; |
| } |
| } else { |
| unum = strtoul(word, &ptr, LY_BASE_DEC); |
| if (unum > UINT64_C(4294967295)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, ly_stmt2str(val_kw)); |
| goto error; |
| } |
| } |
| /* we have not parsed the whole argument */ |
| if ((size_t)(ptr - word) != word_len) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, ly_stmt2str(val_kw)); |
| goto error; |
| } |
| if (errno == ERANGE) { |
| LOGVAL_PARSER(ctx, LY_VCODE_OOB, word_len, word, ly_stmt2str(val_kw)); |
| goto error; |
| } |
| if (val_kw == LY_STMT_VALUE) { |
| *value = num; |
| } else { |
| *value = unum; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, val_kw == LY_STMT_VALUE ? LY_STMT_VALUE : LY_STMT_POSITION, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(val_kw)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| |
| error: |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| /** |
| * @brief Parse the enum or bit statement. Substatement of type statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] enum_kw Type of this particular keyword. |
| * @param[in,out] enums Enums or bits to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type_enum(struct lys_yang_parser_ctx *ctx, enum ly_stmt enum_kw, struct lysp_type_enum **enums) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_type_enum *enm; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *enums, enm, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, enum_kw == LY_STMT_ENUM ? Y_STR_ARG : Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| if (enum_kw == LY_STMT_ENUM) { |
| ret = lysp_check_enum_name((struct lys_parser_ctx *)ctx, (const char *)word, word_len); |
| LY_CHECK_ERR_RET(ret, free(buf), ret); |
| } /* else nothing specific for YANG_BIT */ |
| |
| INSERT_WORD_RET(ctx, buf, enm->name, word, word_len); |
| CHECK_UNIQUENESS(ctx, *enums, name, ly_stmt2str(enum_kw), enm->name); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &enm->dsc, Y_STR_ARG, &enm->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "if-feature", ly_stmt2str(enum_kw)); |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &enm->iffeatures, Y_STR_ARG, &enm->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &enm->ref, Y_STR_ARG, &enm->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &enm->flags, &enm->exts)); |
| break; |
| case LY_STMT_VALUE: |
| LY_CHECK_ERR_RET(enum_kw == LY_STMT_BIT, LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), |
| ly_stmt2str(enum_kw)), LY_EVALID); |
| LY_CHECK_RET(parse_type_enum_value_pos(ctx, kw, &enm->value, &enm->flags, &enm->exts)); |
| break; |
| case LY_STMT_POSITION: |
| LY_CHECK_ERR_RET(enum_kw == LY_STMT_ENUM, LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), |
| ly_stmt2str(enum_kw)), LY_EVALID); |
| LY_CHECK_RET(parse_type_enum_value_pos(ctx, kw, &enm->value, &enm->flags, &enm->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, enum_kw, 0, &enm->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(enum_kw)); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the fraction-digits statement. Substatement of type statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] fracdig Value to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type_fracdigits(struct lys_yang_parser_ctx *ctx, uint8_t *fracdig, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word, *ptr; |
| size_t word_len; |
| unsigned long int num; |
| enum ly_stmt kw; |
| |
| if (*fracdig) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "fraction-digits"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if (!word_len || (word[0] == '0') || !isdigit(word[0])) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "fraction-digits"); |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| errno = 0; |
| num = strtoul(word, &ptr, LY_BASE_DEC); |
| /* we have not parsed the whole argument */ |
| if ((size_t)(ptr - word) != word_len) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "fraction-digits"); |
| free(buf); |
| return LY_EVALID; |
| } |
| if ((errno == ERANGE) || (num > LY_TYPE_DEC64_FD_MAX)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_OOB, word_len, word, "fraction-digits"); |
| free(buf); |
| return LY_EVALID; |
| } |
| *fracdig = num; |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_FRACTION_DIGITS, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "fraction-digits"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the require-instance statement. Substatement of type statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] reqinst Value to write to. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type_reqinstance(struct lys_yang_parser_ctx *ctx, uint8_t *reqinst, uint16_t *flags, |
| struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_SET_REQINST) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "require-instance"); |
| return LY_EVALID; |
| } |
| *flags |= LYS_SET_REQINST; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("true")) && !strncmp(word, "true", word_len)) { |
| *reqinst = 1; |
| } else if ((word_len != ly_strlen_const("false")) || strncmp(word, "false", word_len)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "require-instance"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_REQUIRE_INSTANCE, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "require-instance"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the modifier statement. Substatement of type pattern statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] pat Value to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type_pattern_modifier(struct lys_yang_parser_ctx *ctx, const char **pat, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if ((*pat)[0] == LYSP_RESTR_PATTERN_NACK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "modifier"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len != ly_strlen_const("invert-match")) || strncmp(word, "invert-match", word_len)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "modifier"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| /* replace the value in the dictionary */ |
| buf = malloc(strlen(*pat) + 1); |
| LY_CHECK_ERR_RET(!buf, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| strcpy(buf, *pat); |
| lydict_remove(PARSER_CTX(ctx), *pat); |
| |
| assert(buf[0] == LYSP_RESTR_PATTERN_ACK); |
| buf[0] = LYSP_RESTR_PATTERN_NACK; |
| LY_CHECK_RET(lydict_insert_zc(PARSER_CTX(ctx), buf, pat)); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_MODIFIER, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "modifier"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the pattern statement. Substatement of type statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] patterns Restrictions to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type_pattern(struct lys_yang_parser_ctx *ctx, struct lysp_restr **patterns) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_restr *restr; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *patterns, restr, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| /* add special meaning first byte */ |
| if (buf) { |
| buf = ly_realloc(buf, word_len + 2); |
| word = buf; |
| } else { |
| buf = malloc(word_len + 2); |
| } |
| LY_CHECK_ERR_RET(!buf, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| memmove(buf + 1, word, word_len); |
| buf[0] = LYSP_RESTR_PATTERN_ACK; /* pattern's default regular-match flag */ |
| buf[word_len + 1] = '\0'; /* terminating NULL byte */ |
| LY_CHECK_RET(lydict_insert_zc(PARSER_CTX(ctx), buf, &restr->arg.str)); |
| restr->arg.mod = ctx->parsed_mod; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &restr->dsc, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &restr->ref, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_ERROR_APP_TAG: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ERROR_APP_TAG, 0, &restr->eapptag, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_ERROR_MESSAGE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ERROR_MESSAGE, 0, &restr->emsg, Y_STR_ARG, &restr->exts)); |
| break; |
| case LY_STMT_MODIFIER: |
| PARSER_CHECK_STMTVER2_RET(ctx, "modifier", "pattern"); |
| LY_CHECK_RET(parse_type_pattern_modifier(ctx, &restr->arg.str, &restr->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_PATTERN, 0, &restr->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "pattern"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the type statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] type Type to wrote to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_type(struct lys_yang_parser_ctx *ctx, struct lysp_type *type) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| const char *str_path = NULL; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_type *nest_type; |
| |
| if (type->name) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "type"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_PREF_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, type->name, word, word_len); |
| |
| /* set module */ |
| type->pmod = ctx->parsed_mod; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_BASE: |
| LY_CHECK_RET(parse_text_fields(ctx, LY_STMT_BASE, &type->bases, Y_PREF_IDENTIF_ARG, &type->exts)); |
| type->flags |= LYS_SET_BASE; |
| break; |
| case LY_STMT_BIT: |
| LY_CHECK_RET(parse_type_enum(ctx, kw, &type->bits)); |
| type->flags |= LYS_SET_BIT; |
| break; |
| case LY_STMT_ENUM: |
| LY_CHECK_RET(parse_type_enum(ctx, kw, &type->enums)); |
| type->flags |= LYS_SET_ENUM; |
| break; |
| case LY_STMT_FRACTION_DIGITS: |
| LY_CHECK_RET(parse_type_fracdigits(ctx, &type->fraction_digits, &type->exts)); |
| type->flags |= LYS_SET_FRDIGITS; |
| break; |
| case LY_STMT_LENGTH: |
| if (type->length) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(kw)); |
| return LY_EVALID; |
| } |
| type->length = calloc(1, sizeof *type->length); |
| LY_CHECK_ERR_RET(!type->length, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| |
| LY_CHECK_RET(parse_restr(ctx, kw, type->length)); |
| type->flags |= LYS_SET_LENGTH; |
| break; |
| case LY_STMT_PATH: |
| if (type->path) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(LY_STMT_PATH)); |
| return LY_EVALID; |
| } |
| |
| /* Usually, in the parser_yang.c, the result of the parsing is stored directly in the |
| * corresponding structure, so in case of failure, the lysp_module_free function will take |
| * care of removing the parsed value from the dictionary. But in this case, it is not possible |
| * to rely on lysp_module_free because the result of the parsing is stored in a local variable. |
| */ |
| LY_CHECK_ERR_RET(ret = parse_text_field(ctx, LY_STMT_PATH, 0, &str_path, Y_STR_ARG, &type->exts), |
| lydict_remove(PARSER_CTX(ctx), str_path), ret); |
| ret = ly_path_parse(PARSER_CTX(ctx), NULL, str_path, 0, LY_PATH_BEGIN_EITHER, LY_PATH_LREF_TRUE, |
| LY_PATH_PREFIX_OPTIONAL, LY_PATH_PRED_LEAFREF, &type->path); |
| /* Moreover, even if successful, the string is removed from the dictionary. */ |
| lydict_remove(PARSER_CTX(ctx), str_path); |
| LY_CHECK_RET(ret); |
| type->flags |= LYS_SET_PATH; |
| break; |
| case LY_STMT_PATTERN: |
| LY_CHECK_RET(parse_type_pattern(ctx, &type->patterns)); |
| type->flags |= LYS_SET_PATTERN; |
| break; |
| case LY_STMT_RANGE: |
| if (type->range) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(kw)); |
| return LY_EVALID; |
| } |
| type->range = calloc(1, sizeof *type->range); |
| LY_CHECK_ERR_RET(!type->range, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| |
| LY_CHECK_RET(parse_restr(ctx, kw, type->range)); |
| type->flags |= LYS_SET_RANGE; |
| break; |
| case LY_STMT_REQUIRE_INSTANCE: |
| LY_CHECK_RET(parse_type_reqinstance(ctx, &type->require_instance, &type->flags, &type->exts)); |
| /* LYS_SET_REQINST checked and set inside parse_type_reqinstance() */ |
| break; |
| case LY_STMT_TYPE: |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), type->types, nest_type, LY_EMEM); |
| LY_CHECK_RET(parse_type(ctx, nest_type)); |
| type->flags |= LYS_SET_TYPE; |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_TYPE, 0, &type->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "type"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the leaf statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_leaf(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_leaf *leaf; |
| |
| /* create new leaf structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, leaf, next, LY_EMEM); |
| leaf->nodetype = LYS_LEAF; |
| leaf->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, leaf->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &leaf->flags, &leaf->exts)); |
| break; |
| case LY_STMT_DEFAULT: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DEFAULT, 0, &leaf->dflt.str, Y_STR_ARG, &leaf->exts)); |
| leaf->dflt.mod = ctx->parsed_mod; |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &leaf->dsc, Y_STR_ARG, &leaf->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &leaf->iffeatures, Y_STR_ARG, &leaf->exts)); |
| break; |
| case LY_STMT_MANDATORY: |
| LY_CHECK_RET(parse_mandatory(ctx, &leaf->flags, &leaf->exts)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &leaf->musts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &leaf->ref, Y_STR_ARG, &leaf->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &leaf->flags, &leaf->exts)); |
| break; |
| case LY_STMT_TYPE: |
| LY_CHECK_RET(parse_type(ctx, &leaf->type)); |
| break; |
| case LY_STMT_UNITS: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_UNITS, 0, &leaf->units, Y_STR_ARG, &leaf->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &leaf->when)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_LEAF, 0, &leaf->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "leaf"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| if (!leaf->type.name) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "type", "leaf"); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the max-elements statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] max Value to write to. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_maxelements(struct lys_yang_parser_ctx *ctx, uint32_t *max, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word, *ptr; |
| size_t word_len; |
| unsigned long int num; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_SET_MAX) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "max-elements"); |
| return LY_EVALID; |
| } |
| *flags |= LYS_SET_MAX; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if (!word_len || (word[0] == '0') || ((word[0] != 'u') && !isdigit(word[0]))) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "max-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| if (ly_strncmp("unbounded", word, word_len)) { |
| errno = 0; |
| num = strtoul(word, &ptr, LY_BASE_DEC); |
| /* we have not parsed the whole argument */ |
| if ((size_t)(ptr - word) != word_len) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "max-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| if ((errno == ERANGE) || (num > UINT32_MAX)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_OOB, word_len, word, "max-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| *max = num; |
| } else { |
| /* unbounded */ |
| *max = 0; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_MAX_ELEMENTS, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "max-elements"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the min-elements statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] min Value to write to. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_minelements(struct lys_yang_parser_ctx *ctx, uint32_t *min, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word, *ptr; |
| size_t word_len; |
| unsigned long int num; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_SET_MIN) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "min-elements"); |
| return LY_EVALID; |
| } |
| *flags |= LYS_SET_MIN; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if (!word_len || !isdigit(word[0]) || ((word[0] == '0') && (word_len > 1))) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "min-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| |
| errno = 0; |
| num = strtoul(word, &ptr, LY_BASE_DEC); |
| /* we have not parsed the whole argument */ |
| if ((size_t)(ptr - word) != word_len) { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "min-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| if ((errno == ERANGE) || (num > UINT32_MAX)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_OOB, word_len, word, "min-elements"); |
| free(buf); |
| return LY_EVALID; |
| } |
| *min = num; |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_MIN_ELEMENTS, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "min-elements"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the ordered-by statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_orderedby(struct lys_yang_parser_ctx *ctx, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_ORDBY_MASK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "ordered-by"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("system")) && !strncmp(word, "system", word_len)) { |
| *flags |= LYS_ORDBY_SYSTEM; |
| } else if ((word_len == ly_strlen_const("user")) && !strncmp(word, "user", word_len)) { |
| *flags |= LYS_ORDBY_USER; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "ordered-by"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_ORDERED_BY, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "ordered-by"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the leaf-list statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_leaflist(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_leaflist *llist; |
| |
| /* create new leaf-list structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, llist, next, LY_EMEM); |
| llist->nodetype = LYS_LEAFLIST; |
| llist->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, llist->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &llist->flags, &llist->exts)); |
| break; |
| case LY_STMT_DEFAULT: |
| PARSER_CHECK_STMTVER2_RET(ctx, "default", "leaf-list"); |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_DEFAULT, &llist->dflts, Y_STR_ARG, &llist->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &llist->dsc, Y_STR_ARG, &llist->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &llist->iffeatures, Y_STR_ARG, &llist->exts)); |
| break; |
| case LY_STMT_MAX_ELEMENTS: |
| LY_CHECK_RET(parse_maxelements(ctx, &llist->max, &llist->flags, &llist->exts)); |
| break; |
| case LY_STMT_MIN_ELEMENTS: |
| LY_CHECK_RET(parse_minelements(ctx, &llist->min, &llist->flags, &llist->exts)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &llist->musts)); |
| break; |
| case LY_STMT_ORDERED_BY: |
| LY_CHECK_RET(parse_orderedby(ctx, &llist->flags, &llist->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &llist->ref, Y_STR_ARG, &llist->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &llist->flags, &llist->exts)); |
| break; |
| case LY_STMT_TYPE: |
| LY_CHECK_RET(parse_type(ctx, &llist->type)); |
| break; |
| case LY_STMT_UNITS: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_UNITS, 0, &llist->units, Y_STR_ARG, &llist->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &llist->when)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_LEAF_LIST, 0, &llist->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "llist"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| if (!llist->type.name) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "type", "leaf-list"); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the refine statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] refines Refines to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_refine(struct lys_yang_parser_ctx *ctx, struct lysp_refine **refines) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_refine *rf; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *refines, rf, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| CHECK_NONEMPTY(ctx, word_len, "refine"); |
| INSERT_WORD_RET(ctx, buf, rf->nodeid, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &rf->flags, &rf->exts)); |
| break; |
| case LY_STMT_DEFAULT: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_DEFAULT, &rf->dflts, Y_STR_ARG, &rf->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &rf->dsc, Y_STR_ARG, &rf->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "if-feature", "refine"); |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &rf->iffeatures, Y_STR_ARG, &rf->exts)); |
| break; |
| case LY_STMT_MAX_ELEMENTS: |
| LY_CHECK_RET(parse_maxelements(ctx, &rf->max, &rf->flags, &rf->exts)); |
| break; |
| case LY_STMT_MIN_ELEMENTS: |
| LY_CHECK_RET(parse_minelements(ctx, &rf->min, &rf->flags, &rf->exts)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &rf->musts)); |
| break; |
| case LY_STMT_MANDATORY: |
| LY_CHECK_RET(parse_mandatory(ctx, &rf->flags, &rf->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &rf->ref, Y_STR_ARG, &rf->exts)); |
| break; |
| case LY_STMT_PRESENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_PRESENCE, 0, &rf->presence, Y_STR_ARG, &rf->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_REFINE, 0, &rf->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "refine"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the typedef statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] typedefs Typedefs to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_typedef(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_tpdf **typedefs) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_tpdf *tpdf; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *typedefs, tpdf, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, tpdf->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_DEFAULT: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DEFAULT, 0, &tpdf->dflt.str, Y_STR_ARG, &tpdf->exts)); |
| tpdf->dflt.mod = ctx->parsed_mod; |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &tpdf->dsc, Y_STR_ARG, &tpdf->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &tpdf->ref, Y_STR_ARG, &tpdf->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &tpdf->flags, &tpdf->exts)); |
| break; |
| case LY_STMT_TYPE: |
| LY_CHECK_RET(parse_type(ctx, &tpdf->type)); |
| break; |
| case LY_STMT_UNITS: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_UNITS, 0, &tpdf->units, Y_STR_ARG, &tpdf->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_TYPEDEF, 0, &tpdf->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "typedef"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| if (!tpdf->type.name) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "type", "typedef"); |
| return LY_EVALID; |
| } |
| |
| /* store data for collision check */ |
| if (parent && !(parent->nodetype & (LYS_GROUPING | LYS_RPC | LYS_ACTION | LYS_INPUT | LYS_OUTPUT | LYS_NOTIF))) { |
| LY_CHECK_RET(ly_set_add(&ctx->tpdfs_nodes, parent, 0, NULL)); |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the input or output statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in] kw Type of this particular keyword |
| * @param[in,out] inout_p Input/output pointer to write to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_inout(struct lys_yang_parser_ctx *ctx, enum ly_stmt inout_kw, struct lysp_node *parent, |
| struct lysp_node_action_inout *inout_p) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| ly_bool input = &((struct lysp_node_action *)parent)->input == inout_p ? 1 : 0; |
| |
| if (inout_p->nodetype) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(inout_kw)); |
| return LY_EVALID; |
| } |
| |
| /* initiate structure */ |
| LY_CHECK_RET(lydict_insert(PARSER_CTX(ctx), input ? "input" : "output", 0, &inout_p->name)); |
| inout_p->nodetype = input ? LYS_INPUT : LYS_OUTPUT; |
| inout_p->parent = parent; |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", ly_stmt2str(inout_kw)); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)inout_p, &inout_p->child)); |
| break; |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, (struct lysp_node *)inout_p, &inout_p->typedefs)); |
| break; |
| case LY_STMT_MUST: |
| PARSER_CHECK_STMTVER2_RET(ctx, "must", ly_stmt2str(inout_kw)); |
| LY_CHECK_RET(parse_restrs(ctx, kw, &inout_p->musts)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, (struct lysp_node *)inout_p, &inout_p->groupings)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, inout_kw, 0, &inout_p->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), ly_stmt2str(inout_kw)); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| |
| checks: |
| if (!inout_p->child) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "data-def-stmt", ly_stmt2str(inout_kw)); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the action statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] actions Actions to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_action(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node_action **actions) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_action *act; |
| |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), actions, act, next, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, act->name, word, word_len); |
| act->nodetype = parent ? LYS_ACTION : LYS_RPC; |
| act->parent = parent; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &act->dsc, Y_STR_ARG, &act->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &act->iffeatures, Y_STR_ARG, &act->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &act->ref, Y_STR_ARG, &act->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &act->flags, &act->exts)); |
| break; |
| |
| case LY_STMT_INPUT: |
| LY_CHECK_RET(parse_inout(ctx, kw, (struct lysp_node *)act, &act->input)); |
| break; |
| case LY_STMT_OUTPUT: |
| LY_CHECK_RET(parse_inout(ctx, kw, (struct lysp_node *)act, &act->output)); |
| break; |
| |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, (struct lysp_node *)act, &act->typedefs)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, (struct lysp_node *)act, &act->groupings)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, parent ? LY_STMT_ACTION : LY_STMT_RPC, 0, &act->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), parent ? "action" : "rpc"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| |
| checks: |
| /* always initialize inout, they are technically present (needed for later deviations/refines) */ |
| if (!act->input.nodetype) { |
| act->input.nodetype = LYS_INPUT; |
| act->input.parent = (struct lysp_node *)act; |
| LY_CHECK_RET(lydict_insert(PARSER_CTX(ctx), "input", 0, &act->input.name)); |
| } |
| if (!act->output.nodetype) { |
| act->output.nodetype = LYS_OUTPUT; |
| act->output.parent = (struct lysp_node *)act; |
| LY_CHECK_RET(lydict_insert(PARSER_CTX(ctx), "output", 0, &act->output.name)); |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the notification statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] notifs Notifications to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_notif(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node_notif **notifs) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_notif *notif; |
| |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), notifs, notif, next, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, notif->name, word, word_len); |
| notif->nodetype = LYS_NOTIF; |
| notif->parent = parent; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, ¬if->dsc, Y_STR_ARG, ¬if->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, ¬if->iffeatures, Y_STR_ARG, ¬if->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, ¬if->ref, Y_STR_ARG, ¬if->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, ¬if->flags, ¬if->exts)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "notification"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)notif, ¬if->child)); |
| break; |
| |
| case LY_STMT_MUST: |
| PARSER_CHECK_STMTVER2_RET(ctx, "must", "notification"); |
| LY_CHECK_RET(parse_restrs(ctx, kw, ¬if->musts)); |
| break; |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, (struct lysp_node *)notif, ¬if->typedefs)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, (struct lysp_node *)notif, ¬if->groupings)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_NOTIFICATION, 0, ¬if->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "notification"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the grouping statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] groupings Groupings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_grouping(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node_grp **groupings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_grp *grp; |
| |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), groupings, grp, next, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, grp->name, word, word_len); |
| grp->nodetype = LYS_GROUPING; |
| grp->parent = parent; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &grp->dsc, Y_STR_ARG, &grp->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &grp->ref, Y_STR_ARG, &grp->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &grp->flags, &grp->exts)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "grouping"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, &grp->node, &grp->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, &grp->node, &grp->child)); |
| break; |
| |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, &grp->node, &grp->typedefs)); |
| break; |
| case LY_STMT_ACTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "action", "grouping"); |
| LY_CHECK_RET(parse_action(ctx, &grp->node, &grp->actions)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, &grp->node, &grp->groupings)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "notification", "grouping"); |
| LY_CHECK_RET(parse_notif(ctx, &grp->node, &grp->notifs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_GROUPING, 0, &grp->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "grouping"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the augment statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] augments Augments to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_augment(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node_augment **augments) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_augment *aug; |
| |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), augments, aug, next, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| CHECK_NONEMPTY(ctx, word_len, "augment"); |
| INSERT_WORD_RET(ctx, buf, aug->nodeid, word, word_len); |
| aug->nodetype = LYS_AUGMENT; |
| aug->parent = parent; |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &aug->dsc, Y_STR_ARG, &aug->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &aug->iffeatures, Y_STR_ARG, &aug->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &aug->ref, Y_STR_ARG, &aug->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &aug->flags, &aug->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &aug->when)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "augment"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_CASE: |
| LY_CHECK_RET(parse_case(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)aug, &aug->child)); |
| break; |
| |
| case LY_STMT_ACTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "action", "augment"); |
| LY_CHECK_RET(parse_action(ctx, (struct lysp_node *)aug, &aug->actions)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "notification", "augment"); |
| LY_CHECK_RET(parse_notif(ctx, (struct lysp_node *)aug, &aug->notifs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_AUGMENT, 0, &aug->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "augment"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the uses statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_uses(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_uses *uses; |
| |
| /* create uses structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, uses, next, LY_EMEM); |
| uses->nodetype = LYS_USES; |
| uses->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_PREF_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, uses->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &uses->dsc, Y_STR_ARG, &uses->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &uses->iffeatures, Y_STR_ARG, &uses->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &uses->ref, Y_STR_ARG, &uses->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &uses->flags, &uses->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &uses->when)); |
| break; |
| |
| case LY_STMT_REFINE: |
| LY_CHECK_RET(parse_refine(ctx, &uses->refines)); |
| break; |
| case LY_STMT_AUGMENT: |
| LY_CHECK_RET(parse_augment(ctx, (struct lysp_node *)uses, &uses->augments)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_USES, 0, &uses->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "uses"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the case statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_case(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_case *cas; |
| |
| /* create new case structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, cas, next, LY_EMEM); |
| cas->nodetype = LYS_CASE; |
| cas->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, cas->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &cas->dsc, Y_STR_ARG, &cas->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &cas->iffeatures, Y_STR_ARG, &cas->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &cas->ref, Y_STR_ARG, &cas->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &cas->flags, &cas->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &cas->when)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "case"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)cas, &cas->child)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_CASE, 0, &cas->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "case"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the choice statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_choice(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_choice *choice; |
| |
| /* create new choice structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, choice, next, LY_EMEM); |
| choice->nodetype = LYS_CHOICE; |
| choice->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, choice->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &choice->flags, &choice->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &choice->dsc, Y_STR_ARG, &choice->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &choice->iffeatures, Y_STR_ARG, &choice->exts)); |
| break; |
| case LY_STMT_MANDATORY: |
| LY_CHECK_RET(parse_mandatory(ctx, &choice->flags, &choice->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &choice->ref, Y_STR_ARG, &choice->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &choice->flags, &choice->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &choice->when)); |
| break; |
| case LY_STMT_DEFAULT: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DEFAULT, 0, &choice->dflt.str, Y_PREF_IDENTIF_ARG, |
| &choice->exts)); |
| choice->dflt.mod = ctx->parsed_mod; |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "choice"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_CASE: |
| LY_CHECK_RET(parse_case(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_CHOICE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "choice", "choice"); |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)choice, &choice->child)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_CHOICE, 0, &choice->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "choice"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the container statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_container(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = 0; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_container *cont; |
| |
| /* create new container structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, cont, next, LY_EMEM); |
| cont->nodetype = LYS_CONTAINER; |
| cont->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, cont->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &cont->flags, &cont->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &cont->dsc, Y_STR_ARG, &cont->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &cont->iffeatures, Y_STR_ARG, &cont->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &cont->ref, Y_STR_ARG, &cont->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &cont->flags, &cont->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &cont->when)); |
| break; |
| case LY_STMT_PRESENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_PRESENCE, 0, &cont->presence, Y_STR_ARG, &cont->exts)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "container"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)cont, &cont->child)); |
| break; |
| |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, (struct lysp_node *)cont, &cont->typedefs)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &cont->musts)); |
| break; |
| case LY_STMT_ACTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "action", "container"); |
| LY_CHECK_RET(parse_action(ctx, (struct lysp_node *)cont, &cont->actions)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, (struct lysp_node *)cont, &cont->groupings)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "notification", "container"); |
| LY_CHECK_RET(parse_notif(ctx, (struct lysp_node *)cont, &cont->notifs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_CONTAINER, 0, &cont->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "container"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the list statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] siblings Siblings to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_list(struct lys_yang_parser_ctx *ctx, struct lysp_node *parent, struct lysp_node **siblings) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_node_list *list; |
| |
| /* create new list structure */ |
| LY_LIST_NEW_RET(PARSER_CTX(ctx), siblings, list, next, LY_EMEM); |
| list->nodetype = LYS_LIST; |
| list->parent = parent; |
| |
| /* get name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, list->name, word, word_len); |
| |
| /* parse substatements */ |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| LY_CHECK_RET(parse_config(ctx, &list->flags, &list->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &list->dsc, Y_STR_ARG, &list->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &list->iffeatures, Y_STR_ARG, &list->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &list->ref, Y_STR_ARG, &list->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &list->flags, &list->exts)); |
| break; |
| case LY_STMT_WHEN: |
| LY_CHECK_RET(parse_when(ctx, &list->when)); |
| break; |
| case LY_STMT_KEY: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_KEY, 0, &list->key, Y_STR_ARG, &list->exts)); |
| break; |
| case LY_STMT_MAX_ELEMENTS: |
| LY_CHECK_RET(parse_maxelements(ctx, &list->max, &list->flags, &list->exts)); |
| break; |
| case LY_STMT_MIN_ELEMENTS: |
| LY_CHECK_RET(parse_minelements(ctx, &list->min, &list->flags, &list->exts)); |
| break; |
| case LY_STMT_ORDERED_BY: |
| LY_CHECK_RET(parse_orderedby(ctx, &list->flags, &list->exts)); |
| break; |
| case LY_STMT_UNIQUE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_UNIQUE, &list->uniques, Y_STR_ARG, &list->exts)); |
| break; |
| |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "list"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, (struct lysp_node *)list, &list->child)); |
| break; |
| |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, (struct lysp_node *)list, &list->typedefs)); |
| break; |
| case LY_STMT_MUST: |
| LY_CHECK_RET(parse_restrs(ctx, kw, &list->musts)); |
| break; |
| case LY_STMT_ACTION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "action", "list"); |
| LY_CHECK_RET(parse_action(ctx, (struct lysp_node *)list, &list->actions)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, (struct lysp_node *)list, &list->groupings)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| PARSER_CHECK_STMTVER2_RET(ctx, "notification", "list"); |
| LY_CHECK_RET(parse_notif(ctx, (struct lysp_node *)list, &list->notifs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_LIST, 0, &list->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "list"); |
| return LY_EVALID; |
| } |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the yin-element statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_yinelement(struct lys_yang_parser_ctx *ctx, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*flags & LYS_YINELEM_MASK) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "yin-element"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("true")) && !strncmp(word, "true", word_len)) { |
| *flags |= LYS_YINELEM_TRUE; |
| } else if ((word_len == ly_strlen_const("false")) && !strncmp(word, "false", word_len)) { |
| *flags |= LYS_YINELEM_FALSE; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "yin-element"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_YIN_ELEMENT, 0, exts)); |
| LY_CHECK_RET(ret); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "yin-element"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the argument statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] argument Value to write to. |
| * @param[in,out] flags Flags to write to. |
| * @param[in,out] exts Extension instances to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_argument(struct lys_yang_parser_ctx *ctx, const char **argument, uint16_t *flags, struct lysp_ext_instance **exts) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| |
| if (*argument) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, "argument"); |
| return LY_EVALID; |
| } |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, *argument, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_YIN_ELEMENT: |
| LY_CHECK_RET(parse_yinelement(ctx, flags, exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_ARGUMENT, 0, exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "argument"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the extension statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] extensions Extensions to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| static LY_ERR |
| parse_extension(struct lys_yang_parser_ctx *ctx, struct lysp_ext **extensions) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_ext *ex; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *extensions, ex, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, ex->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &ex->dsc, Y_STR_ARG, &ex->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &ex->ref, Y_STR_ARG, &ex->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &ex->flags, &ex->exts)); |
| break; |
| case LY_STMT_ARGUMENT: |
| LY_CHECK_RET(parse_argument(ctx, &ex->argname, &ex->flags, &ex->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_EXTENSION, 0, &ex->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "extension"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the deviate statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] deviates Deviates to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_deviate(struct lys_yang_parser_ctx *ctx, struct lysp_deviate **deviates) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len, dev_mod; |
| enum ly_stmt kw; |
| struct lysp_deviate *d; |
| struct lysp_deviate_add *d_add = NULL; |
| struct lysp_deviate_rpl *d_rpl = NULL; |
| struct lysp_deviate_del *d_del = NULL; |
| const char **d_units = NULL; |
| struct lysp_qname **d_uniques = NULL, **d_dflts = NULL; |
| struct lysp_restr **d_musts = NULL; |
| uint16_t *d_flags = 0; |
| uint32_t *d_min = 0, *d_max = 0; |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| |
| if ((word_len == ly_strlen_const("not-supported")) && !strncmp(word, "not-supported", word_len)) { |
| dev_mod = LYS_DEV_NOT_SUPPORTED; |
| } else if ((word_len == ly_strlen_const("add")) && !strncmp(word, "add", word_len)) { |
| dev_mod = LYS_DEV_ADD; |
| } else if ((word_len == ly_strlen_const("replace")) && !strncmp(word, "replace", word_len)) { |
| dev_mod = LYS_DEV_REPLACE; |
| } else if ((word_len == ly_strlen_const("delete")) && !strncmp(word, "delete", word_len)) { |
| dev_mod = LYS_DEV_DELETE; |
| } else { |
| LOGVAL_PARSER(ctx, LY_VCODE_INVAL, word_len, word, "deviate"); |
| free(buf); |
| return LY_EVALID; |
| } |
| free(buf); |
| |
| /* create structure */ |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| d = calloc(1, sizeof *d); |
| LY_CHECK_ERR_RET(!d, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| break; |
| case LYS_DEV_ADD: |
| d_add = calloc(1, sizeof *d_add); |
| LY_CHECK_ERR_RET(!d_add, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| d = (struct lysp_deviate *)d_add; |
| d_units = &d_add->units; |
| d_uniques = &d_add->uniques; |
| d_dflts = &d_add->dflts; |
| d_musts = &d_add->musts; |
| d_flags = &d_add->flags; |
| d_min = &d_add->min; |
| d_max = &d_add->max; |
| break; |
| case LYS_DEV_REPLACE: |
| d_rpl = calloc(1, sizeof *d_rpl); |
| LY_CHECK_ERR_RET(!d_rpl, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| d = (struct lysp_deviate *)d_rpl; |
| d_units = &d_rpl->units; |
| d_flags = &d_rpl->flags; |
| d_min = &d_rpl->min; |
| d_max = &d_rpl->max; |
| break; |
| case LYS_DEV_DELETE: |
| d_del = calloc(1, sizeof *d_del); |
| LY_CHECK_ERR_RET(!d_del, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| d = (struct lysp_deviate *)d_del; |
| d_units = &d_del->units; |
| d_uniques = &d_del->uniques; |
| d_dflts = &d_del->dflts; |
| d_musts = &d_del->musts; |
| break; |
| default: |
| assert(0); |
| LOGINT_RET(PARSER_CTX(ctx)); |
| } |
| d->mod = dev_mod; |
| |
| /* insert into siblings */ |
| LY_LIST_INSERT(deviates, d, next); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_CONFIG: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_DELETE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_config(ctx, d_flags, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_DEFAULT: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| case LYS_DEV_REPLACE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DEFAULT, 0, &d_rpl->dflt.str, Y_STR_ARG, &d->exts)); |
| d_rpl->dflt.mod = ctx->parsed_mod; |
| break; |
| default: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_DEFAULT, d_dflts, Y_STR_ARG, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_MANDATORY: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_DELETE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_mandatory(ctx, d_flags, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_MAX_ELEMENTS: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_DELETE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_maxelements(ctx, d_max, d_flags, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_MIN_ELEMENTS: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_DELETE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_minelements(ctx, d_min, d_flags, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_MUST: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_REPLACE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_restrs(ctx, kw, d_musts)); |
| break; |
| } |
| break; |
| case LY_STMT_TYPE: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_ADD: |
| case LYS_DEV_DELETE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| if (d_rpl->type) { |
| LOGVAL_PARSER(ctx, LY_VCODE_DUPSTMT, ly_stmt2str(kw)); |
| return LY_EVALID; |
| } |
| d_rpl->type = calloc(1, sizeof *d_rpl->type); |
| LY_CHECK_ERR_RET(!d_rpl->type, LOGMEM(PARSER_CTX(ctx)), LY_EMEM); |
| LY_CHECK_RET(parse_type(ctx, d_rpl->type)); |
| break; |
| } |
| break; |
| case LY_STMT_UNIQUE: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| case LYS_DEV_REPLACE: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_UNIQUE, d_uniques, Y_STR_ARG, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_UNITS: |
| switch (dev_mod) { |
| case LYS_DEV_NOT_SUPPORTED: |
| LOGVAL_PARSER(ctx, LY_VCODE_INDEV, ly_devmod2str(dev_mod), ly_stmt2str(kw)); |
| return LY_EVALID; |
| default: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_UNITS, 0, d_units, Y_STR_ARG, &d->exts)); |
| break; |
| } |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_DEVIATE, 0, &d->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "deviate"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the deviation statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] deviations Deviations to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_deviation(struct lys_yang_parser_ctx *ctx, struct lysp_deviation **deviations) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_deviation *dev; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *deviations, dev, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_STR_ARG, NULL, &word, &buf, &word_len)); |
| CHECK_NONEMPTY(ctx, word_len, "deviation"); |
| INSERT_WORD_RET(ctx, buf, dev->nodeid, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &dev->dsc, Y_STR_ARG, &dev->exts)); |
| break; |
| case LY_STMT_DEVIATE: |
| LY_CHECK_RET(parse_deviate(ctx, &dev->deviates)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &dev->ref, Y_STR_ARG, &dev->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_DEVIATION, 0, &dev->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "deviation"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| checks: |
| /* mandatory substatements */ |
| if (!dev->deviates) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "deviate", "deviation"); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the feature statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] features Features to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_feature(struct lys_yang_parser_ctx *ctx, struct lysp_feature **features) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_feature *feat; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *features, feat, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, feat->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &feat->dsc, Y_STR_ARG, &feat->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &feat->iffeatures, Y_STR_ARG, &feat->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &feat->ref, Y_STR_ARG, &feat->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &feat->flags, &feat->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_FEATURE, 0, &feat->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "feature"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse the identity statement. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] identities Identities to add to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_identity(struct lys_yang_parser_ctx *ctx, struct lysp_ident **identities) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_ident *ident; |
| |
| LY_ARRAY_NEW_RET(PARSER_CTX(ctx), *identities, ident, LY_EMEM); |
| |
| /* get value */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, ident->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, return LY_SUCCESS, return ret) { |
| switch (kw) { |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &ident->dsc, Y_STR_ARG, &ident->exts)); |
| break; |
| case LY_STMT_IF_FEATURE: |
| PARSER_CHECK_STMTVER2_RET(ctx, "if-feature", "identity"); |
| LY_CHECK_RET(parse_qnames(ctx, LY_STMT_IF_FEATURE, &ident->iffeatures, Y_STR_ARG, &ident->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &ident->ref, Y_STR_ARG, &ident->exts)); |
| break; |
| case LY_STMT_STATUS: |
| LY_CHECK_RET(parse_status(ctx, &ident->flags, &ident->exts)); |
| break; |
| case LY_STMT_BASE: |
| if (ident->bases && (ctx->parsed_mod->version < LYS_VERSION_1_1)) { |
| LOGVAL_PARSER(ctx, LYVE_SYNTAX_YANG, "Identity can be derived from multiple base identities only in YANG 1.1 modules"); |
| return LY_EVALID; |
| } |
| LY_CHECK_RET(parse_text_fields(ctx, LY_STMT_BASE, &ident->bases, Y_PREF_IDENTIF_ARG, &ident->exts)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_IDENTITY, 0, &ident->exts)); |
| break; |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "identity"); |
| return LY_EVALID; |
| } |
| } |
| return ret; |
| } |
| |
| /** |
| * @brief Parse module substatements. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[in,out] mod Module to write to. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_module(struct lys_yang_parser_ctx *ctx, struct lysp_module *mod) |
| { |
| LY_ERR ret = 0; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw, prev_kw = 0; |
| enum yang_module_stmt mod_stmt = Y_MOD_MODULE_HEADER; |
| const struct lysp_submodule *dup; |
| |
| mod->is_submod = 0; |
| |
| /* module name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, mod->mod->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| |
| #define CHECK_ORDER(SECTION) \ |
| if (mod_stmt > SECTION) {LOGVAL_PARSER(ctx, LY_VCODE_INORD, ly_stmt2str(kw), ly_stmt2str(prev_kw)); return LY_EVALID;}mod_stmt = SECTION |
| |
| switch (kw) { |
| /* module header */ |
| case LY_STMT_NAMESPACE: |
| case LY_STMT_PREFIX: |
| CHECK_ORDER(Y_MOD_MODULE_HEADER); |
| break; |
| case LY_STMT_YANG_VERSION: |
| CHECK_ORDER(Y_MOD_MODULE_HEADER); |
| break; |
| /* linkage */ |
| case LY_STMT_INCLUDE: |
| case LY_STMT_IMPORT: |
| CHECK_ORDER(Y_MOD_LINKAGE); |
| break; |
| /* meta */ |
| case LY_STMT_ORGANIZATION: |
| case LY_STMT_CONTACT: |
| case LY_STMT_DESCRIPTION: |
| case LY_STMT_REFERENCE: |
| CHECK_ORDER(Y_MOD_META); |
| break; |
| |
| /* revision */ |
| case LY_STMT_REVISION: |
| CHECK_ORDER(Y_MOD_REVISION); |
| break; |
| /* body */ |
| case LY_STMT_ANYDATA: |
| case LY_STMT_ANYXML: |
| case LY_STMT_AUGMENT: |
| case LY_STMT_CHOICE: |
| case LY_STMT_CONTAINER: |
| case LY_STMT_DEVIATION: |
| case LY_STMT_EXTENSION: |
| case LY_STMT_FEATURE: |
| case LY_STMT_GROUPING: |
| case LY_STMT_IDENTITY: |
| case LY_STMT_LEAF: |
| case LY_STMT_LEAF_LIST: |
| case LY_STMT_LIST: |
| case LY_STMT_NOTIFICATION: |
| case LY_STMT_RPC: |
| case LY_STMT_TYPEDEF: |
| case LY_STMT_USES: |
| case LY_STMT_EXTENSION_INSTANCE: |
| mod_stmt = Y_MOD_BODY; |
| break; |
| default: |
| /* error handled in the next switch */ |
| break; |
| } |
| #undef CHECK_ORDER |
| |
| prev_kw = kw; |
| switch (kw) { |
| /* module header */ |
| case LY_STMT_YANG_VERSION: |
| LY_CHECK_RET(parse_yangversion(ctx, &mod->version, &mod->exts)); |
| break; |
| case LY_STMT_NAMESPACE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_NAMESPACE, 0, &mod->mod->ns, Y_STR_ARG, &mod->exts)); |
| break; |
| case LY_STMT_PREFIX: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_PREFIX, 0, &mod->mod->prefix, Y_IDENTIF_ARG, &mod->exts)); |
| break; |
| |
| /* linkage */ |
| case LY_STMT_INCLUDE: |
| LY_CHECK_RET(parse_include(ctx, mod->mod->name, &mod->includes)); |
| break; |
| case LY_STMT_IMPORT: |
| LY_CHECK_RET(parse_import(ctx, mod->mod->prefix, &mod->imports)); |
| break; |
| |
| /* meta */ |
| case LY_STMT_ORGANIZATION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ORGANIZATION, 0, &mod->mod->org, Y_STR_ARG, &mod->exts)); |
| break; |
| case LY_STMT_CONTACT: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_CONTACT, 0, &mod->mod->contact, Y_STR_ARG, &mod->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &mod->mod->dsc, Y_STR_ARG, &mod->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &mod->mod->ref, Y_STR_ARG, &mod->exts)); |
| break; |
| |
| /* revision */ |
| case LY_STMT_REVISION: |
| LY_CHECK_RET(parse_revision(ctx, &mod->revs)); |
| break; |
| |
| /* body */ |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "module"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, NULL, &mod->data)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, NULL, &mod->data)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, NULL, &mod->data)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, NULL, &mod->data)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, NULL, &mod->data)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, NULL, &mod->data)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, NULL, &mod->data)); |
| break; |
| |
| case LY_STMT_AUGMENT: |
| LY_CHECK_RET(parse_augment(ctx, NULL, &mod->augments)); |
| break; |
| case LY_STMT_DEVIATION: |
| LY_CHECK_RET(parse_deviation(ctx, &mod->deviations)); |
| break; |
| case LY_STMT_EXTENSION: |
| LY_CHECK_RET(parse_extension(ctx, &mod->extensions)); |
| break; |
| case LY_STMT_FEATURE: |
| LY_CHECK_RET(parse_feature(ctx, &mod->features)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, NULL, &mod->groupings)); |
| break; |
| case LY_STMT_IDENTITY: |
| LY_CHECK_RET(parse_identity(ctx, &mod->identities)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| LY_CHECK_RET(parse_notif(ctx, NULL, &mod->notifs)); |
| break; |
| case LY_STMT_RPC: |
| LY_CHECK_RET(parse_action(ctx, NULL, &mod->rpcs)); |
| break; |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, NULL, &mod->typedefs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_MODULE, 0, &mod->exts)); |
| break; |
| |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "module"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| |
| checks: |
| /* mandatory substatements */ |
| if (!mod->mod->ns) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "namespace", "module"); |
| return LY_EVALID; |
| } else if (!mod->mod->prefix) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "prefix", "module"); |
| return LY_EVALID; |
| } |
| |
| /* submodules share the namespace with the module names, so there must not be |
| * a submodule of the same name in the context, no need for revision matching */ |
| dup = ly_ctx_get_submodule_latest(PARSER_CTX(ctx), mod->mod->name); |
| if (dup) { |
| LOGVAL_PARSER(ctx, LY_VCODE_NAME2_COL, "module", "submodule", mod->mod->name); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Parse submodule substatements. |
| * |
| * @param[in] ctx yang parser context for logging. |
| * @param[out] submod Parsed submodule structure. |
| * |
| * @return LY_ERR values. |
| */ |
| LY_ERR |
| parse_submodule(struct lys_yang_parser_ctx *ctx, struct lysp_submodule *submod) |
| { |
| LY_ERR ret = 0; |
| char *buf, *word; |
| size_t word_len; |
| enum ly_stmt kw, prev_kw = 0; |
| enum yang_module_stmt mod_stmt = Y_MOD_MODULE_HEADER; |
| const struct lysp_submodule *dup; |
| |
| submod->is_submod = 1; |
| |
| /* submodule name */ |
| LY_CHECK_RET(get_argument(ctx, Y_IDENTIF_ARG, NULL, &word, &buf, &word_len)); |
| INSERT_WORD_RET(ctx, buf, submod->name, word, word_len); |
| |
| YANG_READ_SUBSTMT_FOR(ctx, kw, word, word_len, ret, goto checks, return ret) { |
| |
| #define CHECK_ORDER(SECTION) \ |
| if (mod_stmt > SECTION) {LOGVAL_PARSER(ctx, LY_VCODE_INORD, ly_stmt2str(kw), ly_stmt2str(prev_kw)); return LY_EVALID;}mod_stmt = SECTION |
| |
| switch (kw) { |
| /* module header */ |
| case LY_STMT_BELONGS_TO: |
| CHECK_ORDER(Y_MOD_MODULE_HEADER); |
| break; |
| case LY_STMT_YANG_VERSION: |
| CHECK_ORDER(Y_MOD_MODULE_HEADER); |
| break; |
| /* linkage */ |
| case LY_STMT_INCLUDE: |
| case LY_STMT_IMPORT: |
| CHECK_ORDER(Y_MOD_LINKAGE); |
| break; |
| /* meta */ |
| case LY_STMT_ORGANIZATION: |
| case LY_STMT_CONTACT: |
| case LY_STMT_DESCRIPTION: |
| case LY_STMT_REFERENCE: |
| CHECK_ORDER(Y_MOD_META); |
| break; |
| |
| /* revision */ |
| case LY_STMT_REVISION: |
| CHECK_ORDER(Y_MOD_REVISION); |
| break; |
| /* body */ |
| case LY_STMT_ANYDATA: |
| case LY_STMT_ANYXML: |
| case LY_STMT_AUGMENT: |
| case LY_STMT_CHOICE: |
| case LY_STMT_CONTAINER: |
| case LY_STMT_DEVIATION: |
| case LY_STMT_EXTENSION: |
| case LY_STMT_FEATURE: |
| case LY_STMT_GROUPING: |
| case LY_STMT_IDENTITY: |
| case LY_STMT_LEAF: |
| case LY_STMT_LEAF_LIST: |
| case LY_STMT_LIST: |
| case LY_STMT_NOTIFICATION: |
| case LY_STMT_RPC: |
| case LY_STMT_TYPEDEF: |
| case LY_STMT_USES: |
| case LY_STMT_EXTENSION_INSTANCE: |
| mod_stmt = Y_MOD_BODY; |
| break; |
| default: |
| /* error handled in the next switch */ |
| break; |
| } |
| #undef CHECK_ORDER |
| |
| prev_kw = kw; |
| switch (kw) { |
| /* module header */ |
| case LY_STMT_YANG_VERSION: |
| LY_CHECK_RET(parse_yangversion(ctx, &submod->version, &submod->exts)); |
| break; |
| case LY_STMT_BELONGS_TO: |
| LY_CHECK_RET(parse_belongsto(ctx, &submod->prefix, &submod->exts)); |
| break; |
| |
| /* linkage */ |
| case LY_STMT_INCLUDE: |
| if (submod->version == LYS_VERSION_1_1) { |
| LOGWRN(PARSER_CTX(ctx), "YANG version 1.1 expects all includes in main module, includes in submodules (%s) are not necessary.", |
| submod->name); |
| } |
| LY_CHECK_RET(parse_include(ctx, submod->name, &submod->includes)); |
| break; |
| case LY_STMT_IMPORT: |
| LY_CHECK_RET(parse_import(ctx, submod->prefix, &submod->imports)); |
| break; |
| |
| /* meta */ |
| case LY_STMT_ORGANIZATION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_ORGANIZATION, 0, &submod->org, Y_STR_ARG, &submod->exts)); |
| break; |
| case LY_STMT_CONTACT: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_CONTACT, 0, &submod->contact, Y_STR_ARG, &submod->exts)); |
| break; |
| case LY_STMT_DESCRIPTION: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_DESCRIPTION, 0, &submod->dsc, Y_STR_ARG, &submod->exts)); |
| break; |
| case LY_STMT_REFERENCE: |
| LY_CHECK_RET(parse_text_field(ctx, LY_STMT_REFERENCE, 0, &submod->ref, Y_STR_ARG, &submod->exts)); |
| break; |
| |
| /* revision */ |
| case LY_STMT_REVISION: |
| LY_CHECK_RET(parse_revision(ctx, &submod->revs)); |
| break; |
| |
| /* body */ |
| case LY_STMT_ANYDATA: |
| PARSER_CHECK_STMTVER2_RET(ctx, "anydata", "submodule"); |
| /* fall through */ |
| case LY_STMT_ANYXML: |
| LY_CHECK_RET(parse_any(ctx, kw, NULL, &submod->data)); |
| break; |
| case LY_STMT_CHOICE: |
| LY_CHECK_RET(parse_choice(ctx, NULL, &submod->data)); |
| break; |
| case LY_STMT_CONTAINER: |
| LY_CHECK_RET(parse_container(ctx, NULL, &submod->data)); |
| break; |
| case LY_STMT_LEAF: |
| LY_CHECK_RET(parse_leaf(ctx, NULL, &submod->data)); |
| break; |
| case LY_STMT_LEAF_LIST: |
| LY_CHECK_RET(parse_leaflist(ctx, NULL, &submod->data)); |
| break; |
| case LY_STMT_LIST: |
| LY_CHECK_RET(parse_list(ctx, NULL, &submod->data)); |
| break; |
| case LY_STMT_USES: |
| LY_CHECK_RET(parse_uses(ctx, NULL, &submod->data)); |
| break; |
| |
| case LY_STMT_AUGMENT: |
| LY_CHECK_RET(parse_augment(ctx, NULL, &submod->augments)); |
| break; |
| case LY_STMT_DEVIATION: |
| LY_CHECK_RET(parse_deviation(ctx, &submod->deviations)); |
| break; |
| case LY_STMT_EXTENSION: |
| LY_CHECK_RET(parse_extension(ctx, &submod->extensions)); |
| break; |
| case LY_STMT_FEATURE: |
| LY_CHECK_RET(parse_feature(ctx, &submod->features)); |
| break; |
| case LY_STMT_GROUPING: |
| LY_CHECK_RET(parse_grouping(ctx, NULL, &submod->groupings)); |
| break; |
| case LY_STMT_IDENTITY: |
| LY_CHECK_RET(parse_identity(ctx, &submod->identities)); |
| break; |
| case LY_STMT_NOTIFICATION: |
| LY_CHECK_RET(parse_notif(ctx, NULL, &submod->notifs)); |
| break; |
| case LY_STMT_RPC: |
| LY_CHECK_RET(parse_action(ctx, NULL, &submod->rpcs)); |
| break; |
| case LY_STMT_TYPEDEF: |
| LY_CHECK_RET(parse_typedef(ctx, NULL, &submod->typedefs)); |
| break; |
| case LY_STMT_EXTENSION_INSTANCE: |
| LY_CHECK_RET(parse_ext(ctx, word, word_len, LY_STMT_SUBMODULE, 0, &submod->exts)); |
| break; |
| |
| default: |
| LOGVAL_PARSER(ctx, LY_VCODE_INCHILDSTMT, ly_stmt2str(kw), "submodule"); |
| return LY_EVALID; |
| } |
| } |
| LY_CHECK_RET(ret); |
| |
| checks: |
| /* mandatory substatements */ |
| if (!submod->prefix) { |
| LOGVAL_PARSER(ctx, LY_VCODE_MISSTMT, "belongs-to", "submodule"); |
| return LY_EVALID; |
| } |
| |
| /* submodules share the namespace with the module names, so there must not be |
| * a submodule of the same name in the context, no need for revision matching */ |
| dup = ly_ctx_get_submodule_latest(PARSER_CTX(ctx), submod->name); |
| /* main modules may have different revisions */ |
| if (dup && strcmp(dup->mod->name, submod->mod->name)) { |
| LOGVAL_PARSER(ctx, LY_VCODE_NAME_COL, "submodules", dup->name); |
| return LY_EVALID; |
| } |
| |
| return ret; |
| } |
| |
| /** |
| * @brief Skip any redundant characters, namely whitespaces and comments. |
| * |
| * @param[in] ctx Yang parser context. |
| * @return LY_SUCCESS on success. |
| * @return LY_EVALID on invalid comment. |
| */ |
| static LY_ERR |
| skip_redundant_chars(struct lys_yang_parser_ctx *ctx) |
| { |
| /* read some trailing spaces, new lines, or comments */ |
| while (ctx->in->current[0]) { |
| if (!strncmp(ctx->in->current, "//", 2)) { |
| /* one-line comment */ |
| ly_in_skip(ctx->in, 2); |
| LY_CHECK_RET(skip_comment(ctx, 1)); |
| } else if (!strncmp(ctx->in->current, "/*", 2)) { |
| /* block comment */ |
| ly_in_skip(ctx->in, 2); |
| LY_CHECK_RET(skip_comment(ctx, 2)); |
| } else if (isspace(ctx->in->current[0])) { |
| /* whitespace */ |
| if (ctx->in->current[0] == '\n') { |
| LY_IN_NEW_LINE(ctx->in); |
| } |
| ly_in_skip(ctx->in, 1); |
| } else { |
| break; |
| } |
| } |
| |
| return LY_SUCCESS; |
| } |
| |
| LY_ERR |
| yang_parse_submodule(struct lys_yang_parser_ctx **context, struct ly_ctx *ly_ctx, struct lys_parser_ctx *main_ctx, |
| struct ly_in *in, struct lysp_submodule **submod) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_submodule *mod_p = NULL; |
| |
| /* create context */ |
| *context = calloc(1, sizeof **context); |
| LY_CHECK_ERR_RET(!(*context), LOGMEM(ly_ctx), LY_EMEM); |
| (*context)->format = LYS_IN_YANG; |
| (*context)->unres = main_ctx->unres; |
| (*context)->in = in; |
| |
| mod_p = calloc(1, sizeof *mod_p); |
| LY_CHECK_ERR_GOTO(!mod_p, LOGMEM(ly_ctx); ret = LY_EMEM, cleanup); |
| mod_p->mod = main_ctx->parsed_mod->mod; |
| mod_p->parsing = 1; |
| (*context)->parsed_mod = (struct lysp_module *)mod_p; |
| |
| LOG_LOCINIT(NULL, NULL, NULL, in); |
| |
| /* map the typedefs and groupings list from main context to the submodule's context */ |
| memcpy(&(*context)->tpdfs_nodes, &main_ctx->tpdfs_nodes, sizeof main_ctx->tpdfs_nodes); |
| memcpy(&(*context)->grps_nodes, &main_ctx->grps_nodes, sizeof main_ctx->grps_nodes); |
| |
| /* skip redundant but valid characters at the beginning */ |
| ret = skip_redundant_chars(*context); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| /* "module"/"submodule" */ |
| ret = get_keyword(*context, &kw, &word, &word_len); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| if (kw == LY_STMT_MODULE) { |
| LOGERR(ly_ctx, LY_EDENIED, "Input data contains module in situation when a submodule is expected."); |
| ret = LY_EINVAL; |
| goto cleanup; |
| } else if (kw != LY_STMT_SUBMODULE) { |
| LOGVAL_PARSER(*context, LY_VCODE_MOD_SUBOMD, ly_stmt2str(kw)); |
| ret = LY_EVALID; |
| goto cleanup; |
| } |
| |
| /* substatements */ |
| ret = parse_submodule(*context, mod_p); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| /* skip redundant but valid characters at the end */ |
| ret = skip_redundant_chars(*context); |
| LY_CHECK_GOTO(ret, cleanup); |
| if (in->current[0]) { |
| LOGVAL_PARSER(*context, LY_VCODE_TRAILING_SUBMOD, 15, in->current, strlen(in->current) > 15 ? "..." : ""); |
| ret = LY_EVALID; |
| goto cleanup; |
| } |
| |
| mod_p->parsing = 0; |
| *submod = mod_p; |
| |
| cleanup: |
| LOG_LOCBACK(0, 0, 0, 1); |
| if (ret) { |
| lysp_module_free((struct lysp_module *)mod_p); |
| yang_parser_ctx_free(*context); |
| *context = NULL; |
| } |
| |
| return ret; |
| } |
| |
| LY_ERR |
| yang_parse_module(struct lys_yang_parser_ctx **context, struct ly_in *in, struct lys_module *mod, struct lys_glob_unres *unres) |
| { |
| LY_ERR ret = LY_SUCCESS; |
| char *word; |
| size_t word_len; |
| enum ly_stmt kw; |
| struct lysp_module *mod_p = NULL; |
| |
| /* create context */ |
| *context = calloc(1, sizeof **context); |
| LY_CHECK_ERR_RET(!(*context), LOGMEM(mod->ctx), LY_EMEM); |
| (*context)->format = LYS_IN_YANG; |
| (*context)->unres = unres; |
| (*context)->in = in; |
| |
| mod_p = calloc(1, sizeof *mod_p); |
| LY_CHECK_ERR_GOTO(!mod_p, LOGMEM(mod->ctx), cleanup); |
| mod_p->mod = mod; |
| mod_p->parsing = 1; |
| (*context)->parsed_mod = mod_p; |
| |
| LOG_LOCINIT(NULL, NULL, NULL, in); |
| |
| /* skip redundant but valid characters at the beginning */ |
| ret = skip_redundant_chars(*context); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| /* "module"/"submodule" */ |
| ret = get_keyword(*context, &kw, &word, &word_len); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| if (kw == LY_STMT_SUBMODULE) { |
| LOGERR(mod->ctx, LY_EDENIED, "Input data contains submodule which cannot be parsed directly without its main module."); |
| ret = LY_EINVAL; |
| goto cleanup; |
| } else if (kw != LY_STMT_MODULE) { |
| LOGVAL_PARSER((*context), LY_VCODE_MOD_SUBOMD, ly_stmt2str(kw)); |
| ret = LY_EVALID; |
| goto cleanup; |
| } |
| |
| /* substatements */ |
| ret = parse_module(*context, mod_p); |
| LY_CHECK_GOTO(ret, cleanup); |
| |
| /* skip redundant but valid characters at the end */ |
| ret = skip_redundant_chars(*context); |
| LY_CHECK_GOTO(ret, cleanup); |
| if (in->current[0]) { |
| LOGVAL_PARSER(*context, LY_VCODE_TRAILING_MOD, 15, in->current, strlen(in->current) > 15 ? "..." : ""); |
| ret = LY_EVALID; |
| goto cleanup; |
| } |
| |
| mod_p->parsing = 0; |
| mod->parsed = mod_p; |
| |
| cleanup: |
| LOG_LOCBACK(0, 0, 0, 1); |
| if (ret) { |
| lysp_module_free(mod_p); |
| yang_parser_ctx_free(*context); |
| *context = NULL; |
| } |
| |
| return ret; |
| } |