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 #include <ctype.h>
  22
  23 SCM
  24 read_input_file_env_ (SCM e, SCM a)
  25 {
  26   if (e == cell_nil) return e;
  27   return cons (e, read_input_file_env_ (read_env (a), a));
  28 }
  29
  30 SCM
  31 read_input_file_env (SCM a)
  32 {
  33   r0 = a;
  34   if (assq_ref_env (cell_symbol_read_input_file, r0) != cell_undefined)
  35     return apply (cell_symbol_read_input_file, cell_nil, r0);
  36   return read_input_file_env_ (read_env (r0), r0);
  37 }
  38
  39 int
  40 read_line_comment (int c)
  41 {
  42   if (c == '\n') return c;
  43   return read_line_comment (getchar ());
  44 }
  45
  46 SCM
  47 read_word (int c, SCM w, SCM a)
  48 {
  49   if (c == EOF && w == cell_nil) return cell_nil;
  50   if (c == '\t') return read_word ('\n', w, a);
  51   if (c == '\f') return read_word ('\n', w, a);
  52   if (c == '\n' && w == cell_nil) return read_word (getchar (), w, a);
  53   if (c == '\n' && VALUE (car (w)) == '.' && cdr (w) == cell_nil) return cell_dot;
  54   if (c == EOF || c == '\n') return lookup_ (w, a);
  55   if (c == ' ') return read_word ('\n', w, a);
  56   if (c == '(' && w == cell_nil) return read_list (a);
  57   if (c == '(') {ungetchar (c); return lookup_ (w, a);}
  58   if (c == ')' && w == cell_nil) {ungetchar (c); return cell_nil;}
  59   if (c == ')') {ungetchar (c); return lookup_ (w, a);}
  60   if (c == ';') {read_line_comment (c); return read_word ('\n', w, a);}
  61   return read_word (getchar (), append2 (w, cons (MAKE_CHAR (c), cell_nil)), a);
  62 }
  63
  64 int
  65 eat_whitespace (int c)
  66 {
  67   while (c == ' ' || c == '\t' || c == '\n' || c == '\f') c = getchar ();
  68   if (c == ';') return eat_whitespace (read_line_comment (c));
  69   return c;
  70 }
  71
  72 SCM
  73 read_list (SCM a)
  74 {
  75   int c = getchar ();
  76   c = eat_whitespace (c);
  77   if (c == ')') return cell_nil;
  78   SCM w = read_word (c, cell_nil, a);
  79   if (w == cell_dot)
  80     return car (read_list (a));
  81   return cons (w, read_list (a));
  82 }
  83
  84 SCM
  85 read_env (SCM a)
  86 {
  87   return read_word (getchar (), cell_nil, a);
  88 }
  89
  90 SCM
  91 lookup_ (SCM s, SCM a)
  92 {
  93   if (isdigit (VALUE (car (s))) || (VALUE (car (s)) == '-' && cdr (s) != cell_nil)) {
  94     SCM p = s;
  95     int sign = 1;
  96     if (VALUE (car (s)) == '-') {
  97       sign = -1;
  98       p = cdr (s);
  99     }
 100     int n = 0;
 101     while (p != cell_nil && isdigit (VALUE (car (p)))) {
 102       n *= 10;
 103       n += VALUE (car (p)) - '0';
 104       p = cdr (p);
 105     }
 106     if (p == cell_nil) return MAKE_NUMBER (n * sign);
 107   }
 108
 109   return lookup_symbol_ (s);
 110 }
 111
 112 int g_tiny = 0;
 113
 114 int
 115 dump ()
 116 {
 117   r1 = g_symbols;
 118   gc_push_frame ();
 119   gc ();
 120   gc_peek_frame ();
 121   char *p = (char*)g_cells;
 122   putchar ('M');
 123   putchar ('E');
 124   putchar ('S');
 125   putchar (g_stack >> 8);
 126   putchar (g_stack % 256);
 127   eputs ("dumping\n");
 128   if (g_debug > 1)
 129     {
 130       eputs ("program r2=");
 131       display_error_ (r2);
 132       eputs ("\n");
 133     }
 134
 135   for (int i=0; i<g_free * sizeof(struct scm); i++)
 136     putchar (*p++);
 137   return 0;
 138 }