Edit

kc3-lang/kc3/libc3/sym.c

Branch :

  • libc3/sym.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 <assert.h>
#include <err.h>
#include <stdlib.h>
#include <string.h>
#include "buf.h"
#include "buf_inspect.h"
#include "character.h"
#include "compare.h"
#include "str.h"
#include "sym.h"

void         sym_delete (s_sym *sym);
s_str *      sym_inspect_reserved (const s_sym *sym, s_str *dest);
sw           sym_inspect_reserved_size (const s_sym *sym);
s_sym_list * sym_list_new (s_sym *sym, s_sym_list *next);

static s_sym_list * g_sym_list = NULL;

const s_sym * sym_1 (const s8 *p)
{
  s_str stra;
  str_init_1(&stra, NULL, p);
  return str_to_sym(&stra);
}

e_bool sym_character_is_reserved (character c)
{
  return (character_is_space(c) ||
          c == '#' ||
          c == '(' ||
          c == ')' ||
          c == ',' ||
          c == '.' ||
          c == ';' ||
          c == '[' ||
          c == ']' ||
          c == '{' ||
          c == '}');
}

void sym_delete (s_sym *sym)
{
  str_clean(&sym->str);
  free(sym);
}
  
void sym_delete_all ()
{
  s_sym_list *sym_list;
  sym_list = g_sym_list;
  while (sym_list) {
    s_sym_list *tmp;
    tmp = sym_list;
    sym_list = sym_list->next;
    sym_delete(tmp->sym);
    free(tmp);
  }
  g_sym_list = NULL;
}

const s_sym * sym_find (const s_str *str)
{
  s_sym_list *sym_list;
  sym_list = g_sym_list;
  while (sym_list) {
    s_sym *sym = sym_list->sym;
    if (compare_str(str, &sym->str) == 0)
      return sym;
    sym_list = sym_list->next;
  }
  return NULL;
}

e_bool sym_has_reserved_characters (const s_sym *sym)
{
  character c;
  sw r;
  s_str stra;
  str_init(&stra, NULL, sym->str.size, sym->str.ptr.p);
  while ((r = str_read_character_utf8(&stra, &c)) > 0) {
    if (sym_character_is_reserved(c))
      return true;
  }
  if (r < 0)
    return true;
  return false;
}

s_str * sym_inspect (const s_sym *sym, s_str *dest)
{
  sw size;
  s_buf tmp;
  size = buf_inspect_sym_size(sym);
  if (size < 0) {
    assert(! "error");
    return NULL;
  }
  buf_init_alloc(&tmp, size);
  buf_inspect_sym(&tmp, sym);
  assert(tmp.wpos == tmp.size);
  return buf_to_str(&tmp, dest);
}

e_bool sym_is_module (const s_sym *sym)
{
  character c;
  if (str_peek_character(&sym->str, &c) > 0)
    return character_is_uppercase(c);
  return false;
}

s_sym_list * sym_list_new (s_sym *sym, s_sym_list *next)
{
  s_sym_list *sym_list;
  sym_list = malloc(sizeof(s_sym_list));
  if (! sym_list)
    err(1, "out of memory");
  sym_list->sym = sym;
  sym_list->next = next;
  return sym_list;
}

const s_sym * sym_new (const s_str *src)
{
  s_sym *sym;
  sym = malloc(sizeof(s_sym));
  if (! sym)
    err(1, "out of memory");
  str_init_dup(&sym->str, src);
  g_sym_list = sym_list_new(sym, g_sym_list);
  return sym;
}

