Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 1 | /** |
| 2 | * @file xml.h |
| 3 | * @author Radek Krejci <rkrejci@cesnet.cz> |
| 4 | * @brief Generic XML parser routines. |
| 5 | * |
| 6 | * Copyright (c) 2015 - 2018 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_XML_H_ |
| 16 | #define LY_XML_H_ |
| 17 | |
| 18 | #include <stdint.h> |
| 19 | |
| 20 | #include "context.h" |
| 21 | #include "set.h" |
| 22 | |
Radek Krejci | b1646a9 | 2018-11-02 16:08:26 +0100 | [diff] [blame] | 23 | /* Macro to test if character is whitespace */ |
| 24 | #define is_xmlws(c) (c == 0x20 || c == 0x9 || c == 0xa || c == 0xd) |
| 25 | |
| 26 | /* Macro to test if character is allowed to be a first character of an qualified identifier */ |
| 27 | #define is_xmlqnamestartchar(c) ((c >= 'a' && c <= 'z') || c == '_' || \ |
| 28 | (c >= 'A' && c <= 'Z') || /* c == ':' || */ \ |
| 29 | (c >= 0x370 && c <= 0x1fff && c != 0x37e ) || \ |
| 30 | (c >= 0xc0 && c <= 0x2ff && c != 0xd7 && c != 0xf7) || c == 0x200c || \ |
| 31 | c == 0x200d || (c >= 0x2070 && c <= 0x218f) || \ |
| 32 | (c >= 0x2c00 && c <= 0x2fef) || (c >= 0x3001 && c <= 0xd7ff) || \ |
| 33 | (c >= 0xf900 && c <= 0xfdcf) || (c >= 0xfdf0 && c <= 0xfffd) || \ |
| 34 | (c >= 0x10000 && c <= 0xeffff)) |
| 35 | |
| 36 | /* Macro to test if character is allowed to be used in an qualified identifier */ |
| 37 | #define is_xmlqnamechar(c) ((c >= 'a' && c <= 'z') || c == '_' || c == '-' || \ |
| 38 | (c >= 'A' && c <= 'Z') || (c >= '0' && c <= '9') || /* c == ':' || */ \ |
| 39 | c == '.' || c == 0xb7 || (c >= 0x370 && c <= 0x1fff && c != 0x37e ) ||\ |
| 40 | (c >= 0xc0 && c <= 0x2ff && c != 0xd7 && c != 0xf7) || c == 0x200c || \ |
| 41 | c == 0x200d || (c >= 0x300 && c <= 0x36f) || \ |
| 42 | (c >= 0x2070 && c <= 0x218f) || (c >= 0x2030f && c <= 0x2040) || \ |
| 43 | (c >= 0x2c00 && c <= 0x2fef) || (c >= 0x3001 && c <= 0xd7ff) || \ |
| 44 | (c >= 0xf900 && c <= 0xfdcf) || (c >= 0xfdf0 && c <= 0xfffd) || \ |
| 45 | (c >= 0x10000 && c <= 0xeffff)) |
| 46 | |
Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 47 | struct lyxml_ns { |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 48 | const char *element; /* element where the namespace is defined */ |
| 49 | char *prefix; /* prefix of the namespace, NULL for the default namespace */ |
| 50 | char *uri; /* namespace URI */ |
Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 51 | }; |
| 52 | |
Radek Krejci | b189064 | 2018-10-03 14:05:40 +0200 | [diff] [blame] | 53 | /* element tag identifier for matching opening and closing tags */ |
| 54 | struct lyxml_elem { |
| 55 | const char *prefix; |
| 56 | const char *name; |
| 57 | size_t prefix_len; |
| 58 | size_t name_len; |
| 59 | }; |
| 60 | |
Radek Krejci | 28e8cb5 | 2019-03-08 11:31:31 +0100 | [diff] [blame] | 61 | /** |
| 62 | * @brief Status of the parser providing information what is expected next (which function is supposed to be called). |
| 63 | */ |
Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 64 | enum LYXML_PARSER_STATUS { |
Radek Krejci | b189064 | 2018-10-03 14:05:40 +0200 | [diff] [blame] | 65 | LYXML_ELEMENT, /* expecting XML element, call lyxml_get_element() */ |
| 66 | LYXML_ELEM_CONTENT, /* expecting content of an element, call lyxml_get_string */ |
| 67 | LYXML_ATTRIBUTE, /* expecting XML attribute, call lyxml_get_attribute() */ |
| 68 | LYXML_ATTR_CONTENT, /* expecting value of an attribute, call lyxml_get_string */ |
| 69 | LYXML_END /* end of input data */ |
Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 70 | }; |
| 71 | |
| 72 | struct lyxml_context { |
| 73 | struct ly_ctx *ctx; |
| 74 | uint64_t line; |
Radek Krejci | b189064 | 2018-10-03 14:05:40 +0200 | [diff] [blame] | 75 | enum LYXML_PARSER_STATUS status; /* status providing information about the next expected object in input data */ |
| 76 | struct ly_set elements; /* list of not-yet-closed elements */ |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 77 | struct ly_set ns; /* handled with LY_SET_OPT_USEASLIST */ |
Radek Krejci | d91dbaf | 2018-09-21 15:51:39 +0200 | [diff] [blame] | 78 | }; |
| 79 | |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 80 | /** |
| 81 | * @brief Parse input expecting an XML element. |
| 82 | * |
| 83 | * Able to silently skip comments, PIs and CData. DOCTYPE is not parsable, so it is reported as LY_EVALID error. |
| 84 | * If '<' is not found in input, LY_EINVAL is returned (but no error is logged), so it is possible to continue |
| 85 | * with parsing input as text content. |
| 86 | * |
| 87 | * Input string is not being modified, so the returned values are not NULL-terminated, instead their length |
| 88 | * is returned. |
| 89 | * |
| 90 | * @param[in] context XML context to track lines or store errors into libyang context. |
| 91 | * @param[in,out] input Input string to process, updated according to the processed/read data. |
| 92 | * @param[in] options Currently unused options to modify input processing. |
| 93 | * @param[out] prefix Pointer to prefix if present in the element name, NULL otherwise. |
| 94 | * @param[out] prefix_len Length of the prefix if any. |
Radek Krejci | b189064 | 2018-10-03 14:05:40 +0200 | [diff] [blame] | 95 | * @param[out] name Element name. When LY_SUCCESS is returned but name is NULL, check context's status field: |
| 96 | * - LYXML_END - end of input was reached |
Radek Krejci | 28e8cb5 | 2019-03-08 11:31:31 +0100 | [diff] [blame] | 97 | * - LYXML_ELEMENT - closing element found, expecting now a sibling element so call lyxml_get_element() again |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 98 | * @param[out] name_len Length of the element name. |
| 99 | * @return LY_ERR values. |
| 100 | */ |
| 101 | LY_ERR lyxml_get_element(struct lyxml_context *context, const char **input, |
| 102 | const char **prefix, size_t *prefix_len, const char **name, size_t *name_len); |
| 103 | |
| 104 | /** |
| 105 | * @brief Parse input expecting an XML attribute (including XML namespace). |
| 106 | * |
| 107 | * Input string is not being modified, so the returned values are not NULL-terminated, instead their length |
| 108 | * is returned. |
| 109 | * |
| 110 | * In case of a namespace definition, prefix just contains xmlns string. In case of the default namespace, |
| 111 | * prefix is NULL and the attribute name is xmlns. |
| 112 | * |
| 113 | * @param[in] context XML context to track lines or store errors into libyang context. |
| 114 | * @param[in,out] input Input string to process, updated according to the processed/read data so, |
| 115 | * when succeeded, it points to the opening quote of the attribute's value. |
| 116 | * @param[out] prefix Pointer to prefix if present in the attribute name, NULL otherwise. |
| 117 | * @param[out] prefix_len Length of the prefix if any. |
Radek Krejci | 28e8cb5 | 2019-03-08 11:31:31 +0100 | [diff] [blame] | 118 | * @param[out] name Attribute name. |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 119 | * @param[out] name_len Length of the element name. |
| 120 | * @return LY_ERR values. |
| 121 | */ |
| 122 | LY_ERR lyxml_get_attribute(struct lyxml_context *context, const char **input, |
| 123 | const char **prefix, size_t *prefix_len, const char **name, size_t *name_len); |
| 124 | |
| 125 | /** |
| 126 | * @brief Parse input as XML text (attribute's values and element's content). |
| 127 | * |
| 128 | * Mixed content of XML elements is not allowed. Formating whitespaces before child element are ignored, |
Radek Krejci | d70d107 | 2018-10-09 14:20:47 +0200 | [diff] [blame] | 129 | * LY_EINVAL is returned in such a case (output is not set, no error is printed) and input is moved |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 130 | * to the beginning of a child definition. |
| 131 | * |
| 132 | * In the case of attribute's values, the input string is expected to start on a quotation mark to |
| 133 | * select which delimiter (single or double quote) is used. Otherwise, the element content is being |
| 134 | * parsed expected to be terminated by '<' character. |
| 135 | * |
Radek Krejci | d70d107 | 2018-10-09 14:20:47 +0200 | [diff] [blame] | 136 | * If function succeeds, the string in a dynamically allocated output buffer is always NULL-terminated. |
| 137 | * |
| 138 | * The dynamically allocated buffer is used only when necessary because of a character or the supported entity |
| 139 | * reference which modify the input data. These constructs are replaced by their real value, so in case the output |
| 140 | * string will be again printed as an XML data, it may be necessary to correctly encode such characters. |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 141 | * |
| 142 | * @param[in] context XML context to track lines or store errors into libyang context. |
| 143 | * @param[in,out] input Input string to process, updated according to the processed/read data. |
Radek Krejci | d70d107 | 2018-10-09 14:20:47 +0200 | [diff] [blame] | 144 | * @param[in, out] buffer Storage for the output string. If the parameter points to NULL, the buffer is allocated if needed. |
| 145 | * Otherwise, when needed, the buffer is used and enlarged when necessary. Whenever the buffer is used, the string is NULL-terminated. |
| 146 | * @param[in, out] buffer_size Allocated size of the returned buffer. If a buffer is provided by a caller, it |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 147 | * is not being reduced even if the string is shorter. On the other hand, it can be enlarged if needed. |
Radek Krejci | d70d107 | 2018-10-09 14:20:47 +0200 | [diff] [blame] | 148 | * @param[out] output Returns pointer to the resulting string - to the provided/allocated buffer if it was necessary to modify |
| 149 | * the input string or directly into the input string (see the \p dynamic parameter). |
| 150 | * @param[out] length Length of the \p output string. |
| 151 | * @param[out] dynamic Flag if a dynamically allocated memory (\p buffer) was used and caller is supposed to free it at the end. |
| 152 | * In case the value is zero, the \p output points directly into the \p input string. |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 153 | * @return LY_ERR value. |
| 154 | */ |
Radek Krejci | d70d107 | 2018-10-09 14:20:47 +0200 | [diff] [blame] | 155 | LY_ERR lyxml_get_string(struct lyxml_context *context, const char **input, char **buffer, size_t *buffer_size, char **output, size_t *length, int *dynamic); |
Radek Krejci | 4b74d5e | 2018-09-26 14:30:55 +0200 | [diff] [blame] | 156 | |
| 157 | /** |
| 158 | * @brief Add namespace definition into XML context. |
| 159 | * |
| 160 | * Namespaces from a single element are supposed to be added sequentially together (not interleaved by a namespace from other |
| 161 | * element). This mimic namespace visibility, since the namespace defined in element E is not visible from its parents or |
| 162 | * siblings. On the other hand, namespace from a parent element can be redefined in a child element. This is also reflected |
| 163 | * by lyxml_ns_get() which returns the most recent namespace definition for the given prefix. |
| 164 | * |
| 165 | * When leaving processing of a subtree of some element, caller is supposed to call lyxml_ns_rm() to remove all the namespaces |
| 166 | * defined in such an element from the context. |
| 167 | * |
| 168 | * @param[in] context XML context to work with. |
| 169 | * @param[in] element_name Pointer to the element name where the namespace is defined. Serve as an identifier to select |
| 170 | * which namespaces are supposed to be removed via lyxml_ns_rm() when leaving the element's subtree. |
| 171 | * @param[in] prefix Pointer to the namespace prefix as taken from lyxml_get_attribute(). Can be NULL for default namespace. |
| 172 | * @param[in] prefix_len Length of the prefix string (since it is not NULL-terminated when returned from lyxml_get_attribute()). |
| 173 | * @param[in] uri Namespace URI (value) to store. Value can be obtained via lyxml_get_string() and caller is not supposed to |
| 174 | * work with the pointer when the function succeeds. |
| 175 | * @return LY_ERR values. |
| 176 | */ |
| 177 | LY_ERR lyxml_ns_add(struct lyxml_context *context, const char *element_name, const char *prefix, size_t prefix_len, char *uri); |
| 178 | |
| 179 | /** |
| 180 | * @brief Get a namespace record for the given prefix in the current context. |
| 181 | * |
| 182 | * @param[in] context XML context to work with. |
| 183 | * @param[in] prefix Pointer to the namespace prefix as taken from lyxml_get_attribute() or lyxml_get_element(). |
| 184 | * Can be NULL for default namespace. |
| 185 | * @param[in] prefix_len Length of the prefix string (since it is not NULL-terminated when returned from lyxml_get_attribute() or |
| 186 | * lyxml_get_element()). |
| 187 | * @return The namespace record or NULL if the record for the specified prefix not found. |
| 188 | */ |
| 189 | const struct lyxml_ns *lyxml_ns_get(struct lyxml_context *context, const char *prefix, size_t prefix_len); |
| 190 | |
| 191 | /** |
| 192 | * @brief Remove all the namespaces defined in the given element. |
| 193 | * |
| 194 | * @param[in] context XML context to work with. |
| 195 | * @param[in] element_name Pointer to the element name where the namespaces are defined. Serve as an identifier previously provided |
| 196 | * by lyxml_get_element() |
| 197 | * @return LY_ERR values. |
| 198 | */ |
| 199 | LY_ERR lyxml_ns_rm(struct lyxml_context *context, const char *element_name); |
Radek Krejci | b416be6 | 2018-10-01 14:51:45 +0200 | [diff] [blame] | 200 | |
Radek Krejci | b189064 | 2018-10-03 14:05:40 +0200 | [diff] [blame] | 201 | /** |
| 202 | * @brief Remove the allocated working memory of the context. |
| 203 | * |
| 204 | * @param[in] context XML context to clear. |
| 205 | */ |
| 206 | void lyxml_context_clear(struct lyxml_context *context); |
| 207 | |
Radek Krejci | b416be6 | 2018-10-01 14:51:45 +0200 | [diff] [blame] | 208 | #endif /* LY_XML_H_ */ |