From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 17 Nov 2015 17:16:19 +0000 (+0000)
Subject: src/pset-*.lisp: Allow parsing and retrieval of C types as property values.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/6ee1970906d33f0b1b2be20e2f8a4521a6ca514f

src/pset-*.lisp: Allow parsing and retrieval of C types as property values.

Hack src/sod.asd.in because pset now depends on c-types.
---

diff --git a/src/pset-impl.lisp b/src/pset-impl.lisp
index e3e505f..14cb43b 100644
--- a/src/pset-impl.lisp
+++ b/src/pset-impl.lisp
@@ -65,6 +65,14 @@
     ((value symbol) (type (eql :symbol)) (wanted (eql :id)))
   (frob-identifier (symbol-name value)))
 
+;;; Types.
+
+(defmethod coerce-property-value
+    ((value string) (type (eql :id)) (wanted (eql :type)))
+  (or (gethash value *module-type-map*)
+      (gethash value *declspec-map*)
+      (error "Unknown type `~A'." value)))
+
 ;;;--------------------------------------------------------------------------
 ;;; Property sets.
 
diff --git a/src/pset-parse.lisp b/src/pset-parse.lisp
index 6b91696..ddc34e0 100644
--- a/src/pset-parse.lisp
+++ b/src/pset-parse.lisp
@@ -83,7 +83,7 @@
    term: factor | term `*' factor | term `/' factor
    factor: primary | `+' factor | `-' factor
    primary: int | id | string | `(' expression `)' | `{' fragment `}'
-     | `?' lisp-expression
+     | `<' declspec+ declarator[empty] `>' | `?' lisp-expression
 
    Only operators for dealing with integers are provided."
       (with-parser-context (token-scanner-context :scanner scanner)
@@ -107,6 +107,17 @@
 					  (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)))))
diff --git a/src/pset-proto.lisp b/src/pset-proto.lisp
index eaf3a77..e16e04c 100644
--- a/src/pset-proto.lisp
+++ b/src/pset-proto.lisp
@@ -55,11 +55,11 @@
    distinctly about identifiers, strings and symbols, and we've only got two
    obvious Lisp types to play with.  Sad, but true."
 
-  (name nil :type (or string symbol))
-  (value nil :type t)
-  (%type nil :type symbol)
-  (location (file-location nil) :type file-location)
-  (key nil :type symbol)
+  (name nil :type (or string symbol) :read-only t)
+  (value nil :type t :read-only t)
+  (%type nil :type symbol :read-only t)
+  (location (file-location nil) :type file-location :read-only t)
+  (key nil :type symbol :read-only t)
   (seenp nil :type boolean))
 (define-access-wrapper p-type p-%type :read-only t)
 
@@ -72,7 +72,8 @@
   (:method ((raw character)) (values :char raw))
   (:method ((raw property)) (values (p-type raw) (p-value raw)))
   (:method ((raw cons)) (values (car raw) (cdr raw)))
-  (:method ((raw function)) (values :func raw)))
+  (:method ((raw function)) (values :func raw))
+  (:method ((raw c-type)) (values :type raw)))
 
 (export 'make-property)
 (defun make-property (name raw-value &key type location seenp)
diff --git a/src/sod.asd.in b/src/sod.asd.in
index d5ab15c..2cb2e8e 100644
--- a/src/sod.asd.in
+++ b/src/sod.asd.in
@@ -115,7 +115,7 @@
 	  ("c-types-proto" "c-types-class-impl" "fragment-parse"))
 
    ;; Property set protocol.
-   (:file "pset-proto" :depends-on ("package"))
+   (:file "pset-proto" :depends-on ("package" "c-types-proto"))
    (:file "pset-impl" :depends-on ("pset-proto"))
    (:file "pset-parse" :depends-on ("pset-proto" "lexer-proto"))