blob: 060f8696a99b4c646b6e5920880befe98221ecfe [file] [log] [blame]
Radek Krejcie7b95092019-05-15 11:03:07 +02001/**
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
25struct ly_ctx;
26
27#ifdef __cplusplus
28extern "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 */
111typedef 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 */
123typedef 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 */
169struct 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 Krejci849a62a2019-05-22 15:29:05 +0200178 struct lysc_type_bitenum_item **bits_items; /**< list of set pointers to the specification of the set bits ([sized array](@ref sizedarrays)) */
Radek Krejcie7b95092019-05-15 11:03:07 +0200179 struct lysc_ident *ident; /**< pointer to the schema definition of the identityref value */
Radek Krejcie553e6d2019-06-07 15:33:18 +0200180 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 Krejci084289f2019-07-09 17:35:30 +0200184
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 Krejcie7b95092019-05-15 11:03:07 +0200199 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 Krejci084289f2019-07-09 17:35:30 +0200210
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 Krejcie7b95092019-05-15 11:03:07 +0200215};
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 */
227struct 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 */
243struct 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 */
262struct 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 */
284struct 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 */
305struct 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 */
422const 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 Krejci084289f2019-07-09 17:35:30 +0200432 * @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 Krejcie7b95092019-05-15 11:03:07 +0200436 * @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 */
440const 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 */
477struct 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 */
515struct 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 */
551struct 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 */
558void 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 */
567void 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 */
582LY_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 */
592void lyd_free_attr(struct ly_ctx *ctx, struct lyd_attr *attr, int recursive);
593
Radek Krejci084289f2019-07-09 17:35:30 +0200594/**
Radek Krejci576b23f2019-07-12 14:06:32 +0200595 * @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 */
601const 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 */
610void lyd_trees_free(const struct lyd_node **trees, int free_data);
611
612/**
Radek Krejci084289f2019-07-09 17:35:30 +0200613 * @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 Krejci576b23f2019-07-12 14:06:32 +0200629 * then LY_EINCOMPLETE can be returned. To simply prepare this structure, use lyd_trees_new().
Radek Krejci084289f2019-07-09 17:35:30 +0200630 * @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 */
634LY_ERR lyd_value_validate(struct ly_ctx *ctx, const struct lyd_node_term *node, const char *value, size_t value_len,
Radek Krejci576b23f2019-07-12 14:06:32 +0200635 ly_clb_resolve_prefix get_prefix, void *get_prefix_data, LYD_FORMAT format, const struct lyd_node **trees);
Radek Krejci084289f2019-07-09 17:35:30 +0200636
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 Krejci576b23f2019-07-12 14:06:32 +0200649 * 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 Krejci084289f2019-07-09 17:35:30 +0200651 * @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 */
656LY_ERR lyd_value_compare(const struct lyd_node_term *node, const char *value, size_t value_len,
Radek Krejci576b23f2019-07-12 14:06:32 +0200657 ly_clb_resolve_prefix get_prefix, void *get_prefix_data, LYD_FORMAT format, const struct lyd_node **trees);
Radek Krejci084289f2019-07-09 17:35:30 +0200658
Radek Krejci576b23f2019-07-12 14:06:32 +0200659/**
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 */
667const struct lyd_node_term *lyd_target(struct lyd_value_path *path, const struct lyd_node **trees);
Radek Krejci084289f2019-07-09 17:35:30 +0200668
Radek Krejcie7b95092019-05-15 11:03:07 +0200669#ifdef __cplusplus
670}
671#endif
672
673#endif /* LY_TREE_DATA_H_ */