picrin/lib/lib.c

361 lines
7.9 KiB
C
Raw Normal View History

2014-08-25 00:38:09 -04:00
/**
* See Copyright Notice in picrin.h
*/
#include "picrin.h"
2016-02-20 10:58:58 -05:00
#include "picrin/extra.h"
2016-02-20 11:13:16 -05:00
#include "picrin/private/object.h"
#include "picrin/private/state.h"
2014-08-25 00:38:09 -04:00
2016-02-22 09:57:07 -05:00
KHASH_DEFINE(env, struct identifier *, symbol *, kh_ptr_hash_func, kh_ptr_hash_equal)
2016-02-21 06:32:00 -05:00
KHASH_DEFINE(ltable, const char *, struct lib, kh_str_hash_func, kh_str_cmp_func)
2016-02-22 09:57:07 -05:00
pic_value
pic_make_env(pic_state *pic, pic_value up)
{
struct env *env;
env = (struct env *)pic_obj_alloc(pic, sizeof(struct env), PIC_TYPE_ENV);
env->up = pic_env_ptr(pic, up);
env->lib = NULL;
kh_init(env, &env->map);
return pic_obj_value(env);
}
static bool
search_scope(pic_state *pic, pic_value id, pic_value env, pic_value *uid)
{
int it;
it = kh_get(env, &pic_env_ptr(pic, env)->map, pic_id_ptr(pic, id));
if (it == kh_end(&pic_env_ptr(pic, env)->map)) {
return false;
}
*uid = pic_obj_value(kh_val(&pic_env_ptr(pic, env)->map, it));
return true;
}
static bool
search(pic_state *pic, pic_value id, pic_value env, pic_value *uid)
{
struct env *e;
while (1) {
if (search_scope(pic, id, env, uid))
return true;
e = pic_env_ptr(pic, env)->up;
if (e == NULL)
break;
env = pic_obj_value(e);
}
return false;
}
pic_value
pic_find_identifier(pic_state *pic, pic_value id, pic_value env)
{
struct env *e;
pic_value uid;
while (! search(pic, id, env, &uid)) {
if (pic_sym_p(pic, id)) {
while (1) {
e = pic_env_ptr(pic, env);
if (e->up == NULL)
break;
env = pic_obj_value(e->up);
}
return pic_add_identifier(pic, id, env);
}
env = pic_obj_value(pic_id_ptr(pic, id)->env); /* do not overwrite id first */
id = pic_obj_value(pic_id_ptr(pic, id)->u.id);
}
return uid;
}
pic_value
pic_add_identifier(pic_state *pic, pic_value id, pic_value env)
{
const char *name, *lib;
2016-02-22 09:57:07 -05:00
pic_value uid, str;
if (search_scope(pic, id, env, &uid)) {
return uid;
}
name = pic_str(pic, pic_id_name(pic, id));
if (pic_env_ptr(pic, env)->up == NULL && pic_sym_p(pic, id)) { /* toplevel & public */
lib = pic_str(pic, pic_obj_value(pic_env_ptr(pic, env)->lib));
str = pic_strf_value(pic, "%s/%s", lib, name);
2016-02-22 09:57:07 -05:00
} else {
str = pic_strf_value(pic, ".%s.%d", name, pic->ucnt++);
}
uid = pic_intern(pic, str);
pic_put_identifier(pic, id, uid, env);
return uid;
}
void
pic_put_identifier(pic_state *pic, pic_value id, pic_value uid, pic_value env)
{
int it, ret;
it = kh_put(env, &pic_env_ptr(pic, env)->map, pic_id_ptr(pic, id), &ret);
kh_val(&pic_env_ptr(pic, env)->map, it) = pic_sym_ptr(pic, uid);
}
2016-02-21 06:32:00 -05:00
static struct lib *
get_library_opt(pic_state *pic, const char *lib)
{
khash_t(ltable) *h = &pic->ltable;
2016-02-20 11:52:34 -05:00
int it;
it = kh_get(ltable, h, lib);
if (it == kh_end(h)) {
return NULL;
}
return &kh_val(h, it);
}
2016-02-21 06:32:00 -05:00
static struct lib *
get_library(pic_state *pic, const char *lib)
{
2016-02-21 06:32:00 -05:00
struct lib *libp;
if ((libp = get_library_opt(pic, lib)) == NULL) {
2016-02-22 14:03:42 -05:00
pic_error(pic, "library not found", 1, pic_cstr_value(pic, lib));
}
return libp;
}
2016-02-20 02:33:51 -05:00
static pic_value
2016-02-19 13:26:52 -05:00
make_library_env(pic_state *pic, pic_value name)
2015-06-09 07:20:56 -04:00
{
2016-02-21 06:32:00 -05:00
struct env *env;
2016-02-20 02:33:51 -05:00
pic_value e;
2016-02-21 06:32:00 -05:00
env = (struct env *)pic_obj_alloc(pic, sizeof(struct env), PIC_TYPE_ENV);
2016-02-19 02:58:39 -05:00
env->up = NULL;
2016-02-19 13:26:52 -05:00
env->lib = pic_str_ptr(pic, name);
2016-02-19 02:58:39 -05:00
kh_init(env, &env->map);
2016-02-20 02:33:51 -05:00
e = pic_obj_value(env);
2016-02-20 14:34:26 -05:00
#define REGISTER(name) pic_put_identifier(pic, pic_intern_lit(pic, name), pic_intern_lit(pic, name), e)
/* set up default environment */
2016-02-20 14:34:26 -05:00
REGISTER("define-library");
REGISTER("import");
REGISTER("export");
REGISTER("cond-expand");
2016-02-20 02:33:51 -05:00
return e;
2015-06-09 07:20:56 -04:00
}
void
pic_make_library(pic_state *pic, const char *lib)
2014-08-25 00:38:09 -04:00
{
khash_t(ltable) *h = &pic->ltable;
2016-02-20 02:33:51 -05:00
pic_value name, env, exports;
2016-02-20 11:52:34 -05:00
int it;
int ret;
2014-08-25 00:38:09 -04:00
name = pic_cstr_value(pic, lib);
env = make_library_env(pic, name);
2015-01-18 07:32:16 -05:00
exports = pic_make_dict(pic);
2014-08-25 00:38:09 -04:00
it = kh_put(ltable, h, pic_str(pic, name), &ret);
if (ret == 0) { /* if exists */
2016-02-22 14:37:58 -05:00
pic_error(pic, "library name already in use", 1, pic_cstr_value(pic, lib));
}
2014-08-25 00:38:09 -04:00
2016-02-19 13:26:52 -05:00
kh_val(h, it).name = pic_str_ptr(pic, name);
2016-02-20 02:33:51 -05:00
kh_val(h, it).env = pic_env_ptr(pic, env);
2016-02-19 05:08:45 -05:00
kh_val(h, it).exports = pic_dict_ptr(pic, exports);
2014-08-25 00:38:09 -04:00
}
void
pic_in_library(pic_state *pic, const char *lib)
{
2016-02-23 13:59:51 -05:00
get_library(pic, lib);
pic->lib = lib;
}
bool
pic_find_library(pic_state *pic, const char *lib)
{
return get_library_opt(pic, lib) != NULL;
}
const char *
pic_current_library(pic_state *pic)
2014-08-25 00:38:09 -04:00
{
2016-02-23 13:59:51 -05:00
return pic->lib;
}
2014-08-25 00:38:09 -04:00
2016-02-20 02:33:51 -05:00
pic_value
pic_library_environment(pic_state *pic, const char *lib)
{
2016-02-20 02:33:51 -05:00
return pic_obj_value(get_library(pic, lib)->env);
2014-08-25 00:38:09 -04:00
}
2015-06-16 12:52:20 -04:00
void
pic_import(pic_state *pic, const char *lib)
2014-08-25 00:38:09 -04:00
{
2016-02-20 01:31:14 -05:00
pic_value name, realname, uid;
2016-02-18 10:39:13 -05:00
int it = 0;
2016-02-23 13:59:51 -05:00
struct lib *our, *their;
2016-02-23 13:59:51 -05:00
our = get_library(pic, pic->lib);
their = get_library(pic, lib);
2015-06-09 09:36:04 -04:00
2016-02-23 13:59:51 -05:00
while (pic_dict_next(pic, pic_obj_value(their->exports), &it, &name, &realname)) {
uid = pic_find_identifier(pic, realname, pic_obj_value(their->env));
2016-02-20 01:31:14 -05:00
if (! pic_weak_has(pic, pic->globals, uid) && ! pic_weak_has(pic, pic->macros, uid)) {
2016-02-22 14:03:42 -05:00
pic_error(pic, "attempted to export undefined variable", 1, realname);
2015-06-09 09:36:04 -04:00
}
2016-02-23 13:59:51 -05:00
pic_put_identifier(pic, name, uid, pic_obj_value(our->env));
2014-08-25 00:38:09 -04:00
}
}
void
2016-02-20 01:31:14 -05:00
pic_export(pic_state *pic, pic_value name)
2014-08-25 00:38:09 -04:00
{
2016-02-23 13:59:51 -05:00
pic_dict_set(pic, pic_obj_value(get_library(pic, pic->lib)->exports), name, name);
2014-08-25 00:38:09 -04:00
}
2015-06-16 09:51:05 -04:00
static pic_value
pic_lib_make_library(pic_state *pic)
{
const char *lib;
2015-06-16 09:51:05 -04:00
pic_get_args(pic, "z", &lib);
2015-06-16 09:51:05 -04:00
pic_make_library(pic, lib);
return pic_undef_value(pic);
2015-06-16 09:51:05 -04:00
}
static pic_value
pic_lib_find_library(pic_state *pic)
{
const char *lib;
2015-06-16 09:51:05 -04:00
pic_get_args(pic, "z", &lib);
2015-06-16 09:51:05 -04:00
return pic_bool_value(pic, pic_find_library(pic, lib));
2015-06-16 09:51:05 -04:00
}
2015-06-16 11:03:52 -04:00
static pic_value
pic_lib_current_library(pic_state *pic)
{
const char *lib;
2015-08-26 06:04:27 -04:00
int n;
2015-06-16 11:03:52 -04:00
n = pic_get_args(pic, "|z", &lib);
2015-06-16 11:03:52 -04:00
if (n == 0) {
2016-02-23 13:59:51 -05:00
return pic_cstr_value(pic, pic_current_library(pic));
2015-06-16 11:03:52 -04:00
}
else {
pic_in_library(pic, lib);
2015-06-16 11:03:52 -04:00
return pic_undef_value(pic);
2015-06-16 11:03:52 -04:00
}
}
2015-06-16 11:59:19 -04:00
static pic_value
pic_lib_library_import(pic_state *pic)
{
const char *lib;
2016-02-20 01:34:49 -05:00
pic_value name, alias, realname, uid;
2016-02-21 06:32:00 -05:00
struct lib *libp;
2016-02-20 01:34:49 -05:00
int n;
2015-06-16 11:59:19 -04:00
2016-02-20 01:34:49 -05:00
n = pic_get_args(pic, "zm|m", &lib, &name, &alias);
2015-06-16 11:59:19 -04:00
2016-02-20 01:34:49 -05:00
if (n == 2) {
2015-06-16 11:59:19 -04:00
alias = name;
}
libp = get_library(pic, lib);
2015-06-16 11:59:19 -04:00
2016-02-19 05:08:45 -05:00
if (! pic_dict_has(pic, pic_obj_value(libp->exports), name)) {
2016-02-22 14:03:42 -05:00
pic_error(pic, "library-import: variable is not exported", 1, name);
2015-06-16 11:59:19 -04:00
} else {
2016-02-20 01:31:14 -05:00
realname = pic_dict_ref(pic, pic_obj_value(libp->exports), name);
2015-06-16 11:59:19 -04:00
}
2016-02-20 02:33:51 -05:00
uid = pic_find_identifier(pic, realname, pic_obj_value(libp->env));
2016-02-20 01:31:14 -05:00
if (! pic_weak_has(pic, pic->globals, uid) && ! pic_weak_has(pic, pic->macros, uid)) {
2016-02-22 14:03:42 -05:00
pic_error(pic, "attempted to export undefined variable", 1, realname);
2015-06-16 11:59:19 -04:00
}
2016-02-23 13:59:51 -05:00
pic_put_identifier(pic, alias, uid, pic_obj_value(get_library(pic, pic->lib)->env));
2016-02-20 01:31:14 -05:00
return pic_undef_value(pic);
2015-06-16 11:59:19 -04:00
}
2015-06-16 12:42:44 -04:00
static pic_value
pic_lib_library_export(pic_state *pic)
{
2016-02-20 01:31:14 -05:00
pic_value name, alias = pic_false_value(pic);
2016-02-20 01:34:49 -05:00
int n;
2015-06-16 12:42:44 -04:00
2016-02-20 01:34:49 -05:00
n = pic_get_args(pic, "m|m", &name, &alias);
2015-06-16 12:42:44 -04:00
2016-02-20 01:34:49 -05:00
if (n == 1) {
2015-06-16 12:42:44 -04:00
alias = name;
}
2016-02-23 13:59:51 -05:00
pic_dict_set(pic, pic_obj_value(get_library(pic, pic->lib)->exports), alias, name);
2015-06-16 12:42:44 -04:00
return pic_undef_value(pic);
2015-06-16 12:42:44 -04:00
}
2015-06-16 09:51:05 -04:00
static pic_value
pic_lib_library_exports(pic_state *pic)
{
const char *lib;
2016-02-20 01:31:14 -05:00
pic_value sym, exports = pic_nil_value(pic);
2016-02-18 10:39:13 -05:00
int it = 0;
2016-02-21 06:32:00 -05:00
struct lib *libp;
2015-06-16 09:51:05 -04:00
pic_get_args(pic, "z", &lib);
2015-06-16 09:51:05 -04:00
libp = get_library(pic, lib);
2015-06-16 09:51:05 -04:00
2016-02-19 05:08:45 -05:00
while (pic_dict_next(pic, pic_obj_value(libp->exports), &it, &sym, NULL)) {
2016-02-20 01:31:14 -05:00
pic_push(pic, sym, exports);
2015-06-16 09:51:05 -04:00
}
return exports;
}
static pic_value
pic_lib_library_environment(pic_state *pic)
{
const char *lib;
2015-06-16 09:51:05 -04:00
pic_get_args(pic, "z", &lib);
2015-06-16 09:51:05 -04:00
return pic_obj_value(get_library(pic, lib)->env);
2015-06-16 09:51:05 -04:00
}
2014-08-25 00:38:09 -04:00
void
pic_init_lib(pic_state *pic)
{
2015-06-16 09:51:05 -04:00
pic_defun(pic, "make-library", pic_lib_make_library);
pic_defun(pic, "find-library", pic_lib_find_library);
pic_defun(pic, "library-exports", pic_lib_library_exports);
pic_defun(pic, "library-environment", pic_lib_library_environment);
2015-06-16 12:42:44 -04:00
pic_defun(pic, "current-library", pic_lib_current_library);
pic_defun(pic, "library-import", pic_lib_library_import);
pic_defun(pic, "library-export", pic_lib_library_export);
2014-08-25 00:38:09 -04:00
}