kc3-lang/kc3/test/env_test.c

• Show log

  Commit

• Hash : f6a73036
  Author : Thomas de Grivel
  Date : 2023-11-03T14:27:52
  

  () -> (void)

Download

• 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/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);
    test_context("env_eval_call(1 + 2) -> 3");
    call_init(&call);
    call.ident.module = sym_1("C3");
    call.ident.sym = sym_1("operator08");
    call.arguments = list_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);
    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_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);
    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("(a, b) = (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_eval_tag)
  {
    s_env env;
    s_tag x;
    s_tag y;
    s_tag expected;
    env_init(&env);
    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);
    test_ok();
    env_clean(&env);
    test_ok();
  }
  TEST_CASE_END(env_init_clean)
  

Download