| /* |
| * @file test_parser_yang.c |
| * @author: Radek Krejci <rkrejci@cesnet.cz> |
| * @brief unit tests for functions from parser_yang.c |
| * |
| * Copyright (c) 2018 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 |
| */ |
| |
| #include "../../src/common.c" |
| #include "../../src/log.c" |
| #include "../../src/set.c" |
| #include "../../src/xpath.c" |
| #include "../../src/parser_yang.c" |
| #include "../../src/tree_schema_helpers.c" |
| #include "../../src/tree_schema_free.c" |
| #include "../../src/tree_schema_compile.c" |
| #include "../../src/tree_schema.c" |
| #include "../../src/context.c" |
| #include "../../src/hash_table.c" |
| |
| #include <stdarg.h> |
| #include <stddef.h> |
| #include <setjmp.h> |
| #include <cmocka.h> |
| |
| #include <stdio.h> |
| #include <string.h> |
| |
| #include "libyang.h" |
| |
| #define BUFSIZE 1024 |
| char logbuf[BUFSIZE] = {0}; |
| |
| /* set to 0 to printing error messages to stderr instead of checking them in code */ |
| #define ENABLE_LOGGER_CHECKING 1 |
| |
| #if ENABLE_LOGGER_CHECKING |
| static void |
| logger(LY_LOG_LEVEL level, const char *msg, const char *path) |
| { |
| (void) level; /* unused */ |
| |
| if (path && path[0]) { |
| snprintf(logbuf, BUFSIZE - 1, "%s %s", msg, path); |
| } else { |
| strncpy(logbuf, msg, BUFSIZE - 1); |
| } |
| } |
| #endif |
| |
| static int |
| logger_setup(void **state) |
| { |
| (void) state; /* unused */ |
| #if ENABLE_LOGGER_CHECKING |
| ly_set_log_clb(logger, 1); |
| #endif |
| return 0; |
| } |
| |
| static int |
| logger_teardown(void **state) |
| { |
| (void) state; /* unused */ |
| #if ENABLE_LOGGER_CHECKING |
| if (*state) { |
| fprintf(stderr, "%s\n", logbuf); |
| } |
| #endif |
| return 0; |
| } |
| |
| void |
| logbuf_clean(void) |
| { |
| logbuf[0] = '\0'; |
| } |
| |
| #if ENABLE_LOGGER_CHECKING |
| # define logbuf_assert(str) assert_string_equal(logbuf, str) |
| #else |
| # define logbuf_assert(str) |
| #endif |
| |
| static void |
| test_module(void **state) |
| { |
| (void) state; /* unused */ |
| |
| const char *str; |
| struct ly_parser_ctx ctx = {0}; |
| struct lys_module mod = {0}; |
| struct lysc_feature *f; |
| struct lysc_iffeature *iff; |
| |
| str = "module test {namespace urn:test; prefix t;" |
| "feature f1;feature f2 {if-feature f1;}}"; |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, 0, &ctx.ctx)); |
| |
| assert_int_equal(LY_EINVAL, lys_compile(NULL, 0)); |
| logbuf_assert("Invalid argument mod (lys_compile())."); |
| assert_int_equal(LY_EINVAL, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid argument mod->parsed (lys_compile())."); |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, str, &mod.parsed)); |
| assert_int_equal(LY_SUCCESS, lys_compile(&mod, 0)); |
| assert_non_null(mod.compiled); |
| assert_ptr_equal(mod.parsed->name, mod.compiled->name); |
| assert_ptr_equal(mod.parsed->ns, mod.compiled->ns); |
| /* features */ |
| assert_non_null(mod.compiled->features); |
| assert_int_equal(2, LY_ARRAY_SIZE(mod.compiled->features)); |
| f = &mod.compiled->features[1]; |
| assert_non_null(f->iffeatures); |
| assert_int_equal(1, LY_ARRAY_SIZE(f->iffeatures)); |
| iff = &f->iffeatures[0]; |
| assert_non_null(iff->expr); |
| assert_non_null(iff->features); |
| assert_int_equal(1, LY_ARRAY_SIZE(iff->features)); |
| assert_ptr_equal(&mod.compiled->features[0], iff->features[0]); |
| |
| lysc_module_free(mod.compiled, NULL); |
| |
| assert_int_equal(LY_SUCCESS, lys_compile(&mod, LYSC_OPT_FREE_SP)); |
| assert_non_null(mod.compiled); |
| assert_string_equal("test", mod.compiled->name); |
| assert_string_equal("urn:test", mod.compiled->ns); |
| |
| lysc_module_free(mod.compiled, NULL); |
| mod.compiled = NULL; |
| |
| /* submodules cannot be compiled directly */ |
| str = "submodule test {belongs-to xxx {prefix x;}}"; |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, str, &mod.parsed)); |
| assert_int_equal(LY_EINVAL, lys_compile(&mod, 0)); |
| logbuf_assert("Submodules (test) are not supposed to be compiled, compile only the main modules."); |
| assert_null(mod.compiled); |
| |
| lysp_module_free(mod.parsed); |
| ly_ctx_destroy(ctx.ctx, NULL); |
| } |
| |
| static void |
| test_feature(void **state) |
| { |
| (void) state; /* unused */ |
| |
| struct ly_parser_ctx ctx = {0}; |
| struct lys_module mod = {0}, *modp; |
| const char *str; |
| struct lysc_feature *f, *f1; |
| |
| str = "module a {namespace urn:a;prefix a;yang-version 1.1;\n" |
| "feature f1 {description test1;reference test2;status current;} feature f2; feature f3;\n" |
| "feature orfeature {if-feature \"f1 or f2\";}\n" |
| "feature andfeature {if-feature \"f1 and f2\";}\n" |
| "feature f6 {if-feature \"not f1\";}\n" |
| "feature f7 {if-feature \"(f2 and f3) or (not f1)\";}\n" |
| "feature f8 {if-feature \"f1 or f2 or f3 or orfeature or andfeature\";}\n" |
| "feature f9 {if-feature \"not not f1\";}}"; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, 0, &ctx.ctx)); |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, str, &mod.parsed)); |
| assert_int_equal(LY_SUCCESS, lys_compile(&mod, 0)); |
| assert_non_null(mod.compiled); |
| assert_non_null(mod.compiled->features); |
| assert_int_equal(9, LY_ARRAY_SIZE(mod.compiled->features)); |
| /* all features are disabled by default */ |
| LY_ARRAY_FOR(mod.compiled->features, struct lysc_feature, f) { |
| assert_int_equal(0, lysc_feature_value(f)); |
| } |
| /* enable f1 */ |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "f1")); |
| f1 = &mod.compiled->features[0]; |
| assert_int_equal(1, lysc_feature_value(f1)); |
| |
| /* enable orfeature */ |
| f = &mod.compiled->features[3]; |
| assert_int_equal(0, lysc_feature_value(f)); |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "orfeature")); |
| assert_int_equal(1, lysc_feature_value(f)); |
| |
| /* enable andfeature - no possible since f2 is disabled */ |
| f = &mod.compiled->features[4]; |
| assert_int_equal(0, lysc_feature_value(f)); |
| assert_int_equal(LY_EDENIED, lys_feature_enable(&mod, "andfeature")); |
| logbuf_assert("Feature \"andfeature\" cannot be enabled since it is disabled by its if-feature condition(s)."); |
| assert_int_equal(0, lysc_feature_value(f)); |
| |
| /* first enable f2, so f5 can be enabled then */ |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "f2")); |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "andfeature")); |
| assert_int_equal(1, lysc_feature_value(f)); |
| |
| /* f1 is enabled, so f6 cannot be enabled */ |
| f = &mod.compiled->features[5]; |
| assert_int_equal(0, lysc_feature_value(f)); |
| assert_int_equal(LY_EDENIED, lys_feature_enable(&mod, "f6")); |
| logbuf_assert("Feature \"f6\" cannot be enabled since it is disabled by its if-feature condition(s)."); |
| assert_int_equal(0, lysc_feature_value(f)); |
| |
| /* so disable f1 - andfeature will became also disabled */ |
| assert_int_equal(1, lysc_feature_value(f1)); |
| assert_int_equal(LY_SUCCESS, lys_feature_disable(&mod, "f1")); |
| assert_int_equal(0, lysc_feature_value(f1)); |
| assert_int_equal(0, lysc_feature_value(&mod.compiled->features[4])); |
| /* while orfeature is stille enabled */ |
| assert_int_equal(1, lysc_feature_value(&mod.compiled->features[3])); |
| /* and finally f6 can be enabled */ |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "f6")); |
| assert_int_equal(1, lysc_feature_value(&mod.compiled->features[5])); |
| |
| /* complex evaluation of f7: f1 and f3 are disabled, while f2 is enabled */ |
| assert_int_equal(1, lysc_iffeature_value(&mod.compiled->features[6].iffeatures[0])); |
| /* long evaluation of f8 to need to reallocate internal stack for operators */ |
| assert_int_equal(1, lysc_iffeature_value(&mod.compiled->features[7].iffeatures[0])); |
| |
| /* double negation of disabled f1 -> disabled */ |
| assert_int_equal(0, lysc_iffeature_value(&mod.compiled->features[8].iffeatures[0])); |
| |
| /* disable all features */ |
| assert_int_equal(LY_SUCCESS, lys_feature_disable(&mod, "*")); |
| LY_ARRAY_FOR(mod.compiled->features, struct lysc_feature, f) { |
| assert_int_equal(0, lys_feature_value(&mod, f->name)); |
| } |
| /* re-setting already set feature */ |
| assert_int_equal(LY_SUCCESS, lys_feature_disable(&mod, "f1")); |
| assert_int_equal(0, lys_feature_value(&mod, "f1")); |
| |
| /* enabling feature that cannot be enabled due to its if-features */ |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(&mod, "f1")); |
| assert_int_equal(LY_EDENIED, lys_feature_enable(&mod, "andfeature")); |
| logbuf_assert("Feature \"andfeature\" cannot be enabled since it is disabled by its if-feature condition(s)."); |
| assert_int_equal(LY_EDENIED, lys_feature_enable(&mod, "*")); |
| logbuf_assert("Feature \"f6\" cannot be enabled since it is disabled by its if-feature condition(s)."); |
| /* test if not changed */ |
| assert_int_equal(1, lys_feature_value(&mod, "f1")); |
| assert_int_equal(0, lys_feature_value(&mod, "f2")); |
| |
| /* invalid reference */ |
| assert_int_equal(LY_EINVAL, lys_feature_enable(&mod, "xxx")); |
| logbuf_assert("Feature \"xxx\" not found in module \"a\"."); |
| |
| lysc_module_free(mod.compiled, NULL); |
| lysp_module_free(mod.parsed); |
| |
| /* some invalid expressions */ |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f{if-feature f1;}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"f1\" of if-feature - unable to find feature \"f1\"."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f1; feature f2{if-feature 'f and';}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"f and\" of if-feature - unexpected end of expression."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f{if-feature 'or';}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"or\" of if-feature - unexpected end of expression."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f1; feature f2{if-feature '(f1';}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"(f1\" of if-feature - non-matching opening and closing parentheses."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f1; feature f2{if-feature 'f1)';}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"f1)\" of if-feature - non-matching opening and closing parentheses."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{yang-version 1.1;namespace urn:b; prefix b; feature f1; feature f2{if-feature ---;}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"---\" of if-feature - unable to find feature \"---\"."); |
| lysp_module_free(mod.parsed); |
| |
| assert_int_equal(LY_SUCCESS, yang_parse(&ctx, "module b{namespace urn:b; prefix b; feature f1; feature f2{if-feature 'not f1';}}", &mod.parsed)); |
| assert_int_equal(LY_EVALID, lys_compile(&mod, 0)); |
| logbuf_assert("Invalid value \"not f1\" of if-feature - YANG 1.1 expression in YANG 1.0 module."); |
| lysp_module_free(mod.parsed); |
| |
| /* import reference */ |
| assert_non_null(modp = lys_parse_mem(ctx.ctx, str, LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(modp, 0)); |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(modp, "f1")); |
| assert_non_null(modp = lys_parse_mem(ctx.ctx, "module b{namespace urn:b; prefix b; import a {prefix a;} feature f1; feature f2{if-feature 'a:f1';}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(modp, 0)); |
| assert_int_equal(LY_SUCCESS, lys_feature_enable(modp, "f2")); |
| assert_int_equal(0, lys_feature_value(modp, "f1")); |
| assert_int_equal(1, lys_feature_value(modp, "f2")); |
| |
| ly_ctx_destroy(ctx.ctx, NULL); |
| } |
| |
| static void |
| test_identity(void **state) |
| { |
| (void) state; /* unused */ |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod1, *mod2; |
| const char *mod1_str = "module a {namespace urn:a;prefix a; identity a1;}"; |
| const char *mod2_str = "module b {yang-version 1.1;namespace urn:b;prefix b; import a {prefix a;}identity b1; identity b2; identity b3 {base b1; base b:b2; base a:a1;} identity b4 {base b:b1; base b3;}}"; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| assert_non_null(mod1 = lys_parse_mem(ctx, mod1_str, LYS_IN_YANG)); |
| assert_non_null(mod2 = lys_parse_mem(ctx, mod2_str, LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod2, 0)); |
| |
| assert_non_null(mod1->compiled); |
| assert_non_null(mod1->compiled->identities); |
| assert_non_null(mod2->compiled); |
| assert_non_null(mod2->compiled->identities); |
| |
| assert_non_null(mod1->compiled->identities[0].derived); |
| assert_int_equal(1, LY_ARRAY_SIZE(mod1->compiled->identities[0].derived)); |
| assert_ptr_equal(mod1->compiled->identities[0].derived[0], &mod2->compiled->identities[2]); |
| assert_non_null(mod2->compiled->identities[0].derived); |
| assert_int_equal(2, LY_ARRAY_SIZE(mod2->compiled->identities[0].derived)); |
| assert_ptr_equal(mod2->compiled->identities[0].derived[0], &mod2->compiled->identities[2]); |
| assert_ptr_equal(mod2->compiled->identities[0].derived[1], &mod2->compiled->identities[3]); |
| assert_non_null(mod2->compiled->identities[1].derived); |
| assert_int_equal(1, LY_ARRAY_SIZE(mod2->compiled->identities[1].derived)); |
| assert_ptr_equal(mod2->compiled->identities[1].derived[0], &mod2->compiled->identities[2]); |
| assert_non_null(mod2->compiled->identities[2].derived); |
| assert_int_equal(1, LY_ARRAY_SIZE(mod2->compiled->identities[2].derived)); |
| assert_ptr_equal(mod2->compiled->identities[2].derived[0], &mod2->compiled->identities[3]); |
| |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_node_container(void **state) |
| { |
| (void) state; /* unused */ |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_node_container *cont; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {namespace urn:a;prefix a;container c;}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| assert_non_null(mod->compiled); |
| assert_non_null((cont = (struct lysc_node_container*)mod->compiled->data)); |
| assert_int_equal(LYS_CONTAINER, cont->nodetype); |
| assert_string_equal("c", cont->name); |
| assert_true(cont->flags & LYS_CONFIG_W); |
| assert_true(cont->flags & LYS_STATUS_CURR); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {namespace urn:b;prefix b;container c {config false; status deprecated; container child;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| logbuf_assert("Missing explicit \"deprecated\" status that was already specified in parent, inheriting."); |
| assert_non_null(mod->compiled); |
| assert_non_null((cont = (struct lysc_node_container*)mod->compiled->data)); |
| assert_true(cont->flags & LYS_CONFIG_R); |
| assert_true(cont->flags & LYS_STATUS_DEPRC); |
| assert_non_null((cont = (struct lysc_node_container*)cont->child)); |
| assert_int_equal(LYS_CONTAINER, cont->nodetype); |
| assert_true(cont->flags & LYS_CONFIG_R); |
| assert_true(cont->flags & LYS_STATUS_DEPRC); |
| assert_string_equal("child", cont->name); |
| |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| /** |
| * actually the same as length restriction (tested in test_type_length()), so just check the correct handling in appropriate types, |
| * do not test the expression itself |
| */ |
| static void |
| test_type_range(void **state) |
| { |
| *state = test_type_range; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {namespace urn:a;prefix a;leaf l {type int8 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_INT8, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(-128, ((struct lysc_type_num*)type)->range->parts[0].min_64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_64); |
| assert_int_equal(127, ((struct lysc_type_num*)type)->range->parts[1].min_64); |
| assert_int_equal(127, ((struct lysc_type_num*)type)->range->parts[1].max_64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {namespace urn:b;prefix b;leaf l {type int16 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_INT16, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(-32768, ((struct lysc_type_num*)type)->range->parts[0].min_64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_64); |
| assert_int_equal(32767, ((struct lysc_type_num*)type)->range->parts[1].min_64); |
| assert_int_equal(32767, ((struct lysc_type_num*)type)->range->parts[1].max_64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module c {namespace urn:c;prefix c;leaf l {type int32 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_INT32, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(INT64_C(-2147483648), ((struct lysc_type_num*)type)->range->parts[0].min_64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_64); |
| assert_int_equal(INT64_C(2147483647), ((struct lysc_type_num*)type)->range->parts[1].min_64); |
| assert_int_equal(INT64_C(2147483647), ((struct lysc_type_num*)type)->range->parts[1].max_64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module d {namespace urn:d;prefix d;leaf l {type int64 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_INT64, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(INT64_C(-9223372036854775807) - INT64_C(1), ((struct lysc_type_num*)type)->range->parts[0].min_64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_64); |
| assert_int_equal(INT64_C(9223372036854775807), ((struct lysc_type_num*)type)->range->parts[1].min_64); |
| assert_int_equal(INT64_C(9223372036854775807), ((struct lysc_type_num*)type)->range->parts[1].max_64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module e {namespace urn:e;prefix e;leaf l {type uint8 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_UINT8, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(0, ((struct lysc_type_num*)type)->range->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_u64); |
| assert_int_equal(255, ((struct lysc_type_num*)type)->range->parts[1].min_u64); |
| assert_int_equal(255, ((struct lysc_type_num*)type)->range->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module f {namespace urn:f;prefix f;leaf l {type uint16 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_UINT16, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(0, ((struct lysc_type_num*)type)->range->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_u64); |
| assert_int_equal(65535, ((struct lysc_type_num*)type)->range->parts[1].min_u64); |
| assert_int_equal(65535, ((struct lysc_type_num*)type)->range->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module g {namespace urn:g;prefix g;leaf l {type uint32 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_UINT32, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(0, ((struct lysc_type_num*)type)->range->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_u64); |
| assert_int_equal(UINT64_C(4294967295), ((struct lysc_type_num*)type)->range->parts[1].min_u64); |
| assert_int_equal(UINT64_C(4294967295), ((struct lysc_type_num*)type)->range->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module h {namespace urn:h;prefix h;leaf l {type uint64 {range min..10|max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_UINT64, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| assert_int_equal(0, ((struct lysc_type_num*)type)->range->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_num*)type)->range->parts[0].max_u64); |
| assert_int_equal(UINT64_C(18446744073709551615), ((struct lysc_type_num*)type)->range->parts[1].min_u64); |
| assert_int_equal(UINT64_C(18446744073709551615), ((struct lysc_type_num*)type)->range->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module i {namespace urn:i;prefix i;typedef mytype {type uint8 {range 10..100;}}" |
| "typedef mytype2 {type mytype;} leaf l {type mytype2;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(3, type->refcount); |
| assert_int_equal(LY_TYPE_UINT8, type->basetype); |
| assert_non_null(((struct lysc_type_num*)type)->range); |
| assert_non_null(((struct lysc_type_num*)type)->range->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_num*)type)->range->parts)); |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_type_length(void **state) |
| { |
| *state = test_type_length; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {namespace urn:a;prefix a;leaf l {type binary {length min {error-app-tag errortag;error-message error;}}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_string_equal("errortag", ((struct lysc_type_bin*)type)->length->eapptag); |
| assert_string_equal("error", ((struct lysc_type_bin*)type)->length->emsg); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(0, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(0, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {namespace urn:b;prefix b;leaf l {type binary {length max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(__UINT64_C(18446744073709551615), ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(__UINT64_C(18446744073709551615), ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module c {namespace urn:c;prefix c;leaf l {type binary {length min..max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(0, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(__UINT64_C(18446744073709551615), ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module d {namespace urn:d;prefix d;leaf l {type binary {length 5;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(5, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(5, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module e {namespace urn:e;prefix e;leaf l {type binary {length 1..10;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(1, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module f {namespace urn:f;prefix f;leaf l {type binary {length 1..10|20..30;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(1, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| assert_int_equal(20, ((struct lysc_type_bin*)type)->length->parts[1].min_u64); |
| assert_int_equal(30, ((struct lysc_type_bin*)type)->length->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module g {namespace urn:g;prefix g;leaf l {type binary {length \"16 | 32\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(16, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(16, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| assert_int_equal(32, ((struct lysc_type_bin*)type)->length->parts[1].min_u64); |
| assert_int_equal(32, ((struct lysc_type_bin*)type)->length->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module h {namespace urn:h;prefix h;typedef mytype {type binary {length 10;}}" |
| "leaf l {type mytype {length \"10\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module i {namespace urn:i;prefix i;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length \"50\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(50, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(50, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module j {namespace urn:j;prefix j;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length \"10..30|60..100\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(30, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| assert_int_equal(60, ((struct lysc_type_bin*)type)->length->parts[1].min_u64); |
| assert_int_equal(100, ((struct lysc_type_bin*)type)->length->parts[1].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module k {namespace urn:k;prefix k;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length \"10..80\";}}leaf ll {type mytype;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(1, type->refcount); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(80, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| type = ((struct lysc_node_leaf*)mod->compiled->data->next)->type; |
| assert_non_null(type); |
| assert_int_equal(2, type->refcount); |
| assert_non_null(((struct lysc_type_bin*)type)->length); |
| assert_non_null(((struct lysc_type_bin*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_bin*)type)->length->parts)); |
| assert_int_equal(10, ((struct lysc_type_bin*)type)->length->parts[0].min_u64); |
| assert_int_equal(100, ((struct lysc_type_bin*)type)->length->parts[0].max_u64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module l {namespace urn:l;prefix l;typedef mytype {type string {length 10..100;}}" |
| "typedef mytype2 {type mytype {pattern '[0-9]*';}} leaf l {type mytype2 {pattern '[0-4]*';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_STRING, type->basetype); |
| assert_int_equal(1, type->refcount); |
| assert_non_null(((struct lysc_type_str*)type)->length); |
| assert_non_null(((struct lysc_type_str*)type)->length->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_str*)type)->length->parts)); |
| assert_int_equal(10, ((struct lysc_type_str*)type)->length->parts[0].min_u64); |
| assert_int_equal(100, ((struct lysc_type_str*)type)->length->parts[0].max_u64); |
| |
| /* invalid values */ |
| assert_non_null(mod = lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa;leaf l {type binary {length -10;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - value \"-10\" does not fit the type limitations."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module bb {namespace urn:bb;prefix bb;leaf l {type binary {length 18446744073709551616;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - invalid value \"18446744073709551616\"."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module cc {namespace urn:cc;prefix cc;leaf l {type binary {length \"max .. 10\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected data after max keyword (.. 10)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module dd {namespace urn:dd;prefix dd;leaf l {type binary {length 50..10;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - values are not in ascending order (10)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module ee {namespace urn:ee;prefix ee;leaf l {type binary {length \"50 | 10\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - values are not in ascending order (10)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module ff {namespace urn:ff;prefix ff;leaf l {type binary {length \"x\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected data (x)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module gg {namespace urn:gg;prefix gg;leaf l {type binary {length \"50 | min\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected data before min keyword (50 | )."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module hh {namespace urn:hh;prefix hh;leaf l {type binary {length \"| 50\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected beginning of the expression (| 50)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module ii {namespace urn:ii;prefix ii;leaf l {type binary {length \"10 ..\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected end of the expression after \"..\" (10 ..)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module jj {namespace urn:jj;prefix jj;leaf l {type binary {length \".. 10\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected \"..\" without a lower bound."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module kk {namespace urn:kk;prefix kk;leaf l {type binary {length \"10 |\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - unexpected end of the expression (10 |)."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module kl {namespace urn:kl;prefix kl;leaf l {type binary {length \"10..20 | 15..30\";}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - values are not in ascending order (15)."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module ll {namespace urn:ll;prefix ll;typedef mytype {type binary {length 10;}}" |
| "leaf l {type mytype {length 11;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (11) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module mm {namespace urn:mm;prefix mm;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length 1..11;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (1..11) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module nn {namespace urn:nn;prefix nn;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length 20..110;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (20..110) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module oo {namespace urn:oo;prefix oo;typedef mytype {type binary {length 10..100;}}" |
| "leaf l {type mytype {length 20..30|110..120;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (20..30|110..120) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module pp {namespace urn:pp;prefix pp;typedef mytype {type binary {length 10..11;}}" |
| "leaf l {type mytype {length 15;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (15) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module qq {namespace urn:qq;prefix qq;typedef mytype {type binary {length 10..20|30..40;}}" |
| "leaf l {type mytype {length 15..35;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (15..35) is not equally or more limiting."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module rr {namespace urn:rr;prefix rr;typedef mytype {type binary {length 10;}}" |
| "leaf l {type mytype {length 10..35;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (10..35) is not equally or more limiting."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module ss {namespace urn:rr;prefix rr;leaf l {type binary {pattern '[0-9]*';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid type restrictions for binary type."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module tt {namespace urn:tt;prefix tt;typedef mytype {type string {length 10;}}" |
| "leaf l {type mytype {length min..max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid length restriction - the derived restriction (min..max) is not equally or more limiting."); |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_type_pattern(void **state) |
| { |
| *state = test_type_pattern; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {yang-version 1.1; namespace urn:a;prefix a;leaf l {type string {" |
| "pattern .* {error-app-tag errortag;error-message error;}" |
| "pattern [0-9].*[0-9] {modifier invert-match;}}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_str*)type)->patterns); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_str*)type)->patterns)); |
| assert_string_equal("errortag", ((struct lysc_type_str*)type)->patterns[0]->eapptag); |
| assert_string_equal("error", ((struct lysc_type_str*)type)->patterns[0]->emsg); |
| assert_int_equal(0, ((struct lysc_type_str*)type)->patterns[0]->inverted); |
| assert_null(((struct lysc_type_str*)type)->patterns[1]->eapptag); |
| assert_null(((struct lysc_type_str*)type)->patterns[1]->emsg); |
| assert_int_equal(1, ((struct lysc_type_str*)type)->patterns[1]->inverted); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {namespace urn:b;prefix b;typedef mytype {type string {pattern '[0-9]*';}}" |
| "typedef mytype2 {type mytype {length 10;}} leaf l {type mytype2 {pattern '[0-4]*';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_STRING, type->basetype); |
| assert_int_equal(1, type->refcount); |
| assert_non_null(((struct lysc_type_str*)type)->patterns); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_str*)type)->patterns)); |
| assert_int_equal(3, ((struct lysc_type_str*)type)->patterns[0]->refcount); |
| assert_int_equal(1, ((struct lysc_type_str*)type)->patterns[1]->refcount); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module c {namespace urn:c;prefix c;typedef mytype {type string {pattern '[0-9]*';}}" |
| "leaf l {type mytype {length 10;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_STRING, type->basetype); |
| assert_int_equal(1, type->refcount); |
| assert_non_null(((struct lysc_type_str*)type)->patterns); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_str*)type)->patterns)); |
| assert_int_equal(2, ((struct lysc_type_str*)type)->patterns[0]->refcount); |
| |
| /* test substitutions */ |
| assert_non_null(mod = lys_parse_mem(ctx, "module d {namespace urn:d;prefix d;leaf l {type string {" |
| "pattern '^\\p{IsLatinExtended-A}$';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_non_null(((struct lysc_type_str*)type)->patterns); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_str*)type)->patterns)); |
| /* TODO check some data "^ř$" */ |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_type_enum(void **state) |
| { |
| *state = test_type_enum; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {yang-version 1.1; namespace urn:a;prefix a;feature f; leaf l {type enumeration {" |
| "enum automin; enum min {value -2147483648;}enum one {if-feature f; value 1;}" |
| "enum two; enum seven {value 7;}enum eight;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_ENUM, type->basetype); |
| assert_non_null(((struct lysc_type_enum*)type)->enums); |
| assert_int_equal(6, LY_ARRAY_SIZE(((struct lysc_type_enum*)type)->enums)); |
| assert_non_null(((struct lysc_type_enum*)type)->enums[2].iffeatures); |
| assert_string_equal("automin", ((struct lysc_type_enum*)type)->enums[0].name); |
| assert_int_equal(0, ((struct lysc_type_enum*)type)->enums[0].value); |
| assert_string_equal("min", ((struct lysc_type_enum*)type)->enums[1].name); |
| assert_int_equal(-2147483648, ((struct lysc_type_enum*)type)->enums[1].value); |
| assert_string_equal("one", ((struct lysc_type_enum*)type)->enums[2].name); |
| assert_int_equal(1, ((struct lysc_type_enum*)type)->enums[2].value); |
| assert_string_equal("two", ((struct lysc_type_enum*)type)->enums[3].name); |
| assert_int_equal(2, ((struct lysc_type_enum*)type)->enums[3].value); |
| assert_string_equal("seven", ((struct lysc_type_enum*)type)->enums[4].name); |
| assert_int_equal(7, ((struct lysc_type_enum*)type)->enums[4].value); |
| assert_string_equal("eight", ((struct lysc_type_enum*)type)->enums[5].name); |
| assert_int_equal(8, ((struct lysc_type_enum*)type)->enums[5].value); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {yang-version 1.1; namespace urn:b;prefix b;feature f; typedef mytype {type enumeration {" |
| "enum 11; enum min {value -2147483648;}enum x$&;" |
| "enum two; enum seven {value 7;}enum eight;}} leaf l { type mytype {enum seven;enum eight;}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_ENUM, type->basetype); |
| assert_non_null(((struct lysc_type_enum*)type)->enums); |
| assert_int_equal(2, LY_ARRAY_SIZE(((struct lysc_type_enum*)type)->enums)); |
| assert_string_equal("seven", ((struct lysc_type_enum*)type)->enums[0].name); |
| assert_int_equal(7, ((struct lysc_type_enum*)type)->enums[0].value); |
| assert_string_equal("eight", ((struct lysc_type_enum*)type)->enums[1].name); |
| assert_int_equal(8, ((struct lysc_type_enum*)type)->enums[1].value); |
| |
| |
| /* invalid cases */ |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; feature f; leaf l {type enumeration {" |
| "enum one {if-feature f;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid keyword \"if-feature\" as a child of \"enum\" - the statement is allowed only in YANG 1.1 modules. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum one {value -2147483649;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"-2147483649\" of \"value\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum one {value 2147483648;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"2147483648\" of \"value\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum one; enum one;}}}", LYS_IN_YANG)); |
| logbuf_assert("Duplicate identifier \"one\" of enum statement. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum '';}}}", LYS_IN_YANG)); |
| logbuf_assert("Enum name must not be zero-length. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum ' x';}}}", LYS_IN_YANG)); |
| logbuf_assert("Enum name must not have any leading or trailing whitespaces (\" x\"). Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum 'x ';}}}", LYS_IN_YANG)); |
| logbuf_assert("Enum name must not have any leading or trailing whitespaces (\"x \"). Line number 1."); |
| assert_non_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type enumeration {" |
| "enum 'inva\nlid';}}}", LYS_IN_YANG)); |
| logbuf_assert("Control characters in enum name should be avoided (\"inva\nlid\", character number 5)."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module bb {namespace urn:bb;prefix bb; leaf l {type enumeration;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing enum substatement for enumeration type."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module cc {yang-version 1.1;namespace urn:cc;prefix cc;typedef mytype {type enumeration {enum one;}}" |
| "leaf l {type mytype {enum two;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid enumeration - derived type adds new item \"two\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module dd {yang-version 1.1;namespace urn:dd;prefix dd;typedef mytype {type enumeration {enum one;}}" |
| "leaf l {type mytype {enum one {value 1;}}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid enumeration - value of the item \"one\" has changed from 0 to 1 in the derived type."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module ee {namespace urn:ee;prefix ee;leaf l {type enumeration {enum x {value 2147483647;}enum y;}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid enumeration - it is not possible to auto-assign enum value for \"y\" since the highest value is already 2147483647."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module ff {namespace urn:ff;prefix ff;leaf l {type enumeration {enum x {value 1;}enum y {value 1;}}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid enumeration - value 1 collide in items \"y\" and \"x\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module gg {namespace urn:gg;prefix gg;typedef mytype {type enumeration;}" |
| "leaf l {type mytype {enum one;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing enum substatement for enumeration type \"mytype\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module hh {namespace urn:hh;prefix hh; typedef mytype {type enumeration {enum one;}}" |
| "leaf l {type mytype {enum one;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Enumeration type can be subtyped only in YANG 1.1 modules."); |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_type_bits(void **state) |
| { |
| *state = test_type_bits; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {yang-version 1.1; namespace urn:a;prefix a;feature f; leaf l {type bits {" |
| "bit automin; bit one {if-feature f; position 1;}" |
| "bit two; bit seven {position 7;}bit eight;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_BITS, type->basetype); |
| assert_non_null(((struct lysc_type_bits*)type)->bits); |
| assert_int_equal(5, LY_ARRAY_SIZE(((struct lysc_type_bits*)type)->bits)); |
| assert_non_null(((struct lysc_type_bits*)type)->bits[1].iffeatures); |
| assert_string_equal("automin", ((struct lysc_type_bits*)type)->bits[0].name); |
| assert_int_equal(0, ((struct lysc_type_bits*)type)->bits[0].position); |
| assert_string_equal("one", ((struct lysc_type_bits*)type)->bits[1].name); |
| assert_int_equal(1, ((struct lysc_type_bits*)type)->bits[1].position); |
| assert_string_equal("two", ((struct lysc_type_bits*)type)->bits[2].name); |
| assert_int_equal(2, ((struct lysc_type_bits*)type)->bits[2].position); |
| assert_string_equal("seven", ((struct lysc_type_bits*)type)->bits[3].name); |
| assert_int_equal(7, ((struct lysc_type_bits*)type)->bits[3].position); |
| assert_string_equal("eight", ((struct lysc_type_bits*)type)->bits[4].name); |
| assert_int_equal(8, ((struct lysc_type_bits*)type)->bits[4].position); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {yang-version 1.1;namespace urn:b;prefix b;feature f; typedef mytype {type bits {" |
| "bit automin; bit one;bit two; bit seven {value 7;}bit eight;}} leaf l { type mytype {bit eight;bit seven;bit automin;}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_BITS, type->basetype); |
| assert_non_null(((struct lysc_type_bits*)type)->bits); |
| assert_int_equal(3, LY_ARRAY_SIZE(((struct lysc_type_bits*)type)->bits)); |
| assert_string_equal("automin", ((struct lysc_type_bits*)type)->bits[0].name); |
| assert_int_equal(0, ((struct lysc_type_bits*)type)->bits[0].position); |
| assert_string_equal("seven", ((struct lysc_type_bits*)type)->bits[1].name); |
| assert_int_equal(7, ((struct lysc_type_bits*)type)->bits[1].position); |
| assert_string_equal("eight", ((struct lysc_type_bits*)type)->bits[2].name); |
| assert_int_equal(8, ((struct lysc_type_bits*)type)->bits[2].position); |
| |
| |
| /* invalid cases */ |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; feature f; leaf l {type bits {" |
| "bit one {if-feature f;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid keyword \"if-feature\" as a child of \"bit\" - the statement is allowed only in YANG 1.1 modules. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type bits {" |
| "bit one {position -1;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"-1\" of \"position\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type bits {" |
| "bit one {value 4294967296;}}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"4294967296\" of \"value\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type bits {" |
| "bit one; bit one;}}}", LYS_IN_YANG)); |
| logbuf_assert("Duplicate identifier \"one\" of bit statement. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type bits {" |
| "bit '11';}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid identifier first character '1'. Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type bits {" |
| "bit 'x1$1';}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid identifier character '$'. Line number 1."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module bb {namespace urn:bb;prefix bb; leaf l {type bits;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing bit substatement for bits type."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module cc {yang-version 1.1;namespace urn:cc;prefix cc;typedef mytype {type bits {bit one;}}" |
| "leaf l {type mytype {bit two;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid bits - derived type adds new item \"two\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module dd {yang-version 1.1;namespace urn:dd;prefix dd;typedef mytype {type bits {bit one;}}" |
| "leaf l {type mytype {bit one {position 1;}}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid bits - position of the item \"one\" has changed from 0 to 1 in the derived type."); |
| assert_non_null(mod = lys_parse_mem(ctx, "module ee {namespace urn:ee;prefix ee;leaf l {type bits {bit x {position 4294967295;}bit y;}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid bits - it is not possible to auto-assign bit position for \"y\" since the highest value is already 4294967295."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module ff {namespace urn:ff;prefix ff;leaf l {type bits {bit x {value 1;}bit y {value 1;}}}}", |
| LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid bits - position 1 collide in items \"y\" and \"x\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module gg {namespace urn:gg;prefix gg;typedef mytype {type bits;}" |
| "leaf l {type mytype {bit one;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing bit substatement for bits type \"mytype\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module hh {namespace urn:hh;prefix hh; typedef mytype {type bits {bit one;}}" |
| "leaf l {type mytype {bit one;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Bits type can be subtyped only in YANG 1.1 modules."); |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| static void |
| test_type_dec64(void **state) |
| { |
| *state = test_type_dec64; |
| |
| struct ly_ctx *ctx; |
| struct lys_module *mod; |
| struct lysc_type *type; |
| |
| assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, LY_CTX_DISABLE_SEARCHDIRS, &ctx)); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module a {namespace urn:a;prefix a;leaf l {type decimal64 {" |
| "fraction-digits 2;range min..max;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_DEC64, type->basetype); |
| assert_int_equal(2, ((struct lysc_type_dec*)type)->fraction_digits); |
| assert_non_null(((struct lysc_type_dec*)type)->range); |
| assert_non_null(((struct lysc_type_dec*)type)->range->parts); |
| assert_int_equal(1, LY_ARRAY_SIZE(((struct lysc_type_dec*)type)->range->parts)); |
| assert_int_equal(INT64_C(-9223372036854775807) - INT64_C(1), ((struct lysc_type_dec*)type)->range->parts[0].min_64); |
| assert_int_equal(INT64_C(9223372036854775807), ((struct lysc_type_dec*)type)->range->parts[0].max_64); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module b {namespace urn:b;prefix b;typedef mytype {type decimal64 {" |
| "fraction-digits 2;range '3.14 | 5.1 | 10';}}leaf l {type mytype;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_SUCCESS, lys_compile(mod, 0)); |
| type = ((struct lysc_node_leaf*)mod->compiled->data)->type; |
| assert_non_null(type); |
| assert_int_equal(LY_TYPE_DEC64, type->basetype); |
| assert_int_equal(2, ((struct lysc_type_dec*)type)->fraction_digits); |
| assert_non_null(((struct lysc_type_dec*)type)->range); |
| assert_non_null(((struct lysc_type_dec*)type)->range->parts); |
| assert_int_equal(3, LY_ARRAY_SIZE(((struct lysc_type_dec*)type)->range->parts)); |
| assert_int_equal(314, ((struct lysc_type_dec*)type)->range->parts[0].min_64); |
| assert_int_equal(314, ((struct lysc_type_dec*)type)->range->parts[0].max_64); |
| assert_int_equal(510, ((struct lysc_type_dec*)type)->range->parts[1].min_64); |
| assert_int_equal(510, ((struct lysc_type_dec*)type)->range->parts[1].max_64); |
| assert_int_equal(1000, ((struct lysc_type_dec*)type)->range->parts[2].min_64); |
| assert_int_equal(1000, ((struct lysc_type_dec*)type)->range->parts[2].max_64); |
| |
| /* invalid cases */ |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type decimal64 {fraction-digits 0;}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"0\" of \"fraction-digits\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type decimal64 {fraction-digits -1;}}}", LYS_IN_YANG)); |
| logbuf_assert("Invalid value \"-1\" of \"fraction-digits\". Line number 1."); |
| assert_null(lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type decimal64 {fraction-digits 19;}}}", LYS_IN_YANG)); |
| logbuf_assert("Value \"19\" is out of \"fraction-digits\" bounds. Line number 1."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module aa {namespace urn:aa;prefix aa; leaf l {type decimal64;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing fraction-digits substatement for decimal64 type."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module ab {namespace urn:ab;prefix ab; typedef mytype {type decimal64;}leaf l {type mytype;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Missing fraction-digits substatement for decimal64 type \"mytype\"."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module bb {namespace urn:bb;prefix bb; leaf l {type decimal64 {fraction-digits 2;" |
| "range '3.142';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Range boundary \"3.142\" of decimal64 type exceeds defined number (2) of fraction digits."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module cc {namespace urn:cc;prefix cc; leaf l {type decimal64 {fraction-digits 2;" |
| "range '4 | 3.14';}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid range restriction - values are not in ascending order (3.14)."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module dd {namespace urn:dd;prefix dd; typedef mytype {type decimal64 {fraction-digits 2;}}" |
| "leaf l {type mytype {fraction-digits 3;}}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid fraction-digits substatement for type not directly derived from decimal64 built-in type."); |
| |
| assert_non_null(mod = lys_parse_mem(ctx, "module de {namespace urn:de;prefix de; typedef mytype {type decimal64 {fraction-digits 2;}}" |
| "typedef mytype2 {type mytype {fraction-digits 3;}}leaf l {type mytype2;}}", LYS_IN_YANG)); |
| assert_int_equal(LY_EVALID, lys_compile(mod, 0)); |
| logbuf_assert("Invalid fraction-digits substatement for type \"mytype2\" not directly derived from decimal64 built-in type."); |
| |
| *state = NULL; |
| ly_ctx_destroy(ctx, NULL); |
| } |
| |
| int main(void) |
| { |
| const struct CMUnitTest tests[] = { |
| cmocka_unit_test_setup_teardown(test_module, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_feature, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_identity, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_length, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_range, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_pattern, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_enum, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_bits, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_type_dec64, logger_setup, logger_teardown), |
| cmocka_unit_test_setup_teardown(test_node_container, logger_setup, logger_teardown), |
| }; |
| |
| return cmocka_run_group_tests(tests, NULL, NULL); |
| } |