X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/048d0b2d143b6a491ac73eed6ab972e97774391c..c34b237da0bb4bf08a3531a2e11442623df7e9d4:/src/pset-parse.lisp

diff --git a/src/pset-parse.lisp b/src/pset-parse.lisp
index ff59551..b3b1d8c 100644
--- a/src/pset-parse.lisp
+++ b/src/pset-parse.lisp
@@ -7,7 +7,7 @@
 
 ;;;----- Licensing notice ---------------------------------------------------
 ;;;
-;;; This file is part of the Sensble Object Design, an object system for C.
+;;; This file is part of the Sensible Object Design, an object system for C.
 ;;;
 ;;; SOD is free software; you can redistribute it and/or modify
 ;;; it under the terms of the GNU General Public License as published by
@@ -82,7 +82,8 @@
    expression: term | expression `+' term | expression `-' term
    term: factor | term `*' factor | term `/' factor
    factor: primary | `+' factor | `-' factor
-   primary: int | id | string | `(' expression `)' | `?' lisp-expression
+   primary: int | id | string | `(' expression `)' | `{' fragment `}'
+     | `<' declspec+ declarator[empty] `>' | `?' lisp-expression
 
    Only operators for dealing with integers are provided."
       (with-parser-context (token-scanner-context :scanner scanner)
@@ -98,8 +99,26 @@
 			    (let* ((stream (make-scanner-stream scanner))
 				   (sexp (read stream t)))
 			      (scanner-step scanner)
-			      (values (cons (property-type sexp) sexp)
-				      t t)))
+			      (multiple-value-bind (type value)
+				  (restart-case (decode-property (eval sexp))
+				    (continue () (values :invalid nil)))
+				(values (cons type value) t t))))
+			   (#\{
+			    (values (cons :fragment
+					  (parse-delimited-fragment scanner
+								    #\{ #\}))
+					  t t))
+			   (#\<
+			    (parse (seq (#\<
+					 (ds (parse-c-type scanner))
+					 (dc (parse-declarator
+					      scanner ds
+					      :kernel (lambda ()
+							(values nil t nil))
+					      :abstractp t))
+					 #\>)
+				     (values (cons :type (car dc))
+					     t t))))
 			   (t
 			    (values (list :int :id :char :string #\?)
 				    nil nil)))))
@@ -115,6 +134,7 @@
 ;;;--------------------------------------------------------------------------
 ;;; Parsing property sets.
 
+(export 'parse-property)
 (defun parse-property (scanner pset)
   "Parse a single property using the SCANNER; add it to the PSET."
   ;; property ::= id `=' expression