Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 1 | /** |
Radek Krejci | efdd0ce | 2015-05-26 16:48:29 +0200 | [diff] [blame] | 2 | * @file parser.h |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 3 | * @author Radek Krejci <rkrejci@cesnet.cz> |
Radek Krejci | efdd0ce | 2015-05-26 16:48:29 +0200 | [diff] [blame] | 4 | * @brief Parsers for libyang |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 5 | * |
| 6 | * Copyright (c) 2015 CESNET, z.s.p.o. |
| 7 | * |
Radek Krejci | 54f6fb3 | 2016-02-24 12:56:39 +0100 | [diff] [blame] | 8 | * This source code is licensed under BSD 3-Clause License (the "License"). |
| 9 | * You may not use this file except in compliance with the License. |
| 10 | * You may obtain a copy of the License at |
Michal Vasko | 8de098c | 2016-02-26 10:00:25 +0100 | [diff] [blame] | 11 | * |
Radek Krejci | 54f6fb3 | 2016-02-24 12:56:39 +0100 | [diff] [blame] | 12 | * https://opensource.org/licenses/BSD-3-Clause |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 13 | */ |
| 14 | |
Radek Krejci | efdd0ce | 2015-05-26 16:48:29 +0200 | [diff] [blame] | 15 | #ifndef LY_PARSER_H_ |
| 16 | #define LY_PARSER_H_ |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 17 | |
Michal Vasko | 0aee5c1 | 2016-06-17 14:27:26 +0200 | [diff] [blame] | 18 | #include <pcre.h> |
Radek Krejci | b7970f2 | 2017-03-17 16:12:12 +0100 | [diff] [blame] | 19 | #include <sys/mman.h> |
Michal Vasko | 0aee5c1 | 2016-06-17 14:27:26 +0200 | [diff] [blame] | 20 | |
Radek Krejci | 3045cf3 | 2015-05-28 10:58:52 +0200 | [diff] [blame] | 21 | #include "libyang.h" |
Michal Vasko | 2d162e1 | 2015-09-24 14:33:29 +0200 | [diff] [blame] | 22 | #include "tree_schema.h" |
Michal Vasko | c3d9f8c | 2015-07-31 14:37:24 +0200 | [diff] [blame] | 23 | #include "tree_internal.h" |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 24 | |
| 25 | /** |
| 26 | * @defgroup yin YIN format support |
| 27 | * @{ |
| 28 | */ |
Radek Krejci | ff4874d | 2016-03-07 12:30:50 +0100 | [diff] [blame] | 29 | struct lys_module *yin_read_module(struct ly_ctx *ctx, const char *data, const char *revision, int implement); |
| 30 | struct lys_submodule *yin_read_submodule(struct lys_module *module, const char *data,struct unres_schema *unres); |
Radek Krejci | 3045cf3 | 2015-05-28 10:58:52 +0200 | [diff] [blame] | 31 | |
| 32 | /**@} yin */ |
Radek Krejci | da04f4a | 2015-05-21 12:54:09 +0200 | [diff] [blame] | 33 | |
Radek Krejci | b20c62d | 2015-07-07 17:07:14 +0200 | [diff] [blame] | 34 | /** |
| 35 | * @defgroup xmldata XML data format support |
| 36 | * @{ |
| 37 | */ |
Radek Krejci | 25b9fd3 | 2015-08-10 15:06:07 +0200 | [diff] [blame] | 38 | struct lyd_node *xml_read_data(struct ly_ctx *ctx, const char *data, int options); |
Radek Krejci | b20c62d | 2015-07-07 17:07:14 +0200 | [diff] [blame] | 39 | |
| 40 | /**@} xmldata */ |
| 41 | |
Radek Krejci | 5449d47 | 2015-10-26 14:35:56 +0100 | [diff] [blame] | 42 | /** |
| 43 | * @defgroup jsondata JSON data format support |
| 44 | * @{ |
| 45 | */ |
Michal Vasko | 945b96b | 2016-10-18 11:49:12 +0200 | [diff] [blame] | 46 | struct lyd_node *lyd_parse_json(struct ly_ctx *ctx, const char *data, int options, const struct lyd_node *rpc_act, |
| 47 | const struct lyd_node *data_tree); |
Radek Krejci | 5449d47 | 2015-10-26 14:35:56 +0100 | [diff] [blame] | 48 | |
| 49 | /**@} jsondata */ |
| 50 | |
Radek Krejci | 7212e0a | 2017-03-08 15:58:22 +0100 | [diff] [blame] | 51 | /** |
Radek Krejci | cf74825 | 2017-09-04 11:11:14 +0200 | [diff] [blame] | 52 | * thread-specific information describing the parser's current context |
| 53 | */ |
| 54 | struct ly_parser { |
| 55 | struct ly_ctx *ctx; |
| 56 | /* TODO |
| 57 | union { |
| 58 | struct lys_node *schema; |
| 59 | struct lyd_node *data; |
| 60 | } node; |
| 61 | */ |
| 62 | }; |
| 63 | extern THREAD_LOCAL struct ly_parser ly_parser_data; |
| 64 | |
| 65 | /** |
Radek Krejci | 7212e0a | 2017-03-08 15:58:22 +0100 | [diff] [blame] | 66 | * internal options values for schema parsers |
| 67 | */ |
| 68 | #define LYS_PARSE_OPT_CFG_NOINHERIT 0x01 /**< do not inherit config flag */ |
| 69 | #define LYS_PARSE_OPT_CFG_IGNORE 0x02 /**< ignore config flag (in rpc, actions, notifications) */ |
| 70 | #define LYS_PARSE_OPT_CFG_MASK 0x03 |
| 71 | #define LYS_PARSE_OPT_INGRP 0x04 /**< flag to know that parser is inside a grouping */ |
| 72 | |
Radek Krejci | 06a9aa0 | 2017-02-17 10:50:24 +0100 | [diff] [blame] | 73 | /* list of YANG statement strings */ |
| 74 | extern const char *ly_stmt_str[]; |
| 75 | |
Radek Krejci | c655602 | 2016-01-27 15:16:45 +0100 | [diff] [blame] | 76 | enum LY_IDENT { |
| 77 | LY_IDENT_SIMPLE, /* only syntax rules */ |
| 78 | LY_IDENT_FEATURE, |
| 79 | LY_IDENT_IDENTITY, |
| 80 | LY_IDENT_TYPE, |
| 81 | LY_IDENT_NODE, |
| 82 | LY_IDENT_NAME, /* uniqueness across the siblings */ |
Radek Krejci | a1a6b76 | 2016-11-14 09:53:38 +0900 | [diff] [blame] | 83 | LY_IDENT_PREFIX, |
| 84 | LY_IDENT_EXTENSION |
Radek Krejci | c655602 | 2016-01-27 15:16:45 +0100 | [diff] [blame] | 85 | }; |
Radek Krejci | 07d0fb9 | 2017-01-13 14:11:05 +0100 | [diff] [blame] | 86 | int lyp_yin_fill_ext(void *parent, LYEXT_PAR parent_type, LYEXT_SUBSTMT substmt, uint8_t substmt_index, |
Radek Krejci | 2b999ac | 2017-01-18 16:22:12 +0100 | [diff] [blame] | 87 | struct lys_module *module, struct lyxml_elem *yin, struct lys_ext_instance ***ext, |
| 88 | uint8_t ext_index, struct unres_schema *unres); |
Radek Krejci | 63a91a9 | 2015-07-29 13:31:04 +0200 | [diff] [blame] | 89 | |
Radek Krejci | 8d6b742 | 2017-02-03 14:42:13 +0100 | [diff] [blame] | 90 | int lyp_yin_parse_complex_ext(struct lys_module *mod, struct lys_ext_instance_complex *ext, |
| 91 | struct lyxml_elem *yin, struct unres_schema *unres); |
| 92 | int lyp_yin_parse_subnode_ext(struct lys_module *mod, void *elem, LYEXT_PAR elem_type, |
| 93 | struct lyxml_elem *yin, LYEXT_SUBSTMT type, uint8_t i, struct unres_schema *unres); |
| 94 | |
Michal Vasko | 5a721fd | 2016-02-16 12:16:48 +0100 | [diff] [blame] | 95 | struct lys_module *lyp_search_file(struct ly_ctx *ctx, struct lys_module *module, const char *name, |
Michal Vasko | 58e5f3e | 2016-07-28 11:06:34 +0200 | [diff] [blame] | 96 | const char *revision, int implement, struct unres_schema *unres); |
Michal Vasko | 8ea2b7f | 2015-09-29 14:30:53 +0200 | [diff] [blame] | 97 | |
Michal Vasko | 8ea2b7f | 2015-09-29 14:30:53 +0200 | [diff] [blame] | 98 | struct lys_type *lyp_get_next_union_type(struct lys_type *type, struct lys_type *prev_type, int *found); |
| 99 | |
Michal Vasko | 7675c62 | 2017-03-02 10:50:07 +0100 | [diff] [blame] | 100 | /* return: 0 - ret set, ok; 1 - ret not set, no log, unknown meta; -1 - ret not set, log, fatal error */ |
| 101 | int lyp_fill_attr(struct ly_ctx *ctx, struct lyd_node *parent, const char *module_ns, const char *module_name, |
| 102 | const char *attr_name, const char *attr_value, struct lyxml_elem *xml, struct lyd_attr **ret); |
| 103 | |
| 104 | int lyp_check_edit_attr(struct ly_ctx *ctx, struct lyd_attr *attr, struct lyd_node *parent, int *editbits); |
| 105 | |
Radek Krejci | 1899d6a | 2016-11-03 13:48:07 +0100 | [diff] [blame] | 106 | struct lys_type *lyp_parse_value(struct lys_type *type, const char **value_, struct lyxml_elem *xml, |
Radek Krejci | a571d94 | 2017-02-24 09:26:49 +0100 | [diff] [blame] | 107 | struct lyd_node_leaf_list *leaf, struct lyd_attr *attr, int store, int dflt); |
Radek Krejci | 6dc53a2 | 2015-08-17 13:27:59 +0200 | [diff] [blame] | 108 | |
| 109 | int lyp_check_length_range(const char *expr, struct lys_type *type); |
| 110 | |
Michal Vasko | 0aee5c1 | 2016-06-17 14:27:26 +0200 | [diff] [blame] | 111 | int lyp_check_pattern(const char *pattern, pcre **pcre_precomp); |
Radek Krejci | b53154b | 2017-07-19 09:14:13 +0200 | [diff] [blame] | 112 | int lyp_precompile_pattern(const char *pattern, pcre** pcre_cmp, pcre_extra **pcre_std); |
Michal Vasko | 0aee5c1 | 2016-06-17 14:27:26 +0200 | [diff] [blame] | 113 | |
Michal Vasko | 88c2954 | 2015-11-27 14:57:53 +0100 | [diff] [blame] | 114 | int fill_yin_type(struct lys_module *module, struct lys_node *parent, struct lyxml_elem *yin, struct lys_type *type, |
Radek Krejci | 3a5501d | 2016-07-18 22:03:34 +0200 | [diff] [blame] | 115 | int tpdftype, struct unres_schema *unres); |
Michal Vasko | 88c2954 | 2015-11-27 14:57:53 +0100 | [diff] [blame] | 116 | |
Radek Krejci | 4372b4e | 2016-04-14 17:42:16 +0200 | [diff] [blame] | 117 | int lyp_check_status(uint16_t flags1, struct lys_module *mod1, const char *name1, |
| 118 | uint16_t flags2, struct lys_module *mod2, const char *name2, |
Radek Krejci | 48464ed | 2016-03-17 15:44:09 +0100 | [diff] [blame] | 119 | const struct lys_node *node); |
Radek Krejci | cf50998 | 2015-12-15 09:22:44 +0100 | [diff] [blame] | 120 | |
Michal Vasko | 7b460e5 | 2017-02-10 14:50:26 +0100 | [diff] [blame] | 121 | void lyp_del_includedup(struct lys_module *mod); |
| 122 | |
Pavol Vican | 810892e | 2016-07-12 16:55:34 +0200 | [diff] [blame] | 123 | int dup_typedef_check(const char *type, struct lys_tpdf *tpdf, int size); |
Pavol Vican | d6cda45 | 2016-07-13 15:08:29 +0200 | [diff] [blame] | 124 | |
| 125 | int dup_identities_check(const char *id, struct lys_module *module); |
| 126 | |
Radek Krejci | 5449d47 | 2015-10-26 14:35:56 +0100 | [diff] [blame] | 127 | /** |
Michal Vasko | b1b1944 | 2016-07-13 12:26:01 +0200 | [diff] [blame] | 128 | * @brief Get know if the node is part of the RPC/action's input/output |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 129 | * |
| 130 | * @param node Schema node to be examined. |
| 131 | * @return 1 for true, 0 for false |
| 132 | */ |
Michal Vasko | b1b1944 | 2016-07-13 12:26:01 +0200 | [diff] [blame] | 133 | int lyp_is_rpc_action(struct lys_node *node); |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 134 | |
| 135 | /** |
Michal Vasko | e746a50 | 2017-08-11 10:56:40 +0200 | [diff] [blame] | 136 | * @brief Check validity of data parser options. |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 137 | * |
| 138 | * @param options Parser options to be checked. |
Radek Krejci | 86bafc2 | 2017-08-02 15:08:14 +0200 | [diff] [blame] | 139 | * @param func name of the function where called |
Michal Vasko | a55d96b | 2016-12-07 12:20:42 +0100 | [diff] [blame] | 140 | * @return 0 for ok, 1 when multiple data types bits are set, or incompatible options are used together. |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 141 | */ |
Michal Vasko | e746a50 | 2017-08-11 10:56:40 +0200 | [diff] [blame] | 142 | int lyp_data_check_options(int options, const char *func); |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 143 | |
Radek Krejci | 48464ed | 2016-03-17 15:44:09 +0100 | [diff] [blame] | 144 | int lyp_check_identifier(const char *id, enum LY_IDENT type, struct lys_module *module, struct lys_node *parent); |
| 145 | int lyp_check_date(const char *date); |
Radek Krejci | df24cbe | 2016-11-08 11:55:51 +0100 | [diff] [blame] | 146 | int lyp_check_mandatory_augment(struct lys_node_augment *node, const struct lys_node *target); |
Radek Krejci | e00d231 | 2016-08-12 15:27:49 +0200 | [diff] [blame] | 147 | int lyp_check_mandatory_choice(struct lys_node *node); |
Radek Krejci | c655602 | 2016-01-27 15:16:45 +0100 | [diff] [blame] | 148 | |
Radek Krejci | d4c1d0f | 2017-01-19 16:11:38 +0100 | [diff] [blame] | 149 | int lyp_check_include(struct lys_module *module, const char *value, |
Pavol Vican | 0adf01d | 2016-03-22 12:29:33 +0100 | [diff] [blame] | 150 | struct lys_include *inc, struct unres_schema *unres); |
Radek Krejci | d4c1d0f | 2017-01-19 16:11:38 +0100 | [diff] [blame] | 151 | int lyp_check_include_missing(struct lys_module *main_module); |
Pavol Vican | 0adf01d | 2016-03-22 12:29:33 +0100 | [diff] [blame] | 152 | int lyp_check_import(struct lys_module *module, const char *value, struct lys_import *imp); |
Radek Krejci | 9e757e0 | 2017-03-08 17:18:09 +0100 | [diff] [blame] | 153 | int lyp_check_circmod_add(struct lys_module *module); |
| 154 | void lyp_check_circmod_pop(struct ly_ctx *ctx); |
Pavol Vican | 0da132e | 2016-03-21 12:03:03 +0100 | [diff] [blame] | 155 | |
Radek Krejci | 95f22ae | 2017-01-20 14:25:53 +0100 | [diff] [blame] | 156 | void lyp_sort_revisions(struct lys_module *module); |
Radek Krejci | bf28583 | 2017-01-26 16:05:41 +0100 | [diff] [blame] | 157 | int lyp_rfn_apply_ext(struct lys_module *module); |
Radek Krejci | fe311c3 | 2017-01-27 16:58:59 +0100 | [diff] [blame] | 158 | int lyp_deviation_apply_ext(struct lys_module *module); |
PavolVican | c4b798e | 2017-02-20 23:15:27 +0100 | [diff] [blame] | 159 | int lyp_mand_check_ext(struct lys_ext_instance_complex *ext, const char *ext_name); |
Radek Krejci | 95f22ae | 2017-01-20 14:25:53 +0100 | [diff] [blame] | 160 | |
Radek Krejci | 6bd2c02 | 2017-02-01 15:04:49 +0100 | [diff] [blame] | 161 | void lyp_ext_instance_rm(struct ly_ctx *ctx, struct lys_ext_instance ***ext, uint8_t *size, uint8_t index); |
| 162 | |
Radek Krejci | 4a49bdf | 2016-01-12 17:17:01 +0100 | [diff] [blame] | 163 | /** |
Pavol Vican | aa1eba9 | 2016-03-09 12:27:11 +0100 | [diff] [blame] | 164 | * @brief Propagate imports and includes into the main module |
| 165 | * |
| 166 | * @param module Main module |
Radek Krejci | b8f98c1 | 2016-06-24 10:30:46 +0200 | [diff] [blame] | 167 | * @param inc Filled include structure |
Pavol Vican | aa1eba9 | 2016-03-09 12:27:11 +0100 | [diff] [blame] | 168 | * @return 0 for success, 1 for failure |
| 169 | */ |
Radek Krejci | b8f98c1 | 2016-06-24 10:30:46 +0200 | [diff] [blame] | 170 | int lyp_propagate_submodule(struct lys_module *module, struct lys_include *inc); |
Pavol Vican | aa1eba9 | 2016-03-09 12:27:11 +0100 | [diff] [blame] | 171 | |
Michal Vasko | dc3b7ce | 2017-04-06 14:24:29 +0200 | [diff] [blame] | 172 | /* return: -1 = error, 0 = succes, 1 = already there (if it was disabled, it is enabled first) */ |
PavolVican | 9e81c6a | 2017-02-09 13:09:07 +0100 | [diff] [blame] | 173 | int lyp_ctx_check_module(struct lys_module *module); |
| 174 | |
| 175 | int lyp_ctx_add_module(struct lys_module *module); |
Pavol Vican | c99b59e | 2016-03-22 15:46:39 +0100 | [diff] [blame] | 176 | |
Pavol Vican | aa1eba9 | 2016-03-09 12:27:11 +0100 | [diff] [blame] | 177 | /** |
Radek Krejci | 5b19066 | 2017-04-13 08:56:14 +0200 | [diff] [blame] | 178 | * @brief Add annotations definitions of attributes used in ietf-netconf RPCs. |
| 179 | */ |
| 180 | int lyp_add_ietf_netconf_annotations(struct lys_module *mod); |
| 181 | |
| 182 | /** |
Radek Krejci | 0fb1150 | 2017-01-31 16:45:42 +0100 | [diff] [blame] | 183 | * @brief mmap() wrapper for parsers. To unmap, use lyp_munmap(). |
| 184 | * |
| 185 | * @param[in] prot The desired memory protection as in case of mmap(). |
| 186 | * @param[in] fd File descriptor for getting data. |
| 187 | * @param[in] addsize Number of additional bytes to be allocated (and zeroed) after the implicitly added |
| 188 | * string-terminating NULL byte. |
| 189 | * @param[out] length length of the allocated memory. |
| 190 | * @return On success, the pointer to the memory where the file data resists is returned. On error, the value MAP_FAILED |
| 191 | * is returned and #ly_errno value is set. |
| 192 | */ |
| 193 | void * |
| 194 | lyp_mmap(int fd, size_t addsize, size_t *length); |
| 195 | |
| 196 | /** |
| 197 | * @brief Unmap function for the data mapped by lyp_mmap() |
| 198 | */ |
| 199 | int lyp_munmap(void *addr, size_t length); |
| 200 | |
| 201 | /** |
Radek Krejci | 5449d47 | 2015-10-26 14:35:56 +0100 | [diff] [blame] | 202 | * Store UTF-8 character specified as 4byte integer into the dst buffer. |
| 203 | * Returns number of written bytes (4 max), expects that dst has enough space. |
| 204 | * |
| 205 | * UTF-8 mapping: |
| 206 | * 00000000 -- 0000007F: 0xxxxxxx |
| 207 | * 00000080 -- 000007FF: 110xxxxx 10xxxxxx |
| 208 | * 00000800 -- 0000FFFF: 1110xxxx 10xxxxxx 10xxxxxx |
| 209 | * 00010000 -- 001FFFFF: 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx |
| 210 | * |
| 211 | */ |
Radek Krejci | 48464ed | 2016-03-17 15:44:09 +0100 | [diff] [blame] | 212 | unsigned int pututf8(char *dst, int32_t value); |
Radek Krejci | deee60e | 2016-09-23 15:21:14 +0200 | [diff] [blame] | 213 | unsigned int copyutf8(char *dst, const char *src); |
Radek Krejci | 5449d47 | 2015-10-26 14:35:56 +0100 | [diff] [blame] | 214 | |
Radek Krejci | 0a498f8 | 2017-01-04 16:24:15 +0100 | [diff] [blame] | 215 | /* |
| 216 | * Internal functions implementing YANG extensions support |
| 217 | * - implemented in extensions.c |
| 218 | */ |
| 219 | |
| 220 | /** |
| 221 | * @brief If available, get the extension plugin for the specified extension |
| 222 | * @param[in] name Name of the extension |
| 223 | * @param[in] module Name of the extension's module |
| 224 | * @param[in] revision Revision of the extension's module |
| 225 | * @return pointer to the extension plugin structure, NULL if no plugin available |
| 226 | */ |
| 227 | struct lyext_plugin *ext_get_plugin(const char *name, const char *module, const char *revision); |
| 228 | |
Michal Vasko | 921eb6b | 2017-10-13 10:01:39 +0200 | [diff] [blame^] | 229 | /** |
| 230 | * @brief Find a module. First, imports from \p module with matching \p prefix, \p name, or both are checked, |
| 231 | * \p module itself is also compared, and lastly a callback is used if allowed. |
| 232 | * |
| 233 | * @param[in] module Module with imports. |
| 234 | * @param[in] prefix Module prefix to search for. |
| 235 | * @param[in] pref_len Module \p prefix length. If 0, the whole prefix is used, if not NULL. |
| 236 | * @param[in] name Module name to search for. |
| 237 | * @param[in] name_len Module \p name length. If 0, the whole name is used, if not NULL. |
| 238 | * @param[in] in_data Whether to use data callback if not found after trying all the rest. |
| 239 | * Import callback is never used because there is no use-case for that. |
| 240 | * |
| 241 | * @return Matching module, NULL if not found. |
| 242 | */ |
| 243 | const struct lys_module *lyp_get_module(const struct lys_module *module, const char *prefix, int pref_len, |
| 244 | const char *name, int name_len, int in_data); |
| 245 | |
| 246 | /** |
| 247 | * @brief Find an import from \p module with matching namespace, the \p module itself is also considered. |
| 248 | * |
| 249 | * @param[in] module Module with imports. |
| 250 | * @param[in] ns Namespace to be found. |
| 251 | */ |
| 252 | const struct lys_module *lyp_get_import_module_ns(const struct lys_module *module, const char *ns); |
| 253 | |
Radek Krejci | efdd0ce | 2015-05-26 16:48:29 +0200 | [diff] [blame] | 254 | #endif /* LY_PARSER_H_ */ |