-;; Common Lisp bindings for GTK+ v2.0
-;; Copyright (C) 1999-2001 Espen S. Johnsen <esj@stud.cs.uit.no>
+;; Common Lisp bindings for GTK+ v2.x
+;; Copyright 1999-2005 Espen S. Johnsen <espen@users.sf.net>
;;
-;; This library is free software; you can redistribute it and/or
-;; modify it under the terms of the GNU Lesser General Public
-;; License as published by the Free Software Foundation; either
-;; version 2 of the License, or (at your option) any later version.
+;; Permission is hereby granted, free of charge, to any person obtaining
+;; a copy of this software and associated documentation files (the
+;; "Software"), to deal in the Software without restriction, including
+;; without limitation the rights to use, copy, modify, merge, publish,
+;; distribute, sublicense, and/or sell copies of the Software, and to
+;; permit persons to whom the Software is furnished to do so, subject to
+;; the following conditions:
;;
-;; This library is distributed in the hope that it will be useful,
-;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-;; Lesser General Public License for more details.
+;; The above copyright notice and this permission notice shall be
+;; included in all copies or substantial portions of the Software.
;;
-;; You should have received a copy of the GNU Lesser General Public
-;; License along with this library; if not, write to the Free Software
-;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-;; $Id: ffi.lisp,v 1.9 2004-12-19 15:31:26 espen Exp $
+;; $Id: ffi.lisp,v 1.27 2006-02-26 15:50:32 espen Exp $
(in-package "GLIB")
(defun set-package-prefix (prefix &optional (package *package*))
(let ((package (find-package package)))
- (delete-if #'(lambda (assoc) (eq (car assoc) package)) *package-prefix*)
+ (setq *package-prefix* (delete package *package-prefix* :key #'car))
(push (cons package prefix) *package-prefix*))
prefix)
(not supplied-lambda-list)
(namep expr) (member style '(:in :in-out :return)))
(push expr lambda-list))
- (push
- (list (if (namep expr)
- (make-symbol (string expr))
- (gensym))
- expr (mklist type) style) args)))))
+ (push (list (cond
+ ((and (namep expr) (eq style :out)) expr)
+ ((namep expr) (make-symbol (string expr)))
+ ((gensym)))
+ expr type style) args)))))
(%defbinding
c-name lisp-name (or supplied-lambda-list (nreverse lambda-list))
return-type (reverse docs) (reverse args)))))
-#+cmu
+#+(or cmu sbcl)
(defun %defbinding (foreign-name lisp-name lambda-list return-type docs args)
- (ext:collect ((alien-types) (alien-bindings) (alien-parameters)
- (return-values) (cleanup-forms))
+ (collect ((alien-types) (alien-bindings) (alien-parameters)
+ (return-values) (cleanup-forms))
(dolist (arg args)
(destructuring-bind (var expr type style) arg
(let ((declaration (alien-type type))
- (cleanup (cleanup-form var type)))
+ (cleanup (cleanup-form type var)))
(cond
((member style '(:out :in-out))
(alien-parameters `(addr ,var))
(alien-bindings
`(,var ,declaration
- ,@(when (eq style :in-out)
- (list (to-alien-form expr type)))))
- (return-values (from-alien-form var type)))
+ ,@(cond
+ ((eq style :in-out) (list (to-alien-form type expr)))
+ ((eq declaration 'system-area-pointer)
+ (list '(make-pointer 0))))))
+ (return-values (from-alien-form type var)))
((eq style :return)
(alien-types declaration)
(alien-bindings
- `(,var ,declaration ,(to-alien-form expr type)))
+ `(,var ,declaration ,(to-alien-form type expr)))
(alien-parameters var)
- (return-values (from-alien-form var type)))
+ (return-values (from-alien-form type var)))
(cleanup
(alien-types declaration)
(alien-bindings
- `(,var ,declaration ,(to-alien-form expr type)))
+ `(,var ,declaration ,(to-alien-form type expr)))
(alien-parameters var)
(cleanup-forms cleanup))
(t
(alien-types declaration)
- (alien-parameters (to-alien-form expr type)))))))
+ (alien-parameters (to-alien-form type expr)))))))
(let* ((alien-name (make-symbol (string lisp-name)))
(alien-funcall `(alien-funcall ,alien-name ,@(alien-parameters))))
`(defun ,lisp-name ,lambda-list
,@docs
- (declare (optimize (ext:inhibit-warnings 3)))
+ #+cmu(declare (optimize (inhibit-warnings 3)))
+ #+sbcl(declare (muffle-conditions compiler-note))
(with-alien ((,alien-name
(function
,(alien-type return-type)
,(if return-type
`(values
(unwind-protect
- ,(from-alien-form alien-funcall return-type)
+ ,(from-alien-form return-type alien-funcall)
,@(cleanup-forms))
,@(return-values))
`(progn
;;; Creates bindings at runtime
(defun mkbinding (name return-type &rest arg-types)
- (declare (optimize (ext:inhibit-warnings 3)))
+ #+cmu(declare (optimize (inhibit-warnings 3)))
+ #+sbcl(declare (muffle-conditions compiler-note))
(let* ((ftype
`(function ,@(mapcar #'alien-type (cons return-type arg-types))))
(alien
- (alien::%heap-alien
- (alien::make-heap-alien-info
- :type (alien::parse-alien-type ftype)
- :sap-form (system:foreign-symbol-address name :flavor :code))))
+ (%heap-alien
+ (make-heap-alien-info
+ :type (parse-alien-type ftype #+sbcl nil)
+ :sap-form (let ((address (foreign-symbol-address name)))
+ (etypecase address
+ (integer (int-sap address))
+ (system-area-pointer address))))))
(translate-arguments (mapcar #'to-alien-function arg-types))
(translate-return-value (from-alien-function return-type))
(cleanup-arguments (mapcar #'cleanup-function arg-types)))
(map-into args #'funcall translate-arguments args)
(prog1
(funcall translate-return-value
- (apply #'alien:alien-funcall alien args))
+ (apply #'alien-funcall alien args))
(mapc #'funcall cleanup-arguments args)))))
-(defmacro defcallback (name (return-type &rest args) &body body)
- `(def-callback ,name
- (,(alien-type return-type)
- ,@(mapcar #'(lambda (arg)
- (destructuring-bind (name type) arg
- `(,name ,(alien-type type))))
- args))
- ,(to-alien-form
- `(let (,@(mapcar #'(lambda (arg)
- (destructuring-bind (name type) arg
- `(,name ,(from-alien-form name type))))
- args))
- ,@body)
- return-type)))
-
-
-
-;;;; Definitons and translations of fundamental types
-
-(defmacro def-type-method (name args &optional documentation)
- `(progn
- (defgeneric ,name (,@args type &rest args)
- ,@(when documentation `((:documentation ,documentation))))
- (defmethod ,name (,@args (type symbol) &rest args)
- (let ((class (find-class type nil)))
- (if class
- (apply #',name ,@args class args)
- (multiple-value-bind (super-type expanded-p)
- (type-expand-1 (cons type args))
- (if expanded-p
- (,name ,@args super-type)
- (call-next-method))))))
- (defmethod ,name (,@args (type cons) &rest args)
- (declare (ignore args))
- (apply #',name ,@args (first type) (rest type)))))
-
-(def-type-method alien-type ())
-(def-type-method size-of ())
-(def-type-method to-alien-form (form))
-(def-type-method from-alien-form (form))
-(def-type-method cleanup-form (form)
+;;;; C callbacks
+
+(defmacro define-callback (name return-type args &body body)
+ (let ((define-callback
+ #+cmu'alien:def-callback
+ #+(and sbcl alien-callbacks)'sb-alien::define-alien-callback
+ #+(and sbcl (not alien-callbacks))'sb-alien:define-alien-function))
+ (multiple-value-bind (doc declaration body)
+ (cond
+ ((and (stringp (first body)) (eq (cadr body) 'declare))
+ (values (first body) (second body) (cddr body)))
+ ((stringp (first body))
+ (values (first body) nil (rest body)))
+ ((eq (caar body) 'declare)
+ (values nil (first body) (rest body)))
+ (t (values nil nil body)))
+ `(progn
+ #+cmu(defparameter ,name nil)
+ (,define-callback ,name
+ #+(and sbcl alien-callbacks),(alien-type return-type)
+ (#+(or cmu (and sbcl (not alien-callbacks))),(alien-type return-type)
+ ,@(mapcar #'(lambda (arg)
+ (destructuring-bind (name type) arg
+ `(,name ,(alien-type type))))
+ args))
+ ,@(when doc (list doc))
+ ,(to-alien-form return-type
+ `(let (,@(loop
+ for (name type) in args
+ as from-alien-form = (callback-from-alien-form type name)
+ collect `(,name ,from-alien-form)))
+ ,@(when declaration (list declaration))
+ (unwind-protect
+ (progn ,@body)
+ ,@(loop
+ for (name type) in args
+ do (callback-cleanup-form type name))))))))))
+
+(defun callback-address (callback)
+ #+cmu(alien::callback-trampoline callback)
+ #+(and sbcl (not alien-callbacks))(sb-alien:alien-function-sap callback)
+ #+(and sbcl alien-callbacks)(sb-alien:alien-sap callback))
+
+#+sbcl
+(deftype callback ()
+ #-alien-callbacks'sb-alien:alien-function
+ #+alien-callbacks'sb-alien:alien)
+
+
+;;; These are for backward compatibility
+
+(defmacro defcallback (name (return-type &rest args) &body body)
+ `(define-callback ,name ,return-type ,args ,@body))
+
+#-cmu
+(defun callback (callback)
+ (callback-address callback))
+
+
+
+;;;; The "type method" system
+
+(defun find-applicable-type-method (name type-spec &optional (error-p t))
+ (let ((type-methods (get name 'type-methods)))
+ (labels ((search-method-in-cpl-order (classes)
+ (when classes
+ (or
+ (gethash (class-name (first classes)) type-methods)
+ (search-method-in-cpl-order (rest classes)))))
+ (lookup-method (type-spec)
+ (if (and (symbolp type-spec) (find-class type-spec nil))
+ (search-method-in-cpl-order
+ (class-precedence-list (find-class type-spec)))
+ (or
+ (let ((specifier (etypecase type-spec
+ (symbol type-spec)
+ (list (first type-spec)))))
+ (gethash specifier type-methods))
+ (multiple-value-bind (expanded-type expanded-p)
+ (type-expand-1 type-spec)
+ (when expanded-p
+ (lookup-method expanded-type))))))
+ (search-built-in-type-hierarchy (sub-tree)
+ (when (subtypep type-spec (first sub-tree))
+ (or
+ (search-nodes (cddr sub-tree))
+ (second sub-tree))))
+ (search-nodes (nodes)
+ (loop
+ for node in nodes
+ as function = (search-built-in-type-hierarchy node)
+ until function
+ finally (return function))))
+ (or
+ (lookup-method type-spec)
+ ;; This is to handle unexpandable types whichs doesn't name a class
+ (unless (and (symbolp type-spec) (find-class type-spec nil))
+ (search-nodes (get name 'built-in-type-hierarchy)))
+ (and
+ error-p
+ (error "No applicable type method for ~A when call width type specifier ~A" name type-spec))))))
+
+
+(defun insert-type-in-hierarchy (specifier function nodes)
+ (cond
+ ((let ((node (find specifier nodes :key #'first)))
+ (when node
+ (setf (second node) function)
+ nodes)))
+ ((let ((node
+ (find-if
+ #'(lambda (node)
+ (subtypep specifier (first node)))
+ nodes)))
+ (when node
+ (setf (cddr node)
+ (insert-type-in-hierarchy specifier function (cddr node)))
+ nodes)))
+ ((let ((sub-nodes (remove-if-not
+ #'(lambda (node)
+ (subtypep (first node) specifier))
+ nodes)))
+ (cons
+ (list* specifier function sub-nodes)
+ (nset-difference nodes sub-nodes))))))
+
+
+(defun add-type-method (name specifier function)
+ (setf (gethash specifier (get name 'type-methods)) function)
+ (when (typep (find-class specifier nil) 'built-in-class)
+ (setf (get name 'built-in-type-hierarchy)
+ (insert-type-in-hierarchy specifier function
+ (get name 'built-in-type-hierarchy)))))
+
+
+;; TODO: handle optional, key and rest arguments
+(defmacro define-type-generic (name lambda-list &optional documentation)
+ (if (or
+ (not lambda-list)
+ (find (first lambda-list) '(&optional &key &rest &allow-other-keys)))
+ (error "A type generic needs at least one required argument")
+ `(progn
+ (setf (get ',name 'type-methods) (make-hash-table))
+ (setf (get ',name 'built-in-type-hierarchy) ())
+ (defun ,name ,lambda-list
+ ,documentation
+ (funcall
+ (find-applicable-type-method ',name ,(first lambda-list))
+ ,@lambda-list)))))
+
+
+(defmacro define-type-method (name lambda-list &body body)
+ (let ((specifier (cadar lambda-list))
+ (args (cons (caar lambda-list) (rest lambda-list))))
+ `(progn
+ (add-type-method ',name ',specifier #'(lambda ,args ,@body))
+ ',name)))
+
+
+
+;;;; Definitons and translations of fundamental types
+
+(define-type-generic alien-type (type-spec))
+(define-type-generic size-of (type-spec))
+(define-type-generic to-alien-form (type-spec form))
+(define-type-generic from-alien-form (type-spec form))
+(define-type-generic cleanup-form (type-spec form)
"Creates a form to clean up after the alien call has finished.")
+(define-type-generic callback-from-alien-form (type-spec form))
+(define-type-generic callback-cleanup-form (type-spec form))
-(def-type-method to-alien-function ())
-(def-type-method from-alien-function ())
-(def-type-method cleanup-function ())
+(define-type-generic to-alien-function (type-spec))
+(define-type-generic from-alien-function (type-spec))
+(define-type-generic cleanup-function (type-spec))
-(def-type-method copy-to-alien-form (form))
-(def-type-method copy-to-alien-function ())
-(def-type-method copy-from-alien-form (form))
-(def-type-method copy-from-alien-function ())
+(define-type-generic copy-to-alien-form (type-spec form))
+(define-type-generic copy-to-alien-function (type-spec))
+(define-type-generic copy-from-alien-form (type-spec form))
+(define-type-generic copy-from-alien-function (type-spec))
+(define-type-generic writer-function (type-spec))
+(define-type-generic reader-function (type-spec))
+(define-type-generic destroy-function (type-spec))
-(def-type-method writer-function ())
-(def-type-method reader-function ())
-(def-type-method destroy-function ())
+(define-type-generic unbound-value (type-spec)
+ "Returns a value which should be intepreted as unbound for slots with virtual allocation")
;; Sizes of fundamental C types in bytes (8 bits)
(deftype unsigned (&optional (size '*)) `(unsigned-byte ,size))
(deftype char () 'base-char)
(deftype pointer () 'system-area-pointer)
-(deftype boolean (&optional (size '*)) (declare (ignore size)) `(member t nil))
-;(deftype invalid () nil)
+(deftype boolean (&optional (size '*)) (declare (ignore size)) t)
+(deftype copy-of (type) type)
+(define-type-method alien-type ((type t))
+ (error "No alien type corresponding to the type specifier ~A" type))
-(defmethod to-alien-form (form (type t) &rest args)
- (declare (ignore type args))
- form)
+(define-type-method to-alien-form ((type t) form)
+ (declare (ignore form))
+ (error "Not a valid type specifier for arguments: ~A" type))
-(defmethod to-alien-function ((type t) &rest args)
- (declare (ignore type args))
- #'identity)
+(define-type-method to-alien-function ((type t))
+ (error "Not a valid type specifier for arguments: ~A" type))
-(defmethod from-alien-form (form (type t) &rest args)
- (declare (ignore type args))
- form)
+(define-type-method from-alien-form ((type t) form)
+ (declare (ignore form))
+ (error "Not a valid type specifier for return values: ~A" type))
-(defmethod from-alien-function ((type t) &rest args)
- (declare (ignore type args))
- #'identity)
+(define-type-method from-alien-function ((type t))
+ (error "Not a valid type specifier for return values: ~A" type))
-(defmethod cleanup-form (form (type t) &rest args)
- (declare (ignore form type args))
+(define-type-method cleanup-form ((type t) form)
+ (declare (ignore form type))
nil)
-(defmethod cleanup-function ((type t) &rest args)
- (declare (ignore type args))
+(define-type-method cleanup-function ((type t))
+ (declare (ignore type))
#'identity)
-(defmethod destroy-function ((type t) &rest args)
- (declare (ignore type args))
+(define-type-method callback-from-alien-form ((type t) form)
+ (copy-from-alien-form type form))
+
+(define-type-method callback-cleanup-form ((type t) form)
+ (declare (ignore form type))
+ nil)
+
+(define-type-method destroy-function ((type t))
+ (declare (ignore type))
#'(lambda (location &optional offset)
(declare (ignore location offset))))
-(defmethod copy-to-alien-form (form (type t) &rest args)
- (apply #'to-alien-form form type args))
+(define-type-method copy-to-alien-form ((type t) form)
+ (to-alien-form type form))
-(defmethod copy-to-alien-function ((type t) &rest args)
- (apply #'to-alien-function type args))
+(define-type-method copy-to-alien-function ((type t))
+ (to-alien-function type))
-(defmethod copy-from-alien-form (form (type t) &rest args)
- (apply #'from-alien-form form type args))
+(define-type-method copy-from-alien-form ((type t) form)
+ (from-alien-form type form))
-(defmethod copy-from-alien-function ((type t) &rest args)
- (apply #'from-alien-function type args))
+(define-type-method copy-from-alien-function ((type t))
+ (from-alien-function type))
-(defmethod alien-type ((type (eql 'signed-byte)) &rest args)
+(define-type-method to-alien-form ((type real) form)
(declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
- (ecase size
- (#.+bits-of-byte+ '(signed-byte 8))
- (#.+bits-of-short+ 'c-call:short)
- ((* #.+bits-of-int+) 'c-call:int)
- (#.+bits-of-long+ 'c-call:long))))
+ form)
+
+(define-type-method to-alien-function ((type real))
+ (declare (ignore type))
+ #'identity)
+
+(define-type-method from-alien-form ((type real) form)
+ (declare (ignore type))
+ form)
-(defmethod size-of ((type (eql 'signed-byte)) &rest args)
+(define-type-method from-alien-function ((type real))
(declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
+ #'identity)
+
+
+(define-type-method alien-type ((type integer))
+ (declare (ignore type))
+ (alien-type 'signed-byte))
+
+(define-type-method size-of ((type integer))
+ (declare (ignore type))
+ (size-of 'signed-byte))
+
+(define-type-method writer-function ((type integer))
+ (declare (ignore type))
+ (writer-function 'signed-byte))
+
+(define-type-method reader-function ((type integer))
+ (declare (ignore type))
+ (reader-function 'signed-byte))
+
+
+(define-type-method alien-type ((type signed-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'signed-byte type)))
+ (ecase size
+ (#.+bits-of-byte+ #+cmu'(alien:signed 8) #+sbcl'(sb-alien:signed 8))
+ (#.+bits-of-short+ #+cmu 'c-call:short #+sbcl 'sb-alien:short)
+ ((* #.+bits-of-int+) #+cmu 'c-call:int #+sbcl 'sb-alien:int)
+ (#.+bits-of-long+ #+cmu 'c-call:long #+sbcl 'sb-alien:long))))
+
+(define-type-method size-of ((type signed-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'signed-byte type)))
(ecase size
(#.+bits-of-byte+ 1)
(#.+bits-of-short+ +size-of-short+)
((* #.+bits-of-int+) +size-of-int+)
(#.+bits-of-long+ +size-of-long+))))
-(defmethod writer-function ((type (eql 'signed-byte)) &rest args)
- (declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
+(define-type-method writer-function ((type signed-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'signed-byte type)))
(let ((size (if (eq size '*) +bits-of-int+ size)))
(ecase size
(8 #'(lambda (value location &optional (offset 0))
(64 #'(lambda (value location &optional (offset 0))
(setf (signed-sap-ref-64 location offset) value)))))))
-(defmethod reader-function ((type (eql 'signed-byte)) &rest args)
- (declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
+(define-type-method reader-function ((type signed-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'signed-byte type)))
(let ((size (if (eq size '*) +bits-of-int+ size)))
(ecase size
- (8 #'(lambda (sap &optional (offset 0))
+ (8 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(signed-sap-ref-8 sap offset)))
- (16 #'(lambda (sap &optional (offset 0))
+ (16 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(signed-sap-ref-16 sap offset)))
- (32 #'(lambda (sap &optional (offset 0))
+ (32 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(signed-sap-ref-32 sap offset)))
- (64 #'(lambda (sap &optional (offset 0))
+ (64 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(signed-sap-ref-64 sap offset)))))))
-(defmethod alien-type ((type (eql 'unsigned-byte)) &rest args)
- (destructuring-bind (&optional (size '*)) args
- (ecase size
- (#.+bits-of-byte+ '(unsigned-byte 8))
- (#.+bits-of-short+ 'c-call:unsigned-short)
- ((* #.+bits-of-int+) 'c-call:unsigned-int)
- (#.+bits-of-long+ 'c-call:unsigned-long))))
-
-(defmethod size-of ((type (eql 'unsigned-byte)) &rest args)
- (apply #'size-of 'signed args))
-(defmethod writer-function ((type (eql 'unsigned-byte)) &rest args)
- (declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
+(define-type-method alien-type ((type unsigned-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'unsigned-byte type)))
+ (ecase size
+ (#.+bits-of-byte+ #+cmu'(alien:unsigned 8) #+sbcl'(sb-alien:unsigned 8))
+ (#.+bits-of-short+ #+cmu 'c-call:unsigned-short
+ #+sbcl 'sb-alien:unsigned-short)
+ ((* #.+bits-of-int+) #+cmu 'c-call:unsigned-int
+ #+sbcl 'sb-alien:unsigned-int)
+ (#.+bits-of-long+ #+cmu 'c-call:unsigned-long
+ #+sbcl 'sb-alien:unsigned-long))))
+
+
+(define-type-method size-of ((type unsigned-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'unsigned-byte type)))
+ (size-of `(signed ,size))))
+
+(define-type-method writer-function ((type unsigned-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'unsigned-byte type)))
(let ((size (if (eq size '*) +bits-of-int+ size)))
(ecase size
(8 #'(lambda (value location &optional (offset 0))
(64 #'(lambda (value location &optional (offset 0))
(setf (sap-ref-64 location offset) value)))))))
-(defmethod reader-function ((type (eql 'unsigned-byte)) &rest args)
- (declare (ignore type))
- (destructuring-bind (&optional (size '*)) args
+(define-type-method reader-function ((type unsigned-byte))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'unsigned-byte type)))
(let ((size (if (eq size '*) +bits-of-int+ size)))
(ecase size
- (8 #'(lambda (sap &optional (offset 0))
+ (8 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-8 sap offset)))
- (16 #'(lambda (sap &optional (offset 0))
+ (16 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-16 sap offset)))
- (32 #'(lambda (sap &optional (offset 0))
+ (32 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-32 sap offset)))
- (64 #'(lambda (sap &optional (offset 0))
+ (64 #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-64 sap offset)))))))
-
-
-(defmethod alien-type ((type (eql 'integer)) &rest args)
- (declare (ignore type args))
- (alien-type 'signed-byte))
-(defmethod size-of ((type (eql 'integer)) &rest args)
- (declare (ignore type args))
- (size-of 'signed-byte))
-
-(defmethod writer-function ((type (eql 'integer)) &rest args)
- (declare (ignore type args))
- (writer-function 'signed-byte))
-
-(defmethod reader-function ((type (eql 'integer)) &rest args)
- (declare (ignore type args))
- (reader-function 'signed-byte))
-
-
-(defmethod alien-type ((type (eql 'fixnum)) &rest args)
- (declare (ignore type args))
- (alien-type 'signed-byte))
-
-(defmethod size-of ((type (eql 'fixnum)) &rest args)
- (declare (ignore type args))
- (size-of 'signed-byte))
+(define-type-method alien-type ((type single-float))
+ (declare (ignore type))
+ #+cmu 'alien:single-float #+sbcl 'sb-alien:single-float)
+(define-type-method size-of ((type single-float))
+ (declare (ignore type))
+ +size-of-float+)
-(defmethod alien-type ((type (eql 'single-float)) &rest args)
- (declare (ignore type args))
- 'alien:single-float)
+(define-type-method to-alien-form ((type single-float) form)
+ (declare (ignore type))
+ `(coerce ,form 'single-float))
-(defmethod size-of ((type (eql 'single-float)) &rest args)
- (declare (ignore type args))
- +size-of-float+)
+(define-type-method to-alien-function ((type single-float))
+ (declare (ignore type))
+ #'(lambda (number)
+ (coerce number 'single-float)))
-(defmethod writer-function ((type (eql 'single-float)) &rest args)
- (declare (ignore type args))
+(define-type-method writer-function ((type single-float))
+ (declare (ignore type))
#'(lambda (value location &optional (offset 0))
(setf (sap-ref-single location offset) (coerce value 'single-float))))
-(defmethod reader-function ((type (eql 'single-float)) &rest args)
- (declare (ignore type args))
- #'(lambda (sap &optional (offset 0))
+(define-type-method reader-function ((type single-float))
+ (declare (ignore type))
+ #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-single sap offset)))
-(defmethod alien-type ((type (eql 'double-float)) &rest args)
- (declare (ignore type args))
- 'alien:double-float)
+(define-type-method alien-type ((type double-float))
+ (declare (ignore type))
+ #+cmu 'alien:double-float #+sbcl 'sb-alien:double-float)
-(defmethod size-of ((type (eql 'double-float)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type double-float))
+ (declare (ignore type))
+size-of-double+)
-(defmethod writer-function ((type (eql 'double-float)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-form ((type double-float) form)
+ (declare (ignore type))
+ `(coerce ,form 'double-float))
+
+(define-type-method to-alien-function ((type double-float))
+ (declare (ignore type))
+ #'(lambda (number)
+ (coerce number 'double-float)))
+
+(define-type-method writer-function ((type double-float))
+ (declare (ignore type))
#'(lambda (value location &optional (offset 0))
(setf (sap-ref-double location offset) (coerce value 'double-float))))
-(defmethod reader-function ((type (eql 'double-float)) &rest args)
- (declare (ignore type args))
- #'(lambda (sap &optional (offset 0))
+(define-type-method reader-function ((type double-float))
+ (declare (ignore type))
+ #'(lambda (sap &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-double sap offset)))
-(defmethod alien-type ((type (eql 'base-char)) &rest args)
- (declare (ignore type args))
- 'c-call:char)
+(define-type-method alien-type ((type base-char))
+ (declare (ignore type))
+ #+cmu 'c-call:char #+sbcl 'sb-alien:char)
-(defmethod size-of ((type (eql 'base-char)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type base-char))
+ (declare (ignore type))
1)
-(defmethod writer-function ((type (eql 'base-char)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-form ((type base-char) form)
+ (declare (ignore type))
+ form)
+
+(define-type-method to-alien-function ((type base-char))
+ (declare (ignore type))
+ #'identity)
+
+(define-type-method from-alien-form ((type base-char) form)
+ (declare (ignore type))
+ form)
+
+(define-type-method from-alien-function ((type base-char))
+ (declare (ignore type))
+ #'identity)
+
+(define-type-method writer-function ((type base-char))
+ (declare (ignore type))
#'(lambda (char location &optional (offset 0))
(setf (sap-ref-8 location offset) (char-code char))))
-(defmethod reader-function ((type (eql 'base-char)) &rest args)
- (declare (ignore type args))
- #'(lambda (location &optional (offset 0))
+(define-type-method reader-function ((type base-char))
+ (declare (ignore type))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(code-char (sap-ref-8 location offset))))
-(defmethod alien-type ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method alien-type ((type string))
+ (declare (ignore type))
(alien-type 'pointer))
-(defmethod size-of ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type string))
+ (declare (ignore type))
(size-of 'pointer))
-(defmethod to-alien-form (string (type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-form ((type string) string)
+ (declare (ignore type))
`(let ((string ,string))
;; Always copy strings to prevent seg fault due to GC
+ #+cmu
(copy-memory
- (make-pointer (1+ (kernel:get-lisp-obj-address string)))
- (1+ (length string)))))
+ (vector-sap (coerce string 'simple-base-string))
+ (1+ (length string)))
+ #+sbcl
+ (let ((utf8 (%deport-utf8-string string)))
+ (copy-memory (vector-sap utf8) (length utf8)))))
-(defmethod to-alien-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-function ((type string))
+ (declare (ignore type))
#'(lambda (string)
+ #+cmu
(copy-memory
- (make-pointer (1+ (kernel:get-lisp-obj-address string)))
- (1+ (length string)))))
+ (vector-sap (coerce string 'simple-base-string))
+ (1+ (length string)))
+ #+sbcl
+ (let ((utf8 (%deport-utf8-string string)))
+ (copy-memory (vector-sap utf8) (length utf8)))))
-(defmethod from-alien-form (string (type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-form ((type string) string)
+ (declare (ignore type))
`(let ((string ,string))
(unless (null-pointer-p string)
(prog1
- (c-call::%naturalize-c-string string)
+ #+cmu(%naturalize-c-string string)
+ #+sbcl(%naturalize-utf8-string string)
(deallocate-memory string)))))
-(defmethod from-alien-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-function ((type string))
+ (declare (ignore type))
#'(lambda (string)
(unless (null-pointer-p string)
(prog1
- (c-call::%naturalize-c-string string)
+ #+cmu(%naturalize-c-string string)
+ #+sbcl(%naturalize-utf8-string string)
(deallocate-memory string)))))
-(defmethod cleanup-form (string (type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method cleanup-form ((type string) string)
+ (declare (ignore type))
`(let ((string ,string))
(unless (null-pointer-p string)
(deallocate-memory string))))
-(defmethod cleanup-function ((type (eql 'string)) &rest args)
- (declare (ignore args))
+(define-type-method cleanup-function ((type string))
+ (declare (ignore type))
#'(lambda (string)
(unless (null-pointer-p string)
(deallocate-memory string))))
-(defmethod copy-from-alien-form (string (type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method copy-from-alien-form ((type string) string)
+ (declare (ignore type))
`(let ((string ,string))
(unless (null-pointer-p string)
- (c-call::%naturalize-c-string string))))
+ #+cmu(%naturalize-c-string string)
+ #+sbcl(%naturalize-utf8-string string))))
-(defmethod copy-from-alien-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method copy-from-alien-function ((type string))
+ (declare (ignore type))
#'(lambda (string)
(unless (null-pointer-p string)
- (c-call::%naturalize-c-string string))))
+ #+cmu(%naturalize-c-string string)
+ #+sbcl(%naturalize-utf8-string string))))
-(defmethod writer-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method writer-function ((type string))
+ (declare (ignore type))
#'(lambda (string location &optional (offset 0))
(assert (null-pointer-p (sap-ref-sap location offset)))
(setf (sap-ref-sap location offset)
+ #+cmu
(copy-memory
- (make-pointer (1+ (kernel:get-lisp-obj-address string)))
- (1+ (length string))))))
+ (vector-sap (coerce string 'simple-base-string))
+ (1+ (length string)))
+ #+sbcl
+ (let ((utf8 (%deport-utf8-string string)))
+ (copy-memory (vector-sap utf8) (length utf8))))))
-(defmethod reader-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
- #'(lambda (location &optional (offset 0))
+(define-type-method reader-function ((type string))
+ (declare (ignore type))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(unless (null-pointer-p (sap-ref-sap location offset))
- (c-call::%naturalize-c-string (sap-ref-sap location offset)))))
+ #+cmu(%naturalize-c-string (sap-ref-sap location offset))
+ #+sbcl(%naturalize-utf8-string (sap-ref-sap location offset)))))
-(defmethod destroy-function ((type (eql 'string)) &rest args)
- (declare (ignore type args))
+(define-type-method destroy-function ((type string))
+ (declare (ignore type))
#'(lambda (location &optional (offset 0))
(unless (null-pointer-p (sap-ref-sap location offset))
(deallocate-memory (sap-ref-sap location offset))
(setf (sap-ref-sap location offset) (make-pointer 0)))))
+(define-type-method unbound-value ((type string))
+ (declare (ignore type))
+ nil)
+
-(defmethod alien-type ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method alien-type ((type pathname))
+ (declare (ignore type))
(alien-type 'string))
-(defmethod size-of ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type pathname))
+ (declare (ignore type))
(size-of 'string))
-(defmethod to-alien-form (path (type (eql 'pathname)) &rest args)
- (declare (ignore type args))
- (to-alien-form `(namestring (translate-logical-pathname ,path)) 'string))
+(define-type-method to-alien-form ((type pathname) path)
+ (declare (ignore type))
+ (to-alien-form 'string `(namestring (translate-logical-pathname ,path))))
-(defmethod to-alien-function ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-function ((type pathname))
+ (declare (ignore type))
(let ((string-function (to-alien-function 'string)))
#'(lambda (path)
(funcall string-function (namestring path)))))
-(defmethod from-alien-form (string (type (eql 'pathname)) &rest args)
- (declare (ignore type args))
- `(parse-namestring ,(from-alien-form string 'string)))
+(define-type-method from-alien-form ((type pathname) string)
+ (declare (ignore type))
+ `(parse-namestring ,(from-alien-form 'string string)))
-(defmethod from-alien-function ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-function ((type pathname))
+ (declare (ignore type))
(let ((string-function (from-alien-function 'string)))
#'(lambda (string)
(parse-namestring (funcall string-function string)))))
-(defmethod cleanup-form (string (type (eql 'pathnanme)) &rest args)
- (declare (ignore type args))
- (cleanup-form string 'string))
+(define-type-method cleanup-form ((type pathnanme) string)
+ (declare (ignore type))
+ (cleanup-form 'string string))
-(defmethod cleanup-function ((type (eql 'pathnanme)) &rest args)
- (declare (ignore type args))
+(define-type-method cleanup-function ((type pathnanme))
+ (declare (ignore type))
(cleanup-function 'string))
-(defmethod writer-function ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method writer-function ((type pathname))
+ (declare (ignore type))
(let ((string-writer (writer-function 'string)))
#'(lambda (path location &optional (offset 0))
(funcall string-writer (namestring path) location offset))))
-(defmethod reader-function ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method reader-function ((type pathname))
+ (declare (ignore type))
(let ((string-reader (reader-function 'string)))
- #'(lambda (location &optional (offset 0))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(let ((string (funcall string-reader location offset)))
(when string
(parse-namestring string))))))
-(defmethod destroy-function ((type (eql 'pathname)) &rest args)
- (declare (ignore type args))
+(define-type-method destroy-function ((type pathname))
+ (declare (ignore type))
(destroy-function 'string))
+(define-type-method unbound-value ((type pathname))
+ (declare (ignore type))
+ (unbound-value 'string))
+
-(defmethod alien-type ((type (eql 'boolean)) &rest args)
- (apply #'alien-type 'signed-byte args))
+(define-type-method alien-type ((type boolean))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'boolean type)))
+ (alien-type `(signed-byte ,size))))
-(defmethod size-of ((type (eql 'boolean)) &rest args)
- (apply #'size-of 'signed-byte args))
+(define-type-method size-of ((type boolean))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'boolean type)))
+ (size-of `(signed-byte ,size))))
-(defmethod to-alien-form (boolean (type (eql 'boolean)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-form ((type boolean) boolean)
+ (declare (ignore type))
`(if ,boolean 1 0))
-(defmethod to-alien-function ((type (eql 'boolean)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-function ((type boolean))
+ (declare (ignore type))
#'(lambda (boolean)
(if boolean 1 0)))
-(defmethod from-alien-form (boolean (type (eql 'boolean)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-form ((type boolean) boolean)
+ (declare (ignore type))
`(not (zerop ,boolean)))
-(defmethod from-alien-function ((type (eql 'boolean)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-function ((type boolean))
+ (declare (ignore type))
#'(lambda (boolean)
(not (zerop boolean))))
-(defmethod writer-function ((type (eql 'boolean)) &rest args)
- (declare (ignore type))
- (let ((writer (apply #'writer-function 'signed-byte args)))
- #'(lambda (boolean location &optional (offset 0))
- (funcall writer (if boolean 1 0) location offset))))
-
-(defmethod reader-function ((type (eql 'boolean)) &rest args)
- (declare (ignore type))
- (let ((reader (apply #'reader-function 'signed-byte args)))
- #'(lambda (location &optional (offset 0))
- (not (zerop (funcall reader location offset))))))
-
-
-(defmethod alien-type ((type (eql 'or)) &rest args)
- (let ((alien-type (alien-type (first args))))
+(define-type-method writer-function ((type boolean))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'boolean type)))
+ (let ((writer (writer-function `(signed-byte ,size))))
+ #'(lambda (boolean location &optional (offset 0))
+ (funcall writer (if boolean 1 0) location offset)))))
+
+(define-type-method reader-function ((type boolean))
+ (destructuring-bind (&optional (size '*))
+ (rest (mklist (type-expand-to 'boolean type)))
+ (let ((reader (reader-function `(signed-byte ,size))))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
+ (not (zerop (funcall reader location offset)))))))
+
+
+(define-type-method alien-type ((type or))
+ (let* ((expanded-type (type-expand-to 'or type))
+ (alien-type (alien-type (second expanded-type))))
(unless (every #'(lambda (type)
(eq alien-type (alien-type type)))
- (rest args))
- (error "No common alien type specifier for union type: ~A"
- (cons type args)))
+ (cddr expanded-type))
+ (error "No common alien type specifier for union type: ~A" type))
alien-type))
-(defmethod size-of ((type (eql 'or)) &rest args)
- (declare (ignore type))
- (size-of (first args)))
+(define-type-method size-of ((type or))
+ (size-of (second (type-expand-to 'or type))))
-(defmethod to-alien-form (form (type (eql 'or)) &rest args)
- (declare (ignore type))
+(define-type-method to-alien-form ((type or) form)
`(let ((value ,form))
- (etypecase value
- ,@(mapcar
- #'(lambda (type)
- `(,type ,(to-alien-form 'value type)))
- args))))
-
-(defmethod to-alien-function ((type (eql 'or)) &rest types)
- (declare (ignore type))
- (let ((functions (mapcar #'to-alien-function types)))
+ (etypecase value
+ ,@(mapcar
+ #'(lambda (type)
+ `(,type ,(to-alien-form type 'value)))
+ (rest (type-expand-to 'or type))))))
+
+(define-type-method to-alien-function ((type or))
+ (let* ((expanded-type (type-expand-to 'or type))
+ (functions (mapcar #'to-alien-function (rest expanded-type))))
#'(lambda (value)
(loop
for function in functions
- for type in types
- when (typep value type)
+ for alt-type in (rest expanded-type)
+ when (typep value alt-type)
do (return (funcall function value))
- finally (error "~S is not of type ~A" value `(or ,@types))))))
+ finally (error "~S is not of type ~A" value type)))))
+
-(defmethod alien-type ((type (eql 'system-area-pointer)) &rest args)
- (declare (ignore type args))
+(define-type-method alien-type ((type pointer))
+ (declare (ignore type))
'system-area-pointer)
-(defmethod size-of ((type (eql 'system-area-pointer)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type pointer))
+ (declare (ignore type))
+size-of-pointer+)
-(defmethod writer-function ((type (eql 'system-area-pointer)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-form ((type pointer) form)
+ (declare (ignore type))
+ form)
+
+(define-type-method to-alien-function ((type pointer))
+ (declare (ignore type))
+ #'identity)
+
+(define-type-method from-alien-form ((type pointer) form)
+ (declare (ignore type))
+ form)
+
+(define-type-method from-alien-function ((type pointer))
+ (declare (ignore type))
+ #'identity)
+
+(define-type-method writer-function ((type pointer))
+ (declare (ignore type))
#'(lambda (sap location &optional (offset 0))
(setf (sap-ref-sap location offset) sap)))
-(defmethod reader-function ((type (eql 'system-area-pointer)) &rest args)
- (declare (ignore type args))
- #'(lambda (location &optional (offset 0))
+(define-type-method reader-function ((type pointer))
+ (declare (ignore type))
+ #'(lambda (location &optional (offset 0) weak-p)
+ (declare (ignore weak-p))
(sap-ref-sap location offset)))
-(defmethod alien-type ((type (eql 'null)) &rest args)
- (declare (ignore type args))
+(define-type-method alien-type ((type null))
+ (declare (ignore type))
(alien-type 'pointer))
-(defmethod size-of ((type (eql 'null)) &rest args)
- (declare (ignore type args))
+(define-type-method size-of ((type null))
+ (declare (ignore type))
(size-of 'pointer))
-(defmethod to-alien-form (null (type (eql 'null)) &rest args)
- (declare (ignore null type args))
+(define-type-method to-alien-form ((type null) null)
+ (declare (ignore null type))
`(make-pointer 0))
-(defmethod to-alien-function ((type (eql 'null)) &rest args)
- (declare (ignore type args))
+(define-type-method to-alien-function ((type null))
+ (declare (ignore type))
#'(lambda (null)
(declare (ignore null))
(make-pointer 0)))
-(defmethod alien-type ((type (eql 'nil)) &rest args)
- (declare (ignore type args))
- 'c-call:void)
+(define-type-method alien-type ((type nil))
+ (declare (ignore type))
+ 'void)
-(defmethod from-alien-function ((type (eql 'nil)) &rest args)
- (declare (ignore type args))
+(define-type-method from-alien-function ((type nil))
+ (declare (ignore type))
#'(lambda (value)
(declare (ignore value))
(values)))
-
-(defmethod alien-type ((type (eql 'copy-of)) &rest args)
+(define-type-method to-alien-form ((type nil) form)
(declare (ignore type))
- (alien-type (first args)))
+ form)
-(defmethod size-of ((type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (size-of (first args)))
-(defmethod to-alien-form (form (type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (copy-to-alien-form form (first args)))
+(define-type-method to-alien-form ((type copy-of) form)
+ (copy-to-alien-form (second (type-expand-to 'copy-of type)) form))
-(defmethod to-alien-function ((type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (copy-to-alien-function (first args)))
+(define-type-method to-alien-function ((type copy-of))
+ (copy-to-alien-function (second (type-expand-to 'copy-of type))))
-(defmethod from-alien-form (form (type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (copy-from-alien-form form (first args)))
+(define-type-method from-alien-form ((type copy-of) form)
+ (copy-from-alien-form (second (type-expand-to 'copy-of type)) form))
-(defmethod from-alien-function ((type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (copy-from-alien-function (first args)))
+(define-type-method from-alien-function ((type copy-of))
+ (copy-from-alien-function (second (type-expand-to 'copy-of type))))
-(defmethod reader-function ((type (eql 'copy-of)) &rest args)
- (declare (ignore type))
- (reader-function (first args)))
-(defmethod writer-function ((type (eql 'copy-of)) &rest args)
+(define-type-method alien-type ((type callback))
(declare (ignore type))
- (writer-function (first args)))
+ (alien-type 'pointer))
-(export 'copy-of)
+(define-type-method to-alien-form ((type callback) callback)
+ (declare (ignore type ))
+ `(callback-address ,callback))
~mdw / clg / blobdiff