/** * @file test_parser_xml.c * @author Radek Krejci * @author Michal Vasko * @brief unit tests for functions from parser_xml.c * * Copyright (c) 2019 - 2022 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 */ #define _UTEST_MAIN_ #include "utests.h" #include "context.h" #include "in.h" #include "out.h" #include "parser_data.h" #include "printer_data.h" #include "tree_data_internal.h" #include "tree_schema.h" static int setup(void **state) { const char *schema = "module a {\n" " namespace urn:tests:a;\n" " prefix a;\n" " yang-version 1.1;\n" " import ietf-yang-metadata {prefix md;}" " list l1 { key \"a b c\"; leaf a {type string;} leaf b {type string;} leaf c {type int16;}" " leaf d {type string;}" " container cont {leaf e {type boolean;}}" " }" " leaf foo { type string;}\n" " container c {\n" " leaf x {type string;}\n" " action act { input { leaf al {type string;} } output { leaf al {type uint8;} } }\n" " notification n1 { leaf nl {type string;}}}\n" " container cp {presence \"container switch\"; leaf y {type string;} leaf z {type int8;}}\n" " anydata any {config false;}\n" " anyxml anyx;\n" " leaf foo2 { type string; default \"default-val\"; }\n" " leaf foo3 { type uint32; }\n" " notification n2;" " md:annotation attr {type enumeration {enum val;}}" "}"; UTEST_SETUP; UTEST_ADD_MODULE(schema, LYS_IN_YANG, NULL, NULL); assert_int_equal(LY_SUCCESS, ly_ctx_set_searchdir(UTEST_LYCTX, TESTS_DIR_MODULES_YANG)); return 0; } #define CHECK_PARSE_LYD(INPUT, PARSE_OPTION, VALIDATE_OPTION, TREE) \ CHECK_PARSE_LYD_PARAM(INPUT, LYD_XML, PARSE_OPTION, VALIDATE_OPTION, LY_SUCCESS, TREE) #define PARSER_CHECK_ERROR(INPUT, PARSE_OPTION, VALIDATE_OPTION, MODEL, RET_VAL, ERR_MESSAGE, ERR_PATH, ERR_LINE) \ assert_int_equal(RET_VAL, lyd_parse_data_mem(UTEST_LYCTX, INPUT, LYD_XML, PARSE_OPTION, VALIDATE_OPTION, &MODEL));\ CHECK_LOG_CTX(ERR_MESSAGE, ERR_PATH, ERR_LINE);\ assert_null(MODEL) #define CHECK_LYD_STRING(IN_MODEL, PRINT_OPTION, TEXT) \ CHECK_LYD_STRING_PARAM(IN_MODEL, TEXT, LYD_XML, PRINT_OPTION) static void test_leaf(void **state) { const char *data = "foo value"; struct lyd_node *tree; struct lyd_node_term *leaf; assert_non_null(ly_ctx_load_module(UTEST_LYCTX, "ietf-netconf-with-defaults", "2011-06-01", NULL)); CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "foo", 1, LYS_LEAF, 0, 0, NULL, 0); leaf = (struct lyd_node_term *)tree; CHECK_LYD_VALUE(leaf->value, STRING, "foo value"); CHECK_LYSC_NODE(tree->next->next->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_SET_DFLT, 1, "foo2", 1, LYS_LEAF, 0, 0, NULL, 0); leaf = (struct lyd_node_term *)tree->next->next; CHECK_LYD_VALUE(leaf->value, STRING, "default-val"); assert_true(leaf->flags & LYD_DEFAULT); lyd_free_all(tree); /* make foo2 explicit */ data = "default-val"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); assert_non_null(tree); tree = tree->next; CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_SET_DFLT, 1, "foo2", 1, LYS_LEAF, 0, 0, NULL, 0); leaf = (struct lyd_node_term *)tree; CHECK_LYD_VALUE(leaf->value, STRING, "default-val"); assert_false(leaf->flags & LYD_DEFAULT); lyd_free_all(tree); /* parse foo2 but make it implicit, skip metadata xxx from missing schema */ data = "default-val"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); assert_non_null(tree); tree = tree->next; CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_SET_DFLT, 1, "foo2", 1, LYS_LEAF, 0, 0, NULL, 0); leaf = (struct lyd_node_term *)tree; CHECK_LYD_VALUE(leaf->value, STRING, "default-val"); assert_true(leaf->flags & LYD_DEFAULT); lyd_free_all(tree); /* invalid value */ data = "val-aval-b10"; PARSER_CHECK_ERROR(data, LYD_PARSE_STRICT, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "Invalid boolean value \"0\".", "/a:l1[a='val-a'][b='val-b'][c='1']/cont/e", 1); } static void test_anydata(void **state) { const char *data; char *str; struct lyd_node *tree; data = "\n" " \n" " a:data\n" " \n" " \n" "\n"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); assert_non_null(tree); tree = tree->next; CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_R | LYS_STATUS_CURR | LYS_SET_CONFIG, 1, "any", 1, LYS_ANYDATA, 0, 0, NULL, 0); const char *data_expected = "\n" " \n" " a:data\n" " \n" " \n" "\n"; CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data_expected); assert_int_equal(LY_SUCCESS, lyd_any_value_str(tree, &str)); lyd_free_all(tree); assert_int_equal(LY_SUCCESS, lyd_new_path2(NULL, UTEST_LYCTX, "/a:any", str, strlen(str), LYD_ANYDATA_XML, 0, &tree, NULL)); free(str); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data_expected); lyd_free_all(tree); } static void test_anyxml(void **state) { const char *data; char *str; struct lyd_node *tree; data = "\n" " \n" " data\n" " \n" " \n" "\n"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); assert_non_null(tree); tree = tree->next; const char *data_expected = "\n" " \n" " data\n" " \n" " \n" "\n"; CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data_expected); assert_int_equal(LY_SUCCESS, lyd_any_value_str(tree, &str)); lyd_free_all(tree); assert_int_equal(LY_SUCCESS, lyd_new_path2(NULL, UTEST_LYCTX, "/a:anyx", str, strlen(str), LYD_ANYDATA_XML, 0, &tree, NULL)); free(str); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data_expected); lyd_free_all(tree); } static void test_list(void **state) { const char *data; struct lyd_node *tree, *iter; struct lyd_node_inner *list; struct lyd_node_term *leaf; /* check hashes */ data = "oneone1"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_ORDBY_SYSTEM, 1, "l1", 1, LYS_LIST, 0, 0, NULL, 0); list = (struct lyd_node_inner *)tree; LY_LIST_FOR(list->child, iter) { assert_int_not_equal(0, iter->hash); } lyd_free_all(tree); /* missing keys */ PARSER_CHECK_ERROR("1b", 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "List instance is missing its key \"a\".", "/a:l1[b='b'][c='1']", 1); CHECK_LOG_CTX("Invalid position of the key \"b\" in a list.", NULL, 0); PARSER_CHECK_ERROR("a", 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "List instance is missing its key \"b\".", "/a:l1[a='a']", 1); PARSER_CHECK_ERROR("ba", 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "List instance is missing its key \"c\".", "/a:l1[a='a'][b='b']", 1); CHECK_LOG_CTX("Invalid position of the key \"a\" in a list.", NULL, 0); /* key duplicate */ PARSER_CHECK_ERROR("1ba1", 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "Duplicate instance of \"c\".", "/a:l1[a='a'][b='b'][c='1'][c='1']/c", 1); CHECK_LOG_CTX("Invalid position of the key \"a\" in a list.", NULL, 0); CHECK_LOG_CTX("Invalid position of the key \"b\" in a list.", NULL, 0); /* keys order */ CHECK_PARSE_LYD("da1b", 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_ORDBY_SYSTEM, 1, "l1", 1, LYS_LIST, 0, 0, NULL, 0); list = (struct lyd_node_inner *)tree; assert_non_null(leaf = (struct lyd_node_term *)list->child); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "a", 1, LYS_LEAF, 1, 0, NULL, 0); assert_non_null(leaf = (struct lyd_node_term *)leaf->next); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "b", 1, LYS_LEAF, 1, 0, NULL, 0); assert_non_null(leaf = (struct lyd_node_term *)leaf->next); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "c", 1, LYS_LEAF, 1, 0, NULL, 0); assert_non_null(leaf = (struct lyd_node_term *)leaf->next); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "d", 1, LYS_LEAF, 1, 0, NULL, 0); CHECK_LOG_CTX("Invalid position of the key \"b\" in a list.", NULL, 0); lyd_free_all(tree); data = "1ba"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_ORDBY_SYSTEM, 1, "l1", 1, LYS_LIST, 0, 0, NULL, 0); list = (struct lyd_node_inner *)tree; assert_non_null(leaf = (struct lyd_node_term *)list->child); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "a", 1, LYS_LEAF, 1, 0, NULL, 0); assert_non_null(leaf = (struct lyd_node_term *)leaf->next); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "b", 1, LYS_LEAF, 1, 0, NULL, 0); assert_non_null(leaf = (struct lyd_node_term *)leaf->next); CHECK_LYSC_NODE(leaf->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_KEY, 1, "c", 1, LYS_LEAF, 1, 0, NULL, 0); CHECK_LOG_CTX("Invalid position of the key \"a\" in a list.", NULL, 0); CHECK_LOG_CTX("Invalid position of the key \"b\" in a list.", NULL, 0); lyd_free_all(tree); PARSER_CHECK_ERROR(data, LYD_PARSE_STRICT, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "Invalid position of the key \"b\" in a list.", "/a:l1[c='1']/b", 1); } static void test_container(void **state) { struct lyd_node *tree; struct lyd_node_inner *cont; CHECK_PARSE_LYD("", 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "c", 1, LYS_CONTAINER, 0, 0, NULL, 0); cont = (struct lyd_node_inner *)tree; assert_true(cont->flags & LYD_DEFAULT); lyd_free_all(tree); CHECK_PARSE_LYD("", 0, LYD_VALIDATE_PRESENT, tree); assert_non_null(tree); tree = tree->next; CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_PRESENCE, 1, "cp", 1, LYS_CONTAINER, 0, 0, NULL, 0); cont = (struct lyd_node_inner *)tree; assert_false(cont->flags & LYD_DEFAULT); lyd_free_all(tree); } static void test_opaq(void **state) { const char *data; struct lyd_node *tree; /* invalid value, no flags */ data = ""; PARSER_CHECK_ERROR(data, 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "Invalid type uint32 empty value.", "/a:foo3", 1); /* opaq flag */ CHECK_PARSE_LYD(data, LYD_PARSE_OPAQ | LYD_PARSE_ONLY, 0, tree); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 0, 0, LY_VALUE_XML, "foo3", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n"); lyd_free_all(tree); /* list, opaq flag */ data = ""; CHECK_PARSE_LYD(data, LYD_PARSE_OPAQ | LYD_PARSE_ONLY, 0, tree); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 0, 0, LY_VALUE_XML, "l1", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n"); lyd_free_all(tree); /* missing key, no flags */ data = "\n" " val_a\n" " val_b\n" " val_d\n" "\n"; PARSER_CHECK_ERROR(data, 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "List instance is missing its key \"c\".", "/a:l1[a='val_a'][b='val_b']", 5); /* opaq flag */ CHECK_PARSE_LYD(data, LYD_PARSE_OPAQ | LYD_PARSE_ONLY, 0, tree); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 0, 0x1, LY_VALUE_XML, "l1", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); /* invalid key, no flags */ data = "\n" " val_a\n" " val_b\n" " val_c\n" "\n"; PARSER_CHECK_ERROR(data, 0, LYD_VALIDATE_PRESENT, tree, LY_EVALID, "Invalid type int16 value \"val_c\".", "/a:l1[a='val_a'][b='val_b']/c", 4); /* opaq flag */ CHECK_PARSE_LYD(data, LYD_PARSE_OPAQ | LYD_PARSE_ONLY, 0, tree); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 0, 0x1, LY_VALUE_XML, "l1", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); /* opaq flag and fail */ assert_int_equal(LY_EVALID, lyd_parse_data_mem(UTEST_LYCTX, "\n" " x\n" " 1\n" "\n", LYD_XML, LYD_PARSE_OPAQ, LYD_VALIDATE_PRESENT, &tree)); CHECK_LOG_CTX("Unknown XML prefix \"xmld\".", "/a", 3); } static void test_rpc(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *op; const struct lyd_node *node; const char *dsc = "The operation loads all or part of a specified\n" "configuration to the specified target configuration."; const char *ref = "RFC 6241, Section 7.2"; const char *feats[] = {"writable-running", NULL}; assert_non_null((ly_ctx_load_module(UTEST_LYCTX, "ietf-netconf", "2011-06-01", feats))); data = "\n" " \n" " \n" " \n" " \n" " \n" " val_a\n" " val_b\n" " val_c\n" " \n" " \n" " \n" " \n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_YANG, &tree, &op)); ly_in_free(in, 0); assert_non_null(op); CHECK_LYSC_ACTION((struct lysc_node_action *)op->schema, dsc, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "edit-config", LYS_RPC, 0, 0, 0, 0, 0, ref, 0); assert_non_null(tree); node = tree; CHECK_LYSC_ACTION((struct lysc_node_action *)node->schema, dsc, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "edit-config", LYS_RPC, 0, 0, 0, 0, 0, ref, 0); node = lyd_child(node)->next; dsc = "Inline Config content."; CHECK_LYSC_NODE(node->schema, dsc, 0, LYS_STATUS_CURR | LYS_IS_INPUT, 1, "config", 0, LYS_ANYXML, 1, 0, NULL, 0); node = ((struct lyd_node_any *)node)->value.tree; CHECK_LYSC_NODE(node->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_PRESENCE, 1, "cp", 1, LYS_CONTAINER, 0, 0, NULL, 0); node = lyd_child(node); /* z has no value */ CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)node, 0x1, 0, LY_VALUE_XML, "z", 0, 0, NULL, 1, ""); node = node->parent->next; /* l1 key c has invalid value so it is at the end */ CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)node, 0x1, 0x1, LY_VALUE_XML, "l1", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " val_a\n" " val_b\n" " val_c\n" " \n" " \n" "\n"); lyd_free_all(tree); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_action(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *op; data = "\n" " \n" " value\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_YANG, &tree, &op)); ly_in_free(in, 0); assert_non_null(op); CHECK_LYSC_ACTION((struct lysc_node_action *)op->schema, NULL, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "act", LYS_ACTION, 1, 0, 0, 1, 0, NULL, 0); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n" " \n" " value\n" " \n" "\n"); lyd_free_all(tree); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_notification(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *ntf; data = "\n" " \n" " value\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_NOTIF_YANG, &tree, &ntf)); ly_in_free(in, 0); assert_non_null(ntf); CHECK_LYSC_NOTIF((struct lysc_node_notif *)ntf->schema, 1, NULL, 0, 0x4, 1, 0, "n1", 1, 0, NULL, 0); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "c", 1, LYS_CONTAINER, 0, 0, NULL, 0); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); /* top-level notif without envelope */ data = "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_NOTIF_YANG, &tree, &ntf)); ly_in_free(in, 0); assert_non_null(ntf); CHECK_LYSC_NOTIF((struct lysc_node_notif *)ntf->schema, 0, NULL, 0, 0x4, 1, 0, "n2", 0, 0, NULL, 0); assert_non_null(tree); assert_ptr_equal(ntf, tree); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_reply(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *op; const struct lyd_node *node; data = "\n" " \n" " 25\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_REPLY_YANG, &tree, &op)); ly_in_free(in, 0); assert_non_null(op); CHECK_LYSC_ACTION((struct lysc_node_action *)op->schema, NULL, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "act", LYS_ACTION, 1, 0, 0, 1, 0, NULL, 0); node = lyd_child(op); CHECK_LYSC_NODE(node->schema, NULL, 0, LYS_STATUS_CURR | LYS_IS_OUTPUT, 1, "al", 0, LYS_LEAF, 1, 0, NULL, 0); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "c", 1, LYS_CONTAINER, 0, 0, NULL, 0); /* TODO print only rpc-reply node and then output subtree */ CHECK_LYD_STRING(lyd_child(op), LYD_PRINT_WITHSIBLINGS, "25\n"); lyd_free_all(tree); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_netconf_rpc(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *op; const struct lyd_node *node; const char *dsc = "The operation loads all or part of a specified\n" "configuration to the specified target configuration."; const char *ref = "RFC 6241, Section 7.2"; const char *feats[] = {"writable-running", NULL}; assert_non_null((ly_ctx_load_module(UTEST_LYCTX, "ietf-netconf", "2011-06-01", feats))); data = "" "\n" " \n" " \n" " \n" " \n" " \n" " val_a\n" " val_b\n" " val_c\n" " \n" " \n" " \n" " \n" " \n" "\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_NETCONF, &tree, &op)); ly_in_free(in, 0); assert_non_null(op); node = tree; CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)node, 1, 0, LY_VALUE_XML, "rpc", 0, 0, 0, 0, ""); assert_non_null(tree); node = op; CHECK_LYSC_ACTION((struct lysc_node_action *)node->schema, dsc, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "edit-config", LYS_RPC, 0, 0, 0, 0, 0, ref, 0); node = lyd_child(node)->next; dsc = "Inline Config content."; CHECK_LYSC_NODE(node->schema, dsc, 0, LYS_STATUS_CURR | LYS_IS_INPUT, 1, "config", 0, LYS_ANYXML, 1, 0, NULL, 0); node = ((struct lyd_node_any *)node)->value.tree; CHECK_LYSC_NODE(node->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR | LYS_PRESENCE, 1, "cp", 1, LYS_CONTAINER, 0, 0, NULL, 0); node = lyd_child(node); /* z has no value */ CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)node, 0x1, 0, LY_VALUE_XML, "z", 0, 0, NULL, 1, ""); node = node->parent->next; /* l1 key c has invalid value so it is at the end */ CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)node, 0x1, 0x1, LY_VALUE_XML, "l1", 0, 0, NULL, 1, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n"); CHECK_LYD_STRING(op, LYD_PRINT_WITHSIBLINGS, "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " val_a\n" " val_b\n" " val_c\n" " \n" " \n" "\n"); lyd_free_all(tree); lyd_free_all(op); /* invalid anyxml nested metadata value */ data = "\n" " \n" " \n" " \n" " \n" " \n" " \n" " \n" " val_a\n" " val_b\n" " 5\n" " \n" " false\n" " \n" " \n" " \n" " \n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_EVALID, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_NETCONF, &tree, &op)); ly_in_free(in, 0); CHECK_LOG_CTX("Invalid enumeration value \"merge2\".", "/ietf-netconf:copy-config/source/config/a:l1[a='val_a'][b='val_b'][c='5']/cont/e/@ietf-netconf:operation", 13); lyd_free_all(tree); assert_null(op); } static void test_netconf_action(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *op; data = "" "" "\n" " \n" " value\n" " \n" "\n" "\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_NETCONF, &tree, &op)); ly_in_free(in, 0); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 1, 1, LY_VALUE_XML, "rpc", 0, 0, 0, 0, ""); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)lyd_child(tree), 0, 0, LY_VALUE_XML, "action", 0, 0, 0, 0, ""); assert_non_null(op); CHECK_LYSC_ACTION((struct lysc_node_action *)op->schema, NULL, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "act", LYS_ACTION, 1, 0, 0, 1, 0, NULL, 0); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n" " \n" "\n"); CHECK_LYD_STRING(op, LYD_PRINT_WITHSIBLINGS, "\n" " value\n" "\n"); lyd_free_all(tree); lyd_free_all(op); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_netconf_reply_or_notification(void **state) { const char *data; struct ly_in *in; struct lyd_node *action, *tree, *op, *op2; /* parse the action */ data = "\n" " \n" " value\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_YANG, &action, &op)); ly_in_free(in, 0); /* parse notification first */ data = "\n" "2010-12-06T08:00:01Z\n" "\n" " \n" " value\n" " \n" "\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_NOTIF_NETCONF, &tree, &op2)); ly_in_free(in, 0); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 0, 1, LY_VALUE_XML, "notification", 0, 0, 0, 0, ""); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)lyd_child(tree), 0, 0, LY_VALUE_XML, "eventTime", 0, 0, 0, 0, "2010-12-06T08:00:01Z"); assert_non_null(op2); CHECK_LYSC_NOTIF((struct lysc_node_notif *)op2->schema, 1, NULL, 0, 0x4, 1, 0, "n1", 1, 0, NULL, 0); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n" " 2010-12-06T08:00:01Z\n" "\n"); CHECK_LYD_STRING(op2, LYD_PRINT_WITHSIBLINGS, "\n" " value\n" "\n"); lyd_free_all(tree); lyd_free_all(op2); /* notification with a different order */ data = "\n" "\n" " \n" " value\n" " \n" "\n" "2010-12-06T08:00:01Z\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_NOTIF_NETCONF, &tree, &op2)); ly_in_free(in, 0); lyd_free_all(tree); lyd_free_all(op2); /* parse a data reply */ data = "\n" " 25\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, op, in, LYD_XML, LYD_TYPE_REPLY_NETCONF, &tree, NULL)); ly_in_free(in, 0); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 1, 0, LY_VALUE_XML, "rpc-reply", 0, 0, 0, 0, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, "\n"); lyd_free_all(tree); /* it was connected to the action, do not free */ /* parse an ok reply */ data = "\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, op, in, LYD_XML, LYD_TYPE_REPLY_NETCONF, &tree, NULL)); ly_in_free(in, 0); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 1, 1, LY_VALUE_XML, "rpc-reply", 0, 0, 0, 0, ""); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)lyd_child(tree), 0, 0, LY_VALUE_XML, "ok", 0, 0, 0, 0, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); /* parse an error reply */ data = "\n" " \n" " rpc\n" " missing-attribute\n" " error\n" " \n" " message-id\n" " rpc\n" " \n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, op, in, LYD_XML, LYD_TYPE_REPLY_NETCONF, &tree, NULL)); ly_in_free(in, 0); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)tree, 1, 1, LY_VALUE_XML, "rpc-reply", 0, 0, 0, 0, ""); CHECK_LYD_NODE_OPAQ((struct lyd_node_opaq *)lyd_child(tree), 0, 1, LY_VALUE_XML, "rpc-error", 0, 0, 0, 0, ""); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); lyd_free_all(action); /* wrong namespace, element name, whatever... */ /* TODO */ } static void test_restconf_rpc(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *envp; assert_non_null((ly_ctx_load_module(UTEST_LYCTX, "ietf-netconf-nmda", "2019-01-07", NULL))); assert_int_equal(LY_SUCCESS, lyd_new_path(NULL, UTEST_LYCTX, "/ietf-netconf-nmda:edit-data", NULL, 0, &tree)); data = "" "ds:running" "" "" "" "val_aval_bval_c" "" ""; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, tree, in, LYD_XML, LYD_TYPE_RPC_RESTCONF, &envp, NULL)); ly_in_free(in, 0); /* the same just connected to the edit-data RPC */ data = "" "ds:running" "" "" "" "val_aval_bval_c" "" ""; CHECK_LYD_STRING(tree, LYD_PRINT_SHRINK | LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); lyd_free_all(envp); } static void test_restconf_reply(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree, *envp; assert_int_equal(LY_SUCCESS, lyd_new_path(NULL, UTEST_LYCTX, "/a:c/act", NULL, 0, &tree)); data = "25"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, lyd_child(tree), in, LYD_XML, LYD_TYPE_REPLY_RESTCONF, &envp, NULL)); ly_in_free(in, 0); /* connected to the RPC with the parent */ data = "25"; CHECK_LYD_STRING(tree, LYD_PRINT_SHRINK | LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); lyd_free_all(envp); } static void test_filter_attributes(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree; const struct lyd_node *node; const char *dsc; const char *ref = "RFC 6241, Section 7.7"; const char *feats[] = {"writable-running", NULL}; assert_non_null((ly_ctx_load_module(UTEST_LYCTX, "ietf-netconf", "2011-06-01", feats))); assert_non_null((ly_ctx_load_module(UTEST_LYCTX, "notifications", "2008-07-14", NULL))); data = "\n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_YANG, &tree, NULL)); ly_in_free(in, 0); assert_non_null(tree); node = tree; dsc = "Retrieve running configuration and device state information."; CHECK_LYSC_ACTION((struct lysc_node_action *)node->schema, dsc, 0, LYS_STATUS_CURR, 1, 0, 0, 1, "get", LYS_RPC, 1, 0, 0, 0, 0, ref, 0); node = lyd_child(node); dsc = "This parameter specifies the portion of the system\nconfiguration and state data to retrieve."; CHECK_LYSC_NODE(node->schema, dsc, 1, LYS_STATUS_CURR | LYS_IS_INPUT, 1, "filter", 0, LYS_ANYXML, 1, 0, NULL, 0); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); data = "\n" " \n" " \n" " \n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_op(UTEST_LYCTX, NULL, in, LYD_XML, LYD_TYPE_RPC_YANG, &tree, NULL)); ly_in_free(in, 0); assert_non_null(tree); CHECK_LYD_STRING(tree, LYD_PRINT_WITHSIBLINGS, data); lyd_free_all(tree); } static void test_data_skip(void **state) { const char *data; struct lyd_node *tree; struct lyd_node_term *leaf; /* add invalid data to a module that is not implemented */ data = ""; assert_int_equal(LY_SUCCESS, lyd_parse_data_mem(_UC->ctx, data, LYD_XML, 0, LYD_VALIDATE_PRESENT, &tree)); assert_null(tree); /* add invalid data to a module that is implemented */ data = ""; assert_int_equal(LY_SUCCESS, lyd_parse_data_mem(_UC->ctx, data, LYD_XML, 0, LYD_VALIDATE_PRESENT, &tree)); assert_null(tree); /* first invalid, next valid */ data = " foo value"; CHECK_PARSE_LYD(data, 0, LYD_VALIDATE_PRESENT, tree); CHECK_LYSC_NODE(tree->schema, NULL, 0, LYS_CONFIG_W | LYS_STATUS_CURR, 1, "foo", 1, LYS_LEAF, 0, 0, NULL, 0); leaf = (struct lyd_node_term *)tree; CHECK_LYD_VALUE(leaf->value, STRING, "foo value"); lyd_free_all(tree); } static void test_metadata(void **state) { const char *data; struct lyd_node *tree; /* invalid metadata value */ data = "xval"; assert_int_equal(LY_EVALID, lyd_parse_data_mem(_UC->ctx, data, LYD_XML, 0, LYD_VALIDATE_PRESENT, &tree)); assert_null(tree); CHECK_LOG_CTX("Invalid enumeration value \"value\".", "/a:c/x/@a:attr", 1); } static void test_subtree(void **state) { const char *data; struct ly_in *in; struct lyd_node *tree; /* prepare data with the parent */ data = "\n" " val_a\n" " val_b\n" " 1\n" "\n"; assert_int_equal(LY_SUCCESS, lyd_parse_data_mem(UTEST_LYCTX, data, LYD_XML, 0, LYD_VALIDATE_PRESENT, &tree)); /* parse a subtree of it */ data = "\n" " true\n" "\n"; assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_SUCCESS, lyd_parse_data(UTEST_LYCTX, tree, in, LYD_XML, 0, LYD_VALIDATE_PRESENT, NULL)); ly_in_free(in, 0); /* parse another container, fails */ assert_int_equal(LY_SUCCESS, ly_in_new_memory(data, &in)); assert_int_equal(LY_EVALID, lyd_parse_data(UTEST_LYCTX, tree, in, LYD_XML, 0, LYD_VALIDATE_PRESENT, NULL)); ly_in_free(in, 0); CHECK_LOG_CTX("Duplicate instance of \"cont\".", "/a:l1[a='val_a'][b='val_b'][c='1']/cont", 0); lyd_free_all(tree); } int main(void) { const struct CMUnitTest tests[] = { UTEST(test_leaf, setup), UTEST(test_anydata, setup), UTEST(test_anyxml, setup), UTEST(test_list, setup), UTEST(test_container, setup), UTEST(test_opaq, setup), UTEST(test_rpc, setup), UTEST(test_action, setup), UTEST(test_notification, setup), UTEST(test_reply, setup), UTEST(test_netconf_rpc, setup), UTEST(test_netconf_action, setup), UTEST(test_netconf_reply_or_notification, setup), UTEST(test_restconf_rpc, setup), UTEST(test_restconf_reply, setup), UTEST(test_filter_attributes, setup), UTEST(test_data_skip, setup), UTEST(test_metadata, setup), UTEST(test_subtree, setup), }; return cmocka_run_group_tests(tests, NULL, NULL); }