libyang  6.4.26
libyang is YANG data modelling language parser and toolkit written (and providing API) in C.
identityref.c
Go to the documentation of this file.
1 
16 #define _GNU_SOURCE /* asprintf */
17 
18 #include "plugins_types.h"
19 
20 #include <stdint.h>
21 #include <stdio.h>
22 #include <stdlib.h>
23 
24 #include "compat.h"
25 #include "dict.h"
26 #include "ly_array.h"
27 #include "ly_common.h"
28 #include "plugins_internal.h"
29 
49 static LY_ERR
50 identityref_ident2str(const struct lysc_ident *ident, LY_VALUE_FORMAT format, void *prefix_data, char **str, uint32_t *str_len)
51 {
52  int len;
53  const char *prefix;
54 
55  /* get the prefix, may be NULL for no prefix and the default namespace */
56  prefix = lyplg_type_get_prefix(ident->module, format, prefix_data);
57 
58  if (prefix) {
59  len = asprintf(str, "%s:%s", prefix, ident->name);
60  } else {
61  len = asprintf(str, "%s", ident->name);
62  }
63  if (len == -1) {
64  return LY_EMEM;
65  }
66 
67  if (str_len) {
68  *str_len = (uint32_t)len;
69  }
70  return LY_SUCCESS;
71 }
72 
86 static LY_ERR
87 identityref_str2ident(const char *value, uint32_t value_size, LY_VALUE_FORMAT format, void *prefix_data,
88  const struct ly_ctx *ctx, const struct lysc_node *ctx_node, struct lysc_ident **ident, struct ly_err_item **err)
89 {
90  const char *id_name, *prefix = value;
91  uint32_t id_len, prefix_len;
92  const struct lys_module *mod;
93  LYA_COUNT_T u;
94  struct lysc_ident *id, *identities;
95 
96  /* locate prefix if any */
97  for (prefix_len = 0; (prefix_len < value_size) && (value[prefix_len] != ':'); ++prefix_len) {}
98  if (prefix_len < value_size) {
99  id_name = &value[prefix_len + 1];
100  id_len = value_size - (prefix_len + 1);
101  } else {
102  prefix_len = 0;
103  id_name = value;
104  id_len = value_size;
105  }
106 
107  if (!id_len) {
108  return ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL, "Invalid empty identityref value.");
109  }
110 
111  mod = lys_find_module(ctx, ctx_node, prefix, prefix_len, format, prefix_data);
112  if (!mod) {
113  return ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
114  "Invalid identityref \"%.*s\" value - unable to map prefix to YANG schema.", (int)value_size, value);
115  }
116 
117  id = NULL;
118  identities = mod->identities;
119  LYA_FOR(identities, u) {
120  if (!ly_strncmp(identities[u].name, id_name, id_len)) {
121  /* we have match */
122  id = &identities[u];
123  break;
124  }
125  }
126  if (!id) {
127  /* no match */
128  return ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
129  "Invalid identityref \"%.*s\" value - identity not found in module \"%s\".",
130  (int)value_size, value, mod->name);
131  }
132 
133  *ident = id;
134  return LY_SUCCESS;
135 }
136 
146 static LY_ERR
147 identityref_check_base(const struct lysc_ident *ident, struct lysc_type_identityref *type, const char *value,
148  uint32_t value_size, struct ly_err_item **err)
149 {
150  LY_ERR ret;
151  uint32_t str_size, str_len;
152  char *str;
153  LYA_COUNT_T u;
154  struct lysc_ident *base;
155 
156  /* check that the identity matches some of the type's base identities */
157  LYA_FOR(type->bases, u) {
158  if (!lyplg_type_identity_isderived(type->bases[u], ident)) {
159  /* we have match */
160  break;
161  }
162  }
163 
164  /* it does not, generate a nice error */
165  if (u == LYA_COUNT(type->bases)) {
166  str = NULL;
167  str_size = 0;
168  str_len = 0;
169  LYA_FOR(type->bases, u) {
170  base = type->bases[u];
171  if (ly_append_str(&str, &str_size, &str_len, "%s\"%s:%s\"", u ? ", " : "", base->module->name,
172  base->name)) {
173  free(str);
174  return ly_err_new_no_mem(err);
175  }
176  }
177 
178  /* no match */
179  if (u == 1) {
180  ret = ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
181  "Invalid identityref \"%.*s\" value - identity not derived from the base %s.",
182  (int)value_size, value, str);
183  } else {
184  ret = ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
185  "Invalid identityref \"%.*s\" value - identity not derived from all the bases %s.",
186  (int)value_size, value, str);
187  }
188  free(str);
189  return ret;
190  }
191 
192  return LY_SUCCESS;
193 }
194 
210 static LY_ERR
211 identityref_check_ident(const struct lysc_ident *ident, const char *value, uint32_t value_size, uint32_t options,
212  struct lys_glob_unres *unres, struct ly_err_item **err)
213 {
214  LY_ERR ret = LY_SUCCESS;
215 
216  if (!ident->module->implemented) {
217  if (options & LYPLG_TYPE_STORE_IMPLEMENT) {
218  ret = lyplg_type_make_implemented(ident->module, NULL, unres);
219  } else {
220  ret = ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
221  "Invalid identityref \"%.*s\" value - identity found in non-implemented module \"%s\".",
222  (int)value_size, (char *)value, ident->module->name);
223  }
224  } else if (ident->module->parsed && (lys_identity_iffeature_value(ident) == LY_ENOT)) {
225  ret = ly_err_new(err, LY_EVALID, LYVE_DATA, NULL, NULL,
226  "Invalid identityref \"%.*s\" value - identity is disabled by if-feature.",
227  (int)value_size, value);
228  }
229 
230  return ret;
231 }
232 
233 static LY_ERR
234 lyplg_type_store_identityref(const struct ly_ctx *ctx, const struct lysc_type *type, const void *value, uint64_t value_size_bits,
235  uint32_t options, LY_VALUE_FORMAT format, void *prefix_data, uint32_t hints, const struct lysc_node *ctx_node,
236  struct lyd_value *storage, struct lys_glob_unres *unres, struct ly_err_item **err)
237 {
238  LY_ERR ret = LY_SUCCESS;
239  struct lysc_type_identityref *type_ident = (struct lysc_type_identityref *)type;
240  uint32_t value_size;
241  char *canon;
242  struct lysc_ident *ident = NULL;
243 
244  /* init storage */
245  memset(storage, 0, sizeof *storage);
246  storage->realtype = type;
247 
248  /* check value length */
249  ret = lyplg_type_check_value_size("identityref", format, value_size_bits, LYPLG_LYB_SIZE_VARIABLE_BYTES, 0,
250  &value_size, err);
251  LY_CHECK_GOTO(ret, cleanup);
252 
253  /* check hints */
254  ret = lyplg_type_check_hints(hints, value, value_size, type->basetype, NULL, err);
255  LY_CHECK_GOTO(ret, cleanup);
256 
257  /* find a matching identity */
258  ret = identityref_str2ident(value, value_size, format, prefix_data, ctx, ctx_node, &ident, err);
259  LY_CHECK_GOTO(ret, cleanup);
260 
261  /* check if the identity is enabled */
262  ret = identityref_check_ident(ident, value, value_size, options, unres, err);
263  LY_CHECK_GOTO(ret, cleanup);
264 
265  /* check that the identity is derived form all the bases */
266  ret = identityref_check_base(ident, type_ident, value, value_size, err);
267  LY_CHECK_GOTO(ret, cleanup);
268 
269  if (ctx_node) {
270  /* check status */
271  ret = lyplg_type_check_status(ctx_node, ident->flags, format, prefix_data, ident->name, err);
272  LY_CHECK_GOTO(ret, cleanup);
273  }
274 
275  /* store value */
276  storage->ident = ident;
277 
278  /* store canonical value */
279  if (format == LY_VALUE_CANON) {
280  if (options & LYPLG_TYPE_STORE_DYNAMIC) {
281  ret = lydict_insert_zc(ctx, (char *)value, &storage->_canonical);
282  options &= ~LYPLG_TYPE_STORE_DYNAMIC;
283  LY_CHECK_GOTO(ret, cleanup);
284  } else {
285  ret = lydict_insert(ctx, value, value_size, &storage->_canonical);
286  LY_CHECK_GOTO(ret, cleanup);
287  }
288  } else {
289  /* JSON format with prefix is the canonical one */
290  if (asprintf(&canon, "%s:%s", ident->module->name, ident->name) == -1) {
291  ret = ly_err_new_no_mem(err);
292  goto cleanup;
293  }
294 
295  ret = lydict_insert_zc(ctx, canon, &storage->_canonical);
296  LY_CHECK_GOTO(ret, cleanup);
297  }
298 
299 cleanup:
300  if (options & LYPLG_TYPE_STORE_DYNAMIC) {
301  free((void *)value);
302  }
303 
304  if (ret) {
305  lyplg_type_free_simple(ctx, storage);
306  }
307  return ret;
308 }
309 
310 static LY_ERR
311 lyplg_type_compare_identityref(const struct ly_ctx *UNUSED(ctx), const struct lyd_value *val1,
312  const struct lyd_value *val2)
313 {
314  if (val1->ident == val2->ident) {
315  return LY_SUCCESS;
316  }
317  return LY_ENOT;
318 }
319 
320 static int
321 lyplg_type_sort_identityref(const struct ly_ctx *UNUSED(ctx), const struct lyd_value *val1,
322  const struct lyd_value *val2)
323 {
324  return strcmp(val1->ident->name, val2->ident->name);
325 }
326 
327 static const void *
328 lyplg_type_print_identityref(const struct ly_ctx *UNUSED(ctx), const struct lyd_value *value, LY_VALUE_FORMAT format,
329  void *prefix_data, ly_bool *dynamic, uint64_t *value_size_bits)
330 {
331  char *ret;
332  uint32_t value_size;
333 
334  if (format == LY_VALUE_CANON) {
335  if (dynamic) {
336  *dynamic = 0;
337  }
338  if (value_size_bits) {
339  *value_size_bits = strlen(value->_canonical) * 8;
340  }
341  return value->_canonical;
342  }
343 
344  /* print the value in the specific format */
345  if (identityref_ident2str(value->ident, format, prefix_data, &ret, &value_size)) {
346  return NULL;
347  }
348  *dynamic = 1;
349  if (value_size_bits) {
350  *value_size_bits = value_size * 8;
351  }
352 
353  return ret;
354 }
355 
363 const struct lyplg_type_record plugins_identityref[] = {
364  {
365  .module = "",
366  .revision = NULL,
367  .name = LY_TYPE_IDENT_STR,
368 
369  .plugin.id = "ly2 identityref",
370  .plugin.lyb_size = lyplg_type_lyb_size_variable_bytes,
371  .plugin.store = lyplg_type_store_identityref,
372  .plugin.validate_value = NULL,
373  .plugin.validate_tree = NULL,
374  .plugin.compare = lyplg_type_compare_identityref,
375  .plugin.sort = lyplg_type_sort_identityref,
376  .plugin.print = lyplg_type_print_identityref,
377  .plugin.duplicate = lyplg_type_dup_simple,
378  .plugin.free = lyplg_type_free_simple,
379  },
380  {0}
381 };
libyang dictionary
#define LYA_COUNT(ARRAY)
Get the number of records in the ARRAY.
Definition: ly_array.h:78
#define LYA_FOR(ARRAY, INDEX)
Helper macro to go through sized-arrays with a numeric iterator.
Definition: ly_array.h:55
#define LYA_COUNT_T
Type (i.e. size) of the sized array's size counter.
Definition: ly_array.h:38
libyang context handler.
LIBYANG_API_DECL LY_ERR lydict_insert(const struct ly_ctx *ctx, const char *value, size_t len, const char **str_p)
Insert string into dictionary. If the string is already present, only a reference counter is incremen...
LIBYANG_API_DECL LY_ERR lydict_insert_zc(const struct ly_ctx *ctx, char *value, const char **str_p)
Insert string into dictionary - zerocopy version. If the string is already present,...
LY_ERR
libyang's error codes returned by the libyang functions.
Definition: log.h:252
@ LYVE_DATA
Definition: log.h:290
@ LY_EMEM
Definition: log.h:254
@ LY_ENOT
Definition: log.h:266
@ LY_EVALID
Definition: log.h:260
@ LY_SUCCESS
Definition: log.h:253
Libyang full error structure.
Definition: log.h:298
const char * module
LIBYANG_API_DECL LY_ERR lyplg_type_make_implemented(struct lys_module *mod, const char **features, struct lys_glob_unres *unres)
Implement a module (just like lys_set_implemented()), but keep maintaining unresolved items.
LIBYANG_API_DECL LY_ERR lyplg_type_check_hints(uint32_t hints, const char *value, uint32_t value_len, LY_DATA_TYPE type, int *base, struct ly_err_item **err)
Check that the type is suitable for the parser's hints (if any) in the specified format.
LIBYANG_API_DECL LY_ERR lyplg_type_check_status(const struct lysc_node *ctx_node, uint16_t val_flags, LY_VALUE_FORMAT format, void *prefix_data, const char *val_name, struct ly_err_item **err)
Check that the value of a type is allowed based on its status.
LIBYANG_API_DECL LY_ERR lyplg_type_identity_isderived(const struct lysc_ident *base, const struct lysc_ident *derived)
Decide if the derived identity is derived from (based on) the base identity.
LIBYANG_API_DECL const char * lyplg_type_get_prefix(const struct lys_module *mod, LY_VALUE_FORMAT format, void *prefix_data)
Get format-specific prefix for a module.
LIBYANG_API_DECL LY_ERR lyplg_type_check_value_size(const char *type_name, LY_VALUE_FORMAT format, uint64_t value_size_bits, enum lyplg_lyb_size_type lyb_size_type, uint64_t lyb_fixed_size_bits, uint32_t *value_size, struct ly_err_item **err)
Check a value type in bits is correct and as expected.
LIBYANG_API_DECL LY_ERR ly_err_new(struct ly_err_item **err, LY_ERR ecode, LY_VECODE vecode, char *data_path, char *apptag, const char *err_format,...) _FORMAT_PRINTF(6
Create and fill an error structure.
LIBYANG_API_DECL LY_ERR LIBYANG_API_DECL LY_ERR ly_err_new_no_mem(struct ly_err_item **err)
Create and fill an error structure with a no-memory error.
@ LYPLG_LYB_SIZE_VARIABLE_BYTES
LIBYANG_API_DECL LY_ERR lyplg_type_dup_simple(const struct ly_ctx *ctx, const struct lyd_value *original, struct lyd_value *dup)
Implementation of lyplg_type_dup_clb for a generic simple type.
LIBYANG_API_DECL void lyplg_type_free_simple(const struct ly_ctx *ctx, struct lyd_value *value)
Implementation of lyplg_type_free_clb for a generic simple type.
LIBYANG_API_DECL void lyplg_type_lyb_size_variable_bytes(const struct lysc_type *type, enum lyplg_lyb_size_type *size_type, uint64_t *fixed_size_bits)
Implementation of lyplg_type_lyb_size_clb for a type with variable length rounded to bytes.
#define LYPLG_TYPE_STORE_DYNAMIC
#define LYPLG_TYPE_STORE_IMPLEMENT
const char * name
Definition: tree_schema.h:2244
LY_DATA_TYPE basetype
Definition: tree_schema.h:1278
const char * name
Definition: tree_schema.h:1204
struct lysc_ident * identities
Definition: tree_schema.h:2260
struct lys_module * module
Definition: tree_schema.h:1207
ly_bool implemented
Definition: tree_schema.h:2272
uint16_t flags
Definition: tree_schema.h:1211
struct lysp_module * parsed
Definition: tree_schema.h:2254
struct lysc_ident ** bases
Definition: tree_schema.h:1370
LIBYANG_API_DECL LY_ERR lys_identity_iffeature_value(const struct lysc_ident *ident)
Get how the if-feature statement is evaluated for certain identity.
LIBYANG_API_DECL const struct lys_module * lys_find_module(const struct ly_ctx *ctx, const struct lysc_node *ctx_node, const char *prefix, uint32_t prefix_len, LY_VALUE_FORMAT format, const void *prefix_data)
Find a module matching a prefix (or a default one).
Available YANG schema tree structures representing YANG module.
Definition: tree_schema.h:2242
YANG identity-stmt.
Definition: tree_schema.h:1203
Compiled YANG data node.
Definition: tree_schema.h:1412
const struct lyplg_type_record plugins_identityref[]
Plugin information for identityref type implementation.
Definition: identityref.c:363
uint8_t ly_bool
Type to indicate boolean value.
Definition: log.h:29
libyang sized array API.
API for (user) types plugins.
const struct lysc_type * realtype
Definition: tree_data.h:614
const char * _canonical
Definition: tree_data.h:611
YANG data representation.
Definition: tree_data.h:610
LY_VALUE_FORMAT
All kinds of supported value formats and prefix mappings to modules.
Definition: utils.h:93
@ LY_VALUE_CANON
Definition: utils.h:94