From a484c32ae01c697f002e62d17f513155c1151d60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Manuel=20Tom=C3=A1s?= Date: Wed, 7 Dec 2022 02:23:29 -0300 Subject: Expand on alternative parsers and lookahead idea --- parser.lisp | 46 ++++++++++++++++++++++++++++++++++++++-------- 1 file changed, 38 insertions(+), 8 deletions(-) (limited to 'parser.lisp') diff --git a/parser.lisp b/parser.lisp index 989938b..a92355c 100644 --- a/parser.lisp +++ b/parser.lisp @@ -51,7 +51,25 @@ (funcall (car body) input)))) (either-rec (cons first-parser (cons second-parser other-parsers)))))) -(defun unit (&optional (predicate #'characterp)) +(defun unit (predicate) + (lambda (input) + (if (input::has-data? input) + (let ((c (input::peek-1 input))) + (if (char= c predicate) + (make-parsing :tree c :left (input::advance input)) + (make-normal-failure :place input :message "Predicate not satisfied."))) + (make-normal-failure :place input :message "Reached end of input.")))) + +(defun not-unit (predicate) + (lambda (input) + (if (input::has-data? input) + (let ((c (input::peek-1 input))) + (if (char/= c predicate) + (make-parsing :tree c :left (input::advance input)) + (make-normal-failure :place input :message "Predicate not satisfied."))) + (make-normal-failure :place input :message "Reached end of input.")))) + +(defun unit-if (&optional (predicate #'characterp)) (lambda (input) (if (input::has-data? input) (let ((c (input::peek-1 input))) @@ -60,15 +78,25 @@ (make-normal-failure :place input :message "Predicate not satisfied."))) (make-normal-failure :place input :message "Reached end of input.")))) -(defun literal (str) +(defun literal (predicate) (lambda (input) - (if (input::has-data? input (length str)) - (let ((c (input::peek-n input (length str)))) - (if (string= str c) + (if (input::has-data? input (length predicate)) + (let ((c (input::peek-n input (length predicate)))) + (if (string= predicate c) (make-parsing :tree c :left (input::advance input (length c))) (make-normal-failure :place input :message "Predicate not satisfied."))) (make-normal-failure :place input :message "Reached end of input.")))) +(defun until-literal (predicate) + (lambda (input) + (let ((c (search predicate (input::input-data input) :start2 (input::input-cursor input)))) + (if c + (let ((window (- c (input::input-cursor input)))) + (if (> window 0) + (make-parsing :tree (input::peek-n input window) :left (input::advance input window)) + (make-failure :place input :message "Predicate not satisfied."))) + (make-parsing :tree (input::peek-rest input) :left (input::advance-to-end input)))))) + (defmacro comp (bindings &body body) (if (null bindings) `(new (progn ,@body)) @@ -89,11 +117,13 @@ (xs (optional (many p)))) (cons x xs))) -(defun separated-list (p separator) +(defun separated-list (p separator &key (include-separator nil)) (comp ((v p) - (sep (optional (the-char separator))) + (sep (optional separator)) (vn (if sep (either (separated-list p separator) (fail "Value expected.")) nothing))) - (cons v vn))) + (if include-separator + (cons v (cons sep vn)) + (cons v vn)))) -- cgit v1.2.3