kmx git

/* kc3
 * Copyright 2022,2023,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 "data.h"
#include "sym.h"
#include "tag.h"
#include "var.h"

s_tag * var_assign (s_var *var, const s_tag *value, s_tag *dest)
{
  assert(var);
  assert(value);
  assert(dest);
  if (! var_set(var, value))
    return NULL;
  return tag_init_copy(dest, value);
}

s_var * var_init (s_var *var, s_tag *ptr, const s_sym *type)
{
  s_var tmp = {0};
  assert(var);
  assert(ptr);
  assert(type);
  if (! sym_is_module(type)) {
    err_write_1("var_init: invalid type: ");
    err_inspect_sym(&type);
    err_write_1("\n");
    assert(! "var_init: invalid type");
    return NULL;
  }
  tmp.ptr = ptr;
  tmp.type = type;
  *var = tmp;
  return var;
}

s_tag * var_init_cast (s_tag *tag, const s_sym * const *type,
                       const s_tag *src)
{
  void *data;
  s_tag tmp = {0};
  assert(tag);
  assert(type);
  assert(src);
  if (*type == &g_sym_Var) {
    err_puts("var_init_cast: cannot cast to Var");
    assert(! "var_init_cast: cannot cast to Var");
    return NULL;
  }
  if (! sym_to_tag_type(*type, &tmp.type))
    return NULL;
  if (! tag_to_pointer(&tmp, *type, &data))
    return NULL;
  if (! data_init_cast(data, type, src))
    return NULL;
  *tag = tmp;
  return tag;
}

s_var * var_init_copy (s_var *var, const s_var *src)
{
  assert(var);
  assert(src);
  *var = *src;
  return var;
}

bool * var_is_unbound (s_var *var, bool *dest)
{
  assert(var);
  assert(dest);
  *dest = var->ptr->type == TAG_VAR;
  return dest;
}

s_var * var_reset (s_var *var)
{
  s_tag tmp = {0};
  assert(var);
  assert(var->ptr);
  tmp.type = TAG_VAR;
  var_init(&tmp.data.var, var->ptr, var->type);
  tag_clean(var->ptr);
  *var->ptr = tmp;
  return var;
}

s_var * var_set (s_var *var, const s_tag *value)
{
  const s_sym *value_type;
  assert(var);
  assert(value);
  if (var->type != &g_sym_Tag) {
    if (! tag_type(value, &value_type))
      return NULL;
    if (var->type != value_type) {
      err_write_1("var_set: type mismatch: ");
      err_inspect_sym(&var->type);
      err_write_1(" != ");
      err_inspect_sym(&value_type);
      err_write_1("\n");
      assert(! "var_set: type mismatch");
      return NULL;
    }
  }
  if (! tag_init_copy(var->ptr, value))
    return NULL;
  return var;
}
kc3-lang/kc3/libkc3/var.c

Commit

libkc3/var.c
