kc3-lang/kc3/test/env_test.c

• Show log

  Commit

• Hash : 5842dc1e
  Author : Thomas de Grivel
  Date : 2024-03-04T20:47:29
  

  rename operators

Download

• test/env_test.c

• /* c3
   * Copyright 2022-2024 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/call.h"
  #include "../libc3/compare.h"
  #include "../libc3/env.h"
  #include "../libc3/frame.h"
  #include "../libc3/list.h"
  #include "../libc3/sym.h"
  #include "../libc3/tag.h"
  #include "test.h"
  
  void env_test (void);
  TEST_CASE_PROTOTYPE(env_eval_call);
  TEST_CASE_PROTOTYPE(env_eval_equal_tag);
  TEST_CASE_PROTOTYPE(env_eval_tag);
  TEST_CASE_PROTOTYPE(env_init_clean);
  
  void env_test (void)
  {
    TEST_CASE_RUN(env_init_clean);
    TEST_CASE_RUN(env_eval_equal_tag);
    TEST_CASE_RUN(env_eval_call);
    TEST_CASE_RUN(env_eval_tag);
  }
  
  TEST_CASE(env_eval_call)
  {
    s_env env;
    s_call call;
    s_tag result;
    s_tag expected;
    env_init(&env, 0, NULL);
    test_context("env_eval_call(1 + 2) -> 3");
    call_init(&call);
    call.ident.module = sym_1("C3");
    call.ident.sym = sym_1("operator_add");
    call.arguments = list_new_1("[1, 2]");
    tag_init_u8(&expected, 3);
    TEST_ASSERT(env_eval_call(&env, &call, &result));
    TEST_EQ(compare_tag(&result, &expected), 0);
    call_clean(&call);
    tag_clean(&result);
    tag_clean(&expected);
    env_clean(&env);
    test_context(NULL);
  }
  TEST_CASE_END(env_eval_call)
  
  TEST_CASE(env_eval_equal_tag)
  {
    s_env env;
    s_frame frame;
    s_tag x;
    s_tag y;
    s_tag z;
    env_init(&env, 0, NULL);
    env.frame = frame_init(&frame, env.frame);
    test_context("x = 1");
    TEST_ASSERT(env_eval_equal_tag(&env, false,
                                   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, 0, NULL);
    env.frame = frame_init(&frame, env.frame);
    test_context("x = (1, 2]");
    TEST_ASSERT(env_eval_equal_tag(&env, false,
                                   tag_init_1(&x, "x"),
                                   tag_init_1(&y, "[1, 2]"),
                                   &z));
    TEST_ASSERT(frame_get(&frame, sym_1("x")));
    TEST_EQ(compare_tag(&z, &y), 0);
    tag_clean(&z);
    env.frame = frame_clean(&frame);
    env_clean(&env);
    env_init(&env, 0, NULL);
    env.frame = frame_init(&frame, env.frame);
    test_context("[] = []");
    TEST_ASSERT(env_eval_equal_tag(&env, false,
                                   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, 0, NULL);
    env.frame = frame_init(&frame, env.frame);
    test_context("[a, b] = [1, 2]");
    TEST_ASSERT(env_eval_equal_tag(&env, false,
                                   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, 0, NULL);
    env.frame = frame_init(&frame, env.frame);
    test_context("x = [1, 2]");
    TEST_ASSERT(env_eval_equal_tag(&env, false,
                                   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_eval_tag)
  {
    s_env env;
    s_tag x;
    s_tag y;
    s_tag expected;
    env_init(&env, 0, NULL);
    test_context("env_eval_tag(1 + 2) -> 3");
    TEST_EQ(tag_init_1(&x, "1 + 2"), &x);
    TEST_EQ(tag_init_1(&expected, "3"), &expected);
    TEST_ASSERT(env_eval_tag(&env, &x, &y));
    TEST_EQ(compare_tag(&y, &expected), 0);
    tag_clean(&x);
    tag_clean(&y);
    tag_clean(&expected);
    env_clean(&env);
    test_context(NULL);
  }
  TEST_CASE_END(env_eval_tag)
  
  TEST_CASE(env_init_clean)
  {
    s_env env;
    env_init(&env, 0, NULL);
    env_clean(&env);
  }
  TEST_CASE_END(env_init_clean)
  

Download