source: trunk/j/src/org/armedbear/lisp/late-setf.lisp @ 7978

Last change on this file since 7978 was 7978, checked in by piso, 17 years ago

(define-setf-expander values ...)

File size: 3.3 KB
Line 
1;;; late-setf.lisp
2;;;
3;;; Copyright (C) 2003-2004 Peter Graves
4;;; $Id: late-setf.lisp,v 1.6 2004-10-14 16:51:25 piso Exp $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19
20;;; From CMUCL/SBCL.
21
22(in-package #:system)
23
24(defmacro define-setf-expander (access-fn lambda-list &body body)
25  (require-type access-fn 'symbol)
26  (let ((whole (gensym "WHOLE-"))
27  (environment (gensym "ENV-")))
28    (multiple-value-bind (body local-decs doc)
29       (parse-defmacro lambda-list whole body access-fn
30           'define-setf-expander
31           :environment environment)
32      `(setf (get ',access-fn 'setf-expander)
33             #'(lambda (,whole ,environment)
34                ,@local-decs
35                (block ,access-fn ,body))))))
36
37(define-setf-expander values (&rest places &environment env)
38  (let ((setters ())
39        (getters ())
40        (all-dummies ())
41        (all-vals ())
42        (newvals ()))
43    (dolist (place places)
44      (multiple-value-bind (dummies vals newval setter getter)
45        (get-setf-expansion place env)
46        (setf all-dummies (append all-dummies dummies (cdr newval))
47              all-vals (append all-vals vals
48                               (mapcar (constantly nil) (cdr newval)))
49              newvals (append newvals (list (car newval))))
50        (push setter setters)
51        (push getter getters)))
52    (values all-dummies all-vals newvals
53            `(values ,@(reverse setters)) `(values ,@(reverse getters)))))
54
55(defun make-gensym-list (n)
56  (let ((list ()))
57    (dotimes (i n list)
58      (push (gensym) list))))
59
60(define-setf-expander getf (place prop &optional default &environment env)
61  (multiple-value-bind (temps values stores set get)
62    (get-setf-expansion place env)
63    (let ((newval (gensym))
64          (ptemp (gensym))
65          (def-temp (if default (gensym))))
66      (values `(,@temps ,ptemp ,@(if default `(,def-temp)))
67              `(,@values ,prop ,@(if default `(,default)))
68              `(,newval)
69              `(let ((,(car stores) (%putf ,get ,ptemp ,newval)))
70                 ,set
71                 ,newval)
72              `(getf ,get ,ptemp ,@(if default `(,def-temp)))))))
73
74(define-setf-expander apply (functionoid &rest args)
75  (unless (and (listp functionoid)
76               (= (length functionoid) 2)
77               (eq (first functionoid) 'function)
78               (memq (second functionoid) '(aref bit sbit)))
79    (error "SETF of APPLY is only defined for #'AREF, #'BIT and #'SBIT."))
80  (let ((function (second functionoid))
81        (new-var (gensym))
82        (vars (make-gensym-list (length args))))
83    (values vars args (list new-var)
84            `(apply #'(setf ,function) ,new-var ,@vars)
85            `(apply #',function ,@vars))))
Note: See TracBrowser for help on using the repository browser.