ffi_type * sym_to_ffi_type (const s_sym *sym, ffi_type *result_type)
{
  if (sym == sym_1("&result")) {
    if (! result_type)
      warnx("invalid result type: &result");
    return result_type;
  }
  if (sym == sym_1("s8"))
    return &ffi_type_sint8;
  if (sym == sym_1("s16"))
    return &ffi_type_sint16;
  if (sym == sym_1("s32"))
    return &ffi_type_sint32;
  if (sym == sym_1("s64"))
    return &ffi_type_sint64;
  if (sym == sym_1("sw"))
    return &ffi_type_sint;
  if (sym == sym_1("tag"))
    return &ffi_type_pointer;
  if (sym == sym_1("u8"))
    return &ffi_type_uint8;
  if (sym == sym_1("u16"))
    return &ffi_type_uint16;
  if (sym == sym_1("u32"))
    return &ffi_type_uint32;
  if (sym == sym_1("u64"))
    return &ffi_type_uint64;
  if (sym == sym_1("uw"))
    return &ffi_type_uint;
  if (sym == sym_1("void"))
    return &ffi_type_void;
  assert(! "sym_to_ffi_type: unknown type");
  errx(1, "sym_to_ffi_type: unknown type: %s", sym->str.ptr.ps8);
  return NULL;
}

bool sym_to_tag_type (const s_sym *sym, e_tag_type *dest)
{
  if (sym == sym_1("void")) {
    *dest = TAG_VOID;
    return true;
  }
  if (sym == sym_1("bool")) {
    *dest = TAG_BOOL;
    return true;
  }
  if (sym == sym_1("call")) {
    *dest = TAG_CALL;
    return true;
  }
  if (sym == sym_1("call_fn")) {
    *dest = TAG_CALL_FN;
    return true;
  }
  if (sym == sym_1("call_macro")) {
    *dest = TAG_CALL_MACRO;
    return true;
  }
  if (sym == sym_1("cfn")) {
    *dest = TAG_CFN;
    return true;
  }
  if (sym == sym_1("character")) {
    *dest = TAG_CHARACTER;
    return true;
  }
  if (sym == sym_1("f32")) {
    *dest = TAG_F32;
    return true;
  }
  if (sym == sym_1("f64")) {
    *dest = TAG_F64;
    return true;
  }
  if (sym == sym_1("fn")) {
    *dest = TAG_FN;
    return true;
  }
  if (sym == sym_1("ident")) {
    *dest = TAG_IDENT;
    return true;
  }
  if (sym == sym_1("integer")) {
    *dest = TAG_INTEGER;
    return true;
  }
  if (sym == sym_1("s64")) {
    *dest = TAG_S64;
    return true;
  }
  if (sym == sym_1("s32")) {
    *dest = TAG_S32;
    return true;
  }
  if (sym == sym_1("s16")) {
    *dest = TAG_S16;
    return true;
  }
  if (sym == sym_1("s8")) {
    *dest = TAG_S8;
    return true;
  }
  if (sym == sym_1("u8")) {
    *dest = TAG_U8;
    return true;
  }
  if (sym == sym_1("u16")) {
    *dest = TAG_U16;
    return true;
  }
  if (sym == sym_1("u32")) {
    *dest = TAG_U32;
    return true;
  }
  if (sym == sym_1("u64")) {
    *dest = TAG_U64;
    return true;
  }
  if (sym == sym_1("list")) {
    *dest = TAG_LIST;
    return true;
  }
  if (sym == sym_1("ptag")) {
    *dest = TAG_PTAG;
    return true;
  }
  if (sym == sym_1("quote")) {
    *dest = TAG_QUOTE;
    return true;
  }
  if (sym == sym_1("str")) {
    *dest = TAG_STR;
    return true;
  }
  if (sym == sym_1("sym")) {
    *dest = TAG_SYM;
    return true;
  }
  if (sym == sym_1("tag")) {
    *dest = TAG_VOID;
    return true;
  }
  if (sym == sym_1("tuple")) {
    *dest = TAG_TUPLE;
    return true;
  }
  assert(! "sym_to_tag_type: unknown type");
  errx(1, "sym_to_tag_type: unknown type: %s", sym->str.ptr.ps8);
  return false;
}