(in-package "SB-PCL")
\f
(defun ensure-accessor (type fun-name slot-name)
- (labels ((slot-missing-fun (slot-name type)
- (let* ((method-type (ecase type
- (slot-value 'reader-method)
- (setf 'writer-method)
- (slot-boundp 'boundp-method)))
- (initargs
- (copy-tree
- (ecase type
- (slot-value
- (make-method-function
- (lambda (obj)
- (values
- (slot-missing (class-of obj) obj slot-name
- 'slot-value)))))
- (slot-boundp
- (make-method-function
- (lambda (obj)
- (not (not
- (slot-missing (class-of obj) obj slot-name
- 'slot-boundp))))))
- (setf
- (make-method-function
- (lambda (val obj)
- (slot-missing (class-of obj) obj slot-name
- 'setf val)
- val)))))))
- (setf (getf (getf initargs :plist) :slot-name-lists)
- (list (list nil slot-name)))
- (setf (getf (getf initargs :plist) :pv-table-symbol)
- (gensym))
- (list* :method-spec (list method-type 'slot-object slot-name)
- initargs)))
- (add-slot-missing-method (gf slot-name type)
- (multiple-value-bind (class lambda-list specializers)
- (ecase type
- (slot-value
- (values 'standard-reader-method
- '(object)
- (list *the-class-slot-object*)))
- (slot-boundp
- (values 'standard-boundp-method
- '(object)
- (list *the-class-slot-object*)))
- (setf
- (values 'standard-writer-method
- '(new-value object)
- (list *the-class-t* *the-class-slot-object*))))
- (add-method gf (make-a-method class
- ()
- lambda-list
- specializers
- (slot-missing-fun slot-name type)
- "generated slot-missing method"
- slot-name)))))
- (unless (fboundp fun-name)
- (let ((gf (ensure-generic-function
- fun-name
- :lambda-list (ecase type
- ((reader boundp) '(object))
- (writer '(new-value object))))))
+ (unless (fboundp fun-name)
+ (multiple-value-bind (lambda-list specializers method-class initargs doc)
(ecase type
- (reader (add-slot-missing-method gf slot-name 'slot-value))
- (boundp (add-slot-missing-method gf slot-name 'slot-boundp))
- (writer (add-slot-missing-method gf slot-name 'setf)))
- (setf (plist-value gf 'slot-missing-method) t))
- t)))
+ ;; FIXME: change SLOT-OBJECT here to T to get SLOT-MISSING
+ ;; behaviour for non-slot-objects too?
+ (reader
+ (values '(object) '(slot-object) 'global-reader-method
+ (make-std-reader-method-function 'slot-object slot-name)
+ "automatically-generated reader method"))
+ (writer
+ (values '(new-value object) '(t slot-object) 'global-writer-method
+ (make-std-writer-method-function 'slot-object slot-name)
+ "automatically-generated writer method"))
+ (boundp
+ (values '(object) '(slot-object) 'global-boundp-method
+ (make-std-boundp-method-function 'slot-object slot-name)
+ "automatically-generated boundp method")))
+ (let ((gf (ensure-generic-function fun-name :lambda-list lambda-list)))
+ (add-method gf (make-a-method method-class
+ () lambda-list specializers
+ initargs doc :slot-name slot-name)))))
+ t)
(defmacro accessor-slot-value (object slot-name)
(aver (constantp slot-name))
- (let* ((slot-name (eval slot-name))
+ (let* ((slot-name (constant-form-value slot-name))
(reader-name (slot-reader-name slot-name)))
`(let ((.ignore. (load-time-value
(ensure-accessor 'reader ',reader-name ',slot-name))))
(aver (constantp slot-name))
(setq object (macroexpand object env))
(setq slot-name (macroexpand slot-name env))
- (let* ((slot-name (eval slot-name))
+ (let* ((slot-name (constant-form-value slot-name))
(bindings (unless (or (constantp new-value) (atom new-value))
(let ((object-var (gensym)))
(prog1 `((,object-var ,object))
(defmacro accessor-slot-boundp (object slot-name)
(aver (constantp slot-name))
- (let* ((slot-name (eval slot-name))
+ (let* ((slot-name (constant-form-value slot-name))
(boundp-name (slot-boundp-name slot-name)))
`(let ((.ignore. (load-time-value
(ensure-accessor 'boundp ',boundp-name ',slot-name))))
(boundp (lambda (instance)
(emf-funcall sdfun class instance slotd))))
`(,name ,(class-name class) ,(slot-definition-name slotd)))))
-
-(defun make-internal-reader-method-function (class-name slot-name)
- (list* :method-spec `(internal-reader-method ,class-name ,slot-name)
- (make-method-function
- (lambda (instance)
- (let ((wrapper (get-instance-wrapper-or-nil instance)))
- (if wrapper
- (let* ((class (wrapper-class* wrapper))
- (index (or (instance-slot-index wrapper slot-name)
- (assq slot-name
- (wrapper-class-slots wrapper)))))
- (typecase index
- (fixnum
- (let ((value (clos-slots-ref (get-slots instance)
- index)))
- (if (eq value +slot-unbound+)
- (values (slot-unbound (class-of instance)
- instance
- slot-name))
- value)))
- (cons
- (let ((value (cdr index)))
- (if (eq value +slot-unbound+)
- (values (slot-unbound (class-of instance)
- instance
- slot-name))
- value)))
- (t
- (error "~@<The wrapper for class ~S does not have ~
- the slot ~S~@:>"
- class slot-name))))
- (slot-value instance slot-name)))))))
\f
(defun make-std-reader-method-function (class-name slot-name)
- (let* ((pv-table-symbol (gensym))
- (initargs (copy-tree
+ (let* ((initargs (copy-tree
(make-method-function
(lambda (instance)
(pv-binding1 (.pv. .calls.
- (symbol-value pv-table-symbol)
+ (bug "Please report this")
(instance) (instance-slots))
(instance-read-internal
- .pv. instance-slots 1
+ .pv. instance-slots 0
(slot-value instance slot-name))))))))
- (setf (getf (getf initargs :plist) :slot-name-lists)
+ (setf (getf (getf initargs 'plist) :slot-name-lists)
(list (list nil slot-name)))
- (setf (getf (getf initargs :plist) :pv-table-symbol) pv-table-symbol)
- (list* :method-spec `(reader-method ,class-name ,slot-name)
- initargs)))
+ initargs))
(defun make-std-writer-method-function (class-name slot-name)
- (let* ((pv-table-symbol (gensym))
- (initargs (copy-tree
+ (let* ((initargs (copy-tree
(make-method-function
(lambda (nv instance)
(pv-binding1 (.pv. .calls.
- (symbol-value pv-table-symbol)
+ (bug "Please report this")
(instance) (instance-slots))
(instance-write-internal
- .pv. instance-slots 1 nv
+ .pv. instance-slots 0 nv
(setf (slot-value instance slot-name) nv))))))))
- (setf (getf (getf initargs :plist) :slot-name-lists)
+ (setf (getf (getf initargs 'plist) :slot-name-lists)
(list nil (list nil slot-name)))
- (setf (getf (getf initargs :plist) :pv-table-symbol) pv-table-symbol)
- (list* :method-spec `(writer-method ,class-name ,slot-name)
- initargs)))
+ initargs))
(defun make-std-boundp-method-function (class-name slot-name)
- (let* ((pv-table-symbol (gensym))
- (initargs (copy-tree
+ (let* ((initargs (copy-tree
(make-method-function
(lambda (instance)
(pv-binding1 (.pv. .calls.
- (symbol-value pv-table-symbol)
+ (bug "Please report this")
(instance) (instance-slots))
(instance-boundp-internal
- .pv. instance-slots 1
+ .pv. instance-slots 0
(slot-boundp instance slot-name))))))))
- (setf (getf (getf initargs :plist) :slot-name-lists)
+ (setf (getf (getf initargs 'plist) :slot-name-lists)
(list (list nil slot-name)))
- (setf (getf (getf initargs :plist) :pv-table-symbol) pv-table-symbol)
- (list* :method-spec `(boundp-method ,class-name ,slot-name)
- initargs)))
-
-(defun initialize-internal-slot-gfs (slot-name &optional type)
- (macrolet ((frob (type name-fun add-fun ll)
- `(when (or (null type) (eq type ',type))
- (let* ((name (,name-fun slot-name))
- (gf (ensure-generic-function name
- :lambda-list ',ll))
- (methods (generic-function-methods gf)))
- (when (or (null methods)
- (plist-value gf 'slot-missing-method))
- (setf (plist-value gf 'slot-missing-method) nil)
- (,add-fun *the-class-slot-object* gf slot-name))))))
- (frob reader slot-reader-name add-reader-method (object))
- (frob writer slot-writer-name add-writer-method (new-value object))
- (frob boundp slot-boundp-name add-boundp-method (object))))
+ initargs))