env_test.c

Branch :
Show log
Commit
Author : Thomas de Grivel
Date : 2023-04-12 22:51:55
Hash : b45e5806
Message : TEST_CASE_RUN
test/env_test.c
/* c3
 * Copyright 2022,2023 kmx.io <contact@kmx.io>
 *
 * Permission is hereby granted to use this software granted the above
 * copyright notice and this permission paragraph are included in all
 * copies and substantial portions of this software.
 *
 * THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
 * PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
 * AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
 * THIS SOFTWARE.
 */
#include "../libc3/compare.h"
#include "../libc3/env.h"
#include "../libc3/frame.h"
#include "../libc3/sym.h"
#include "../libc3/tag.h"
#include "test.h"

void env_test ();
TEST_CASE_PROTOTYPE(env_eval_equal_tag);
TEST_CASE_PROTOTYPE(env_init_clean);

void env_test ()
{
  TEST_CASE_RUN(env_init_clean);
  TEST_CASE_RUN(env_eval_equal_tag);
}

TEST_CASE(env_eval_equal_tag)
{
  s_env env;
  s_frame frame;
  s_tag x;
  s_tag y;
  s_tag z;
  env_init(&env);
  env.frame = frame_init(&frame, env.frame);
  test_context("x = 1");
  TEST_ASSERT(env_eval_equal_tag(&env, tag_init_1(&x, "x"),
                                 tag_init_1(&y, "1"), &z));
  TEST_ASSERT(frame_get(&frame, x.data.ident.sym));
  TEST_EQ(compare_tag(&z, &y), 0);
  tag_clean(&z);
  env.frame = frame_clean(&frame);
  env_clean(&env);
  env_init(&env);
  env.frame = frame_init(&frame, env.frame);
  test_context("x = (1, 2)");
  TEST_ASSERT(env_eval_equal_tag(&env, tag_1(&x, "x"),
                                 tag_1(&y, "(1, 2)"), &z));
  TEST_ASSERT(frame_get(&frame, x.data.ident.sym));
  TEST_EQ(compare_tag(&z, &y), 0);
  tag_clean(&z);
  env.frame = frame_clean(&frame);
  env_clean(&env);
  env_init(&env);
  env.frame = frame_init(&frame, env.frame);
  test_context("() = ()");
  TEST_ASSERT(env_eval_equal_tag(&env, tag_1(&x, "()"),
                                 tag_1(&y, "()"), &z));
  TEST_EQ(compare_tag(&z, &y), 0);
  tag_clean(&z);
  env.frame = frame_clean(&frame);
  env_clean(&env);
  env_init(&env);
  env.frame = frame_init(&frame, env.frame);
  test_context("x = (1, 2)");
  TEST_ASSERT(env_eval_equal_tag(&env, tag_1(&x, "(a, b)"),
                                 tag_1(&y, "(1, 2)"), &z));
  TEST_ASSERT(frame_get(&frame, sym_1("a")));
  TEST_ASSERT(frame_get(&frame, sym_1("b")));
  TEST_EQ(compare_tag(&z, &y), 0);
  tag_clean(&z);
  env.frame = frame_clean(&frame);
  env_clean(&env);
  env_init(&env);
  env.frame = frame_init(&frame, env.frame);
  test_context("x = (1, 2)");
  TEST_ASSERT(env_eval_equal_tag(&env, tag_1(&x, "(a | b)"),
                                 tag_1(&y, "(1, 2)"), &z));
  TEST_ASSERT(frame_get(&frame, sym_1("a")));
  TEST_ASSERT(frame_get(&frame, sym_1("b")));
  TEST_EQ(compare_tag(&z, &y), 0);
  tag_clean(&z);
  env.frame = frame_clean(&frame);
  env_clean(&env);
  tag_clean(&x);
  tag_clean(&y);
  test_context(NULL);
}
TEST_CASE_END(env_eval_equal_tag)

TEST_CASE(env_init_clean)
{
  s_env env;
  env_init(&env);
  test_ok();
  env_clean(&env);
  test_ok();
}
TEST_CASE_END(env_init_clean)
kc3-lang/kc3/test/env_test.c

Commit

kc3-lang/kc3 /test/env_test.c
