;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-;; $Id: virtual-slots.lisp,v 1.1 2006-04-25 20:49:16 espen Exp $
+;; $Id: virtual-slots.lisp,v 1.10 2007-06-20 13:34:53 espen Exp $
(in-package "GFFI")
;;;; Superclass for all metaclasses implementing some sort of virtual slots
-(eval-when (:compile-toplevel :load-toplevel :execute)
- (defclass virtual-slots-class (standard-class)
- ())
-
- (defclass direct-virtual-slot-definition (standard-direct-slot-definition)
- ((setter :reader slot-definition-setter :initarg :setter)
- (getter :reader slot-definition-getter :initarg :getter)
- (unbound :reader slot-definition-unbound :initarg :unbound)
- (boundp :reader slot-definition-boundp :initarg :boundp)
- (makunbound :reader slot-definition-makunbound :initarg :makunbound)
- #+clisp(type :initarg :type :reader slot-definition-type)))
-
- (defclass effective-virtual-slot-definition (standard-effective-slot-definition)
- ((setter :reader slot-definition-setter :initarg :setter)
- (getter :reader slot-definition-getter :initarg :getter)
- (unbound :reader slot-definition-unbound :initarg :unbound)
- (boundp :reader slot-definition-boundp :initarg :boundp)
- (makunbound :reader slot-definition-makunbound :initarg :makunbound)
- #+clisp(reader-function)
- #+clisp(writer-function)
- #+clisp(boundp-function)
- makunbound-function
- #+clisp(type :initarg :type :reader slot-definition-type)))
-
- (defclass direct-special-slot-definition (standard-direct-slot-definition)
- ((special :initarg :special :accessor slot-definition-special)))
+(defclass virtual-slots-class (standard-class)
+ ())
+
+(defclass direct-virtual-slot-definition (standard-direct-slot-definition)
+ ((setter :reader slot-definition-setter :initarg :setter)
+ (getter :reader slot-definition-getter :initarg :getter)
+ (unbound :reader slot-definition-unbound :initarg :unbound)
+ (boundp :reader slot-definition-boundp :initarg :boundp)
+ (makunbound :reader slot-definition-makunbound :initarg :makunbound)
+ #+clisp(type :initarg :type :reader slot-definition-type)))
- (defclass effective-special-slot-definition (standard-effective-slot-definition)
- ((special :initarg :special :accessor slot-definition-special))))
+(defclass effective-virtual-slot-definition (standard-effective-slot-definition)
+ ((setter :reader slot-definition-setter :initarg :setter)
+ (getter :reader slot-definition-getter :initarg :getter)
+ (unbound :reader slot-definition-unbound :initarg :unbound)
+ (boundp :reader slot-definition-boundp :initarg :boundp)
+ (makunbound :reader slot-definition-makunbound :initarg :makunbound)
+ #+clisp(reader-function)
+ #+clisp(writer-function)
+ #+clisp(boundp-function)
+ makunbound-function
+ #+clisp(type :initarg :type :reader slot-definition-type)))
+
+(defclass direct-special-slot-definition (standard-direct-slot-definition)
+ ((special :initarg :special :accessor slot-definition-special)))
+
+(defclass effective-special-slot-definition (standard-effective-slot-definition)
+ ((special :initarg :special :accessor slot-definition-special)))
+
+(defclass virtual-slots-object (standard-object)
+ ())
-(defgeneric compute-slot-reader-function (slotd))
+(defgeneric slot-readable-p (slotd))
+(defgeneric slot-writable-p (slotd))
+(defgeneric compute-slot-reader-function (slotd &optional signal-unbound-p))
(defgeneric compute-slot-boundp-function (slotd))
(defgeneric compute-slot-writer-function (slotd))
(defgeneric compute-slot-makunbound-function (slotd))
+(defmethod slot-readable-p ((slotd standard-effective-slot-definition))
+ (declare (ignore slotd))
+ t)
+
+(defmethod slot-writable-p ((slotd standard-effective-slot-definition))
+ (declare (ignore slotd))
+ t)
+
#+clisp
(defmethod slot-definition-type ((slotd t))
(t (call-next-method))))
+(defmethod slot-readable-p ((slotd effective-virtual-slot-definition))
+ (slot-boundp slotd 'getter))
+
(define-condition unreadable-slot (cell-error)
((instance :reader unreadable-slot-instance :initarg :instance))
(:report (lambda (condition stream)
(cell-error-name condition)
(unreadable-slot-instance condition)))))
-(defmethod compute-slot-reader-function ((slotd effective-virtual-slot-definition))
- (if (slot-boundp slotd 'getter)
- (slot-value slotd 'getter)
- #'(lambda (object)
- (error 'unreadable-slot :name (slot-definition-name slotd) :instance object))))
+(defmethod compute-slot-reader-function :around ((slotd effective-virtual-slot-definition) &optional (signal-unbound-p t))
+ (if (not (slot-readable-p slotd))
+ #'(lambda (object)
+ (error 'unreadable-slot :name (slot-definition-name slotd) :instance object))
+ (let ((reader-function (call-next-method)))
+ (cond
+ ;; Don't create wrapper to signal unbound value
+ ((not signal-unbound-p) reader-function)
+
+ ;; An explicit boundp function has been supplied
+ ((slot-boundp slotd 'boundp)
+ (let ((boundp (slot-value slotd 'boundp)))
+ #'(lambda (object)
+ (if (not (funcall boundp object))
+ (slot-unbound (class-of object) object (slot-definition-name slotd))
+ (funcall reader-function object)))))
+
+ ;; A type unbound value exists
+ ((let ((unbound-method (find-applicable-type-method 'unbound-value
+ (slot-definition-type slotd) nil)))
+ (when unbound-method
+ (let ((unbound-value (funcall unbound-method (slot-definition-type slotd))))
+ #'(lambda (object)
+ (let ((value (funcall reader-function object)))
+ (if (eq value unbound-value)
+ (slot-unbound (class-of object) object (slot-definition-name slotd))
+ value)))))))
+
+ ((let ((boundp-function (compute-slot-boundp-function slotd)))
+ #'(lambda (object)
+ (if (funcall boundp-function object)
+ (funcall reader-function object)
+ (slot-unbound (class-of object) object (slot-definition-name slotd))))))))))
+
+(defmethod compute-slot-reader-function ((slotd effective-virtual-slot-definition) &optional signal-unbound-p)
+ (declare (ignore signal-unbound-p))
+ (let ((getter (slot-value slotd 'getter)))
+ #-sbcl getter
+ #+sbcl
+ (etypecase getter
+ (symbol #'(lambda (object) (funcall getter object)))
+ (function getter))))
(defmethod compute-slot-boundp-function ((slotd effective-virtual-slot-definition))
(cond
+ ;; Non readable slots are not bound per definition
+ ((not (slot-readable-p slotd))
+ #'(lambda (object) (declare (ignore object)) nil))
+
;; An explicit boundp function has been supplied
- ((slot-boundp slotd 'boundp) (slot-value slotd 'boundp))
-
+ ((slot-boundp slotd 'boundp)
+ (let ((boundp (slot-value slotd 'boundp)))
+ #-sbcl boundp
+ #+sbcl
+ (etypecase boundp
+ (symbol #'(lambda (object) (funcall boundp object)))
+ (function boundp))))
+
;; An unbound value has been supplied
((slot-boundp slotd 'unbound)
- (let ((reader-function (slot-value slotd 'reader-function))
+ (let ((reader-function (compute-slot-reader-function slotd nil))
(unbound-value (slot-value slotd 'unbound)))
#'(lambda (object)
(not (eql (funcall reader-function object) unbound-value)))))
((let ((unbound-method (find-applicable-type-method 'unbound-value
(slot-definition-type slotd) nil)))
(when unbound-method
- (let ((reader-function (slot-value slotd 'reader-function))
+ (let ((reader-function (compute-slot-reader-function slotd nil))
(unbound-value (funcall unbound-method (slot-definition-type slotd))))
#'(lambda (object)
(not (eql (funcall reader-function object) unbound-value)))))))
;; Slot has no unbound state
(#'(lambda (object) (declare (ignore object)) t))))
+(defmethod slot-writable-p ((slotd effective-virtual-slot-definition))
+ (slot-boundp slotd 'setter))
+
(define-condition unwritable-slot (cell-error)
((instance :reader unwritable-slot-instance :initarg :instance))
(:report (lambda (condition stream)
(cell-error-name condition)
(unwritable-slot-instance condition)))))
+(defmethod compute-slot-writer-function :around ((slotd effective-virtual-slot-definition))
+ (if (not (slot-writable-p slotd))
+ #'(lambda (value object)
+ (declare (ignore value))
+ (error 'unwritable-slot :name (slot-definition-name slotd) :instance object))
+ (call-next-method)))
+
(defmethod compute-slot-writer-function ((slotd effective-virtual-slot-definition))
- (if (slot-boundp slotd 'setter)
- (slot-value slotd 'setter)
- #'(lambda (value object)
- (declare (ignore value))
- (error 'unwritable-slot :name (slot-definition-name slotd) :instance object))))
+ (let ((setter (slot-value slotd 'setter)))
+ #-sbcl setter
+ #+sbcl
+ (etypecase setter
+ (symbol #'(lambda (value object) (funcall setter value object)))
+ (list #'(lambda (value object)
+ (funcall setter value object)))
+ (function setter))))
+
+(define-condition slot-can-not-be-unbound (cell-error)
+ ((instance :reader slot-can-not-be-unbound-instance :initarg :instance))
+ (:report (lambda (condition stream)
+ (format stream "~@<The slot ~S in the object ~S can not be made unbound.~@:>"
+ (cell-error-name condition)
+ (slot-can-not-be-unbound-instance condition)))))
(defmethod compute-slot-makunbound-function ((slotd effective-virtual-slot-definition))
(cond
- ((slot-boundp slotd 'makunbound) (slot-value slotd 'makunbound))
+ ((not (slot-writable-p slotd))
+ #'(lambda (object)
+ (error 'unwritable-slot :name (slot-definition-name slotd) :instance object)))
+ ((slot-boundp slotd 'makunbound)
+ (let ((makunbound (slot-value slotd 'makunbound)))
+ #-sbcl makunbound
+ #+sbcl
+ (etypecase makunbound
+ (symbol #'(lambda (object) (funcall makunbound object)))
+ (function makunbound))))
((slot-boundp slotd 'unbound)
#'(lambda (object)
(funcall (slot-value slotd 'writer-function) (slot-value slotd 'unbound) object)))
(t
#'(lambda (object)
- (error 'unwritable-slot :name (slot-definition-name slotd) :instance object)))))
+ (error 'slot-can-not-be-unbound :name (slot-definition-name slotd) :instance object)))))
#-clisp
(defmethod initialize-internal-slot-functions ((slotd effective-virtual-slot-definition))
+ #?-(sbcl>= 0 9 15) ; Delayed to avoid recursive call of finalize-inheritanze
(setf
(slot-value slotd 'reader-function) (compute-slot-reader-function slotd)
(slot-value slotd 'boundp-function) (compute-slot-boundp-function slotd)
(defmethod compute-slot-accessor-info ((slotd effective-virtual-slot-definition) type gf)
nil)
+
(defun slot-bound-in-some-p (instances slot)
(find-if
#'(lambda (ob)
(append '(:special t) (call-next-method)))
(t (call-next-method))))
-
+#?(or (not (sbcl>= 0 9 14)) (featurep :clisp))
(defmethod slot-value-using-class
- ((class virtual-slots-class) (object standard-object)
+ ((class virtual-slots-class) (object virtual-slots-object)
(slotd effective-virtual-slot-definition))
- ;; This isn't optimal when we have an unbound value, as the reader
- ;; function gets invoke twice
- (if (funcall (slot-value slotd 'boundp-function) object)
- (funcall (slot-value slotd 'reader-function) object)
- (slot-unbound class object (slot-definition-name slotd))))
+ (funcall (slot-value slotd 'reader-function) object))
+#?(or (not (sbcl>= 0 9 14)) (featurep :clisp))
(defmethod slot-boundp-using-class
- ((class virtual-slots-class) (object standard-object)
+ ((class virtual-slots-class) (object virtual-slots-object)
(slotd effective-virtual-slot-definition))
- (handler-case
- (funcall (slot-value slotd 'boundp-function) object)
- (unreadable-slot (condition)
- (declare (ignore condition))
- nil)))
+ (funcall (slot-value slotd 'boundp-function) object))
+#?(or (not (sbcl>= 0 9 14)) (featurep :clisp))
(defmethod (setf slot-value-using-class)
- (value (class virtual-slots-class) (object standard-object)
+ (value (class virtual-slots-class) (object virtual-slots-object)
(slotd effective-virtual-slot-definition))
(funcall (slot-value slotd 'writer-function) value object))
(defmethod slot-makunbound-using-class
- ((class virtual-slots-class) (object standard-object)
+ ((class virtual-slots-class) (object virtual-slots-object)
(slotd effective-virtual-slot-definition))
(funcall (slot-value slotd 'makunbound-function) object))
-;; In CLISP a class may not have been finalized when update-slots are
-;; called. So to avoid the possibility of finalize-instance beeing
-;; called recursivly we have to delay the initialization of slot
-;; functions until after an instance has been created. We therefor do
-;; it in around methods for the generic functions used to access
-;; slots.
-#+clisp
-(defmethod slot-value-using-class :around ((class virtual-slots-class) (object standard-object) (slotd effective-virtual-slot-definition))
- (unless (slot-boundp slotd 'reader-function)
- (setf
- (slot-value slotd 'reader-function) (compute-slot-reader-function slotd)
- (slot-value slotd 'boundp-function) (compute-slot-boundp-function slotd)))
- (call-next-method))
+;; In CLISP and SBCL (0.9.15 or newler) a class may not have been
+;; finalized when update-slots are called. So to avoid the possibility
+;; of finalize-instance being called recursivly we have to delay the
+;; initialization of slot functions until after an instance has been
+;; created.
+#?(or (sbcl>= 0 9 15) (featurep :clisp))
+(defmethod slot-unbound (class (slotd effective-virtual-slot-definition) (name (eql 'reader-function)))
+ (declare (ignore class))
+ (setf (slot-value slotd name) (compute-slot-reader-function slotd)))
-#+clisp
-(defmethod slot-boundp-using-class :around ((class virtual-slots-class) (object standard-object) (slotd effective-virtual-slot-definition))
- (unless (slot-boundp slotd 'boundp-function)
- (setf
- (slot-value slotd 'reader-function) (compute-slot-reader-function slotd)
- (slot-value slotd 'boundp-function) (compute-slot-boundp-function slotd)))
- (call-next-method))
-
-#+clisp
-(defmethod (setf slot-value-using-class) :around (value (class virtual-slots-class) (object standard-object) (slotd effective-virtual-slot-definition))
- (declare (ignore value))
- (unless (slot-boundp slotd 'writer-function)
- (setf
- (slot-value slotd 'writer-function) (compute-slot-writer-function slotd)))
- (call-next-method))
+#?(or (sbcl>= 0 9 15) (featurep :clisp))
+(defmethod slot-unbound (class (slotd effective-virtual-slot-definition) (name (eql 'boundp-function)))
+ (declare (ignore class))
+ (setf (slot-value slotd name) (compute-slot-boundp-function slotd)))
+
+#?(or (sbcl>= 0 9 15) (featurep :clisp))
+(defmethod slot-unbound (class (slotd effective-virtual-slot-definition) (name (eql 'writer-function)))
+ (declare (ignore class))
+ (setf (slot-value slotd name) (compute-slot-writer-function slotd)))
+
+#?(or (sbcl>= 0 9 15) (featurep :clisp))
+(defmethod slot-unbound (class (slotd effective-virtual-slot-definition) (name (eql 'makunbound-function)))
+ (declare (ignore class))
+ (setf (slot-value slotd name) (compute-slot-makunbound-function slotd)))
-#+clisp
-(defmethod slot-makunbound-using-class :around ((class virtual-slots-class) (object standard-object) (slotd effective-virtual-slot-definition))
- (unless (slot-boundp slotd 'makunbound-function)
- (setf
- (slot-value slotd 'makunbound-function)
- (compute-slot-makunbound-function slotd)))
- (call-next-method))
(defmethod validate-superclass
((class virtual-slots-class) (super standard-class))
nil)
-(defclass virtual-slots-object (standard-object)
- ())
-
-
;;; To determine if a slot should be initialized with the initform,
;;; CLISP checks whether it is unbound or not. This doesn't work with
-;;; virtual slots which does not have an unbound state, so we have to
+;;; virtual slots that does not have an unbound state, so we have to
;;; implement initform initialization in a way similar to how it is
;;; done in PCL.
#+clisp