kc3-lang/kc3/libc3/module.c

• Show log

  Commit

• Hash : 5326d4e4
  Author : Thomas de Grivel
  Date : 2024-03-29T18:48:54
  

  wip defmodule + def

Download

• libc3/module.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 "assert.h"
  #include <string.h>
  #include "buf.h"
  #include "character.h"
  #include "compare.h"
  #include "env.h"
  #include "facts.h"
  #include "facts_with.h"
  #include "facts_with_cursor.h"
  #include "file.h"
  #include "module.h"
  #include "tag.h"
  #include "sym.h"
  
  bool module_ensure_loaded (const s_sym *module, s_facts *facts)
  {
    s_tag tag_module_name;
    s_tag tag_is_a;
    s_tag tag_module;
    if (module_is_loading(module))
      return true;
    tag_init_sym(&tag_is_a, &g_sym_is_a);
    tag_init_sym(&tag_module, &g_sym_module);
    tag_init_sym(&tag_module_name, module);
    if (! facts_find_fact_by_tags(facts, &tag_module_name, &tag_is_a,
                                  &tag_module)) {
      if (! module_load(module, facts)) {
        err_write_1("module_ensure_loaded: module not found: ");
        err_puts(module->str.ptr.pchar);
        assert(! "module_ensure_loaded: module not found");
        return false;
      }
      return true;
    }
    module_maybe_reload(module, facts);
    return true;
  }
  
  bool module_has_ident (const s_sym *module, const s_ident *ident,
                         s_facts *facts)
  {
    s_tag tag_ident;
    s_tag tag_module_name;
    s_tag tag_operator;
    s_tag tag_symbol;
    tag_init_ident(&tag_ident, ident);
    tag_init_sym(  &tag_module_name, module);
    tag_init_sym(  &tag_operator, &g_sym_operator);
    tag_init_sym(  &tag_symbol, &g_sym_symbol);
    return facts_find_fact_by_tags(facts, &tag_module_name,
                                   &tag_symbol, &tag_ident) ||
      facts_find_fact_by_tags(facts, &tag_module_name,
                              &tag_operator, &tag_ident);
  }
  
  bool module_has_symbol (const s_sym *module, const s_sym *sym,
                          s_facts *facts)
  {
    s_ident ident;
    ident.module = module;
    ident.sym = sym;
    return module_has_ident(module, &ident, facts);
  }
  
  bool module_is_loading (const s_sym *module)
  {
    return env_module_is_loading(&g_c3_env, module);
  }
  
  bool module_load (const s_sym *module, s_facts *facts)
  {
    return env_module_load(&g_c3_env, module, facts);
  }
  
  s_tag * module_load_time (const s_sym *module, s_facts *facts,
                            s_tag *dest)
  {
    s_facts_with_cursor cursor;
    s_tag tag_module_name;
    s_tag tag_load_time;
    s_tag tag_time_var;
    tag_init_sym(&tag_module_name, module);
    tag_init_sym(&tag_load_time, &g_sym_load_time);
    tag_init_var(&tag_time_var);
    facts_with(facts, &cursor, (t_facts_spec) {
        &tag_module_name, &tag_load_time, &tag_time_var, NULL, NULL });
    if (! facts_with_cursor_next(&cursor)) {
      facts_with_cursor_clean(&cursor);
      return NULL;
    }
    facts_with_cursor_clean(&cursor);
    *dest = tag_time_var;
    return dest;
  }
  
  bool module_maybe_reload (const s_sym *module, s_facts *facts)
  {
    return env_module_maybe_reload(&g_c3_env, module, facts);
  }
  
  s_str * module_path (const s_sym *module, const s_str *prefix,
                       const char *ext, s_str *dest)
  {
    character b = 0;
    character c;
    s_buf in;
    s_buf out;
    sw out_size;
    sw r;
    s_str *result;
    assert(dest);
    assert(module);
    buf_init_str(&in, false, (s_str *) &module->str);
    out_size = module_path_size(module, prefix, ext);
    buf_init_alloc(&out, out_size);
    if ((r = buf_write_str(&out, prefix)) < 0)
      goto error;
    while ((r = buf_read_character_utf8(&in, &c)) > 0) {
      if (c == '.')
        c = '/';
      else if (character_is_uppercase(c)) {
        if (character_is_lowercase(b)) {
          if ((r = buf_write_1(&out, "_")) < 0)
            goto error;
        }
        b = c;
        c = character_to_lower(c);
      }
      else
        b = c;
      if ((r = buf_write_character_utf8(&out, c)) < 0)
        goto error;
    }
    if ((r = buf_write_1(&out, ext)) < 0)
      goto error;
    result = buf_to_str(&out, dest);
    /*
    if (result) {
      err_inspect_str(dest);
      err_write_1("\n");
    }
    */
    return result;
   error:
    buf_clean(&out);
    err_puts("module_path: error");
    assert(! "module_path: error");
    return NULL;
  }
  
  sw module_path_size (const s_sym *module, const s_str *prefix, const char *ext)
  {
    character b = 0;
    character c;
    s_buf in;
    sw r;
    sw result;
    assert(prefix);
    assert(module);
    buf_init_str(&in, false, (s_str *) &module->str);
    result = prefix->size;
    while ((r = buf_read_character_utf8(&in, &c)) > 0) {
      if (c == '.')
        c = '/';
      else if (character_is_uppercase(c)) {
        if (character_is_lowercase(b))
          result += strlen("_");
        b = c;
        c = character_to_lower(c);
      }
      else
        b = c;
      result += character_utf8_size(c);
    }
    result += strlen(ext);
    return result;
  }
  

Download