build: Refactor.
[mes.git] / src / reader.c
1 /* -*-comment-start: "//";comment-end:""-*-
2  * Mes --- Maxwell Equations of Software
3  * Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
4  *
5  * This file is part of Mes.
6  *
7  * Mes is free software; you can redistribute it and/or modify it
8  * under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 3 of the License, or (at
10  * your option) any later version.
11  *
12  * Mes is distributed in the hope that it will be useful, but
13  * WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
19  */
20
21 // #if _POSIX_SOURCE
22 // #undef fputs
23 // #undef fdputs
24 // #undef fdputc
25 // #endif
26
27 SCM
28 ___end_of_mes___ ()
29 {
30   return 0;
31 }
32
33 SCM
34 read_input_file_env_ (SCM e, SCM a)
35 {
36   if (e == cell_nil) return e;
37   return cons (e, read_input_file_env_ (read_env (a), a));
38 }
39
40 SCM
41 read_input_file_env (SCM a)
42 {
43   r0 = a;
44   if (assq_ref_env (cell_symbol_read_input_file, r0) != cell_undefined)
45     return apply (cell_symbol_read_input_file, cell_nil, r0);
46   return read_input_file_env_ (read_env (r0), r0);
47 }
48
49 int
50 read_line_comment (int c)
51 {
52   if (c == '\n') return c;
53   return read_line_comment (getchar ());
54 }
55
56 SCM
57 read_word (int c, SCM w, SCM a)
58 {
59   if (c == EOF && w == cell_nil) return cell_nil;
60   if (c == '\t') return read_word ('\n', w, a);
61   if (c == '\f') return read_word ('\n', w, a);
62   if (c == '\n' && w == cell_nil) return read_word (getchar (), w, a);
63   if (c == '\n' && VALUE (car (w)) == '.' && cdr (w) == cell_nil) return cell_dot;
64   if (c == EOF || c == '\n') return lookup_ (w, a);
65   if (c == ' ') return read_word ('\n', w, a);
66   if (c == '(' && w == cell_nil) return read_list (a);
67   if (c == '(') {ungetchar (c); return lookup_ (w, a);}
68   if (c == ')' && w == cell_nil) {ungetchar (c); return cell_nil;}
69   if (c == ')') {ungetchar (c); return lookup_ (w, a);}
70   if (c == ';') {read_line_comment (c); return read_word ('\n', w, a);}
71   return read_word (getchar (), append2 (w, cons (MAKE_CHAR (c), cell_nil)), a);
72 }
73
74 int
75 eat_whitespace (int c)
76 {
77   while (c == ' ' || c == '\t' || c == '\n' || c == '\f') c = getchar ();
78   if (c == ';') return eat_whitespace (read_line_comment (c));
79   return c;
80 }
81
82 SCM
83 read_list (SCM a)
84 {
85   int c = getchar ();
86   c = eat_whitespace (c);
87   if (c == ')') return cell_nil;
88   SCM w = read_word (c, cell_nil, a);
89   if (w == cell_dot)
90     return car (read_list (a));
91   return cons (w, read_list (a));
92 }
93
94 SCM
95 read_env (SCM a)
96 {
97   return read_word (getchar (), cell_nil, a);
98 }
99
100 SCM
101 lookup_ (SCM s, SCM a)
102 {
103   if (isdigit (VALUE (car (s))) || (VALUE (car (s)) == '-' && cdr (s) != cell_nil)) {
104     SCM p = s;
105     int sign = 1;
106     if (VALUE (car (s)) == '-') {
107       sign = -1;
108       p = cdr (s);
109     }
110     int n = 0;
111     while (p != cell_nil && isdigit (VALUE (car (p)))) {
112       n *= 10;
113       n += VALUE (car (p)) - '0';
114       p = cdr (p);
115     }
116     if (p == cell_nil) return MAKE_NUMBER (n * sign);
117   }
118
119   return lookup_symbol_ (s);
120 }
121
122 int g_tiny = 0;
123
124 int
125 dump ()
126 {
127   eputs ("program r2=");
128   display_error_ (r2);
129   eputs ("\n");
130
131   r1 = g_symbols;
132   gc_push_frame ();
133   gc ();
134   gc_peek_frame ();
135   char *p = (char*)g_cells;
136   putchar ('M');
137   putchar ('E');
138   putchar ('S');
139   putchar (g_stack >> 8);
140   putchar (g_stack % 256);
141   // See HACKING, simple crafted dump for tiny-mes.c
142   //  if (getenv ("MES_TINY"))
143   if (g_tiny)
144     {
145       eputs ("dumping TINY\n");
146
147       TYPE (9) = 0x2d2d2d2d;
148       CAR (9) = 0x2d2d2d2d;
149       CDR (9) = 0x3e3e3e3e;
150
151       TYPE (10) = TPAIR;
152       CAR (10) = 11;
153       CDR (10) = 12;
154
155       TYPE (11) = TCHAR;
156       CAR (11) = 0x58585858;
157       CDR (11) = 65;
158
159       TYPE (12) = TPAIR;
160       CAR (12) = 13;
161       CDR (12) = 1;
162
163       TYPE (13) = TCHAR;
164       CAR (11) = 0x58585858;
165       CDR (13) = 66;
166
167       TYPE (14) = 0x3c3c3c3c;
168       CAR (14) = 0x2d2d2d2d;
169       CDR (14) = 0x2d2d2d2d;
170
171       g_free = 15;
172     }
173   else
174     eputs ("dumping FULL\n");
175   for (int i=0; i<g_free * sizeof(struct scm); i++)
176     putchar (*p++);
177   return 0;
178 }