test: Enable vector read test.
[mes.git] / 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 SCM
22 ___end_of_mes___ ()
23 {
24   return 0;
25 }
26
27 SCM
28 read_input_file_env_ (SCM e, SCM a)
29 {
30   if (e == cell_nil) return e;
31   return cons (e, read_input_file_env_ (read_env (a), a));
32 }
33
34 SCM
35 read_input_file_env (SCM a)
36 {
37   r0 = a;
38   if (assq_ref_env (cell_symbol_read_input_file, r0) != cell_undefined)
39     return apply (cell_symbol_read_input_file, cell_nil, r0);
40   return read_input_file_env_ (read_env (r0), r0);
41 }
42
43 int
44 read_line_comment (int c)
45 {
46   if (c == '\n') return c;
47   return read_line_comment (getchar ());
48 }
49
50 SCM
51 read_word (int c, SCM w, SCM a)
52 {
53   if (c == EOF && w == cell_nil) return cell_nil;
54   if (c == '\t') return read_word ('\n', w, a);
55   if (c == '\f') return read_word ('\n', w, a);
56   if (c == '\n' && w == cell_nil) return read_word (getchar (), w, a);
57   if (c == '\n' && VALUE (car (w)) == '.' && cdr (w) == cell_nil) return cell_dot;
58   if (c == EOF || c == '\n') return lookup_ (w, a);
59   if (c == ' ') return read_word ('\n', w, a);
60   if (c == '(' && w == cell_nil) return read_list (a);
61   if (c == '(') {ungetchar (c); return lookup_ (w, a);}
62   if (c == ')' && w == cell_nil) {ungetchar (c); return cell_nil;}
63   if (c == ')') {ungetchar (c); return lookup_ (w, a);}
64   if (c == ';') {read_line_comment (c); return read_word ('\n', w, a);}
65   return read_word (getchar (), append2 (w, cons (MAKE_CHAR (c), cell_nil)), a);
66 }
67
68 int
69 eat_whitespace (int c)
70 {
71   while (c == ' ' || c == '\t' || c == '\n' || c == '\f') c = getchar ();
72   if (c == ';') return eat_whitespace (read_line_comment (c));
73   return c;
74 }
75
76 SCM
77 read_list (SCM a)
78 {
79   int c = getchar ();
80   c = eat_whitespace (c);
81   if (c == ')') return cell_nil;
82   SCM w = read_word (c, cell_nil, a);
83   if (w == cell_dot)
84     return car (read_list (a));
85   return cons (w, read_list (a));
86 }
87
88 SCM
89 read_env (SCM a)
90 {
91   return read_word (getchar (), cell_nil, a);
92 }
93
94 SCM
95 lookup_ (SCM s, SCM a)
96 {
97   if (isdigit (VALUE (car (s))) || (VALUE (car (s)) == '-' && cdr (s) != cell_nil)) {
98     SCM p = s;
99     int sign = 1;
100     if (VALUE (car (s)) == '-') {
101       sign = -1;
102       p = cdr (s);
103     }
104     int n = 0;
105     while (p != cell_nil && isdigit (VALUE (car (p)))) {
106       n *= 10;
107       n += VALUE (car (p)) - '0';
108       p = cdr (p);
109     }
110     if (p == cell_nil) return MAKE_NUMBER (n * sign);
111   }
112
113   return lookup_symbol_ (s);
114 }