kc3-lang/kc3/test/facts_test.c

Branch : - branch - marshall master pdf v0.1 - tag - HTTPd-v0.1.0 HTTPd-v0.1.1 HTTPd-v0.2.0 v0 v0.1.0 v0.1.1 v0.1.10 v0.1.11 v0.1.12 v0.1.13 v0.1.14 v0.1.15 v0.1.16 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9

• Show log

  Commit

• Author : Thomas de Grivel
  Date : 2022-12-06 13:37:43
  Hash : f990b98e
  Message : licence

• test/facts_test.c

• /* c3
   * Copyright 2022 kmx.io <contact@kmx.io>
   *
   * Permission is hereby granted to use this software excepted
   * on Apple computers 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 <stdio.h>
  #include <unistd.h>
  #include "../libc3/buf.h"
  #include "../libc3/facts.h"
  #include "fact_test.h"
  #include "test.h"
  
  void facts_test ();
  void facts_test_add ();
  void facts_test_dump ();
  void facts_test_find ();
  void facts_test_init_clean ();
  void facts_test_load ();
  void facts_test_log_add ();
  void facts_test_log_remove ();
  void facts_test_new_delete ();
  void facts_test_remove ();
  
  void facts_test ()
  {
    facts_test_init_clean();
    facts_test_new_delete();
    facts_test_add();
    facts_test_remove();
    facts_test_find();
    facts_test_log_add();
    facts_test_log_remove();
    facts_test_dump();
  }
  
  void facts_test_add ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact *pf;
    s_fact fact[24];
    s_facts facts;
    facts_init(&facts, NULL);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      TEST_ASSERT((pf = facts_add_fact(&facts, fact + i)));
      TEST_EQ(facts.tags.count, i + 1);
      TEST_EQ(facts.facts.count, i + 1);
      TEST_EQ(tag_compare(fact[i].subject, pf->subject), 0);
      TEST_EQ(tag_compare(fact[i].predicate, pf->predicate), 0);
      TEST_EQ(tag_compare(fact[i].object, pf->object), 0);
      TEST_ASSERT((pf = facts_add_fact(&facts, fact + i)));
      TEST_EQ(facts.tags.count, i + 1);
      TEST_EQ(facts.facts.count, i + 1);
      TEST_EQ(tag_compare(fact[i].subject, pf->subject), 0);
      TEST_EQ(tag_compare(fact[i].predicate, pf->predicate), 0);
      TEST_EQ(tag_compare(fact[i].object, pf->object), 0);
      fact_test_clean_1(fact + i);
      i++;
    }
    facts_clean(&facts);
  }
  
  void facts_test_dump ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact fact[24];
    s_facts facts;
    facts_init(&facts, NULL);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      facts_add_fact(&facts, fact + i);
      i++;
    }
    facts_dump(&facts, "facts_test_dump.facts");
    test_file_compare("facts_test_dump.facts",
                      "facts_test_dump.facts.expected");
    if (g_test_last_ok)
      unlink("facts_test_dump.facts");
    i = 0;
    while (p[i]) {
      fact_test_clean_1(fact + i);
      i++;
    }
    facts_clean(&facts);
  }
  
  void facts_test_find ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact fact[24];
    s_facts facts;
    s_fact *pf;
    facts_init(&facts, NULL);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      TEST_EQ(facts_find_fact(&facts, fact + i), NULL);
      TEST_EQ(facts_find_fact(&facts, fact + i), NULL);
      facts_add_fact(&facts, fact + i);
      TEST_ASSERT((pf = facts_find_fact(&facts, fact + i)));
      TEST_EQ(tag_compare(fact[i].subject, pf->subject), 0);
      TEST_EQ(tag_compare(fact[i].predicate, pf->predicate), 0);
      TEST_EQ(tag_compare(fact[i].object, pf->object), 0);
      i++;
    }
    while (i--) {
      facts_remove_fact(&facts, fact + i);
      TEST_EQ(facts_find_fact(&facts, fact + i), NULL);
      TEST_EQ(facts_find_fact(&facts, fact + i), NULL);
      fact_test_clean_1(fact + i);
    }
    facts_clean(&facts);
  }
  
  void facts_test_init_clean ()
  {
    s_facts facts;
    s_buf buf;
    TEST_EQ(facts_init(&facts, NULL), &facts);
    TEST_EQ(facts.tags.count, 0);
    TEST_EQ(facts.facts.count, 0);
    TEST_EQ(facts.log, NULL);
    facts_clean(&facts);
    test_ok();
    BUF_INIT_ALLOCA(&buf, 1024);
    TEST_EQ(facts_init(&facts, &buf), &facts);
    TEST_EQ(facts.tags.count, 0);
    TEST_EQ(facts.facts.count, 0);
    TEST_EQ(facts.log, &buf);
    facts_clean(&facts);
    test_ok();
  }
  
  void facts_test_load ()
  {
  }
  
  void facts_test_log_add ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact fact[24];
    s_facts facts;
    FILE *fp;
    s_buf log;
    BUF_INIT_ALLOCA(&log, 1024);
    fp = fopen("facts_test_log_add.facts", "w");
    buf_file_open_w(&log, fp);
    facts_init(&facts, &log);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      facts_add_fact(&facts, fact + i);
      fact_test_clean_1(fact + i);
      i++;
    }
    facts_clean(&facts);
    fclose(fp);
    test_file_compare("facts_test_log_add.facts",
                      "facts_test_log_add.facts.expected");
    if (g_test_last_ok)
      unlink("facts_test_log_add.facts");
  }
  
  void facts_test_log_remove ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact fact[24];
    s_facts facts;
    FILE *fp;
    s_buf log;
    BUF_INIT_ALLOCA(&log, 1024);
    fp = fopen("facts_test_log_remove.facts", "w");
    buf_file_open_w(&log, fp);
    facts_init(&facts, &log);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      facts_add_fact(&facts, fact + i);
      i++;
    }
    while (i--) {
      facts_remove_fact(&facts, fact + i);
    }
    i = 0;
    while (p[i]) {
      fact_test_clean_1(fact + i);
      i++;
    }
    facts_clean(&facts);
    buf_file_close(&log);
    fclose(fp);
    test_file_compare("facts_test_log_remove.facts",
                      "facts_test_log_remove.facts.expected");
    if (g_test_last_ok)
      unlink("facts_test_log_remove.facts");
  }
  
  void facts_test_new_delete ()
  {
    s_facts *facts;
    s_buf buf;
    TEST_ASSERT((facts = facts_new(NULL)));
    if (g_test_last_ok) {
      TEST_EQ(facts->tags.count, 0);
      TEST_EQ(facts->facts.count, 0);
      TEST_EQ(facts->log, NULL);
      facts_delete(facts);
      test_ok();
    }
    BUF_INIT_ALLOCA(&buf, 1024);
    TEST_ASSERT((facts = facts_new(&buf)));
    if (g_test_last_ok) {
      TEST_EQ(facts->tags.count, 0);
      TEST_EQ(facts->facts.count, 0);
      TEST_EQ(facts->log, &buf);
      facts_delete(facts);
      test_ok();
    }
  }
  
  void facts_test_remove ()
  {
    uw i = 0;
    s8 *p[24] = {
      "\"a\"",
      ":a",
      "A",
      "a",
      "[]",
      "[[], []]",
      "{:a, :b}",
      "{{:a, :b}, {:c, :d}}",
      "{a, b}",
      "{{a, b}, {c, d}}",
      "0",
      "1",
      "10",
      "0x100",
      "0x10000",
      "0x100000000",
      "0x10000000000000000",
      "-1",
      "-10",
      "-0x100",
      "-0x10000",
      "-0x100000000",
      "-0x10000000000000000",
      NULL
    };
    s_fact fact[24];
    s_facts facts;
    facts_init(&facts, NULL);
    while (p[i]) {
      fact_test_init_1(fact + i, p[i]);
      facts_add_fact(&facts, fact + i);
      i++;
    }
    while (i--) {
      TEST_EQ(facts_remove_fact(&facts, fact + i), true);
      TEST_EQ(facts.tags.count, i);
      TEST_EQ(facts.facts.count, i);
      TEST_EQ(facts_remove_fact(&facts, fact + i), false);
      TEST_EQ(facts.tags.count, i);
      TEST_EQ(facts.facts.count, i);
      fact_test_clean_1(fact + i);
    }
    facts_clean(&facts);
  }