ell/ell.c

1036 lines
25 KiB
C
Raw Normal View History

2017-05-06 14:12:46 +02:00
/*
* ell.c: an experimental little language
*
* Copyright (c) 2017, Přemysl Janouch <p.janouch@gmail.com>
*
* Permission to use, copy, modify, and/or distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
* SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
* OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
* CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*
*/
2017-05-06 13:27:02 +02:00
#define _XOPEN_SOURCE 500
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <errno.h>
#include <stdarg.h>
#include <assert.h>
#include <time.h>
#include <stdbool.h>
#include <strings.h>
#include <math.h>
#include <setjmp.h>
2017-05-06 13:27:02 +02:00
#if defined __GNUC__
#define ATTRIBUTE_PRINTF(x, y) __attribute__ ((format (printf, x, y)))
#else // ! __GNUC__
#define ATTRIBUTE_PRINTF(x, y)
#endif // ! __GNUC__
#define N_ELEMENTS(a) (sizeof (a) / sizeof ((a)[0]))
// --- Utilities ---------------------------------------------------------------
static char *format (const char *format, ...) ATTRIBUTE_PRINTF (1, 2);
static char *
vformat (const char *format, va_list ap) {
2017-05-06 13:27:02 +02:00
va_list aq;
va_copy (aq, ap);
int size = vsnprintf (NULL, 0, format, aq);
va_end (aq);
if (size < 0)
return NULL;
char buf[size + 1];
size = vsnprintf (buf, sizeof buf, format, ap);
if (size < 0)
return NULL;
return strdup (buf);
}
static char *
format (const char *format, ...) {
va_list ap;
va_start (ap, format);
char *result = vformat (format, ap);
2017-05-06 13:27:02 +02:00
va_end (ap);
return result;
}
// --- Generic buffer ----------------------------------------------------------
struct buffer {
char *s; ///< Buffer data
size_t alloc; ///< Number of bytes allocated
size_t len; ///< Number of bytes used
bool memory_failure; ///< Memory allocation failed
};
#define BUFFER_INITIALIZER { NULL, 0, 0, false }
static bool
buffer_append (struct buffer *self, const void *s, size_t n) {
if (self->memory_failure)
return false;
if (!self->s)
self->s = malloc (self->alloc = 8);
while (self->len + n > self->alloc)
self->s = realloc (self->s, self->alloc <<= 1);
if (!self->s) {
self->memory_failure = true;
return false;
}
memcpy (self->s + self->len, s, n);
self->len += n;
return true;
}
inline static bool
buffer_append_c (struct buffer *self, char c) {
return buffer_append (self, &c, 1);
}
// --- Data types --------------------------------------------------------------
enum item_type { ITEM_STRING, ITEM_LIST };
struct item {
enum item_type type; ///< The type of this object
struct item *next; ///< Next item on the list/stack
struct item *head; ///< The head of the list
size_t len; ///< Length of the string (sans '\0')
char value[]; ///< The null-terminated string value
};
const char *
item_type_to_str (enum item_type type) {
switch (type) {
case ITEM_STRING: return "string";
case ITEM_LIST: return "list";
}
abort ();
}
// --- Item management ---------------------------------------------------------
static void item_free_list (struct item *);
static struct item *new_clone_list (const struct item *);
static void
item_free (struct item *item) {
if (item->type == ITEM_LIST)
item_free_list (item->head);
2017-05-06 13:27:02 +02:00
free (item);
}
static void
item_free_list (struct item *item) {
while (item) {
struct item *link = item;
item = item->next;
item_free (link);
}
}
static struct item *
new_clone (const struct item *item) {
2017-05-18 19:45:56 +02:00
size_t size = sizeof *item + 1;
2017-05-06 13:27:02 +02:00
if (item->type == ITEM_STRING)
2017-05-18 19:45:56 +02:00
size += item->len;
2017-05-06 13:27:02 +02:00
struct item *clone = malloc (size);
if (!clone)
return NULL;
memcpy (clone, item, size);
if (item->type == ITEM_LIST) {
if (clone->head && !(clone->head = new_clone_list (clone->head))) {
free (clone);
return NULL;
}
}
clone->next = NULL;
return clone;
}
static struct item *
new_clone_list (const struct item *item) {
struct item *head = NULL, *clone;
for (struct item **out = &head; item; item = item->next) {
if (!(clone = *out = new_clone (item))) {
item_free_list (head);
return NULL;
}
clone->next = NULL;
out = &clone->next;
}
return head;
}
static struct item *
new_string (const char *s, ssize_t len) {
if (len < 0)
len = strlen (s);
struct item *item = calloc (1, sizeof *item + len + 1);
if (!item)
return NULL;
item->type = ITEM_STRING;
item->len = len;
memcpy (item->value, s, len);
item->value[len] = '\0';
return item;
}
static struct item *
new_list (struct item *head) {
2017-05-18 19:45:56 +02:00
struct item *item = calloc (1, sizeof *item + 1);
2017-05-06 13:27:02 +02:00
if (!item)
return NULL;
item->type = ITEM_LIST;
item->head = head;
return item;
}
// --- Lexer -------------------------------------------------------------------
2017-05-19 09:19:35 +02:00
enum token { T_ABORT, T_LPAREN, T_RPAREN, T_LBRACKET, T_RBRACKET,
T_LBRACE, T_RBRACE, T_STRING, T_NEWLINE, T_AT };
2017-05-06 13:27:02 +02:00
static const char *
token_name (enum token token) {
switch (token) {
case T_ABORT: return "end of input";
case T_LPAREN: return "left parenthesis";
case T_RPAREN: return "right parenthesis";
case T_LBRACKET: return "left bracket";
case T_RBRACKET: return "right bracket";
case T_LBRACE: return "left brace";
case T_RBRACE: return "right brace";
case T_STRING: return "string";
case T_NEWLINE: return "newline";
case T_AT: return "at symbol";
default:
abort ();
return NULL;
}
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
struct lexer {
const char *p; ///< Current position in input
size_t len; ///< How many bytes of input are left
2017-05-17 23:34:58 +02:00
unsigned line, column; ///< Current line and column
struct buffer string; ///< Parsed string value
2017-05-06 13:27:02 +02:00
};
/// Input has to be null-terminated anyway
static void
lexer_init (struct lexer *self, const char *p, size_t len) {
memset (self, 0, sizeof *self);
self->p = p;
self->len = len;
}
static void
lexer_free (struct lexer *self) {
free (self->string.s);
2017-05-06 13:27:02 +02:00
}
static bool lexer_is_ignored (int c) { return strchr (" \t", c); }
2017-05-18 20:45:46 +02:00
static bool lexer_is_word_char (int c) {
return !lexer_is_ignored (c) && !strchr ("()[]{}\n@#'", c);
2017-05-18 20:45:46 +02:00
}
2017-05-06 13:27:02 +02:00
static int
lexer_advance (struct lexer *self) {
int c = *self->p++;
if (c == '\n') {
self->column = 0;
self->line++;
} else
self->column++;
self->len--;
return c;
}
2017-05-18 20:45:46 +02:00
static bool lexer_error (struct lexer *self, char **e, const char *fmt, ...)
ATTRIBUTE_PRINTF (3, 4);
2017-05-06 13:27:02 +02:00
2017-05-18 20:45:46 +02:00
static bool
lexer_error (struct lexer *self, char **e, const char *fmt, ...) {
2017-05-06 13:27:02 +02:00
va_list ap;
va_start (ap, fmt);
char *description = vformat (fmt, ap);
2017-05-06 13:27:02 +02:00
va_end (ap);
*e = format ("near line %u, column %u: %s",
self->line + 1, self->column + 1, description);
2017-05-06 13:27:02 +02:00
2017-05-18 20:45:46 +02:00
// TODO: see "script", we can just use error constants to avoid allocation
2017-05-17 23:34:58 +02:00
if (!*e)
abort ();
free (description);
2017-05-18 20:45:46 +02:00
return false;
2017-05-06 13:27:02 +02:00
}
static bool
lexer_hexa_escape (struct lexer *self, struct buffer *output) {
2017-05-06 13:27:02 +02:00
int i;
unsigned char code = 0;
for (i = 0; self->len && i < 2; i++) {
unsigned char c = tolower (*self->p);
if (c >= '0' && c <= '9')
code = (code << 4) | (c - '0');
else if (c >= 'a' && c <= 'f')
code = (code << 4) | (c - 'a' + 10);
else
break;
lexer_advance (self);
}
if (!i)
return false;
buffer_append_c (output, code);
2017-05-06 13:27:02 +02:00
return true;
}
static bool
lexer_escape_sequence (struct lexer *self, struct buffer *output, char **e) {
2017-05-18 20:45:46 +02:00
if (!self->len)
return lexer_error (self, e, "premature end of escape sequence");
2017-05-06 13:27:02 +02:00
unsigned char c = *self->p;
switch (c) {
2017-05-06 13:27:02 +02:00
case '"': break;
case '\\': break;
case 'a': c = '\a'; break;
case 'b': c = '\b'; break;
case 'f': c = '\f'; break;
case 'n': c = '\n'; break;
case 'r': c = '\r'; break;
case 't': c = '\t'; break;
case 'v': c = '\v'; break;
case 'x':
case 'X':
lexer_advance (self);
if (lexer_hexa_escape (self, output))
return true;
2017-05-18 20:45:46 +02:00
return lexer_error (self, e, "invalid hexadecimal escape");
2017-05-06 13:27:02 +02:00
default:
2017-05-18 20:45:46 +02:00
return lexer_error (self, e, "unknown escape sequence");
2017-05-06 13:27:02 +02:00
}
buffer_append_c (output, c);
2017-05-06 13:27:02 +02:00
lexer_advance (self);
return true;
}
static bool
lexer_string (struct lexer *self, struct buffer *output, char **e) {
2017-05-06 13:27:02 +02:00
unsigned char c;
while (self->len) {
if ((c = lexer_advance (self)) == '\'')
return true;
if (c != '\\')
buffer_append_c (output, c);
2017-05-06 13:27:02 +02:00
else if (!lexer_escape_sequence (self, output, e))
return false;
}
2017-05-18 20:45:46 +02:00
return lexer_error (self, e, "premature end of string");
2017-05-06 13:27:02 +02:00
}
static enum token
lexer_next (struct lexer *self, char **e) {
2017-05-06 13:27:02 +02:00
// Skip over any whitespace between tokens
2017-05-18 20:45:46 +02:00
while (self->len && lexer_is_ignored (*self->p))
2017-05-06 13:27:02 +02:00
lexer_advance (self);
if (!self->len)
return T_ABORT;
free (self->string.s);
self->string = (struct buffer) BUFFER_INITIALIZER;
2017-05-06 13:27:02 +02:00
switch (*self->p) {
case '(': lexer_advance (self); return T_LPAREN;
case ')': lexer_advance (self); return T_RPAREN;
case '[': lexer_advance (self); return T_LBRACKET;
case ']': lexer_advance (self); return T_RBRACKET;
case '{': lexer_advance (self); return T_LBRACE;
case '}': lexer_advance (self); return T_RBRACE;
case '\n': lexer_advance (self); return T_NEWLINE;
case '@': lexer_advance (self); return T_AT;
case '#':
// Comments go until newline
while (self->len)
if (lexer_advance (self) == '\n')
return T_NEWLINE;
return T_ABORT;
case '\'':
lexer_advance (self);
if (!lexer_string (self, &self->string, e))
return T_ABORT;
return T_STRING;
}
assert (lexer_is_word_char (*self->p));
do
buffer_append_c (&self->string, lexer_advance (self));
2017-05-06 13:27:02 +02:00
while (lexer_is_word_char (*self->p));
return T_STRING;
}
// --- Parsing -----------------------------------------------------------------
2017-05-18 20:45:46 +02:00
// FIXME: the parser generally ignores memory allocation errors
static void
print_string (const char *s) {
putc ('\'', stdout);
for (; *s; s++)
if (*s == '\n') printf ("\\n");
else if (*s == '\\') putc ('\\', stdout);
else putc (*s, stdout);
putc ('\'', stdout);
}
static void
print_tree (struct item *tree, int level) {
// TODO: also re-add syntax sugar
for (struct item *iter = tree; iter; iter = iter->next) {
if (iter != tree)
printf ("%*s", level, "");
if (iter->type == ITEM_STRING) {
print_string (iter->value);
} else if (iter->head->type == ITEM_STRING
&& !strcmp (iter->head->value, "list")) {
printf ("[");
print_tree (iter->head->next, level + 1);
printf ("]");
} else {
printf ("(");
print_tree (iter->head, level + 1);
printf (")");
}
if (iter->next)
printf ("\n");
}
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
struct parser
{
struct lexer lexer; ///< Tokenizer
char *error; ///< Tokenizer error
enum token token; ///< Current token in the lexer
bool replace_token; ///< Replace the token
};
static void
parser_init (struct parser *self, const char *script, size_t len) {
memset (self, 0, sizeof *self);
lexer_init (&self->lexer, script, len);
// As reading in tokens may cause exceptions, we wait for the first peek()
// to replace the initial T_ABORT.
self->replace_token = true;
}
static void
parser_free (struct parser *self) {
lexer_free (&self->lexer);
if (self->error)
free (self->error);
}
static enum token
parser_peek (struct parser *self, jmp_buf out) {
2017-05-19 09:19:35 +02:00
if (self->replace_token) {
self->token = lexer_next (&self->lexer, &self->error);
if (self->error)
longjmp (out, 1);
self->replace_token = false;
}
return self->token;
}
static bool
parser_accept (struct parser *self, enum token token, jmp_buf out) {
return self->replace_token = (parser_peek (self, out) == token);
}
static void
parser_expect (struct parser *self, enum token token, jmp_buf out) {
if (parser_accept (self, token, out))
return;
lexer_error (&self->lexer, &self->error, "unexpected `%s', expected `%s'",
token_name (self->token),
token_name (token));
longjmp (out, 1);
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// We don't need no generator, but a few macros will come in handy.
// From time to time C just doesn't have the right features.
#define PEEK() parser_peek (self, err)
#define ACCEPT(token) parser_accept (self, token, err)
#define EXPECT(token) parser_expect (self, token, err)
#define SKIP_NL() do {} while (ACCEPT (T_NEWLINE))
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
static struct item * parse_line (struct parser *self, jmp_buf out);
2017-05-06 13:27:02 +02:00
static struct item *
parse_prefix_list (struct item *list, const char *name) {
struct item *prefix = new_string (name, strlen (name));
prefix->next = list;
return new_list (prefix);
}
2017-05-17 23:34:58 +02:00
static struct item *
parse_item (struct parser *self, jmp_buf out) {
struct item *volatile result = NULL, *volatile *tail = &result;
jmp_buf err;
if (setjmp (err)) {
item_free_list (result);
longjmp (out, 1);
}
SKIP_NL ();
if (ACCEPT (T_STRING))
return new_string (self->lexer.string.s, self->lexer.string.len);
if (ACCEPT (T_AT)) {
result = parse_item (self, out);
return parse_prefix_list (result, "set");
}
if (ACCEPT (T_LPAREN)) {
while (!ACCEPT (T_RPAREN)) {
*tail = parse_item (self, err);
tail = &(*tail)->next;
SKIP_NL ();
2017-05-17 23:34:58 +02:00
}
return new_list (result);
2017-05-17 23:34:58 +02:00
}
if (ACCEPT (T_LBRACKET)) {
while (!ACCEPT (T_RBRACKET)) {
*tail = parse_item (self, err);
tail = &(*tail)->next;
SKIP_NL ();
}
return parse_prefix_list (result, "list");
}
if (ACCEPT (T_LBRACE)) {
while ((*tail = parse_line (self, err)))
tail = &(*tail)->next;
EXPECT (T_RBRACE);
return parse_prefix_list (new_list (result), "quote");
}
lexer_error (&self->lexer, &self->error,
"unexpected `%s', expected a value", token_name (self->token));
longjmp (out, 1);
}
static struct item *
parse_line (struct parser *self, jmp_buf out) {
struct item *volatile result = NULL, *volatile *tail = &result;
jmp_buf err;
if (setjmp (err)) {
item_free_list (result);
longjmp (out, 1);
}
while (PEEK () != T_RBRACE && PEEK () != T_ABORT) {
if (ACCEPT (T_NEWLINE)) {
if (result)
return new_list (result);
} else {
*tail = parse_item (self, err);
tail = &(*tail)->next;
}
2017-05-17 23:34:58 +02:00
}
if (result)
return new_list (result);
return NULL;
2017-05-06 13:27:02 +02:00
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
#undef PEEK
#undef ACCEPT
#undef EXPECT
#undef SKIP_NL
static struct item *
parse (const char *s, size_t len, char **e) {
struct parser parser;
parser_init (&parser, s, len);
struct item *volatile result = NULL, *volatile *tail = &result;
jmp_buf err;
if (setjmp (err)) {
item_free_list (result);
*e = parser.error;
lexer_free (&parser.lexer);
return NULL;
}
while ((*tail = parse_line (&parser, err)))
tail = &(*tail)->next;
parser_expect (&parser, T_ABORT, err);
parser_free (&parser);
#ifndef NDEBUG
printf ("\x1b[1m%s\x1b[0m\n", s);
print_tree (result, 0);
printf ("\n\n");
#endif
return new_list (result);
}
2017-05-06 13:27:02 +02:00
// --- Runtime -----------------------------------------------------------------
2017-05-18 18:01:57 +02:00
struct context;
2017-05-18 19:47:10 +02:00
typedef bool (*handler_fn) (struct context *, struct item *, struct item **);
2017-05-18 18:01:57 +02:00
struct native_fn {
struct native_fn *next; ///< The next link in the chain
handler_fn handler; ///< Internal C handler, or NULL
char name[]; ///< The name of the function
};
struct native_fn *g_native; ///< Maps words to functions
static struct native_fn *
native_find (const char *name) {
for (struct native_fn *fn = g_native; fn; fn = fn->next)
2017-05-18 18:01:57 +02:00
if (!strcmp (fn->name, name))
return fn;
return NULL;
}
2017-05-18 18:01:57 +02:00
static bool
native_register (const char *name, handler_fn handler) {
struct native_fn *fn = native_find (name);
2017-05-18 18:01:57 +02:00
if (!fn) {
if (!(fn = calloc (1, sizeof *fn + strlen (name) + 1)))
return false;
strcpy (fn->name, name);
fn->next = g_native;
g_native = fn;
}
fn->handler = handler;
return true;
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2017-05-18 20:45:46 +02:00
// TODO: fill in "error_is_fatal"
// TODO: probably add new_*() methods that set "memory_failure"
2017-05-06 13:27:02 +02:00
struct context {
struct item *variables; ///< List of variables
2017-05-06 13:27:02 +02:00
char *error; ///< Error information
bool error_is_fatal; ///< Whether the error can be catched
bool memory_failure; ///< Memory allocation failure
void *user_data; ///< User data
};
static void
context_init (struct context *ctx) {
2017-05-17 23:22:43 +02:00
memset (ctx, 0, sizeof *ctx);
2017-05-06 13:27:02 +02:00
}
static void
context_free (struct context *ctx) {
item_free_list (ctx->variables);
2017-05-06 13:27:02 +02:00
free (ctx->error);
}
2017-05-18 19:47:10 +02:00
static struct item *
get (struct context *ctx, const char *name) {
for (struct item *iter = ctx->variables; iter; iter = iter->next)
if (!strcmp (iter->head->value, name))
return iter->head->next;
return NULL;
}
static bool
set (struct context *ctx, const char *name, struct item *value) {
struct item *iter, *key = NULL, *pair = NULL;
for (iter = ctx->variables; iter; iter = iter->next)
if (!strcmp (iter->head->value, name))
break;
if (iter) {
item_free (iter->head->next);
2017-05-18 20:45:46 +02:00
if (!(iter->head->next = new_clone (value))) {
ctx->memory_failure = true;
return false;
}
2017-05-18 19:47:10 +02:00
return true;
}
if ((key = new_string (name, strlen (name)))
&& (pair = new_list (NULL))) {
2017-05-18 20:45:46 +02:00
if (!((pair->head = key)->next = new_clone (value))) {
item_free (pair);
ctx->memory_failure = true;
return false;
}
2017-05-18 19:47:10 +02:00
pair->next = ctx->variables;
ctx->variables = pair;
return true;
} else {
item_free_list (key);
item_free_list (pair);
ctx->memory_failure = true;
return false;
}
}
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2017-05-06 13:27:02 +02:00
static bool
set_error (struct context *ctx, const char *format, ...) {
free (ctx->error);
va_list ap;
va_start (ap, format);
ctx->error = vformat (format, ap);
2017-05-06 13:27:02 +02:00
va_end (ap);
if (!ctx->error)
ctx->memory_failure = true;
return false;
}
2017-05-18 19:47:10 +02:00
static bool
rename_arguments (struct context *ctx, struct item *names) {
size_t i = 0;
for (; names; names = names->next) {
char buf[64];
(void) snprintf (buf, sizeof buf, "%zu", i++);
struct item *value = get (ctx, buf);
// TODO: set to some sort of nil value?
if (!value)
return true;
2017-05-18 19:47:10 +02:00
if (names->type != ITEM_STRING)
continue;
2017-05-18 20:45:46 +02:00
if (!set (ctx, names->value, value))
return false;
2017-05-18 19:47:10 +02:00
}
return true;
2017-05-18 18:01:57 +02:00
}
2017-05-18 23:08:55 +02:00
static bool execute_statement (struct context *, struct item *, struct item **);
2017-05-18 19:47:10 +02:00
static bool execute (struct context *ctx, struct item *body, struct item **);
2017-05-06 13:27:02 +02:00
2017-05-18 23:08:55 +02:00
static bool
execute_args_list (struct context *ctx, struct item *args, struct item **res) {
for (struct item *arg = args; arg; arg = arg->next) {
struct item *evaluated = NULL;
if (!execute_statement (ctx, arg, &evaluated))
return false;
if (evaluated) {
item_free_list (evaluated->next);
evaluated->next = NULL;
*res = evaluated;
res = &evaluated->next;
}
}
return true;
}
static bool
execute_native (struct context *ctx,
struct native_fn *fn, struct item *next, struct item **res) {
struct item *args = NULL;
bool ok = execute_args_list (ctx, next, &args)
&& fn->handler (ctx, args, res);
item_free_list (args);
return ok;
}
// TODO: we should probably maintain arguments in a separate list,
// either that or at least remember the count so that we can reset them
2017-05-18 23:08:55 +02:00
static bool
execute_args (struct context *ctx, struct item *next) {
struct item *args = NULL;
if (!execute_args_list (ctx, next, &args)) {
item_free_list (args);
return false;
}
char buf[64];
size_t i = 0;
for (struct item *arg = args; arg; arg = arg->next) {
(void) snprintf (buf, sizeof buf, "%zu", i++);
set (ctx, buf, arg);
}
item_free_list (args);
return true;
}
2017-05-06 13:27:02 +02:00
static bool
2017-05-18 19:47:10 +02:00
execute_statement
(struct context *ctx, struct item *statement, struct item **result) {
if (statement->type == ITEM_STRING) {
if ((*result = new_clone (statement)))
2017-05-18 18:01:57 +02:00
return true;
2017-05-18 19:47:10 +02:00
ctx->memory_failure = true;
return false;
}
// XXX: should this ever happen and what are the consequences?
// Shouldn't we rather clone the empty list?
struct item *body;
if (!(body = statement->head))
2017-05-06 13:27:02 +02:00
return true;
2017-05-18 23:08:55 +02:00
struct item *following = body->next;
2017-05-18 19:47:10 +02:00
const char *name = "(anonymous)";
if (body->type == ITEM_STRING) {
name = body->value;
2017-05-18 23:08:55 +02:00
// TODO: these could be just regular handlers, only top priority
2017-05-18 19:47:10 +02:00
if (!strcmp (name, "quote")) {
2017-05-18 23:08:55 +02:00
if ((*result = new_clone_list (following)))
2017-05-18 19:47:10 +02:00
return true;
ctx->memory_failure = true;
return false;
}
if (!strcmp (name, "arg"))
2017-05-18 23:08:55 +02:00
return rename_arguments (ctx, following);
body = get (ctx, name);
2017-05-18 19:47:10 +02:00
}
2017-05-18 23:08:55 +02:00
if (!body) {
struct native_fn *fn = native_find (name);
2017-05-18 23:08:55 +02:00
if (!fn)
return set_error (ctx, "unknown function: %s", name);
if (execute_native (ctx, fn, following, result))
return true;
} else if (body->type == ITEM_STRING) {
// Recursion could be pretty fatal, let's not do that
if ((*result = new_clone (body)))
return true;
ctx->memory_failure = true;
} else {
if (execute_args (ctx, following)
&& execute (ctx, body->head, result))
return true;
2017-05-18 19:47:10 +02:00
}
2017-05-06 13:27:02 +02:00
// In this case, `error' is NULL
if (ctx->memory_failure)
return false;
// This creates some form of a stack trace
char *tmp = ctx->error;
ctx->error = NULL;
set_error (ctx, "%s -> %s", name, tmp);
free (tmp);
return false;
}
2017-05-18 18:01:57 +02:00
// Execute a block and return whatever the last statement returned
2017-05-18 19:47:10 +02:00
static bool
execute (struct context *ctx, struct item *body, struct item **result) {
for (; body; body = body->next) {
item_free_list (*result);
*result = NULL;
if (!execute_statement (ctx, body, result))
return false;
2017-05-06 13:27:02 +02:00
}
2017-05-18 19:47:10 +02:00
return true;
2017-05-06 13:27:02 +02:00
}
// --- Runtime library ---------------------------------------------------------
2017-05-18 19:47:10 +02:00
#define defn(name) static bool name \
(struct context *ctx, struct item *args, struct item **result)
2017-05-06 13:27:02 +02:00
static bool
2017-05-18 18:01:57 +02:00
init_runtime_library_scripts (struct context *ctx) {
2017-05-06 13:27:02 +02:00
bool ok = true;
2017-05-18 18:01:57 +02:00
struct {
2017-05-06 13:27:02 +02:00
const char *name; ///< Name of the function
const char *definition; ///< The defining script
2017-05-18 18:01:57 +02:00
} functions[] = {
// TODO: try to think of something useful
2017-05-06 13:27:02 +02:00
};
2017-05-18 18:01:57 +02:00
for (size_t i = 0; i < N_ELEMENTS (functions); i++) {
char *e = NULL;
2017-05-18 18:01:57 +02:00
struct item *body = parse (functions[i].definition,
strlen (functions[i].definition), &e);
if (e) {
2017-05-18 18:01:57 +02:00
printf ("error parsing internal function `%s': %s\n",
functions[i].definition, e);
free (e);
2017-05-06 13:27:02 +02:00
ok = false;
} else
2017-05-18 23:08:55 +02:00
ok &= set (ctx, functions[i].name, body);
2017-05-06 13:27:02 +02:00
}
return ok;
}
2017-05-18 19:47:10 +02:00
defn (fn_set) {
struct item *name = args;
if (!name || name->type != ITEM_STRING)
return (void *) set_error (ctx, "first argument must be string");
struct item *value;
if ((value = name->next))
return set (ctx, name->value, value);
// FIXME: how do we represent a nil value here?
*result = new_clone (get (ctx, name->value));
2017-05-18 19:47:10 +02:00
return true;
}
2017-05-17 23:22:43 +02:00
defn (fn_print) {
2017-05-18 19:47:10 +02:00
(void) result;
2017-05-18 23:08:55 +02:00
// TODO: error on list
2017-05-06 13:27:02 +02:00
struct buffer buf = BUFFER_INITIALIZER;
2017-05-18 23:08:55 +02:00
for (; args; args = args->next)
buffer_append (&buf, args->value, args->len);
2017-05-06 13:27:02 +02:00
buffer_append_c (&buf, '\0');
if (buf.memory_failure) {
ctx->memory_failure = true;
return false;
}
printf ("%s", buf.s);
2017-05-06 13:27:02 +02:00
free (buf.s);
return true;
}
defn (fn_concatenate) {
2017-05-18 19:47:10 +02:00
// TODO: error on list
struct buffer buf = BUFFER_INITIALIZER;
for (; args; args = args->next)
buffer_append (&buf, args->value, args->len);
buffer_append_c (&buf, '\0');
if (buf.memory_failure) {
ctx->memory_failure = true;
return false;
}
*result = new_string (buf.s, buf.len);
free (buf.s);
2017-05-06 13:27:02 +02:00
return true;
}
static bool
init_runtime_library (void)
{
return native_register ("..", fn_concatenate)
&& native_register ("set", fn_set)
&& native_register ("print", fn_print);
2017-05-06 13:27:02 +02:00
}
static void
free_runtime_library (void) {
2017-05-18 18:01:57 +02:00
struct native_fn *next, *iter;
for (iter = g_native; iter; iter = next) {
2017-05-06 13:27:02 +02:00
next = iter->next;
2017-05-18 18:01:57 +02:00
free (iter);
2017-05-06 13:27:02 +02:00
}
}
// --- Main --------------------------------------------------------------------
2017-05-17 23:34:58 +02:00
int
main (int argc, char *argv[]) {
FILE *fp = stdin;
if (argc > 1 && !(fp = fopen (argv[1], "rb"))) {
fprintf (stderr, "%s: %s\n", argv[1], strerror (errno));
return 1;
}
int c;
struct buffer buf = BUFFER_INITIALIZER;
while ((c = fgetc (fp)) != EOF)
buffer_append_c (&buf, c);
buffer_append_c (&buf, 0);
fclose (fp);
2017-05-17 23:34:58 +02:00
char *e = NULL;
struct item *tree = parse (buf.s, buf.len, &e);
free (buf.s);
if (e) {
printf ("%s: %s\n", "parse error", e);
free (e);
2017-05-17 23:34:58 +02:00
return 1;
2017-05-06 13:27:02 +02:00
}
struct context ctx;
context_init (&ctx);
2017-05-18 18:01:57 +02:00
if (!init_runtime_library ()
|| !init_runtime_library_scripts (&ctx))
printf ("%s\n", "runtime library initialization failed");
2017-05-18 19:47:10 +02:00
struct item *result = NULL;
(void) execute (&ctx, tree->head, &result);
item_free_list (result);
item_free_list (tree);
2017-05-06 13:27:02 +02:00
const char *failure = NULL;
if (ctx.memory_failure)
failure = "memory allocation failure";
else if (ctx.error)
failure = ctx.error;
if (failure)
printf ("%s: %s\n", "runtime error", failure);
2017-05-06 13:27:02 +02:00
context_free (&ctx);
free_runtime_library ();
return 0;
}