Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 1 | /** |
| 2 | * @file tree_data.h |
| 3 | * @author Radek Krejci <rkrejci@cesnet.cz> |
| 4 | * @brief libyang representation of YANG data trees. |
| 5 | * |
| 6 | * Copyright (c) 2015 - 2019 CESNET, z.s.p.o. |
| 7 | * |
| 8 | * This source code is licensed under BSD 3-Clause License (the "License"). |
| 9 | * You may not use this file except in compliance with the License. |
| 10 | * You may obtain a copy of the License at |
| 11 | * |
| 12 | * https://opensource.org/licenses/BSD-3-Clause |
| 13 | */ |
| 14 | |
| 15 | #ifndef LY_TREE_DATA_H_ |
| 16 | #define LY_TREE_DATA_H_ |
| 17 | |
| 18 | #include <stddef.h> |
| 19 | #include <stdint.h> |
| 20 | |
| 21 | #include "log.h" |
| 22 | #include "tree.h" |
| 23 | #include "tree_schema.h" |
| 24 | |
| 25 | struct ly_ctx; |
| 26 | |
| 27 | #ifdef __cplusplus |
| 28 | extern "C" { |
| 29 | #endif |
| 30 | |
| 31 | /** |
| 32 | * @defgroup datatree Data Tree |
| 33 | * @{ |
| 34 | * |
| 35 | * Data structures and functions to manipulate and access instance data tree. |
| 36 | */ |
| 37 | |
| 38 | /** |
| 39 | * @brief Macro to iterate via all elements in a data tree. This is the opening part |
| 40 | * to the #LYD_TREE_DFS_END - they always have to be used together. |
| 41 | * |
| 42 | * The function follows deep-first search algorithm: |
| 43 | * <pre> |
| 44 | * 1 |
| 45 | * / \ |
| 46 | * 2 4 |
| 47 | * / / \ |
| 48 | * 3 5 6 |
| 49 | * </pre> |
| 50 | * |
| 51 | * Use the same parameters for #LY_TREE_DFS_BEGIN and #LY_TREE_DFS_END. While |
| 52 | * START can be any of the lyd_node* types, NEXT and ELEM variables are expected |
| 53 | * to be pointers to a generic struct lyd_node. |
| 54 | * |
| 55 | * Since the next node is selected as part of #LYD_TREE_DFS_END, do not use |
| 56 | * continue statement between the #LYD_TREE_DFS_BEGIN and #LYD_TREE_DFS_END. |
| 57 | * |
| 58 | * Use with opening curly bracket '{' after the macro. |
| 59 | * |
| 60 | * @param START Pointer to the starting element processed first. |
| 61 | * @param NEXT Temporary storage, do not use. |
| 62 | * @param ELEM Iterator intended for use in the block. |
| 63 | */ |
| 64 | #define LYD_TREE_DFS_BEGIN(START, NEXT, ELEM) \ |
| 65 | for ((ELEM) = (NEXT) = (START); \ |
| 66 | (ELEM); \ |
| 67 | (ELEM) = (NEXT)) |
| 68 | |
| 69 | /** |
| 70 | * @brief Macro to iterate via all elements in a tree. This is the closing part |
| 71 | * to the #LYD_TREE_DFS_BEGIN - they always have to be used together. |
| 72 | * |
| 73 | * Use the same parameters for #LYD_TREE_DFS_BEGIN and #LYD_TREE_DFS_END. While |
| 74 | * START can be any of the lyd_node* types, NEXT and ELEM variables are expected |
| 75 | * to be pointers to a generic struct lyd_node. |
| 76 | * |
| 77 | * Use with closing curly bracket '}' after the macro. |
| 78 | * |
| 79 | * @param START Pointer to the starting element processed first. |
| 80 | * @param NEXT Temporary storage, do not use. |
| 81 | * @param ELEM Iterator intended for use in the block. |
| 82 | */ |
| 83 | |
| 84 | #define LYD_TREE_DFS_END(START, NEXT, ELEM) \ |
| 85 | /* select element for the next run - children first */ \ |
| 86 | (NEXT) = (struct lyd_node*)lyd_node_children((struct lyd_node*)ELEM); \ |
| 87 | if (!(NEXT)) { \ |
| 88 | /* no children */ \ |
| 89 | if ((ELEM) == (struct lyd_node*)(START)) { \ |
| 90 | /* we are done, (START) has no children */ \ |
| 91 | break; \ |
| 92 | } \ |
| 93 | /* try siblings */ \ |
| 94 | (NEXT) = (ELEM)->next; \ |
| 95 | } \ |
| 96 | while (!(NEXT)) { \ |
| 97 | /* parent is already processed, go to its sibling */ \ |
| 98 | (ELEM) = (struct lyd_node*)(ELEM)->parent; \ |
| 99 | /* no siblings, go back through parents */ \ |
| 100 | if ((ELEM)->parent == (START)->parent) { \ |
| 101 | /* we are done, no next element to process */ \ |
| 102 | break; \ |
| 103 | } \ |
| 104 | (NEXT) = (ELEM)->next; \ |
| 105 | } |
| 106 | |
| 107 | /** |
| 108 | * @brief Data input/output formats supported by libyang [parser](@ref howtodataparsers) and |
| 109 | * [printer](@ref howtodataprinters) functions. |
| 110 | */ |
| 111 | typedef enum { |
| 112 | LYD_UNKNOWN = 0, /**< unknown format, used as return value in case of error */ |
| 113 | LYD_XML, /**< XML format of the instance data */ |
| 114 | #if 0 |
| 115 | LYD_JSON, /**< JSON format of the instance data */ |
| 116 | LYD_LYB, /**< LYB format of the instance data */ |
| 117 | #endif |
| 118 | } LYD_FORMAT; |
| 119 | |
| 120 | /** |
| 121 | * @brief List of possible value types stored in ::lyd_node_anydata. |
| 122 | */ |
| 123 | typedef enum { |
| 124 | LYD_ANYDATA_CONSTSTRING = 0x00, /**< value is constant string (const char *) which is internally duplicated for |
| 125 | storing in the anydata structure; XML sensitive characters (such as & or \>) |
| 126 | are automatically escaped when the anydata is printed in XML format. */ |
| 127 | LYD_ANYDATA_STRING = 0x01, /**< value is dynamically allocated string (char*), so the data are used directly |
| 128 | without duplication and caller is supposed to not manipulate with the data |
| 129 | after a successful call (including calling free() on the provided data); XML |
| 130 | sensitive characters (such as & or \>) are automatically escaped when the |
| 131 | anydata is printed in XML format */ |
| 132 | LYD_ANYDATA_JSON = 0x02, /**< value is string containing the data modeled by YANG and encoded as I-JSON. The |
| 133 | string is handled as constant string. In case of using the value as input |
| 134 | parameter, the #LYD_ANYDATA_JSOND can be used for dynamically allocated |
| 135 | string. */ |
| 136 | LYD_ANYDATA_JSOND = 0x03, /**< In case of using value as input parameter, this enumeration is supposed to be |
| 137 | used for dynamically allocated strings (it is actually combination of |
| 138 | #LYD_ANYDATA_JSON and #LYD_ANYDATA_STRING (and it can be also specified as |
| 139 | ORed value of the mentioned values. */ |
| 140 | LYD_ANYDATA_SXML = 0x04, /**< value is string containing the serialized XML data. The string is handled as |
| 141 | constant string. In case of using the value as input parameter, the |
| 142 | #LYD_ANYDATA_SXMLD can be used for dynamically allocated string. */ |
| 143 | LYD_ANYDATA_SXMLD = 0x05, /**< In case of using serialized XML value as input parameter, this enumeration is |
| 144 | supposed to be used for dynamically allocated strings (it is actually |
| 145 | combination of #LYD_ANYDATA_SXML and #LYD_ANYDATA_STRING (and it can be also |
| 146 | specified as ORed value of the mentioned values). */ |
| 147 | LYD_ANYDATA_XML = 0x08, /**< value is struct lyxml_elem*, the structure is directly connected into the |
| 148 | anydata node without duplication, caller is supposed to not manipulate with the |
| 149 | data after a successful call (including calling lyxml_free() on the provided |
| 150 | data) */ |
| 151 | LYD_ANYDATA_DATATREE = 0x10, /**< value is struct lyd_node* (first sibling), the structure is directly connected |
| 152 | into the anydata node without duplication, caller is supposed to not manipulate |
| 153 | with the data after a successful call (including calling lyd_free() on the |
| 154 | provided data) */ |
| 155 | LYD_ANYDATA_LYB = 0x20, /**< value is a memory with serialized data tree in LYB format. The data are handled |
| 156 | as a constant string. In case of using the value as input parameter, |
| 157 | the #LYD_ANYDATA_LYBD can be used for dynamically allocated string. */ |
| 158 | LYD_ANYDATA_LYBD = 0x21, /**< In case of using LYB value as input parameter, this enumeration is |
| 159 | supposed to be used for dynamically allocated strings (it is actually |
| 160 | combination of #LYD_ANYDATA_LYB and #LYD_ANYDATA_STRING (and it can be also |
| 161 | specified as ORed value of the mentioned values). */ |
| 162 | } LYD_ANYDATA_VALUETYPE; |
| 163 | |
| 164 | /** @} */ |
| 165 | |
| 166 | /** |
| 167 | * @brief YANG data representation |
| 168 | */ |
| 169 | struct lyd_value { |
| 170 | const char *canonized; /**< string representation of value (for comparison, printing,...), canonized according to the |
| 171 | rules implemented in the type's canonization callback (if any). */ |
| 172 | union { |
| 173 | const char *string; /**< original, non-canonized string value. Useful for example for unions where the type (and therefore |
| 174 | the cannonization rules) can change by changing value (e.g. leafref target) somewhere else. */ |
| 175 | int8_t boolean; /**< 0 as false, 1 as true */ |
| 176 | int64_t dec64; /**< decimal64: value = dec64 / 10^fraction-digits */ |
| 177 | struct lysc_type_bitenum_item *enum_item; /**< pointer to the definition of the enumeration value */ |
Radek Krejci | 849a62a | 2019-05-22 15:29:05 +0200 | [diff] [blame] | 178 | struct lysc_type_bitenum_item **bits_items; /**< list of set pointers to the specification of the set bits ([sized array](@ref sizedarrays)) */ |
Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 179 | struct lysc_ident *ident; /**< pointer to the schema definition of the identityref value */ |
Radek Krejci | e553e6d | 2019-06-07 15:33:18 +0200 | [diff] [blame] | 180 | struct lyd_value_prefix { |
| 181 | const char *prefix; /**< prefix string used in the canonized string to identify the mod of the YANG schema */ |
| 182 | const struct lys_module *mod; /**< YANG schema module identified by the prefix string */ |
| 183 | } *prefixes; /**< list of mappings between prefix in canonized value to a YANG schema ([sized array](@ref sizedarrays)) */ |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 184 | |
| 185 | struct lyd_value_path { |
| 186 | const struct lysc_node *node; |
| 187 | struct lyd_value_path_predicate { |
| 188 | union { |
| 189 | struct { |
| 190 | const struct lysc_node *key; |
| 191 | struct lyd_value *value; |
| 192 | }; |
| 193 | uint64_t position; |
| 194 | }; |
| 195 | uint8_t type; /**< 0 - position, 1 - key-predicate, 2 - leaf-list-predicate */ |
| 196 | } *predicates; |
| 197 | } *target; |
| 198 | |
Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 199 | int8_t int8; /**< 8-bit signed integer */ |
| 200 | int16_t int16; /**< 16-bit signed integer */ |
| 201 | int32_t int32; /**< 32-bit signed integer */ |
| 202 | int64_t int64; /**< 64-bit signed integer */ |
| 203 | uint8_t uint8; /**< 8-bit unsigned integer */ |
| 204 | uint16_t uint16; /**< 16-bit signed integer */ |
| 205 | uint32_t uint32; /**< 32-bit signed integer */ |
| 206 | uint64_t uint64; /**< 64-bit signed integer */ |
| 207 | void *ptr; /**< generic data type structure used to store the data */ |
| 208 | }; /**< The union is just a list of shorthands to possible values stored by a type's plugin. libyang works only with the canonized string, |
| 209 | this specific data type storage is just to simplify use of the values by the libyang users. */ |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 210 | |
| 211 | struct lysc_type_plugin *plugin; /**< pointer to the type plugin which stored the data. This pointer can differ from the pointer |
| 212 | in the lysc_type structure since the plugin itself can use other plugins for storing data. |
| 213 | Speaking about built-in types, this is the case of leafref which stores data as its target type. |
| 214 | Similarly union types stores the currently used type plugin in its internal lyd_value structure. */ |
Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 215 | }; |
| 216 | |
| 217 | /** |
| 218 | * @brief Attribute structure. |
| 219 | * |
| 220 | * The structure provides information about attributes of a data element. Such attributes must map to |
| 221 | * annotations as specified in RFC 7952. The only exception is the filter type (in NETCONF get operations) |
| 222 | * and edit-config's operation attributes. In XML, they are represented as standard XML attributes. In JSON, |
| 223 | * they are represented as JSON elements starting with the '@' character (for more information, see the |
| 224 | * YANG metadata RFC. |
| 225 | * |
| 226 | */ |
| 227 | struct lyd_attr { |
| 228 | struct lyd_node *parent; /**< data node where the attribute is placed */ |
| 229 | struct lyd_attr *next; /**< pointer to the next attribute of the same element */ |
| 230 | void *annotation; /**< TODO pointer to the attribute/annotation's definition */ |
| 231 | const char *name; /**< attribute name */ |
| 232 | struct lyd_value value; /**< attribute's value representation */ |
| 233 | }; |
| 234 | |
| 235 | |
| 236 | #define LYD_NODE_INNER (LYS_CONTAINER|LYS_LIST) /**< Schema nodetype mask for lyd_node_inner */ |
| 237 | #define LYD_NODE_TERM (LYS_LEAF|LYS_LEAFLIST) /**< Schema nodetype mask for lyd_node_term */ |
| 238 | #define LYD_NODE_ANY (LYS_ANYDATA) /**< Schema nodetype mask for lyd_node_any */ |
| 239 | |
| 240 | /** |
| 241 | * @brief Generic structure for a data node. |
| 242 | */ |
| 243 | struct lyd_node { |
| 244 | uint32_t hash; /**< hash of this particular node (module name + schema name + key string values if list) */ |
| 245 | const struct lysc_node *schema; /**< pointer to the schema definition of this node */ |
| 246 | struct lyd_node_inner *parent; /**< pointer to the parent node, NULL in case of root node */ |
| 247 | struct lyd_node *next; /**< pointer to the next sibling node (NULL if there is no one) */ |
| 248 | struct lyd_node *prev; /**< pointer to the previous sibling node \note Note that this pointer is |
| 249 | never NULL. If there is no sibling node, pointer points to the node |
| 250 | itself. In case of the first node, this pointer points to the last |
| 251 | node in the list. */ |
| 252 | struct lyd_attr *attr; /**< pointer to the list of attributes of this node */ |
| 253 | |
| 254 | #ifdef LY_ENABLED_LYD_PRIV |
| 255 | void *priv; /**< private user data, not used by libyang */ |
| 256 | #endif |
| 257 | }; |
| 258 | |
| 259 | /** |
| 260 | * @brief Data node structure for the inner data tree nodes - containers and lists. |
| 261 | */ |
| 262 | struct lyd_node_inner { |
| 263 | uint32_t hash; /**< hash of this particular node (module name + schema name + key string values if list) */ |
| 264 | const struct lysc_node *schema; /**< pointer to the schema definition of this node */ |
| 265 | struct lyd_node_inner *parent; /**< pointer to the parent node, NULL in case of root node */ |
| 266 | struct lyd_node *next; /**< pointer to the next sibling node (NULL if there is no one) */ |
| 267 | struct lyd_node *prev; /**< pointer to the previous sibling node \note Note that this pointer is |
| 268 | never NULL. If there is no sibling node, pointer points to the node |
| 269 | itself. In case of the first node, this pointer points to the last |
| 270 | node in the list. */ |
| 271 | struct lyd_attr *attr; /**< pointer to the list of attributes of this node */ |
| 272 | |
| 273 | #ifdef LY_ENABLED_LYD_PRIV |
| 274 | void *priv; /**< private user data, not used by libyang */ |
| 275 | #endif |
| 276 | |
| 277 | struct lyd_node *child; /**< pointer to the first child node. */ |
| 278 | struct hash_table *children_ht; /**< hash table with all the direct children (except keys for a list, lists without keys) */ |
| 279 | }; |
| 280 | |
| 281 | /** |
| 282 | * @brief Data node structure for the terminal data tree nodes - leafs and leaf-lists. |
| 283 | */ |
| 284 | struct lyd_node_term { |
| 285 | uint32_t hash; /**< hash of this particular node (module name + schema name + key string values if list) */ |
| 286 | const struct lysc_node *schema; /**< pointer to the schema definition of this node */ |
| 287 | struct lyd_node_inner *parent; /**< pointer to the parent node, NULL in case of root node */ |
| 288 | struct lyd_node *next; /**< pointer to the next sibling node (NULL if there is no one) */ |
| 289 | struct lyd_node *prev; /**< pointer to the previous sibling node \note Note that this pointer is |
| 290 | never NULL. If there is no sibling node, pointer points to the node |
| 291 | itself. In case of the first node, this pointer points to the last |
| 292 | node in the list. */ |
| 293 | struct lyd_attr *attr; /**< pointer to the list of attributes of this node */ |
| 294 | |
| 295 | #ifdef LY_ENABLED_LYD_PRIV |
| 296 | void *priv; /**< private user data, not used by libyang */ |
| 297 | #endif |
| 298 | |
| 299 | struct lyd_value value; /**< node's value representation */ |
| 300 | }; |
| 301 | |
| 302 | /** |
| 303 | * @brief Data node structure for the anydata data tree nodes - anydatas and anyxmls. |
| 304 | */ |
| 305 | struct lyd_node_any { |
| 306 | uint32_t hash; /**< hash of this particular node (module name + schema name + key string values if list) */ |
| 307 | const struct lysc_node *schema; /**< pointer to the schema definition of this node */ |
| 308 | struct lyd_node_inner *parent; /**< pointer to the parent node, NULL in case of root node */ |
| 309 | struct lyd_node *next; /**< pointer to the next sibling node (NULL if there is no one) */ |
| 310 | struct lyd_node *prev; /**< pointer to the previous sibling node \note Note that this pointer is |
| 311 | never NULL. If there is no sibling node, pointer points to the node |
| 312 | itself. In case of the first node, this pointer points to the last |
| 313 | node in the list. */ |
| 314 | struct lyd_attr *attr; /**< pointer to the list of attributes of this node */ |
| 315 | |
| 316 | #ifdef LY_ENABLED_LYD_PRIV |
| 317 | void *priv; /**< private user data, not used by libyang */ |
| 318 | #endif |
| 319 | |
| 320 | /* TODO - anydata representation */ |
| 321 | }; |
| 322 | |
| 323 | /** |
| 324 | * @defgroup dataparseroptions Data parser options |
| 325 | * @ingroup datatree |
| 326 | * |
| 327 | * Various options to change the data tree parsers behavior. |
| 328 | * |
| 329 | * Default behavior: |
| 330 | * - in case of XML, parser reads all data from its input (file, memory, XML tree) including the case of not well-formed |
| 331 | * XML document (multiple top-level elements) and if there is an unknown element, it is skipped including its subtree |
| 332 | * (see the next point). This can be changed by the #LYD_OPT_NOSIBLINGS option which make parser to read only a single |
| 333 | * tree (with a single root element) from its input. |
| 334 | * - parser silently ignores the data without a matching node in schema trees. If the caller want to stop |
| 335 | * parsing in case of presence of unknown data, the #LYD_OPT_STRICT can be used. The strict mode is useful for |
| 336 | * NETCONF servers, since NETCONF clients should always send data according to the capabilities announced by the server. |
| 337 | * On the other hand, the default non-strict mode is useful for clients receiving data from NETCONF server since |
| 338 | * clients are not required to understand everything the server does. Of course, the optimal strategy for clients is |
| 339 | * to use filtering to get only the required data. Having an unknown element of the known namespace is always an error. |
| 340 | * The behavior can be changed by #LYD_OPT_STRICT option. |
| 341 | * - using obsolete statements (status set to obsolete) just generates a warning, but the processing continues. The |
| 342 | * behavior can be changed by #LYD_OPT_OBSOLETE option. |
| 343 | * - parser expects that the provided data provides complete datastore content (both the configuration and state data) |
| 344 | * and performs data validation according to all YANG rules. This can be a problem in case of representing NETCONF's |
| 345 | * subtree filter data, edit-config's data or other type of data set - such data do not represent a complete data set |
| 346 | * and some of the validation rules can fail. Therefore there are other options (within lower 8 bits) to make parser |
| 347 | * to accept such a data. |
| 348 | * - when parser evaluates when-stmt condition to false, a validation error is raised. If the |
| 349 | * #LYD_OPT_WHENAUTODEL is used, the invalid node is silently removed instead of an error. The option (and also this default |
| 350 | * behavior) takes effect only in case of #LYD_OPT_DATA or #LYD_OPT_CONFIG type of data. |
| 351 | * @{ |
| 352 | */ |
| 353 | |
| 354 | #define LYD_OPT_DATA 0x00 /**< Default type of data - complete datastore content with configuration as well as |
| 355 | state data. To handle possibly missing (but by default required) ietf-yang-library |
| 356 | data, use #LYD_OPT_DATA_NO_YANGLIB or #LYD_OPT_DATA_ADD_YANGLIB options. */ |
| 357 | #define LYD_OPT_CONFIG 0x01 /**< A configuration datastore - complete datastore without state data. |
| 358 | Validation modifications: |
| 359 | - status data are not allowed */ |
| 360 | #define LYD_OPT_GET 0x02 /**< Data content from a NETCONF reply message to the NETCONF \<get\> operation. |
| 361 | Validation modifications: |
| 362 | - mandatory nodes can be omitted |
| 363 | - leafrefs and instance-identifier resolution is allowed to fail |
| 364 | - list's keys/unique nodes are not required (so duplication is not checked) |
| 365 | - must and when evaluation skipped */ |
| 366 | #define LYD_OPT_GETCONFIG 0x04 /**< Data content from a NETCONF reply message to the NETCONF \<get-config\> operation |
| 367 | Validation modifications: |
| 368 | - mandatory nodes can be omitted |
| 369 | - leafrefs and instance-identifier resolution is allowed to fail |
| 370 | - list's keys/unique nodes are not required (so duplication is not checked) |
| 371 | - must and when evaluation skipped |
| 372 | - status data are not allowed */ |
| 373 | #define LYD_OPT_EDIT 0x08 /**< Content of the NETCONF \<edit-config\>'s config element. |
| 374 | Validation modifications: |
| 375 | - mandatory nodes can be omitted |
| 376 | - leafrefs and instance-identifier resolution is allowed to fail |
| 377 | - must and when evaluation skipped |
| 378 | - status data are not allowed */ |
| 379 | #define LYD_OPT_RPC 0x10 /**< Data represents RPC or action input parameters. */ |
| 380 | #define LYD_OPT_RPCREPLY 0x20 /**< Data represents RPC or action output parameters (maps to NETCONF <rpc-reply> data). */ |
| 381 | #define LYD_OPT_NOTIF 0x40 /**< Data represents an event notification data. */ |
| 382 | #define LYD_OPT_NOTIF_FILTER 0x80 /**< Data represents a filtered event notification data. |
| 383 | Validation modification: |
| 384 | - the only requirement is that the data tree matches the schema tree */ |
| 385 | #define LYD_OPT_TYPEMASK 0x10000ff /**< Mask to filter data type options. Always only a single data type option (only |
| 386 | single bit from the lower 8 bits) can be set. */ |
| 387 | |
| 388 | /* 0x100 reserved, used internally */ |
| 389 | #define LYD_OPT_STRICT 0x0200 /**< Instead of silent ignoring data without schema definition, raise an error. */ |
| 390 | #define LYD_OPT_DESTRUCT 0x0400 /**< Free the provided XML tree during parsing the data. With this option, the |
| 391 | provided XML tree is affected and all successfully parsed data are freed. |
| 392 | This option is applicable only to lyd_parse_xml() function. */ |
| 393 | #define LYD_OPT_OBSOLETE 0x0800 /**< Raise an error when an obsolete statement (status set to obsolete) is used. */ |
| 394 | #define LYD_OPT_NOSIBLINGS 0x1000 /**< Parse only a single XML tree from the input. This option applies only to |
| 395 | XML input data. */ |
| 396 | #define LYD_OPT_TRUSTED 0x2000 /**< Data comes from a trusted source and it is not needed to validate them. Data |
| 397 | are connected with the schema, but the most validation checks (mandatory nodes, |
| 398 | list instance uniqueness, etc.) are not performed. This option does not make |
| 399 | sense for lyd_validate() so it is ignored by this function. */ |
| 400 | #define LYD_OPT_WHENAUTODEL 0x4000 /**< Automatically delete subtrees with false when-stmt condition. The flag is |
| 401 | applicable only in combination with #LYD_OPT_DATA and #LYD_OPT_CONFIG flags. |
| 402 | If used, libyang will not generate a validation error. */ |
| 403 | #define LYD_OPT_NOEXTDEPS 0x8000 /**< Allow external dependencies (external leafrefs, instance-identifiers, must, |
| 404 | and when) to not be resolved/satisfied during validation. */ |
| 405 | #define LYD_OPT_DATA_NO_YANGLIB 0x10000 /**< Ignore (possibly) missing ietf-yang-library data. Applicable only with #LYD_OPT_DATA. */ |
| 406 | #define LYD_OPT_DATA_ADD_YANGLIB 0x20000 /**< Add missing ietf-yang-library data into the validated data tree. Applicable |
| 407 | only with #LYD_OPT_DATA. If some ietf-yang-library data are present, they are |
| 408 | preserved and option is ignored. */ |
| 409 | #define LYD_OPT_VAL_DIFF 0x40000 /**< Flag only for validation, store all the data node changes performed by the validation |
| 410 | in a diff structure. */ |
| 411 | #define LYD_OPT_DATA_TEMPLATE 0x1000000 /**< Data represents YANG data template. */ |
| 412 | |
| 413 | /**@} dataparseroptions */ |
| 414 | |
| 415 | /** |
| 416 | * @brief Get the node's children list if any. |
| 417 | * |
| 418 | * Decides the node's type and in case it has a children list, returns it. |
| 419 | * @param[in] node Node to check. |
| 420 | * @return Pointer to the first child node (if any) of the \p node. |
| 421 | */ |
| 422 | const struct lyd_node *lyd_node_children(const struct lyd_node *node); |
| 423 | |
| 424 | /** |
| 425 | * @brief Find the node, in the list, satisfying the given restrictions. |
| 426 | * |
| 427 | * @param[in] first Starting child node for search. |
| 428 | * @param[in] module Module of the node to find (mandatory argument). |
| 429 | * @param[in] name Name of the node to find (mandatory argument). |
| 430 | * @param[in] name_len Optional length of the @p name argument in case it is not NULL-terminated string. |
| 431 | * @param[in] nodetype Optional mask for the nodetype of the node to find, 0 is understood as all nodetypes. |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 432 | * @param[in] value Optional restriction for lyd_node_term nodes to select node with the specific value. Note that this |
| 433 | * search restriction is limited to compare canonical representation of the type. Some of the types have no canonical |
| 434 | * representation and 2 different strings can represent the same value (e.g. different prefixes of the same namespace in instance-identifiers). |
| 435 | * In this case there is more advanced lyd_value_compare() to check if the values matches. |
Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 436 | * @param[in] value_len Optional length of the @p value argument in case it is not NULL-terminated string. |
| 437 | * @return The sibling node of the @p first (or itself), satisfying the given restrictions. |
| 438 | * @return NULL in case there is no node satisfying the restrictions. |
| 439 | */ |
| 440 | const struct lyd_node *lyd_search(const struct lyd_node *first, const struct lys_module *module, |
| 441 | const char *name, size_t name_len, uint16_t nodetype, const char *value, size_t value_len); |
| 442 | |
| 443 | /** |
| 444 | * @brief Parse (and validate) data from memory. |
| 445 | * |
| 446 | * In case of LY_XML format, the data string is parsed completely. It means that when it contains |
| 447 | * a non well-formed XML with multiple root elements, all those sibling XML trees are parsed. The |
| 448 | * returned data node is a root of the first tree with other trees connected via the next pointer. |
| 449 | * This behavior can be changed by #LYD_OPT_NOSIBLINGS option. |
| 450 | * |
| 451 | * @param[in] ctx Context to connect with the data tree being built here. |
| 452 | * @param[in] data Serialized data in the specified format. |
| 453 | * @param[in] format Format of the input data to be parsed. |
| 454 | * @param[in] options Parser options, see @ref parseroptions. \p format LYD_LYB uses #LYD_OPT_TRUSTED implicitly. |
| 455 | * @param[in] ... Variable arguments depend on \p options. If they include: |
| 456 | * - #LYD_OPT_DATA: |
| 457 | * - #LYD_OPT_CONFIG: |
| 458 | * - #LYD_OPT_GET: |
| 459 | * - #LYD_OPT_GETCONFIG: |
| 460 | * - #LYD_OPT_EDIT: |
| 461 | * - no variable arguments expected. |
| 462 | * - #LYD_OPT_RPC: |
| 463 | * - #LYD_OPT_NOTIF: |
| 464 | * - struct lyd_node *data_tree - additional data tree that will be used |
| 465 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 466 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 467 | * - #LYD_OPT_RPCREPLY: |
| 468 | * - const struct ::lyd_node *rpc_act - pointer to the whole RPC or (top-level) action operation |
| 469 | * data tree (the request) of the reply. |
| 470 | * - const struct ::lyd_node *data_tree - additional data tree that will be used |
| 471 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 472 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 473 | * @return Pointer to the built data tree or NULL in case of empty \p data. To free the returned structure, |
| 474 | * use lyd_free(). In these cases, the function sets #ly_errno to LY_SUCCESS. In case of error, |
| 475 | * #ly_errno contains appropriate error code (see #LY_ERR). |
| 476 | */ |
| 477 | struct lyd_node *lyd_parse_mem(struct ly_ctx *ctx, const char *data, LYD_FORMAT format, int options, ...); |
| 478 | |
| 479 | /** |
| 480 | * @brief Read (and validate) data from the given file descriptor. |
| 481 | * |
| 482 | * \note Current implementation supports only reading data from standard (disk) file, not from sockets, pipes, etc. |
| 483 | * |
| 484 | * In case of LY_XML format, the file content is parsed completely. It means that when it contains |
| 485 | * a non well-formed XML with multiple root elements, all those sibling XML trees are parsed. The |
| 486 | * returned data node is a root of the first tree with other trees connected via the next pointer. |
| 487 | * This behavior can be changed by #LYD_OPT_NOSIBLINGS option. |
| 488 | * |
| 489 | * @param[in] ctx Context to connect with the data tree being built here. |
| 490 | * @param[in] fd The standard file descriptor of the file containing the data tree in the specified format. |
| 491 | * @param[in] format Format of the input data to be parsed. |
| 492 | * @param[in] options Parser options, see @ref parseroptions. \p format LYD_LYB uses #LYD_OPT_TRUSTED implicitly. |
| 493 | * @param[in] ... Variable arguments depend on \p options. If they include: |
| 494 | * - #LYD_OPT_DATA: |
| 495 | * - #LYD_OPT_CONFIG: |
| 496 | * - #LYD_OPT_GET: |
| 497 | * - #LYD_OPT_GETCONFIG: |
| 498 | * - #LYD_OPT_EDIT: |
| 499 | * - no variable arguments expected. |
| 500 | * - #LYD_OPT_RPC: |
| 501 | * - #LYD_OPT_NOTIF: |
| 502 | * - struct lyd_node *data_tree - additional data tree that will be used |
| 503 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 504 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 505 | * - #LYD_OPT_RPCREPLY: |
| 506 | * - const struct ::lyd_node *rpc_act - pointer to the whole RPC or action operation data |
| 507 | * tree (the request) of the reply. |
| 508 | * - const struct ::lyd_node *data_tree - additional data tree that will be used |
| 509 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 510 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 511 | * @return Pointer to the built data tree or NULL in case of empty file. To free the returned structure, |
| 512 | * use lyd_free(). In these cases, the function sets #ly_errno to LY_SUCCESS. In case of error, |
| 513 | * #ly_errno contains appropriate error code (see #LY_ERR). |
| 514 | */ |
| 515 | struct lyd_node *lyd_parse_fd(struct ly_ctx *ctx, int fd, LYD_FORMAT format, int options, ...); |
| 516 | |
| 517 | /** |
| 518 | * @brief Read (and validate) data from the given file path. |
| 519 | * |
| 520 | * In case of LY_XML format, the file content is parsed completely. It means that when it contains |
| 521 | * a non well-formed XML with multiple root elements, all those sibling XML trees are parsed. The |
| 522 | * returned data node is a root of the first tree with other trees connected via the next pointer. |
| 523 | * This behavior can be changed by #LYD_OPT_NOSIBLINGS option. |
| 524 | * |
| 525 | * @param[in] ctx Context to connect with the data tree being built here. |
| 526 | * @param[in] path Path to the file containing the data tree in the specified format. |
| 527 | * @param[in] format Format of the input data to be parsed. |
| 528 | * @param[in] options Parser options, see @ref parseroptions. \p format LYD_LYB uses #LYD_OPT_TRUSTED implicitly. |
| 529 | * @param[in] ... Variable arguments depend on \p options. If they include: |
| 530 | * - #LYD_OPT_DATA: |
| 531 | * - #LYD_OPT_CONFIG: |
| 532 | * - #LYD_OPT_GET: |
| 533 | * - #LYD_OPT_GETCONFIG: |
| 534 | * - #LYD_OPT_EDIT: |
| 535 | * - no variable arguments expected. |
| 536 | * - #LYD_OPT_RPC: |
| 537 | * - #LYD_OPT_NOTIF: |
| 538 | * - struct lyd_node *data_tree - additional data tree that will be used |
| 539 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 540 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 541 | * - #LYD_OPT_RPCREPLY: |
| 542 | * - const struct ::lyd_node *rpc_act - pointer to the whole RPC or action operation data |
| 543 | * tree (the request) of the reply. |
| 544 | * - const struct ::lyd_node *data_tree - additional data tree that will be used |
| 545 | * when checking any "when" or "must" conditions in the parsed tree that require |
| 546 | * some nodes outside their subtree. It must be a list of top-level elements! |
| 547 | * @return Pointer to the built data tree or NULL in case of empty file. To free the returned structure, |
| 548 | * use lyd_free(). In these cases, the function sets #ly_errno to LY_SUCCESS. In case of error, |
| 549 | * #ly_errno contains appropriate error code (see #LY_ERR). |
| 550 | */ |
| 551 | struct lyd_node *lyd_parse_path(struct ly_ctx *ctx, const char *path, LYD_FORMAT format, int options, ...); |
| 552 | |
| 553 | /** |
| 554 | * @brief Free all the nodes in the data tree. |
| 555 | * |
| 556 | * @param[in] node Any of the nodes inside the tree. |
| 557 | */ |
| 558 | void lyd_free_all(struct lyd_node *node); |
| 559 | |
| 560 | /** |
| 561 | * @brief Free (and unlink) the specified data (sub)tree. |
| 562 | * |
| 563 | * __PARTIAL CHANGE__ - validate after the final change on the data tree (see @ref howtodatamanipulators). |
| 564 | * |
| 565 | * @param[in] node Root of the (sub)tree to be freed. |
| 566 | */ |
| 567 | void lyd_free_tree(struct lyd_node *node); |
| 568 | |
| 569 | /** |
| 570 | * @brief Unlink the specified data subtree. All referenced namespaces are copied. |
| 571 | * |
| 572 | * Note, that the node's connection with the schema tree is kept. Therefore, in case of |
| 573 | * reconnecting the node to a data tree using lyd_paste() it is necessary to paste it |
| 574 | * to the appropriate place in the data tree following the schema. |
| 575 | * |
| 576 | * __PARTIAL CHANGE__ - validate after the final change on the data tree (see @ref howtodatamanipulators). |
| 577 | * |
| 578 | * @param[in] node Data tree node to be unlinked (together with all children). |
| 579 | * @return LY_SUCCESS for success |
| 580 | * @return LY_E* values in case of error |
| 581 | */ |
| 582 | LY_ERR lyd_unlink_tree(struct lyd_node *node); |
| 583 | |
| 584 | /** |
| 585 | * @brief Destroy data attribute. |
| 586 | * |
| 587 | * @param[in] ctx Context where the attribute was created. |
| 588 | * @param[in] attr Attribute to destroy |
| 589 | * @param[in] recursive Zero to destroy only the attribute (the attribute list is corrected), |
| 590 | * non-zero to destroy also all the subsequent attributes in the list. |
| 591 | */ |
| 592 | void lyd_free_attr(struct ly_ctx *ctx, struct lyd_attr *attr, int recursive); |
| 593 | |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 594 | /** |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 595 | * @brief Prepare ([sized array](@ref sizedarrays)) of data trees required by various (mostly validation) functions. |
| 596 | * |
| 597 | * @param[in] count Number of trees to include (including the mandatory @p tree). |
| 598 | * @param[in] tree First (and mandatory) tree to be included into the resulting ([sized array](@ref sizedarrays)). |
| 599 | * @return NULL in case of memory allocation failure or invalid argument, prepared ([sized array](@ref sizedarrays)) otherwise. |
| 600 | */ |
| 601 | const struct lyd_node **lyd_trees_new(size_t count, const struct lyd_node *tree, ...); |
| 602 | |
| 603 | /** |
| 604 | * @brief Free the trees ([sized array](@ref sizedarrays)). |
| 605 | * |
| 606 | * @param[in] trees ([Sized array](@ref sizedarrays)) of data trees. |
| 607 | * @param[in] free_data Flag to free also the particular trees in the @p trees ([sized array](@ref sizedarrays)). |
| 608 | * If set to zero, only the trees envelope is freed and data are untouched. |
| 609 | */ |
| 610 | void lyd_trees_free(const struct lyd_node **trees, int free_data); |
| 611 | |
| 612 | /** |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 613 | * @brief Check type restrictions applicable to the particular leaf/leaf-list with the given string @p value. |
| 614 | * |
| 615 | * The given node is not modified in any way - it is just checked if the @p value can be set to the node. |
| 616 | * |
| 617 | * If there is no data node instance and you are fine with checking just the type's restrictions without the |
| 618 | * data tree context (e.g. for the case of require-instance restriction), use lys_value_validate(). |
| 619 | * |
| 620 | * @param[in] ctx libyang context for logging (function does not log errors when @p ctx is NULL) |
| 621 | * @param[in] node Data node for the @p value. |
| 622 | * @param[in] value String value to be checked. |
| 623 | * @param[in] value_len Length of the given @p value (mandatory). |
| 624 | * @param[in] get_prefix Callback function to resolve prefixes used in the @p value string. |
| 625 | * @param[in] get_prefix_data Private data for the @p get_prefix callback. |
| 626 | * @param[in] format Input format of the data. |
| 627 | * @param[in] trees ([Sized array](@ref sizedarrays)) of data trees (e.g. when validating RPC/Notification) where the required |
| 628 | * data instance (leafref target, instance-identifier) can be placed. NULL in case the data tree are not yet complete, |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 629 | * then LY_EINCOMPLETE can be returned. To simply prepare this structure, use lyd_trees_new(). |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 630 | * @return LY_SUCCESS on success |
| 631 | * @return LY_EINCOMPLETE in case the @p trees is not provided and it was needed to finish the validation (e.g. due to require-instance). |
| 632 | * @return LY_ERR value if an error occurred. |
| 633 | */ |
| 634 | LY_ERR lyd_value_validate(struct ly_ctx *ctx, const struct lyd_node_term *node, const char *value, size_t value_len, |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 635 | ly_clb_resolve_prefix get_prefix, void *get_prefix_data, LYD_FORMAT format, const struct lyd_node **trees); |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 636 | |
| 637 | /** |
| 638 | * @brief Compare the node's value with the given string value. The string value is first validated according to the node's type. |
| 639 | * |
| 640 | * @param[in] node Data node to compare. |
| 641 | * @param[in] value String value to be compared. It does not need to be in a canonical form - as part of the process, |
| 642 | * it is validated and canonized if possible. |
| 643 | * @param[in] value_len Length of the given @p value (mandatory). |
| 644 | * @param[in] get_prefix Callback function to resolve prefixes used in the @p value string. |
| 645 | * @param[in] get_prefix_data Private data for the @p get_prefix callback. |
| 646 | * @param[in] format Input format of the data. |
| 647 | * @param[in] trees ([Sized array](@ref sizedarrays)) of data trees (e.g. when validating RPC/Notification) where the required |
| 648 | * data instance (leafref target, instance-identifier) can be placed. NULL in case the data tree are not yet complete, |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 649 | * then LY_EINCOMPLETE can be returned in case the validation was not completed, but values matches. To simply prepare |
| 650 | * this structure, use lyd_trees_new(). To simply prepare this structure, use lyd_trees_new(). |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 651 | * @return LY_SUCCESS on success |
| 652 | * @return LY_EINCOMPLETE in case of success when the @p trees is not provided and it was needed to finish the validation of |
| 653 | * the given string @p value (e.g. due to require-instance). |
| 654 | * @return LY_ERR value if an error occurred. |
| 655 | */ |
| 656 | LY_ERR lyd_value_compare(const struct lyd_node_term *node, const char *value, size_t value_len, |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 657 | ly_clb_resolve_prefix get_prefix, void *get_prefix_data, LYD_FORMAT format, const struct lyd_node **trees); |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 658 | |
Radek Krejci | 576b23f | 2019-07-12 14:06:32 +0200 | [diff] [blame^] | 659 | /** |
| 660 | * @brief Resolve instance-identifier defined by lyd_value_path structure. |
| 661 | * |
| 662 | * @param[in] path Path structure specifying the instance-identifier target. |
| 663 | * @param[in] trees ([Sized array](@ref sizedarrays)) of data trees to be searched. |
| 664 | * To simply prepare this structure, use lyd_trees_new(). |
| 665 | * @return Target node of the instance-identifier present in the given data @p trees. |
| 666 | */ |
| 667 | const struct lyd_node_term *lyd_target(struct lyd_value_path *path, const struct lyd_node **trees); |
Radek Krejci | 084289f | 2019-07-09 17:35:30 +0200 | [diff] [blame] | 668 | |
Radek Krejci | e7b9509 | 2019-05-15 11:03:07 +0200 | [diff] [blame] | 669 | #ifdef __cplusplus |
| 670 | } |
| 671 | #endif |
| 672 | |
| 673 | #endif /* LY_TREE_DATA_H_ */ |