blob: d6070aa0a549d97b85d990adfedaa3f949072737 [file] [log] [blame]
/*
* @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 "test_schema.h"
#include <string.h>
#include "context.h"
#include "log.h"
#include "tree_schema.h"
void
test_identity(void **state)
{
struct lys_module *mod, *mod_imp;
/*
* parsing YANG
*/
TEST_STMT_DUP(1, 0, "identity id", "description", "a", "b", "1");
TEST_STMT_DUP(1, 0, "identity id", "reference", "a", "b", "1");
TEST_STMT_DUP(1, 0, "identity id", "status", "current", "obsolete", "1");
/* full content */
TEST_SCHEMA_OK(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_COUNT(mod->parsed->identities));
/* invalid substatement */
TEST_STMT_SUBSTM_ERR(0, "identity", "organization", "XXX");
/*
* parsing YIN
*/
/* max subelems */
TEST_SCHEMA_OK(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>"
/* TODO yin-extension-prefix-compilation-bug "<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_COUNT(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].str, "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(1, 1, "identitytwo-yin", "<identity name=\"ident-name\" />", mod);
assert_int_equal(1, LY_ARRAY_COUNT(mod->parsed->identities));
assert_string_equal(mod->parsed->identities[0].name, "ident-name");
/* invalid substatement */
TEST_SCHEMA_PARSE_ERR(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(0, 0, "a", "identity a1;", mod_imp);
TEST_SCHEMA_OK(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->identities);
assert_non_null(mod->identities);
assert_non_null(mod_imp->identities[0].derived);
assert_int_equal(1, LY_ARRAY_COUNT(mod_imp->identities[0].derived));
assert_ptr_equal(mod_imp->identities[0].derived[0], &mod->identities[2]);
assert_non_null(mod->identities[0].derived);
assert_int_equal(2, LY_ARRAY_COUNT(mod->identities[0].derived));
assert_ptr_equal(mod->identities[0].derived[0], &mod->identities[2]);
assert_ptr_equal(mod->identities[0].derived[1], &mod->identities[3]);
assert_non_null(mod->identities[1].derived);
assert_int_equal(1, LY_ARRAY_COUNT(mod->identities[1].derived));
assert_ptr_equal(mod->identities[1].derived[0], &mod->identities[2]);
assert_non_null(mod->identities[2].derived);
assert_int_equal(1, LY_ARRAY_COUNT(mod->identities[2].derived));
assert_ptr_equal(mod->identities[2].derived[0], &mod->identities[3]);
TEST_SCHEMA_OK(1, 0, "c", "identity c2 {base c1;} identity c1;", mod);
assert_int_equal(1, LY_ARRAY_COUNT(mod->identities[1].derived));
assert_ptr_equal(mod->identities[1].derived[0], &mod->identities[0]);
ly_ctx_set_module_imp_clb(UTEST_LYCTX, test_imp_clb, "submodule inv_sub {belongs-to inv {prefix inv;} identity i1;}");
TEST_SCHEMA_ERR(0, 0, "inv", "identity i1 {base i2;}", "Unable to find base (i2) of identity \"i1\".", "/inv:{identity='i1'}");
TEST_SCHEMA_ERR(0, 0, "inv", "identity i1 {base i1;}", "Identity \"i1\" is derived from itself.", "/inv:{identity='i1'}");
TEST_SCHEMA_ERR(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'}");
/* base in non-implemented module */
ly_ctx_set_module_imp_clb(UTEST_LYCTX, test_imp_clb,
"module base {namespace \"urn\"; prefix b; identity i1; identity i2 {base i1;}}");
TEST_SCHEMA_OK(0, 0, "ident", "import base {prefix b;} identity ii {base b:i1;}", mod);
/* default value from non-implemented module */
TEST_SCHEMA_ERR(0, 0, "ident2", "import base {prefix b;} leaf l {type identityref {base b:i1;} default b:i2;}",
"Invalid default - value does not fit the type (Invalid identityref \"b:i2\" value"
" - identity found in non-implemented module \"base\".).", "Schema location /ident2:l.");
/* default value in typedef from non-implemented module */
TEST_SCHEMA_ERR(0, 0, "ident2", "import base {prefix b;} typedef t1 {type identityref {base b:i1;} default b:i2;}"
"leaf l {type t1;}", "Invalid default - value does not fit the type (Invalid"
" identityref \"b:i2\" value - identity found in non-implemented module \"base\".).", "Schema location /ident2:l.");
/*
* printing
*/
/*
* cleanup
*/
}
void
test_feature(void **state)
{
struct lys_module *mod;
const struct lysp_feature *f;
/*
* parsing YANG
*/
TEST_STMT_DUP(1, 0, "feature f", "description", "a", "b", "1");
TEST_STMT_DUP(1, 0, "feature f", "reference", "a", "b", "1");
TEST_STMT_DUP(1, 0, "feature f", "status", "current", "obsolete", "1");
/* full content */
TEST_SCHEMA_OK(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_COUNT(mod->parsed->features));
/* invalid substatement */
TEST_STMT_SUBSTM_ERR(0, "feature", "organization", "XXX");
/*
* parsing YIN
*/
/* max subelems */
TEST_SCHEMA_OK(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>"
/* TODO yin-extension-prefix-compilation-bug "<myext:ext xmlns:myext=\"urn:libyang:test:featureone-yin\"/>" */
"</feature><extension name=\"ext\"/><feature name=\"iff\"/>", mod);
assert_int_equal(2, LY_ARRAY_COUNT(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].str, "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(0, 1, "featuretwo-yin", "<feature name=\"feature-name\"/>", mod)
assert_int_equal(1, LY_ARRAY_COUNT(mod->parsed->features));
assert_string_equal(mod->parsed->features[0].name, "feature-name");
/* invalid substatement */
TEST_SCHEMA_PARSE_ERR(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(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->parsed->features);
assert_int_equal(9, LY_ARRAY_COUNT(mod->parsed->features));
/* all features are disabled by default */
LY_ARRAY_FOR(mod->parsed->features, struct lysp_feature, f) {
assert_false(f->flags & LYS_FENABLED);
}
/* some invalid expressions */
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f{if-feature f1;}",
"Invalid value \"f1\" of if-feature - unable to find feature \"f1\".", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f2{if-feature 'f and';}",
"Invalid value \"f and\" of if-feature - unexpected end of expression.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f{if-feature 'or';}",
"Invalid value \"or\" of if-feature - unexpected end of expression.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f2{if-feature '(f1';}",
"Invalid value \"(f1\" of if-feature - non-matching opening and closing parentheses.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f2{if-feature 'f1)';}",
"Invalid value \"f1)\" of if-feature - non-matching opening and closing parentheses.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f2{if-feature ---;}",
"Invalid value \"---\" of if-feature - unable to find feature \"---\".", NULL);
TEST_SCHEMA_PARSE_ERR(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.", NULL);
ly_ctx_set_module_imp_clb(UTEST_LYCTX, test_imp_clb, "submodule inv_sub {belongs-to inv {prefix inv;} feature f1;}");
TEST_SCHEMA_PARSE_ERR(0, 0, "inv", "feature f1 {if-feature f2;} feature f2 {if-feature f1;}",
"Feature \"f1\" is indirectly referenced from itself.", NULL);
TEST_SCHEMA_PARSE_ERR(0, 0, "inv", "feature f1 {if-feature f1;}",
"Feature \"f1\" is referenced from itself.", NULL);
TEST_SCHEMA_PARSE_ERR(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.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f {if-feature 'f1(';}",
"Invalid value \"f1(\" of if-feature - non-matching opening and closing parentheses.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f {if-feature 'and f1';}",
"Invalid value \"and f1\" of if-feature - missing feature/expression before \"and\" operation.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f {if-feature 'f1 not ';}",
"Invalid value \"f1 not \" of if-feature - unexpected end of expression.", NULL);
TEST_SCHEMA_PARSE_ERR(1, 0, "inv", "feature f1; feature f {if-feature 'f1 not not ';}",
"Invalid value \"f1 not not \" of if-feature - unexpected end of expression.", NULL);
TEST_SCHEMA_PARSE_ERR(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.", NULL);
/*
* printing
*/
/*
* cleanup
*/
}