/*

 * \file test_feature.c

 * \author Radek Krejci <rkrejci@cesnet.cz>

 * \brief libyang tests - features and if-features

 *

 * Copyright (c) 2016 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 <errno.h>

#include <fcntl.h>

#include <pthread.h>

#include <setjmp.h>

#include <stdarg.h>

#include <stddef.h>

#include <stdlib.h>

#include <string.h>

#include <sys/stat.h>

#include <sys/types.h>

#include <cmocka.h>

#include "libyang.h"

#include "tests/config.h"

#define SCHEMA_FOLDER_YIN TESTS_DIR"/schema/yin/files"

#define SCHEMA_FOLDER_YANG TESTS_DIR"/schema/yang/files"

static int

setup_ctx_yin(void **state)

{

    struct ly_ctx *ctx;

    ctx = ly_ctx_new(SCHEMA_FOLDER_YIN, 0);

    assert_non_null(ctx);

    *state = ctx;

    return 0;

}

static int

setup_ctx_yang(void **state)

{

    struct ly_ctx *ctx;

    ctx = ly_ctx_new(SCHEMA_FOLDER_YANG, 0);

    assert_non_null(ctx);

    *state = ctx;

    return 0;

}

static int

teardown_ctx(void **state)

{

    ly_ctx_destroy(*state, NULL);

    return 0;

}

static void

test_fullset(void **state)

{

    struct ly_ctx *ctx = *state;

    const struct lys_module *mod;

    char *buf = NULL;

    const char *tree_alldisabled = "module: features\n"

"  +--rw lst* [id] {not a}?\n"

"  |  +--rw id    string\n"

"  +--rw (ch)? {not (a and b)}?\n"

"  |  +--:(ch3)\n"

"  |     +--rw ch3?   string\n"

"  +--rw axml?   anyxml {not (a or b)}?\n";

    const char *tree_a = "module: features\n"

"  +--rw grp?    string\n"

"  +--rw cont! {a}?\n"

"  +--rw ll*     string {a or b}?\n"

"  +--rw (ch)? {not (a and b)}?\n"

"     +--:(ch1) {a}?\n"

"     |  +--rw ch1?   string\n"

"     +--:(ch3)\n"

"        +--rw ch3?   string\n";

    const char *tree_ab = "module: features\n"

"  +--rw grp?    string\n"

"  +--rw cont! {a}?\n"

"  +--rw lf?     string {a and b}?\n"

"  +--rw ll*     string {a or b}?\n";

    const char *tree_abaa = "module: features\n"

"  +--rw grp?    string\n"

"  +--rw cont! {a}?\n"

"  |  +--rw aug?   string {aa}?\n"

"  +--rw lf?     string {a and b}?\n"

"  +--rw ll*     string {a or b}?\n\n"

"  rpcs:\n"

"    +---x rpc1 {aa}?\n\n"

"  notifications:\n"

"    +---n notif1 {aa}?\n";

    const char *tree_b = "module: features\n"

"  +--rw ll*     string {a or b}?\n"

"  +--rw lst* [id] {not a}?\n"

"  |  +--rw id    string\n"

"  +--rw (ch)? {not (a and b)}?\n"

"     +--:(ch2) {b}?\n"

"     |  +--rw ch2?   string\n"

"     +--:(ch3)\n"

"        +--rw ch3?   string\n";

    mod = ly_ctx_load_module(ctx, "features", NULL);

    assert_non_null(mod);

    lys_print_mem(&buf, mod, LYS_OUT_TREE, NULL, 0, 0);

    assert_non_null(buf);

    assert_string_equal(buf, tree_alldisabled);

    free(buf); buf = NULL;

    lys_features_enable(mod, "a");

    lys_print_mem(&buf, mod, LYS_OUT_TREE, NULL, 0, 0);

    assert_non_null(buf);

    assert_string_equal(buf, tree_a);

    free(buf); buf = NULL;

    lys_features_enable(mod, "b");

    lys_print_mem(&buf, mod, LYS_OUT_TREE, NULL, 0, 0);

    assert_non_null(buf);

    assert_string_equal(buf, tree_ab);

    free(buf); buf = NULL;

    lys_features_enable(mod, "aa");

    lys_print_mem(&buf, mod, LYS_OUT_TREE, NULL, 0, 0);

    assert_non_null(buf);

    assert_string_equal(buf, tree_abaa);

    free(buf); buf = NULL;

    lys_features_disable(mod, "a"); /* aa is also disabled by disabling a */

    lys_print_mem(&buf, mod, LYS_OUT_TREE, NULL, 0, 0);

    assert_non_null(buf);

    assert_string_equal(buf, tree_b);

    free(buf); buf = NULL;

}

static void

test_circle1(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  yang-version 1.1;\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a { if-feature \"b and c\"; }\n"

"  feature b { if-feature c; }\n"

"  feature c { if-feature \"a or b\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_CIRC_FEATURES);

}

static void

test_circle2(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a { if-feature \"a\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_CIRC_FEATURES);

}

static void

test_inval_expr1(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  yang-version 1.1;\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a;\n"

"  feature b;\n"

"  feature c { if-feature \"a xor b\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_INARG);

}

static void

test_inval_expr2(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  yang-version 1.1;\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a;\n"

"  feature b;\n"

"  feature c { if-feature \"\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_INARG);

}

static void

test_inval_expr3(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  yang-version 1.1;\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a;\n"

"  feature b;\n"

"  feature c { if-feature \"x\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_INRESOLV);

}

static void

test_inval_expr4(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  yang-version 1.1;\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a;\n"

"  feature b;\n"

"  feature c { if-feature \"a b\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_INARG);

}

static void

test_inval_expr5(void **state)

{

    struct ly_ctx *ctx = *state;

    const char *yang = "module features {\n"

"  namespace \"urn:features\";\n"

"  prefix f;\n"

"  feature a;\n"

"  feature b;\n"

"  feature c { if-feature \"a and b\"; }}";

    assert_null(lys_parse_mem(ctx, yang, LYS_IN_YANG));

    assert_int_equal(ly_vecode(ctx), LYVE_INARG);

}

int

main(void)

{

    const struct CMUnitTest cmut[] = {

        cmocka_unit_test_setup_teardown(test_fullset, setup_ctx_yin, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_fullset, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_circle1, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_circle2, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_inval_expr1, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_inval_expr2, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_inval_expr3, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_inval_expr4, setup_ctx_yang, teardown_ctx),

        cmocka_unit_test_setup_teardown(test_inval_expr5, setup_ctx_yang, teardown_ctx)

    };

    return cmocka_run_group_tests(cmut, NULL, NULL);

}