src/schema_compile_node.h - github/CESNET/libyang - Gitiles

 /**
  * @file schema_compile_node.h
  * @author Radek Krejci <rkrejci@cesnet.cz>
  * @brief Header for schema compilation of common nodes.
  *
  * Copyright (c) 2015 - 2020 CESNET, z.s.p.o.
  *
  * This source code is licensed under BSD 3-Clause License (the "License").
  * You may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *     https://opensource.org/licenses/BSD-3-Clause
  */

 #ifndef LY_SCHEMA_COMPILE_NODE_H_
 #define LY_SCHEMA_COMPILE_NODE_H_

 #include <stddef.h>
 #include <stdint.h>

 #include "log.h"
 #include "tree.h"
 #include "tree_schema.h"

 struct ly_ctx;
 struct ly_set;
 struct lysc_ctx;

 /**
  * @brief Compile information from the when statement by either standard compilation or by reusing
  * another compiled when structure.
  *
  * @param[in] ctx Compile context.
  * @param[in] when_p Parsed when structure.
  * @param[in] parent_flags Flags of the parsed node with the when statement.
  * @param[in] compiled_parent Closest compiled parent of the when statement.
  * @param[in] ctx_node Context node for the when statement.
  * @param[in] node Compiled node to which add the compiled when.
  * @param[in,out] when_c Optional, pointer to the previously compiled @p when_p to be reused. Set to NULL
  * for the first call.
  * @return LY_ERR value.
  */
 LY_ERR lys_compile_when(struct lysc_ctx *ctx, struct lysp_when *when_p, uint16_t parent_flags,
         const struct lysc_node *compiled_parent, const struct lysc_node *ctx_node, struct lysc_node *node,
         struct lysc_when **when_c);

 /**
  * @brief Compile information from the must statement
  *
  * @param[in] ctx Compile context.
  * @param[in] must_p The parsed must statement structure.
  * @param[in,out] must Prepared (empty) compiled must structure to fill.
  * @return LY_ERR value.
  */
 LY_ERR lys_compile_must(struct lysc_ctx *ctx, struct lysp_restr *must_p, struct lysc_must *must);

 /**
  * @brief Checks pattern syntax.
  *
  * @param[in] ctx Context.
  * @param[in] pattern Pattern to check.
  * @param[in,out] code Compiled PCRE2 pattern. If NULL, the compiled information used to validate pattern are freed.
  * @return LY_ERR value - LY_SUCCESS, LY_EMEM, LY_EVALID.
  */
 LY_ERR lys_compile_type_pattern_check(struct ly_ctx *ctx, const char *pattern, pcre2_code **code);

 /**
  * @brief Compile parsed pattern restriction in conjunction with the patterns from base type.
  *
  * @param[in] ctx Compile context.
  * @param[in] patterns_p Array of parsed patterns from the current type to compile.
  * @param[in] base_patterns Compiled patterns from the type from which the current type is derived.
  * Patterns from the base type are inherited to have all the patterns that have to match at one place.
  * @param[out] patterns Pointer to the storage for the patterns of the current type.
  * @return LY_ERR LY_SUCCESS, LY_EMEM, LY_EVALID.
  */
 LY_ERR lys_compile_type_patterns(struct lysc_ctx *ctx, struct lysp_restr *patterns_p,
         struct lysc_pattern **base_patterns, struct lysc_pattern ***patterns);

 /**
  * @brief Compile information about the leaf/leaf-list's type.
  *
  * @param[in] ctx Compile context.
  * @param[in] context_pnode Schema node where the type/typedef is placed to correctly find the base types.
  * @param[in] context_flags Flags of the context node or the referencing typedef to correctly check status of referencing and referenced objects.
  * @param[in] context_name Name of the context node or referencing typedef for logging.
  * @param[in] type_p Parsed type to compile.
  * @param[out] type Newly created (or reused with increased refcount) type structure with the filled information about the type.
  * @param[out] units Storage for inheriting units value from the typedefs the current type derives from.
  * @param[out] dflt Default value for the type.
  * @return LY_ERR value.
  */
 LY_ERR lys_compile_type(struct lysc_ctx *ctx, struct lysp_node *context_pnode, uint16_t context_flags,
         const char *context_name, struct lysp_type *type_p, struct lysc_type **type, const char **units,
         struct lysp_qname **dflt);

 /**
  * @brief Find the node according to the given descendant/absolute schema nodeid.
  * Used in unique, refine and augment statements.
  *
  * @param[in] ctx Compile context
  * @param[in] nodeid Descendant-schema-nodeid (according to the YANG grammar)
  * @param[in] nodeid_len Length of the given nodeid, if it is not NULL-terminated string.
  * @param[in] ctx_node Context node for a relative nodeid.
  * @param[in] format Format of any prefixes.
  * @param[in] prefix_data Format-specific prefix data (see ::ly_resolve_prefix).
  * @param[in] nodetype Optional (can be 0) restriction for target's nodetype. If target exists, but does not match
  * the given nodetype, LY_EDENIED is returned (and target is provided), but no error message is printed.
  * The value can be even an ORed value to allow multiple nodetypes.
  * @param[out] target Found target node if any.
  * @param[out] result_flag Output parameter to announce if the schema nodeid goes through the action's input/output or a Notification.
  * The LYSC_OPT_RPC_INPUT, LYSC_OPT_RPC_OUTPUT and LYSC_OPT_NOTIFICATION are used as flags.
  * @return LY_ERR values - LY_ENOTFOUND, LY_EVALID, LY_EDENIED or LY_SUCCESS.
  */
 LY_ERR lysc_resolve_schema_nodeid(struct lysc_ctx *ctx, const char *nodeid, size_t nodeid_len, const struct lysc_node *ctx_node,
         LY_VALUE_FORMAT format, void *prefix_data, uint16_t nodetype, const struct lysc_node **target, uint16_t *result_flag);

 /**
  * @brief Compile choice children.
  *
  * @param[in] ctx Compile context
  * @param[in] child_p Parsed choice children nodes.
  * @param[in] node Compiled choice node to compile and add children to.
  * @param[in,out] child_set Optional set to add all the compiled nodes into (can be more in case of uses).
  * @return LY_ERR value - LY_SUCCESS or LY_EVALID.
  */
 LY_ERR lys_compile_node_choice_child(struct lysc_ctx *ctx, struct lysp_node *child_p, struct lysc_node *node,
         struct ly_set *child_set);

 /**
  * @brief Set LYS_MAND_TRUE flag for the non-presence container parents.
  *
  * A non-presence container is mandatory in case it has at least one mandatory children. This function propagate
  * the flag to such parents from a mandatory children.
  *
  * @param[in] parent A schema node to be examined if the mandatory child make it also mandatory.
  * @param[in] add Flag to distinguish adding the mandatory flag (new mandatory children appeared) or removing the flag
  * (mandatory children was removed).
  */
 void lys_compile_mandatory_parents(struct lysc_node *parent, ly_bool add);

 /**
  * @brief Validate grouping that was defined but not used in the schema itself.
  *
  * The grouping does not need to be compiled (and it is compiled here, but the result is forgotten immediately),
  * but to have the complete result of the schema validity, even such groupings are supposed to be checked.
  *
  * @param[in] ctx Compile context.
  * @param[in] pnode Parsed parent node of the grouping, NULL for top-level.
  * @param[in] grp Parsed grouping node to check.
  * @return LY_ERR value.
  */
 LY_ERR lys_compile_grouping(struct lysc_ctx *ctx, struct lysp_node *pnode, struct lysp_node_grp *grp);

 /**
  * @brief Compile parsed schema node information.
  *
  * @param[in] ctx Compile context
  * @param[in] pnode Parsed schema node.
  * @param[in] parent Compiled parent node where the current node is supposed to be connected. It is
  * NULL for top-level nodes, in such a case the module where the node will be connected is taken from
  * the compile context.
  * @param[in] inherited_status Explicitly inherited status (from uses/extension instance), if any.
  * @param[in,out] child_set Optional set to add all the compiled nodes into (can be more in case of uses).
  * @return LY_ERR value - LY_SUCCESS or LY_EVALID.
  */
 LY_ERR lys_compile_node(struct lysc_ctx *ctx, struct lysp_node *pnode, struct lysc_node *parent,
         const uint16_t *inherited_status, struct ly_set *child_set);

 #endif /* LY_SCHEMA_COMPILE_NODE_H_ */
	/**
	* @file schema_compile_node.h
	* @author Radek Krejci <rkrejci@cesnet.cz>
	* @brief Header for schema compilation of common nodes.
	*
	* Copyright (c) 2015 - 2020 CESNET, z.s.p.o.
	*
	* This source code is licensed under BSD 3-Clause License (the "License").
	* You may not use this file except in compliance with the License.
	* You may obtain a copy of the License at
	*
	* https://opensource.org/licenses/BSD-3-Clause
	*/

	#ifndef LY_SCHEMA_COMPILE_NODE_H_
	#define LY_SCHEMA_COMPILE_NODE_H_

	#include <stddef.h>
	#include <stdint.h>

	#include "log.h"
	#include "tree.h"
	#include "tree_schema.h"

	struct ly_ctx;
	struct ly_set;
	struct lysc_ctx;

	/**
	* @brief Compile information from the when statement by either standard compilation or by reusing
	* another compiled when structure.
	*
	* @param[in] ctx Compile context.
	* @param[in] when_p Parsed when structure.
	* @param[in] parent_flags Flags of the parsed node with the when statement.
	* @param[in] compiled_parent Closest compiled parent of the when statement.
	* @param[in] ctx_node Context node for the when statement.
	* @param[in] node Compiled node to which add the compiled when.
	* @param[in,out] when_c Optional, pointer to the previously compiled @p when_p to be reused. Set to NULL
	* for the first call.
	* @return LY_ERR value.
	*/
	LY_ERR lys_compile_when(struct lysc_ctx ctx, struct lysp_when when_p, uint16_t parent_flags,
	const struct lysc_node compiled_parent, const struct lysc_node ctx_node, struct lysc_node *node,
	struct lysc_when **when_c);

	/**
	* @brief Compile information from the must statement
	*
	* @param[in] ctx Compile context.
	* @param[in] must_p The parsed must statement structure.
	* @param[in,out] must Prepared (empty) compiled must structure to fill.
	* @return LY_ERR value.
	*/
	LY_ERR lys_compile_must(struct lysc_ctx ctx, struct lysp_restr must_p, struct lysc_must *must);

	/**
	* @brief Checks pattern syntax.
	*
	* @param[in] ctx Context.
	* @param[in] pattern Pattern to check.
	* @param[in,out] code Compiled PCRE2 pattern. If NULL, the compiled information used to validate pattern are freed.
	* @return LY_ERR value - LY_SUCCESS, LY_EMEM, LY_EVALID.
	*/
	LY_ERR lys_compile_type_pattern_check(struct ly_ctx ctx, const char pattern, pcre2_code **code);

	/**
	* @brief Compile parsed pattern restriction in conjunction with the patterns from base type.
	*
	* @param[in] ctx Compile context.
	* @param[in] patterns_p Array of parsed patterns from the current type to compile.
	* @param[in] base_patterns Compiled patterns from the type from which the current type is derived.
	* Patterns from the base type are inherited to have all the patterns that have to match at one place.
	* @param[out] patterns Pointer to the storage for the patterns of the current type.
	* @return LY_ERR LY_SUCCESS, LY_EMEM, LY_EVALID.
	*/
	LY_ERR lys_compile_type_patterns(struct lysc_ctx ctx, struct lysp_restr patterns_p,
	struct lysc_pattern base_patterns, struct lysc_pattern *patterns);

	/**
	* @brief Compile information about the leaf/leaf-list's type.
	*
	* @param[in] ctx Compile context.
	* @param[in] context_pnode Schema node where the type/typedef is placed to correctly find the base types.
	* @param[in] context_flags Flags of the context node or the referencing typedef to correctly check status of referencing and referenced objects.
	* @param[in] context_name Name of the context node or referencing typedef for logging.
	* @param[in] type_p Parsed type to compile.
	* @param[out] type Newly created (or reused with increased refcount) type structure with the filled information about the type.
	* @param[out] units Storage for inheriting units value from the typedefs the current type derives from.
	* @param[out] dflt Default value for the type.
	* @return LY_ERR value.
	*/
	LY_ERR lys_compile_type(struct lysc_ctx ctx, struct lysp_node context_pnode, uint16_t context_flags,
	const char context_name, struct lysp_type type_p, struct lysc_type type, const char units,
	struct lysp_qname **dflt);

	/**
	* @brief Find the node according to the given descendant/absolute schema nodeid.
	* Used in unique, refine and augment statements.
	*
	* @param[in] ctx Compile context
	* @param[in] nodeid Descendant-schema-nodeid (according to the YANG grammar)
	* @param[in] nodeid_len Length of the given nodeid, if it is not NULL-terminated string.
	* @param[in] ctx_node Context node for a relative nodeid.
	* @param[in] format Format of any prefixes.
	* @param[in] prefix_data Format-specific prefix data (see ::ly_resolve_prefix).
	* @param[in] nodetype Optional (can be 0) restriction for target's nodetype. If target exists, but does not match
	* the given nodetype, LY_EDENIED is returned (and target is provided), but no error message is printed.
	* The value can be even an ORed value to allow multiple nodetypes.
	* @param[out] target Found target node if any.
	* @param[out] result_flag Output parameter to announce if the schema nodeid goes through the action's input/output or a Notification.
	* The LYSC_OPT_RPC_INPUT, LYSC_OPT_RPC_OUTPUT and LYSC_OPT_NOTIFICATION are used as flags.
	* @return LY_ERR values - LY_ENOTFOUND, LY_EVALID, LY_EDENIED or LY_SUCCESS.
	*/
	LY_ERR lysc_resolve_schema_nodeid(struct lysc_ctx ctx, const char nodeid, size_t nodeid_len, const struct lysc_node *ctx_node,
	LY_VALUE_FORMAT format, void prefix_data, uint16_t nodetype, const struct lysc_node target, uint16_t result_flag);

	/**
	* @brief Compile choice children.
	*
	* @param[in] ctx Compile context
	* @param[in] child_p Parsed choice children nodes.
	* @param[in] node Compiled choice node to compile and add children to.
	* @param[in,out] child_set Optional set to add all the compiled nodes into (can be more in case of uses).
	* @return LY_ERR value - LY_SUCCESS or LY_EVALID.
	*/
	LY_ERR lys_compile_node_choice_child(struct lysc_ctx ctx, struct lysp_node child_p, struct lysc_node *node,
	struct ly_set *child_set);

	/**
	* @brief Set LYS_MAND_TRUE flag for the non-presence container parents.
	*
	* A non-presence container is mandatory in case it has at least one mandatory children. This function propagate
	* the flag to such parents from a mandatory children.
	*
	* @param[in] parent A schema node to be examined if the mandatory child make it also mandatory.
	* @param[in] add Flag to distinguish adding the mandatory flag (new mandatory children appeared) or removing the flag
	* (mandatory children was removed).
	*/
	void lys_compile_mandatory_parents(struct lysc_node *parent, ly_bool add);

	/**
	* @brief Validate grouping that was defined but not used in the schema itself.
	*
	* The grouping does not need to be compiled (and it is compiled here, but the result is forgotten immediately),
	* but to have the complete result of the schema validity, even such groupings are supposed to be checked.
	*
	* @param[in] ctx Compile context.
	* @param[in] pnode Parsed parent node of the grouping, NULL for top-level.
	* @param[in] grp Parsed grouping node to check.
	* @return LY_ERR value.
	*/
	LY_ERR lys_compile_grouping(struct lysc_ctx ctx, struct lysp_node pnode, struct lysp_node_grp *grp);

	/**
	* @brief Compile parsed schema node information.
	*
	* @param[in] ctx Compile context
	* @param[in] pnode Parsed schema node.
	* @param[in] parent Compiled parent node where the current node is supposed to be connected. It is
	* NULL for top-level nodes, in such a case the module where the node will be connected is taken from
	* the compile context.
	* @param[in] inherited_status Explicitly inherited status (from uses/extension instance), if any.
	* @param[in,out] child_set Optional set to add all the compiled nodes into (can be more in case of uses).
	* @return LY_ERR value - LY_SUCCESS or LY_EVALID.
	*/
	LY_ERR lys_compile_node(struct lysc_ctx ctx, struct lysp_node pnode, struct lysc_node *parent,
	const uint16_t inherited_status, struct ly_set child_set);

	#endif /* LY_SCHEMA_COMPILE_NODE_H_ */