diff options
Diffstat (limited to 'compiler/parse.c')
| -rw-r--r-- | compiler/parse.c | 246 |
1 files changed, 0 insertions, 246 deletions
diff --git a/compiler/parse.c b/compiler/parse.c deleted file mode 100644 index b5ae273..0000000 --- a/compiler/parse.c +++ /dev/null @@ -1,246 +0,0 @@ -#include "parse.h" - -#include <string.h> - -#include "log.h" -#include "mem.h" - -token_list* parse_name(char** name, token_list* list) { - if (list->elem.kind != TOKEN_NAME) - return NULL; - - *name = my_calloc(1, strlen(list->elem.var) + 1); - - strcpy(*name, list->elem.var); - - return list->rest; -} - -token_list* parse_simple_expression(expression* expr, token_list* list) { - switch (list->elem.kind) { - case TOKEN_INT: - expr->kind = EXPR_INT; - expr->var1 = my_calloc(1, sizeof(int)); - *((int*) expr->var1) = *((int*) list->elem.var); - return list->rest; - - case TOKEN_NAME: - expr->kind = EXPR_NAME; - list = parse_name((char**) &expr->var1, list); - return list; - - case TOKEN_OPEN_P: - list = parse_simple_expression(expr, list->rest); - if (!list) - return NULL; - - expression* _expr; - switch (list->elem.kind) { - case TOKEN_CLOSE_P: - return list->rest; - break; - case TOKEN_COMMA: - _expr = my_calloc(1, sizeof(expression)); - cpy_expression(_expr, expr); - free_expression(expr); - expr->kind = EXPR_TUPLE; - expr->var1 = _expr; - expr->var2 = my_calloc(1, sizeof(expression)); - list = parse_simple_expression(expr->var2, list->rest); - if (!list || list->elem.kind != TOKEN_CLOSE_P) { - free_expression(_expr); - my_free(_expr); - return NULL; - } else { - return list->rest; - } - break; - default: - return NULL; - } - break; - - case TOKEN_OPEN_SQ: - expr->kind = EXPR_LIST; - list = list->rest; - if (!list) - return NULL; - - if (list->elem.kind == TOKEN_CLOSE_SQ) - return list->rest; - - expr->var1 = my_calloc(1, sizeof(expression)); - expr->var2 = my_calloc(1, sizeof(expression)); - - list = parse_simple_expression(expr->var1, list); - - if (!list || list->elem.kind != TOKEN_COLON) { - free_expression(expr->var1); - return NULL; - } - - list = parse_simple_expression(expr->var2, list->rest); - - if (!list || list->elem.kind != TOKEN_CLOSE_SQ) { - free_expression(expr->var1); - my_free(expr->var1); - free_expression(expr->var2); - my_free(expr->var2); - return NULL; - } - - return list->rest; - - break; - - default: - return NULL; - } -} - -token_list* parse_arg_list(arg_list** args, token_list* list) { - if (list->elem.kind == TOKEN_EQUALS) - return list; - - *args = my_calloc(1, sizeof(arg_list)); - - list = parse_simple_expression(&(*args)->elem, list); - if (!list) - return NULL; - - list = parse_arg_list(&(*args)->rest, list); - - return list; -} - -token_list* parse_expression(expression*, token_list*); - -token_list* parse_expression_no_app(expression* expr, token_list* list) { - if (list->elem.kind == TOKEN_OPEN_P) { - token_list* _list = parse_expression(expr, list->rest); - if (_list) { - if (_list->elem.kind == TOKEN_CLOSE_P) { - return _list->rest; - } else if (_list->elem.kind == TOKEN_COMMA) { - expression* _expr = my_calloc(1, sizeof(expression)); - - cpy_expression(_expr, expr); - free_expression(expr); - expr->kind = EXPR_TUPLE; - expr->var1 = _expr; - - expr->var2 = my_calloc(1, sizeof(expression)); - - _list = parse_expression(expr->var2, _list->rest); - if (_list && _list->elem.kind == TOKEN_CLOSE_P) { - return _list->rest; - } - } - free_expression(expr); - } - } else if (list->elem.kind == TOKEN_OPEN_SQ) { - expr->kind = EXPR_LIST; - - if (list->rest->elem.kind == TOKEN_CLOSE_SQ) { - return list->rest->rest; - } - - expression* expr1 = my_calloc(1, sizeof(expression)); - expression* expr2 = my_calloc(1, sizeof(expression)); - - token_list* _list = parse_expression(expr1, list->rest); - if (!_list || _list->elem.kind != TOKEN_COLON) { - free_expression(expr1); - my_free(expr1); - my_free(expr2); - } else { - _list = parse_expression(expr2, _list->rest); - if (!_list || _list->elem.kind != TOKEN_CLOSE_SQ) { - free_expression(expr1); - free_expression(expr2); - my_free(expr1); - my_free(expr2); - } else { - expr->var1 = expr1; - expr->var2 = expr2; - return _list->rest; - } - } - } - - list = parse_simple_expression(expr, list); - - return list; -} - -token_list* parse_expression(expression* expr, token_list* list) { - list = parse_expression_no_app(expr, list); - if (!list) - return NULL; - - while (list->elem.kind != TOKEN_SEMICOLON && - list->elem.kind != TOKEN_CLOSE_P && - list->elem.kind != TOKEN_CLOSE_SQ && - list->elem.kind != TOKEN_COLON && - list->elem.kind != TOKEN_COMMA) { - - expression* _expr = my_calloc(1, sizeof(expression)); - - cpy_expression(_expr, expr); - free_expression(expr); - expr->kind = EXPR_APP; - expr->var1 = _expr; - - expr->var2 = my_calloc(1, sizeof(expression)); - - list = parse_expression_no_app(expr->var2, list); - if (!list) { - free_expression(expr); - return NULL; - } - } - - return list; -} - -token_list* parse_rule(rewrite_rule* rule, token_list* list) { - list = parse_name(&rule->name, list); - if (!list) - return NULL; - - list = parse_arg_list(&rule->args, list); - if (!list) { - log_debug("parse_rule: error in arg_list"); - my_free(rule->name); - return NULL; - } - - if (list->elem.kind != TOKEN_EQUALS) { - log_debug("parse_rule: no ="); - my_free(rule->name); - free_arg_list(rule->args); - return NULL; - } - - list = parse_expression(&rule->rhs, list->rest); - - return list; -} - -fuspel* parse(token_list* list) { - while (list && list->elem.kind == TOKEN_SEMICOLON) - list = list->rest; - - if (!list) - return NULL; - - fuspel* rules = my_calloc(1, sizeof(fuspel)); - - list = parse_rule(&rules->rule, list); - if (!list) - return NULL; - - rules->rest = parse(list); - - return rules; -} |