From e7d4d9a940af053e2ba0e3f4827d6655a07e7e7f Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 22 Apr 2000 05:04:31 +0000
Subject: [PATCH] Modify DECODING-PARSER to accept a parser to parse the
 decoded text, rather that a matcher and a keyword.  Implement
 ENCAPSULATING-PARSER, and abstraction mechanism for this language.  Implement
 PARSE-STRING and PARSE-SUBSTRING to handle top-level parsing.

---
 v7/src/imail/parser.scm | 43 +++++++++++++++++++++++++++++++++++------
 1 file changed, 37 insertions(+), 6 deletions(-)

diff --git a/v7/src/imail/parser.scm b/v7/src/imail/parser.scm
index 3076e7a0e..d7d314c9d 100644
--- a/v7/src/imail/parser.scm
+++ b/v7/src/imail/parser.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: parser.scm,v 1.1 2000/04/18 21:30:42 cph Exp $
+;;; $Id: parser.scm,v 1.2 2000/04/22 05:04:31 cph Exp $
 ;;;
 ;;; Copyright (c) 2000 Massachusetts Institute of Technology
 ;;;
@@ -31,6 +31,15 @@
 ;;; was parsed, and whose cdr is an alist of keyword/token pairs.  If
 ;;; the parser fails, it returns #F.
 
+(define (parse-string parser string)
+  (parse-substring parser string 0 (string-length string)))
+
+(define (parse-substring parser string start end)
+  (let ((pv (parser string start end)))
+    (and pv
+	 (fix:= (car pv) end)
+	 pv)))
+
 (define (parser-token parser-value keyword)
   (let ((entry (assq keyword (cdr parser-value))))
     (and entry
@@ -56,16 +65,38 @@
       (and i
 	   (list i (cons keyword (substring string start i)))))))
 
-(define (decoding-parser match-encoded decode match-decoded keyword)
+(define (decoding-parser match-encoded decode parse-decoded)
   (lambda (string start end)
     (let ((i (match-encoded string start end)))
       (and i
 	   (let ((string (decode string start i)))
 	     (let ((end (string-length string)))
-	       (let ((j (match-decoded string 0 end)))
-		 (and j
-		      (fix:= j end)
-		      (list i (cons keyword (substring string 0 j)))))))))))
+	       (let ((pv (parse-substring parse-decoded string 0 end)))
+		 (and pv
+		      (cons i (cdr pv))))))))))
+
+(define (encapsulating-parser parser transformer keyword)
+  (lambda (string start end)
+    (let ((pv (parser string start end)))
+      (and pv
+	   (list (car pv) (cons keyword (transformer pv)))))))
+
+(define (list-parser match-element match-delimiter keyword)
+  (lambda (string start end)
+    (let ((index (match-element string start end)))
+      (if index
+	  (let loop
+	      ((start index)
+	       (elements (list (substring string start index))))
+	    (let ((index (match-delimiter string start end)))
+	      (if index
+		  (let ((index* (match-element string start end)))
+		    (if index*
+			(loop index*
+			      (cons (substring string index index*) elements))
+			(list start (cons keyword elements))))
+		  (list start (cons keyword elements)))))
+	  (list start (list keyword))))))
 
 (define (optional-parser . parsers)
   (let ((parse (apply sequence-parser parsers)))
-- 
2.25.1