summaryrefslogtreecommitdiff
path: root/libguile/read.c
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/read.c')
-rw-r--r--libguile/read.c597
1 files changed, 597 insertions, 0 deletions
diff --git a/libguile/read.c b/libguile/read.c
new file mode 100644
index 000000000..1340fc1f4
--- /dev/null
+++ b/libguile/read.c
@@ -0,0 +1,597 @@
+/* Copyright (C) 1995,1996 Free Software Foundation, Inc.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this software; see the file COPYING. If not, write to
+ * the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
+ *
+ * As a special exception, the Free Software Foundation gives permission
+ * for additional uses of the text contained in its release of GUILE.
+ *
+ * The exception is that, if you link the GUILE library with other files
+ * to produce an executable, this does not by itself cause the
+ * resulting executable to be covered by the GNU General Public License.
+ * Your use of that executable is in no way restricted on account of
+ * linking the GUILE library code into it.
+ *
+ * This exception does not however invalidate any other reasons why
+ * the executable file might be covered by the GNU General Public License.
+ *
+ * This exception applies only to the code released by the
+ * Free Software Foundation under the name GUILE. If you copy
+ * code from other Free Software Foundation releases into a copy of
+ * GUILE, as the General Public License permits, the exception does
+ * not apply to the code that you add in this way. To avoid misleading
+ * anyone as to the status of such modified files, you must delete
+ * this exception notice from them.
+ *
+ * If you write modifications of your own for GUILE, it is your choice
+ * whether to permit this exception to apply to your modifications.
+ * If you do not wish that, delete this exception notice.
+ */
+
+
+#include "extchrs.h"
+#include <stdio.h>
+#include "_scm.h"
+#include "read.h"
+
+
+
+#define default_case_i 0
+
+
+
+SCM_PROC (s_read, "read", 0, 3, 0, scm_read);
+#ifdef __STDC__
+SCM
+scm_read (SCM port, SCM case_insensative_p, SCM sharp)
+#else
+SCM
+scm_read (port, case_insensative_p, sharp)
+ SCM port;
+ SCM case_insensative_p;
+ SCM sharp;
+#endif
+{
+ int c;
+ SCM tok_buf;
+ int case_i;
+
+ if (SCM_UNBNDP (port))
+ port = scm_cur_inp;
+ else
+ SCM_ASSERT (SCM_NIMP (port) && SCM_OPINPORTP (port), port, SCM_ARG1, s_read);
+
+ case_i = (SCM_UNBNDP (case_insensative_p)
+ ? default_case_i
+ : (case_insensative_p == SCM_BOOL_F));
+
+ if (SCM_UNBNDP (sharp))
+ sharp = SCM_BOOL_F;
+
+ c = scm_flush_ws (port, (char *) NULL);
+ if (EOF == c)
+ return SCM_EOF_VAL;
+ scm_gen_ungetc (c, port);
+
+ tok_buf = scm_makstr (30L, 0);
+ return scm_lreadr (&tok_buf, port, case_i, sharp);
+}
+
+
+#ifdef __STDC__
+char *
+scm_grow_tok_buf (SCM * tok_buf)
+#else
+char *
+scm_grow_tok_buf (tok_buf)
+ SCM * tok_buf;
+#endif
+{
+ SCM t2;
+ scm_sizet len;
+
+ len = SCM_LENGTH (*tok_buf);
+ len += (len / 2 ? len / 2 : 1);
+ t2 = scm_makstr (len, 0);
+ {
+ char * a;
+ char * b;
+ int l;
+ for (a = SCM_CHARS (*tok_buf), b = SCM_CHARS (t2), l = SCM_LENGTH (*tok_buf);
+ l;
+ --l, ++a, ++b)
+ *b = *a;
+ }
+ *tok_buf = t2;
+ return SCM_CHARS (*tok_buf);
+}
+
+
+#ifdef __STDC__
+int
+scm_flush_ws (SCM port, char *eoferr)
+#else
+int
+scm_flush_ws (port, eoferr)
+ SCM port;
+ char *eoferr;
+#endif
+{
+ register int c;
+ while (1)
+ switch (c = scm_gen_getc (port))
+ {
+ case EOF:
+ goteof:
+ if (eoferr)
+ scm_wta (SCM_UNDEFINED, "end of file in ", eoferr);
+ return c;
+ case ';':
+ lp:
+ switch (c = scm_gen_getc (port))
+ {
+ case EOF:
+ goto goteof;
+ default:
+ goto lp;
+ case SCM_LINE_INCREMENTORS:
+ break;
+ }
+ break;
+ case SCM_LINE_INCREMENTORS:
+ break;
+ case SCM_SINGLE_SPACES:
+ SCM_INCCOL (port);
+ break;
+ case '\t':
+ SCM_TABCOL (port);
+ break;
+ default:
+ return c;
+ }
+}
+
+
+#ifdef __STDC__
+int
+scm_casei_streq (char * s1, char * s2)
+#else
+int
+scm_casei_streq (s1, s2)
+ char * s1;
+ char * s2;
+#endif
+{
+ while (*s1 && *s2)
+ if (scm_downcase((int)*s1) != scm_downcase((int)*s2))
+ return 0;
+ else
+ {
+ ++s1;
+ ++s2;
+ }
+ return !(*s1 || *s2);
+}
+
+
+#ifdef __STDC__
+SCM
+scm_lreadr (SCM * tok_buf, SCM port, int case_i, SCM sharp)
+#else
+SCM
+scm_lreadr (tok_buf, port, case_i, sharp)
+ SCM * tok_buf;
+ SCM port;
+ int case_i;
+ SCM sharp;
+#endif
+{
+ int c;
+ scm_sizet j;
+ SCM p;
+
+tryagain:
+ c = scm_flush_ws (port, s_read);
+ switch (c)
+ {
+ case EOF:
+ return SCM_EOF_VAL;
+
+ case '(':
+ return scm_lreadparen (tok_buf, port, "list", case_i, sharp);
+
+ case ')':
+ scm_wta (SCM_UNDEFINED, "unexpected \")\"", "read");
+ goto tryagain;
+
+ case '\'':
+ return scm_cons2 (scm_i_quote, scm_lreadr (tok_buf, port, case_i, sharp), SCM_EOL);
+
+ case '`':
+ return scm_cons2 (scm_i_quasiquote, scm_lreadr (tok_buf, port, case_i, sharp), SCM_EOL);
+
+ case ',':
+ c = scm_gen_getc (port);
+ if ('@' == c)
+ p = scm_i_uq_splicing;
+ else
+ {
+ scm_gen_ungetc (c, port);
+ p = scm_i_unquote;
+ }
+ return scm_cons2 (p, scm_lreadr (tok_buf, port, case_i, sharp), SCM_EOL);
+
+ case '#':
+ c = scm_gen_getc (port);
+ switch (c)
+ {
+ case '(':
+ p = scm_lreadparen (tok_buf, port, "vector", case_i, sharp);
+ return SCM_NULLP (p) ? scm_nullvect : scm_vector (p);
+
+ case 't':
+ case 'T':
+ return SCM_BOOL_T;
+ case 'f':
+ case 'F':
+ return SCM_BOOL_F;
+
+ case 'b':
+ case 'B':
+ case 'o':
+ case 'O':
+ case 'd':
+ case 'D':
+ case 'x':
+ case 'X':
+ case 'i':
+ case 'I':
+ case 'e':
+ case 'E':
+ scm_gen_ungetc (c, port);
+ c = '#';
+ goto num;
+
+ case '*':
+ j = scm_read_token (c, tok_buf, port, case_i, 0);
+ p = scm_istr2bve (SCM_CHARS (*tok_buf) + 1, (long) (j - 1));
+ if (SCM_NFALSEP (p))
+ return p;
+ else
+ goto unkshrp;
+
+ case '{':
+ j = scm_read_token (c, tok_buf, port, case_i, 1);
+ p = scm_intern (SCM_CHARS (*tok_buf), j);
+ if (SCM_PORT_REPRESENTATION (port) != scm_regular_port)
+ scm_set_symbol_multi_byte_x (SCM_CAR (p), SCM_BOOL_T);
+ return SCM_CAR (p);
+
+ case '\\':
+ c = scm_gen_getc (port);
+ j = scm_read_token (c, tok_buf, port, case_i, 0);
+ if (j == 1)
+ return SCM_MAKICHR (c);
+ if (c >= '0' && c < '8')
+ {
+ p = scm_istr2int (SCM_CHARS (*tok_buf), (long) j, 8);
+ if (SCM_NFALSEP (p))
+ return SCM_MAKICHR (SCM_INUM (p));
+ }
+ for (c = 0; c < scm_n_charnames; c++)
+ if (scm_charnames[c]
+ && (scm_casei_streq (scm_charnames[c], SCM_CHARS (*tok_buf))))
+ return SCM_MAKICHR (scm_charnums[c]);
+ scm_wta (SCM_UNDEFINED, "unknown # object: #\\", SCM_CHARS (*tok_buf));
+
+
+ default:
+ callshrp:
+ if (SCM_NIMP (sharp))
+ {
+ SCM got;
+ got = scm_apply (sharp, SCM_MAKICHR (c), scm_acons (port, SCM_EOL, SCM_EOL));
+ if (SCM_UNSPECIFIED == got)
+ goto unkshrp;
+ return got;
+ }
+ unkshrp:scm_wta ((SCM) SCM_MAKICHR (c), "unknown # object", "");
+ }
+
+ case '"':
+ j = 0;
+ while ('"' != (c = scm_gen_getc (port)))
+ {
+ SCM_ASSERT (EOF != c, SCM_UNDEFINED, "end of file in ", "string");
+
+ while (j + sizeof(xwchar_t) + XMB_CUR_MAX >= SCM_LENGTH (*tok_buf))
+ scm_grow_tok_buf (tok_buf);
+
+ if (c == '\\')
+ switch (c = scm_gen_getc (port))
+ {
+ case '\n':
+ continue;
+ case '0':
+ c = '\0';
+ break;
+ case 'f':
+ c = '\f';
+ break;
+ case 'n':
+ c = '\n';
+ break;
+ case 'r':
+ c = '\r';
+ break;
+ case 't':
+ c = '\t';
+ break;
+ case 'a':
+ c = '\007';
+ break;
+ case 'v':
+ c = '\v';
+ break;
+ }
+ if (SCM_PORT_REPRESENTATION(port) == scm_regular_port)
+ {
+ SCM_CHARS (*tok_buf)[j] = c;
+ ++j;
+ }
+ else
+ {
+ int len;
+ len = xwctomb (SCM_CHARS (*tok_buf) + j, c);
+ if (len == 0)
+ len = 1;
+ SCM_ASSERT (len > 0, SCM_MAKINUM (c), "bogus char", "read");
+ j += len;
+ }
+ }
+ if (j == 0)
+ return scm_nullstr;
+ SCM_CHARS (*tok_buf)[j] = 0;
+ {
+ SCM str;
+ str = scm_makfromstr (SCM_CHARS (*tok_buf), j, 0);
+ if (SCM_PORT_REPRESENTATION(port) != scm_regular_port)
+ {
+ SCM_SETLENGTH (str, SCM_LENGTH (str), scm_tc7_mb_string);
+ }
+ return str;
+ }
+
+ case'0':case '1':case '2':case '3':case '4':
+ case '5':case '6':case '7':case '8':case '9':
+ case '.':
+ case '-':
+ case '+':
+ num:
+ j = scm_read_token (c, tok_buf, port, case_i, 0);
+ p = scm_istring2number (SCM_CHARS (*tok_buf), (long) j, 10L);
+ if (SCM_NFALSEP (p))
+ return p;
+ if (c == '#')
+ {
+ if ((j == 2) && (scm_gen_getc (port) == '('))
+ {
+ scm_gen_ungetc ('(', port);
+ c = SCM_CHARS (*tok_buf)[1];
+ goto callshrp;
+ }
+ scm_wta (SCM_UNDEFINED, "unknown # object", SCM_CHARS (*tok_buf));
+ }
+ goto tok;
+
+ case ':':
+ j = scm_read_token ('-', tok_buf, port, case_i, 0);
+ p = scm_intern (SCM_CHARS (*tok_buf), j);
+ if (SCM_PORT_REPRESENTATION (port) != scm_regular_port)
+ scm_set_symbol_multi_byte_x (SCM_CAR (p), SCM_BOOL_T);
+ return scm_make_keyword_from_dash_symbol (SCM_CAR (p));
+
+ default:
+ j = scm_read_token (c, tok_buf, port, case_i, 0);
+ /* fallthrough */
+
+ tok:
+ p = scm_intern (SCM_CHARS (*tok_buf), j);
+ if (SCM_PORT_REPRESENTATION (port) != scm_regular_port)
+ scm_set_symbol_multi_byte_x (SCM_CAR (p), SCM_BOOL_T);
+ return SCM_CAR (p);
+ }
+}
+
+#ifdef _UNICOS
+_Pragma ("noopt"); /* # pragma _CRI noopt */
+#endif
+#ifdef __STDC__
+scm_sizet
+scm_read_token (int ic, SCM * tok_buf, SCM port, int case_i, int weird)
+#else
+scm_sizet
+scm_read_token (ic, * tok_buf, port, case_i, weird)
+ int ic;
+ SCM *tok_buf;
+ SCM port;
+ int case_i;
+ int weird;
+#endif
+{
+ register scm_sizet j;
+ register int c;
+ register char *p;
+
+ c = ic;
+ p = SCM_CHARS (*tok_buf);
+
+ if (weird)
+ j = 0;
+ else
+ {
+ j = 0;
+ while (j + sizeof(xwchar_t) + XMB_CUR_MAX >= SCM_LENGTH (*tok_buf))
+ p = scm_grow_tok_buf (tok_buf);
+ if (SCM_PORT_REPRESENTATION(port) == scm_regular_port)
+ {
+ p[j] = c;
+ ++j;
+ }
+ else
+ {
+ int len;
+ len = xwctomb (p + j, c);
+ if (len == 0)
+ len = 1;
+ SCM_ASSERT (len > 0, SCM_MAKINUM (c), "bogus char", "read");
+ j += len;
+ }
+ }
+
+ while (1)
+ {
+ while (j + sizeof(xwchar_t) + XMB_CUR_MAX >= SCM_LENGTH (*tok_buf))
+ p = scm_grow_tok_buf (tok_buf);
+ c = scm_gen_getc (port);
+ switch (c)
+ {
+ case '(':
+ case ')':
+ case '"':
+ case ';':
+ case SCM_WHITE_SPACES:
+ case SCM_LINE_INCREMENTORS:
+ if (weird)
+ goto default_case;
+
+ scm_gen_ungetc (c, port);
+ case EOF:
+ eof_case:
+ p[j] = 0;
+ return j;
+ case '\\':
+ if (!weird)
+ goto default_case;
+ else
+ {
+ c = scm_gen_getc (port);
+ if (c == EOF)
+ goto eof_case;
+ else
+ goto default_case;
+ }
+ case '}':
+ if (!weird)
+ goto default_case;
+
+ c = scm_gen_getc (port);
+ if (c == '#')
+ {
+ p[j] = 0;
+ return j;
+ }
+ else
+ {
+ scm_gen_ungetc (c, port);
+ c = '}';
+ goto default_case;
+ }
+
+ default:
+ default_case:
+ {
+ c = (case_i ? scm_downcase(c) : c);
+ if (SCM_PORT_REPRESENTATION(port) == scm_regular_port)
+ {
+ p[j] = c;
+ ++j;
+ }
+ else
+ {
+ int len;
+ len = xwctomb (p + j, c);
+ if (len == 0)
+ len = 1;
+ SCM_ASSERT (len > 0, SCM_MAKINUM (c), "bogus char", "read");
+ j += len;
+ }
+ }
+
+ }
+ }
+}
+#ifdef _UNICOS
+_Pragma ("opt"); /* # pragma _CRI opt */
+#endif
+
+#ifdef __STDC__
+SCM
+scm_lreadparen (SCM * tok_buf, SCM port, char *name, int case_i, SCM sharp)
+#else
+SCM
+scm_lreadparen (tok_buf, port, name, case_i, sharp)
+ SCM *tok_buf;
+ SCM port;
+ char *name;
+ int case_i;
+ SCM sharp;
+#endif
+{
+ SCM tmp;
+ SCM tl;
+ SCM ans;
+ int c;
+
+ c = scm_flush_ws (port, name);
+ if (')' == c)
+ return SCM_EOL;
+ scm_gen_ungetc (c, port);
+ if (scm_i_dot == (tmp = scm_lreadr (tok_buf, port, case_i, sharp)))
+ {
+ ans = scm_lreadr (tok_buf, port, case_i, sharp);
+ closeit:
+ if (')' != (c = scm_flush_ws (port, name)))
+ scm_wta (SCM_UNDEFINED, "missing close paren", "");
+ return ans;
+ }
+ ans = tl = scm_cons (tmp, SCM_EOL);
+ while (')' != (c = scm_flush_ws (port, name)))
+ {
+ scm_gen_ungetc (c, port);
+ if (scm_i_dot == (tmp = scm_lreadr (tok_buf, port, case_i, sharp)))
+ {
+ SCM_CDR (tl) = scm_lreadr (tok_buf, port, case_i, sharp);
+ goto closeit;
+ }
+ tl = (SCM_CDR (tl) = scm_cons (tmp, SCM_EOL));
+ }
+ return ans;
+}
+
+
+
+
+
+#ifdef __STDC__
+void
+scm_init_read (void)
+#else
+void
+scm_init_read ()
+#endif
+{
+#include "read.x"
+}
+