From 7db08cc9244c374903180c8e816ecf81f6ff1d79 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 31 Oct 2003 11:22:56 +0000
Subject: * Use SGparseString() instead of SGparseFile() because the latter is 
  buggy.  It fails to clear an internal variable (SG_textIndex)   between
 invocations, so it can be called only once during a program   execution.

---
 src/fix-ng/parser.cc | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

(limited to 'src/fix-ng/parser.cc')

diff --git a/src/fix-ng/parser.cc b/src/fix-ng/parser.cc
index e0812817a..d146ad88c 100644
--- a/src/fix-ng/parser.cc
+++ b/src/fix-ng/parser.cc
@@ -2,6 +2,7 @@
 
 #include <sys/types.h>
 #include <sys/stat.h>
+#include <fcntl.h>
 #include <unistd.h>
 
 extern "C" {
@@ -16,6 +17,11 @@ extern "C" {
 #include "parse-table.h"
 
 
+/* Cleanup cleans up an imploded parse tree into an actual abstract
+   syntax tree that we can evaluate.  It removes quotes around
+   strings, converts integer literals into actual integers, and
+   absolutises paths relative to the directory containing the input
+   file. */
 struct Cleanup : TermFun
 {
     string basePath;
@@ -94,14 +100,28 @@ Expr parseExprFromFile(Path path)
         initialised = true;
     }
 
-    ATerm result = SGparseFile((char *) programId.c_str(), lang,
-        "Expr", (char *) path.c_str());
+    /* Read the input file.  We can't use SGparseFile() because it's
+       broken, so we read the input ourselves and call
+       SGparseString(). */
+    AutoCloseFD fd = open(path.c_str(), O_RDONLY);
+    if (fd == -1) throw SysError(format("opening `%1%'") % path);
+
+    if (fstat(fd, &st) == -1)
+        throw SysError(format("statting `%1%'") % path);
+
+    char text[st.st_size + 1];
+    readFull(fd, (unsigned char *) text, st.st_size);
+    text[st.st_size] = 0;
+
+    /* Parse it. */
+    ATerm result = SGparseString(lang, "Expr", text);
     if (!result)
         throw SysError(format("parse failed in `%1%'") % path);
     if (SGisParseError(result))
         throw Error(format("parse error in `%1%': %2%")
             % path % printTerm(result));
 
+    /* Implode it. */
     PT_ParseTree tree = PT_makeParseTreeFromTerm(result);
     if (!tree)
         throw Error(format("cannot create parse tree"));
@@ -121,6 +141,7 @@ Expr parseExprFromFile(Path path)
     if (!imploded)
         throw Error(format("cannot implode parse tree"));
 
+    /* Finally, clean it up. */
     Cleanup cleanup;
     cleanup.basePath = dirOf(path);
     return bottomupRewrite(cleanup, imploded);
-- 
cgit v1.2.3