tests CHANGE join related schema tests
group the test according to the functional blocks, starting with the
schema. So now all the schema parser, compiler and printers are put
together.
diff --git a/tests/utests/schema/test_schema_stmts.c b/tests/utests/schema/test_schema_stmts.c
new file mode 100644
index 0000000..35ce06a
--- /dev/null
+++ b/tests/utests/schema/test_schema_stmts.c
@@ -0,0 +1,359 @@
+/*
+ * @file test_schema_stmts.c
+ * @author: Radek Krejci <rkrejci@cesnet.cz>
+ * @brief unit tests for YANG (YIN) statements in (sub)modules
+ *
+ * Copyright (c) 2018-2020 CESNET, z.s.p.o.
+ *
+ * This source code is licensed under BSD 3-Clause License (the "License").
+ * You may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * https://opensource.org/licenses/BSD-3-Clause
+ */
+
+#include <stdarg.h>
+#include <stddef.h>
+#include <stdio.h>
+#include <setjmp.h>
+#include <cmocka.h>
+
+#include <string.h>
+
+#include "macros.h"
+
+
+static void
+test_identity(void **state)
+{
+ *state = test_identity;
+
+ struct ly_ctx *ctx;
+ struct lys_module *mod, *mod_imp;
+
+ assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, 0, &ctx));
+
+ /*
+ * parsing YANG
+ */
+ TEST_STMT_DUP(ctx, 1, 0, "identity id", "description", "a", "b", "1");
+ TEST_STMT_DUP(ctx, 1, 0, "identity id", "reference", "a", "b", "1");
+ TEST_STMT_DUP(ctx, 1, 0, "identity id", "status", "current", "obsolete", "1");
+
+ /* full content */
+ TEST_SCHEMA_OK(ctx, 1, 0, "identityone",
+ "identity test {base \"a\";base b; description text;reference \'another text\';status current; if-feature x;if-feature y; identityone:ext;}"
+ "identity a; identity b; extension ext; feature x; feature y;", mod);
+ assert_non_null(mod->parsed->identities);
+ assert_int_equal(3, LY_ARRAY_SIZE(mod->parsed->identities));
+
+ /* invalid substatement */
+ TEST_STMT_SUBSTM_ERR(ctx, 0, "identity", "organization", "XXX");
+
+ /*
+ * parsing YIN
+ */
+ /* max subelems */
+ TEST_SCHEMA_OK(ctx, 1, 1, "identityone-yin", "<identity name=\"ident-name\">"
+ "<if-feature name=\"iff\"/>"
+ "<base name=\"base-name\"/>"
+ "<status value=\"deprecated\"/>"
+ "<description><text>desc</text></description>"
+ "<reference><text>ref</text></reference>"
+ "<myext:ext xmlns:myext=\"urn:libyang:test:identityone-yin\"/>"
+ "</identity><extension name=\"ext\"/><identity name=\"base-name\"/><feature name=\"iff\"/>", mod);
+ assert_int_equal(2, LY_ARRAY_SIZE(mod->parsed->identities));
+ assert_string_equal(mod->parsed->identities[0].name, "ident-name");
+ assert_string_equal(mod->parsed->identities[0].bases[0], "base-name");
+ assert_string_equal(mod->parsed->identities[0].iffeatures[0], "iff");
+ assert_string_equal(mod->parsed->identities[0].dsc, "desc");
+ assert_string_equal(mod->parsed->identities[0].ref, "ref");
+ assert_true(mod->parsed->identities[0].flags & LYS_STATUS_DEPRC);
+ assert_string_equal(mod->parsed->identities[0].exts[0].name, "ext");
+ assert_non_null(mod->parsed->identities[0].exts[0].compiled);
+ assert_int_equal(mod->parsed->identities[0].exts[0].yin, 1);
+ assert_int_equal(mod->parsed->identities[0].exts[0].insubstmt_index, 0);
+ assert_int_equal(mod->parsed->identities[0].exts[0].insubstmt, LYEXT_SUBSTMT_SELF);
+
+ /* min subelems */
+ TEST_SCHEMA_OK(ctx, 1, 1, "identitytwo-yin", "<identity name=\"ident-name\" />", mod);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->parsed->identities));
+ assert_string_equal(mod->parsed->identities[0].name, "ident-name");
+
+ /* invalid substatement */
+ TEST_SCHEMA_ERR(ctx, 0, 1, "inv", "<identity name=\"ident-name\"><if-feature name=\"iff\"/></identity>",
+ "Invalid sub-elemnt \"if-feature\" of \"identity\" element - this sub-element is allowed only in modules with version 1.1 or newer. Line number 1.");
+
+ /*
+ * compiling
+ */
+ TEST_SCHEMA_OK(ctx, 0, 0, "a", "identity a1;", mod_imp);
+ TEST_SCHEMA_OK(ctx, 1, 0, "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;}", mod);
+ assert_non_null(mod_imp->compiled);
+ assert_non_null(mod_imp->compiled->identities);
+ assert_non_null(mod->compiled);
+ assert_non_null(mod->compiled->identities);
+ assert_non_null(mod_imp->compiled->identities[0].derived);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod_imp->compiled->identities[0].derived));
+ assert_ptr_equal(mod_imp->compiled->identities[0].derived[0], &mod->compiled->identities[2]);
+ assert_non_null(mod->compiled->identities[0].derived);
+ assert_int_equal(2, LY_ARRAY_SIZE(mod->compiled->identities[0].derived));
+ assert_ptr_equal(mod->compiled->identities[0].derived[0], &mod->compiled->identities[2]);
+ assert_ptr_equal(mod->compiled->identities[0].derived[1], &mod->compiled->identities[3]);
+ assert_non_null(mod->compiled->identities[1].derived);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->identities[1].derived));
+ assert_ptr_equal(mod->compiled->identities[1].derived[0], &mod->compiled->identities[2]);
+ assert_non_null(mod->compiled->identities[2].derived);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->identities[2].derived));
+ assert_ptr_equal(mod->compiled->identities[2].derived[0], &mod->compiled->identities[3]);
+
+ TEST_SCHEMA_OK(ctx, 1, 0, "c", "identity c2 {base c1;} identity c1;", mod);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->identities[1].derived));
+ assert_ptr_equal(mod->compiled->identities[1].derived[0], &mod->compiled->identities[0]);
+
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "identity i1;identity i1;", "Duplicate identifier \"i1\" of identity statement. /inv:{identity='i1'}");
+
+ ly_ctx_set_module_imp_clb(ctx, test_imp_clb, "submodule inv_sub {belongs-to inv {prefix inv;} identity i1;}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "include inv_sub;identity i1;",
+ "Duplicate identifier \"i1\" of identity statement. /inv:{identity='i1'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0,"inv", "identity i1 {base i2;}", "Unable to find base (i2) of identity \"i1\". /inv:{identity='i1'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0,"inv", "identity i1 {base i1;}", "Identity \"i1\" is derived from itself. /inv:{identity='i1'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0,"inv", "identity i1 {base i2;}identity i2 {base i3;}identity i3 {base i1;}",
+ "Identity \"i1\" is indirectly derived from itself. /inv:{identity='i3'}");
+
+ /*
+ * printing
+ */
+
+ /*
+ * cleanup
+ */
+
+ *state = NULL;
+ ly_ctx_destroy(ctx, NULL);
+}
+
+
+static void
+test_feature(void **state)
+{
+ *state = test_feature;
+
+ struct ly_ctx *ctx;
+ struct lys_module *mod;
+ const struct lysc_feature *f, *f1;
+
+ assert_int_equal(LY_SUCCESS, ly_ctx_new(NULL, 0, &ctx));
+
+ /*
+ * parsing YANG
+ */
+
+ TEST_STMT_DUP(ctx, 1, 0, "feature f", "description", "a", "b", "1");
+ TEST_STMT_DUP(ctx, 1, 0, "feature f", "reference", "a", "b", "1");
+ TEST_STMT_DUP(ctx, 1, 0, "feature f", "status", "current", "obsolete", "1");
+
+ /* full content */
+ TEST_SCHEMA_OK(ctx, 1, 0, "featureone",
+ "feature test {description text;reference \'another text\';status current; if-feature x; if-feature y; featureone:ext;}"
+ "extension ext; feature x; feature y;", mod);
+ assert_non_null(mod->parsed->features);
+ assert_int_equal(3, LY_ARRAY_SIZE(mod->parsed->features));
+
+ /* invalid substatement */
+ TEST_STMT_SUBSTM_ERR(ctx, 0, "feature", "organization", "XXX");
+
+ /*
+ * parsing YIN
+ */
+ /* max subelems */
+ TEST_SCHEMA_OK(ctx, 0, 1, "featureone-yin", "<feature name=\"feature-name\">"
+ "<if-feature name=\"iff\"/>"
+ "<status value=\"deprecated\"/>"
+ "<description><text>desc</text></description>"
+ "<reference><text>ref</text></reference>"
+ "<myext:ext xmlns:myext=\"urn:libyang:test:featureone-yin\"/>"
+ "</feature><extension name=\"ext\"/><feature name=\"iff\"/>", mod);
+ assert_int_equal(2, LY_ARRAY_SIZE(mod->parsed->features));
+ assert_string_equal(mod->parsed->features[0].name, "feature-name");
+ assert_string_equal(mod->parsed->features[0].dsc, "desc");
+ assert_true(mod->parsed->features[0].flags & LYS_STATUS_DEPRC);
+ assert_string_equal(mod->parsed->features[0].iffeatures[0], "iff");
+ assert_string_equal(mod->parsed->features[0].ref, "ref");
+ assert_string_equal(mod->parsed->features[0].exts[0].name, "ext");
+ assert_int_equal(mod->parsed->features[0].exts[0].insubstmt_index, 0);
+ assert_int_equal(mod->parsed->features[0].exts[0].insubstmt, LYEXT_SUBSTMT_SELF);
+
+ /* min subelems */
+ TEST_SCHEMA_OK(ctx, 0, 1, "featuretwo-yin", "<feature name=\"feature-name\"/>", mod)
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->parsed->features));
+ assert_string_equal(mod->parsed->features[0].name, "feature-name");
+
+ /* invalid substatement */
+ TEST_SCHEMA_ERR(ctx, 0, 1, "inv", "<feature name=\"feature-name\"><organization><text>org</text></organization></feature>",
+ "Unexpected sub-element \"organization\" of \"feature\" element. Line number 1.");
+
+ /*
+ * compiling
+ */
+
+ TEST_SCHEMA_OK(ctx, 1, 0, "a", "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\";}", mod);
+ 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"));
+
+ TEST_SCHEMA_OK(ctx, 0, 0, "b", "feature f1 {if-feature f2;}feature f2;", mod);
+ assert_non_null(mod->compiled);
+ assert_non_null(mod->compiled->features);
+ assert_int_equal(2, LY_ARRAY_SIZE(mod->compiled->features));
+ assert_non_null(mod->compiled->features[0].iffeatures);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->features[0].iffeatures));
+ assert_non_null(mod->compiled->features[0].iffeatures[0].features);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->features[0].iffeatures[0].features));
+ assert_ptr_equal(&mod->compiled->features[1], mod->compiled->features[0].iffeatures[0].features[0]);
+ assert_non_null(mod->compiled->features);
+ assert_int_equal(2, LY_ARRAY_SIZE(mod->compiled->features));
+ assert_non_null(mod->compiled->features[1].depfeatures);
+ assert_int_equal(1, LY_ARRAY_SIZE(mod->compiled->features[1].depfeatures));
+ assert_ptr_equal(&mod->compiled->features[0], mod->compiled->features[1].depfeatures[0]);
+
+ /* invalid reference */
+ assert_int_equal(LY_EINVAL, lys_feature_enable(mod, "xxx"));
+ logbuf_assert("Feature \"xxx\" not found in module \"b\".");
+
+ /* some invalid expressions */
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f{if-feature f1;}",
+ "Invalid value \"f1\" of if-feature - unable to find feature \"f1\". /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f2{if-feature 'f and';}",
+ "Invalid value \"f and\" of if-feature - unexpected end of expression. /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f{if-feature 'or';}",
+ "Invalid value \"or\" of if-feature - unexpected end of expression. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f2{if-feature '(f1';}",
+ "Invalid value \"(f1\" of if-feature - non-matching opening and closing parentheses. /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f2{if-feature 'f1)';}",
+ "Invalid value \"f1)\" of if-feature - non-matching opening and closing parentheses. /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f2{if-feature ---;}",
+ "Invalid value \"---\" of if-feature - unable to find feature \"---\". /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "feature f1; feature f2{if-feature 'not f1';}",
+ "Invalid value \"not f1\" of if-feature - YANG 1.1 expression in YANG 1.0 module. /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "feature f1; feature f1;",
+ "Duplicate identifier \"f1\" of feature statement. /inv:{feature='f1'}");
+
+ ly_ctx_set_module_imp_clb(ctx, test_imp_clb, "submodule inv_sub {belongs-to inv {prefix inv;} feature f1;}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "include inv_sub;feature f1;",
+ "Duplicate identifier \"f1\" of feature statement. /inv:{feature='f1'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "feature f1 {if-feature f2;} feature f2 {if-feature f1;}",
+ "Feature \"f1\" is indirectly referenced from itself. /inv:{feature='f2'}");
+ TEST_SCHEMA_ERR(ctx, 0, 0, "inv", "feature f1 {if-feature f1;}",
+ "Feature \"f1\" is referenced from itself. /inv:{feature='f1'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f {if-feature ();}",
+ "Invalid value \"()\" of if-feature - number of features in expression does not match the required number of operands for the operations. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f {if-feature 'f1(';}",
+ "Invalid value \"f1(\" of if-feature - non-matching opening and closing parentheses. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f {if-feature 'and f1';}",
+ "Invalid value \"and f1\" of if-feature - missing feature/expression before \"and\" operation. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f {if-feature 'f1 not ';}",
+ "Invalid value \"f1 not \" of if-feature - unexpected end of expression. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f {if-feature 'f1 not not ';}",
+ "Invalid value \"f1 not not \" of if-feature - unexpected end of expression. /inv:{feature='f'}");
+ TEST_SCHEMA_ERR(ctx, 1, 0, "inv", "feature f1; feature f2; feature f {if-feature 'or f1 f2';}",
+ "Invalid value \"or f1 f2\" of if-feature - missing feature/expression before \"or\" operation. /inv:{feature='f'}");
+
+ /* import reference */
+ assert_non_null(mod = ly_ctx_get_module(ctx, "a", NULL));
+ assert_int_equal(LY_SUCCESS, lys_feature_enable(mod, "f1"));
+ TEST_SCHEMA_OK(ctx, 0, 0, "c", "import a {prefix a;} feature f1; feature f2{if-feature 'a:f1';}", mod);
+ assert_int_equal(LY_SUCCESS, lys_feature_enable(mod, "f2"));
+ assert_int_equal(0, lys_feature_value(mod, "f1"));
+ assert_int_equal(1, lys_feature_value(mod, "f2"));
+
+ /*
+ * printing
+ */
+
+ /*
+ * cleanup
+ */
+
+ *state = NULL;
+ ly_ctx_destroy(ctx, NULL);
+}