;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-;; $Id: proxy.lisp,v 1.33 2006/02/15 09:45:41 espen Exp $
+;; $Id: proxy.lisp,v 1.39 2006/03/06 14:28:03 espen Exp $
(in-package "GLIB")
(mkbinding boundp
(slot-definition-type slotd) 'pointer)))
(funcall reader (foreign-location object))))))))
- ((multiple-value-bind (unbound-p unbound-value)
- (unbound-value (slot-definition-type slotd))
- (when unbound-p
- #'(lambda (object)
- (not (eq (funcall getter-function object) unbound-value))))))
+ ((let ((unbound-value-method
+ (find-applicable-type-method 'unbound-value
+ (slot-definition-type slotd) nil)))
+ (when unbound-value-method
+ (let ((unbound-value
+ (funcall unbound-value-method (slot-definition-type slotd))))
+ #'(lambda (object)
+ (not (eq (funcall getter-function object) unbound-value)))))))
(#'(lambda (object) (declare (ignore object)) t))))
(setf
(and
(funcall boundp-function object)
(funcall getter-function object)))))
- ((multiple-value-bind (unbound-p unbound-value)
- (unbound-value (slot-definition-type slotd))
- (let ((slot-name (slot-definition-name slotd)))
- (when unbound-p
+ ((let ((unbound-value-method
+ (find-applicable-type-method 'unbound-value
+ (slot-definition-type slotd) nil)))
+ (when unbound-value-method
+ (let ((unbound-value
+ (funcall unbound-value-method (slot-definition-type slotd)))
+ (slot-name (slot-definition-name slotd)))
#'(lambda (object)
(let ((value (funcall getter-function object)))
(if (eq value unbound-value)
(let ((boundp (most-specific-slot-value direct-slotds 'boundp)))
(unless (eq boundp *unbound-marker*)
(setf (getf initargs :boundp) boundp)))
+ ;; This is needed to avoid type expansion in SBCL version >= 0.9.8
+ #+sbcl>=0.9.8
+ (let ((type (most-specific-slot-value direct-slotds #-sbcl>=0.9.10'type #+sbcl>=0.9.10'sb-pcl::%type)))
+ (unless (eq type *unbound-marker*)
+ (setf (getf initargs :type) type)))
(nconc initargs (call-next-method))))
(direct-special-slot-definition
(append '(:special t) (call-next-method)))
(print-unreadable-object (instance stream :type t :identity nil)
(if (slot-boundp instance 'location)
(format stream "at 0x~X" (sap-int (foreign-location instance)))
- (write-string "at \"unbound\"" stream))))
+ (write-string "at <unbound>" stream))))
(defmethod initialize-instance :around ((instance proxy) &rest initargs &key &allow-other-keys)
(setf
(call-next-method))
- ;; TODO: call some C code to detect this a compile time
- (defconstant +struct-alignmen+ 4)
+ (defconstant +struct-alignmen+
+ #+sbcl (/ (sb-alien-internals:alien-type-alignment
+ (sb-alien-internals:parse-alien-type
+ 'system-area-pointer nil))
+ 8)
+ #-sbcl 4)
(defun align-offset (size)
(if (zerop (mod size +struct-alignmen+))
(foreign-size (class-of object)))
-(defmethod alien-type ((class proxy-class) &rest args)
- (declare (ignore class args))
+(define-type-method alien-type ((class proxy))
+ (declare (ignore class))
(alien-type 'pointer))
-(defmethod size-of ((class proxy-class) &rest args)
- (declare (ignore class args))
+(define-type-method size-of ((class proxy))
+ (declare (ignore class))
(size-of 'pointer))
-(defmethod from-alien-form (location (class proxy-class) &rest args)
- (declare (ignore args))
- `(ensure-proxy-instance ',(class-name class) ,location))
+(define-type-method from-alien-form ((type proxy) location)
+ (let ((class (type-expand type)))
+ `(ensure-proxy-instance ',class ,location)))
-(defmethod from-alien-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (location)
- (ensure-proxy-instance class location)))
+(define-type-method from-alien-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (location)
+ (ensure-proxy-instance class location))))
-(defmethod to-alien-form (instance (class proxy-class) &rest args)
- (declare (ignore class args))
+(define-type-method to-alien-form ((type proxy) instance)
+ (declare (ignore type))
`(foreign-location ,instance))
-(defmethod to-alien-function ((class proxy-class) &rest args)
- (declare (ignore class args))
+(define-type-method to-alien-function ((type proxy))
+ (declare (ignore type))
#'foreign-location)
-(defmethod copy-from-alien-form (location (class proxy-class) &rest args)
- (declare (ignore args))
- (let ((class-name (class-name class)))
- `(ensure-proxy-instance ',class-name
- (reference-foreign ',class-name ,location))))
-
-(defmethod copy-from-alien-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (location)
- (ensure-proxy-instance class (reference-foreign class location))))
-
-(defmethod copy-to-alien-form (instance (class proxy-class) &rest args)
- (declare (ignore args))
- `(reference-foreign ',(class-name class) (foreign-location ,instance)))
-
-(defmethod copy-to-alien-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (instance)
- (reference-foreign class (foreign-location instance))))
-
-(defmethod writer-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (instance location &optional (offset 0))
- (assert (null-pointer-p (sap-ref-sap location offset)))
- (setf
- (sap-ref-sap location offset)
- (reference-foreign class (foreign-location instance)))))
-
-(defmethod reader-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (location &optional (offset 0) weak-p)
- (declare (ignore weak-p))
- (let ((instance (sap-ref-sap location offset)))
- (unless (null-pointer-p instance)
- (ensure-proxy-instance class (reference-foreign class instance))))))
-
-(defmethod destroy-function ((class proxy-class) &rest args)
- (declare (ignore args))
- #'(lambda (location &optional (offset 0))
- (unreference-foreign class (sap-ref-sap location offset))))
-
-(defmethod unbound-value ((class proxy-class) &rest args)
- (declare (ignore args))
- (values t nil))
+(define-type-method copy-from-alien-form ((type proxy) location)
+ (let ((class (type-expand type)))
+ `(ensure-proxy-instance ',class (reference-foreign ',class ,location))))
+
+(define-type-method copy-from-alien-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (location)
+ (ensure-proxy-instance class (reference-foreign class location)))))
+
+(define-type-method copy-to-alien-form ((type proxy) instance)
+ (let ((class (type-expand type)))
+ `(reference-foreign ',class (foreign-location ,instance))))
+
+(define-type-method copy-to-alien-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (instance)
+ (reference-foreign class (foreign-location instance)))))
+
+(define-type-method writer-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (instance location &optional (offset 0))
+ (assert (null-pointer-p (sap-ref-sap location offset)))
+ (setf
+ (sap-ref-sap location offset)
+ (reference-foreign class (foreign-location instance))))))
+
+(define-type-method reader-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
+ (let ((instance (sap-ref-sap location offset)))
+ (unless (null-pointer-p instance)
+ (ensure-proxy-instance class (reference-foreign class instance)))))))
+
+(define-type-method destroy-function ((type proxy))
+ (let ((class (type-expand type)))
+ #'(lambda (location &optional (offset 0))
+ (unreference-foreign class (sap-ref-sap location offset)))))
+
+(define-type-method unbound-value ((type proxy))
+ (declare (ignore type))
+ nil)
(defun ensure-proxy-instance (class location &rest initargs)
"Returns a proxy object representing the foreign object at the give
;;;; Metaclasses used for subclasses of struct
-(defclass struct-class (proxy-class)
- ())
+(eval-when (:compile-toplevel :load-toplevel :execute)
+ (defclass struct-class (proxy-class)
+ ()))
(defmethod direct-slot-definition-class ((class struct-class) &rest initargs)
(if (not (getf initargs :allocation))
(setf (slot-value class 'size) (+ size (mod size +struct-alignmen+)))))
slots))
-(defmethod reader-function ((class struct-class) &rest args)
- (declare (ignore args))
- #'(lambda (location &optional (offset 0) weak-p)
- (let ((instance (sap-ref-sap location offset)))
- (unless (null-pointer-p instance)
- (if weak-p
- (ensure-proxy-instance class instance :weak t)
- (ensure-proxy-instance class (reference-foreign class instance)))))))
+(define-type-method callback-from-alien-form ((type struct) form)
+ (let ((class (type-expand type)))
+ `(ensure-proxy-instance ',class ,form :weak t)))
+
+(define-type-method callback-cleanup-form ((type struct) form)
+ (declare (ignore type))
+ `(invalidate-instance ,form))
+
+(define-type-method reader-function ((type struct))
+ (let ((class (type-expand type)))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (let ((instance (sap-ref-sap location offset)))
+ (unless (null-pointer-p instance)
+ (if weak-p
+ (ensure-proxy-instance class instance :weak t)
+ (ensure-proxy-instance class (reference-foreign class instance))))))))
(defclass static-struct-class (struct-class)
(declare (ignore class location))
nil)
-(defmethod reader-function ((class struct-class) &rest args)
- (declare (ignore args))
- #'(lambda (location &optional (offset 0) weak-p)
- (declare (ignore weak-p))
- (let ((instance (sap-ref-sap location offset)))
- (unless (null-pointer-p instance)
- (ensure-proxy-instance class instance :weak t)))))
-
-
;;; Pseudo type for structs which are inlined in other objects
-(defmethod size-of ((type (eql 'inlined)) &rest args)
- (declare (ignore type))
- (foreign-size (first args)))
+(deftype inlined (type) type)
-(defmethod reader-function ((type (eql 'inlined)) &rest args)
- (declare (ignore type))
- (destructuring-bind (class) args
+(define-type-method size-of ((type inlined))
+ (let ((class (second (type-expand-to 'inlined type))))
+ (foreign-size class)))
+
+(define-type-method reader-function ((type inlined))
+ (let ((class (second (type-expand-to 'inlined type))))
#'(lambda (location &optional (offset 0) weak-p)
(declare (ignore weak-p))
(ensure-proxy-instance class
(reference-foreign class (sap+ location offset))))))
-(defmethod writer-function ((type (eql 'inlined)) &rest args)
- (declare (ignore type))
- (destructuring-bind (class) args
+(define-type-method writer-function ((type inlined))
+ (let ((class (second (type-expand-to 'inlined type))))
#'(lambda (instance location &optional (offset 0))
(copy-memory (foreign-location instance) (foreign-size class) (sap+ location offset)))))
-(defmethod destroy-function ((type (eql 'inlined)) &rest args)
- (declare (ignore args))
- #'(lambda (location &optional (offset 0))
+(define-type-method destroy-function ((type inlined))
+ (declare (ignore type))
+ #'(lambda (location &optional offset)
(declare (ignore location offset))))
+
(export 'inlined)
~mdw / clg / blobdiff