summaryrefslogtreecommitdiff
path: root/src/visitor.c
blob: 1e14c2e80a9ab5c804123bcad47b80424ffa60c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
#include "./include/visitor.h"
#include "./include/hash_table.h"
#include "./include/macros.h"
#include "./include/parser.h"
#include "./include/stack.h"
#include <stdbool.h>
#include <stdlib.h>
#include <string.h>

visitor_t *init_visitor(parser_t *p) {
  visitor_t *v = (visitor_t *)malloc(sizeof(visitor_t));
  if (v == NULL)
    die("malloc on visitor");
  v->stack_frame = init_stack(512);
  v->symbol_table = p->symbol_table;
  v->eval_table = init_hash_table(10000);
  v->root = parse_all(p);
  return v;
}

bool is_self_evaluating(ast_t *e) {
  if (e->type == AST_STRING || e->type == AST_INT || e->type == AST_FLOAT ||
      e->type == AST_BOOL || e->type == AST_FUNCTION)
    return true;

  if (e->type == AST_PAIR && e->car == NULL && e->cdr == NULL)
    return true;
  return false;
}

bool is_built_in(ast_t *e) {}
/* Special symbols: car, cdr, quote, *, /, +, -, %, inc, dec, >, <, >=, <=, /=,
 * =, equal (for strings), input */
ast_t *eval_symbol(visitor_t *v, ast_t *e) {
  if (is_built_in(e))
    return e;

  else if (hash_table_exists(stack_peek(v->stack_frame), e->string_value))
    return hash_table_get(stack_peek(v->stack_frame), e->string_value);

  else if (hash_table_exists(v->eval_table, e->string_value))
    return hash_table_get(v->eval_table, e->string_value);

  else if (hash_table_exists(v->symbol_table, e->string_value)) {
    ast_t *unevaled = hash_table_get(v->symbol_table, e->string_value);
    ast_t *eval = eval_expr(v, unevaled);
    hash_table_add(v->eval_table, e->string_value, eval);
    return eval;
  } else
    return e;
}

ast_t *eval_list(visitor_t *v, ast_t *e) {}

ast_t *eval_expr(visitor_t *v, ast_t *e) {
  if (is_self_evaluating(e))
    return e;
  else if (e->type == AST_PAIR)
    return eval_list(v, e);
  else if (e->type == AST_SYMBOL)
    return eval_symbol(v, e);
  else {
    eval_error(v, e);
  }
}

ast_t *eval(visitor_t *v) {
  ast_t *cur;
  ast_t *root;
  ast_t **eval_nodes;
  int j = 0;
  for (int i = 0; i < v->root->root_size; i++) {
    cur = eval_expr(v, v->root->subnodes[i]);
  }
}

void eval_error(visitor_t *v, ast_t *e) { exit(1); }