;; License along with this library; if not, write to the Free Software
;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-;; $Id: ffi.lisp,v 1.2 2004/11/06 21:39:58 espen Exp $
+;; $Id: ffi.lisp,v 1.10 2004/12/26 11:40:14 espen Exp $
(in-package "GLIB")
-;;;;
-
-;; Sizes of fundamental C types in bytes (8 bits)
-(defconstant +size-of-short+ 2)
-(defconstant +size-of-int+ 4)
-(defconstant +size-of-long+ 4)
-(defconstant +size-of-pointer+ 4)
-(defconstant +size-of-float+ 4)
-(defconstant +size-of-double+ 8)
-
-;; Sizes of fundamental C types in bits
-(defconstant +bits-of-byte+ 8)
-(defconstant +bits-of-short+ 16)
-(defconstant +bits-of-int+ 32)
-(defconstant +bits-of-long+ 32)
-
-
-
;;;; Foreign function call interface
(defun default-alien-fname (lisp-name)
- (let* ((lisp-name-string
- (if (char= (char (the simple-string (string lisp-name)) 0) #\%)
- (subseq (the simple-string (string lisp-name)) 1)
- (string lisp-name)))
- (prefix (package-prefix *package*))
- (name (substitute #\_ #\- (string-downcase lisp-name-string))))
+ (let* ((name (substitute #\_ #\- (string-downcase lisp-name)))
+ (stripped-name
+ (cond
+ ((and
+ (char= (char name 0) #\%)
+ (string= "_p" name :start2 (- (length name) 2)))
+ (subseq name 1 (- (length name) 2)))
+ ((char= (char name 0) #\%)
+ (subseq name 1))
+ ((string= "_p" name :start2 (- (length name) 2))
+ (subseq name 0 (- (length name) 2)))
+ (name)))
+ (prefix (package-prefix *package*)))
(if (or (not prefix) (string= prefix ""))
- name
- (format nil "~A_~A" prefix name))))
+ stripped-name
+ (format nil "~A_~A" prefix stripped-name))))
(defun default-alien-type-name (type-name)
(let ((prefix (package-prefix *package*)))
(push doc/arg docs)
(progn
(destructuring-bind (expr type &optional (style :in)) doc/arg
- (unless (member style '(:in :out :in-out))
+ (unless (member style '(:in :out :in-out :return))
(error "Bogus argument style ~S in ~S." style doc/arg))
(when (and
(not supplied-lambda-list)
- (namep expr) (member style '(:in :in-out)))
+ (namep expr) (member style '(:in :in-out :return)))
(push expr lambda-list))
(push
(list (if (namep expr)
#+cmu
(defun %defbinding (foreign-name lisp-name lambda-list return-type docs args)
(ext:collect ((alien-types) (alien-bindings) (alien-parameters)
- (alien-values) (cleanup-forms))
+ (return-values) (cleanup-forms))
(dolist (arg args)
(destructuring-bind (var expr type style) arg
(let ((declaration (alien-type type))
(cleanup (cleanup-form var type)))
(cond
- ((member style '(:out :in-out))
- (alien-types `(* ,declaration))
- (alien-parameters `(addr ,var))
- (alien-bindings
- `(,var ,declaration
- ,@(when (eq style :in-out)
- (list (to-alien-form expr type)))))
- (alien-values (from-alien-form var type)))
- (cleanup
- (alien-types declaration)
- (alien-bindings
- `(,var ,declaration ,(to-alien-form expr type)))
- (alien-parameters var)
- (cleanup-forms cleanup))
- (t
- (alien-types declaration)
- (alien-parameters (to-alien-form expr type)))))))
+ ((member style '(:out :in-out))
+ (alien-types `(* ,declaration))
+ (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)))
+ ((eq style :return)
+ (alien-types declaration)
+ (alien-bindings
+ `(,var ,declaration ,(to-alien-form expr type)))
+ (alien-parameters var)
+ (return-values (from-alien-form var type)))
+ (cleanup
+ (alien-types declaration)
+ (alien-bindings
+ `(,var ,declaration ,(to-alien-form expr type)))
+ (alien-parameters var)
+ (cleanup-forms cleanup))
+ (t
+ (alien-types declaration)
+ (alien-parameters (to-alien-form expr type)))))))
(let* ((alien-name (make-symbol (string lisp-name)))
(alien-funcall `(alien-funcall ,alien-name ,@(alien-parameters))))
(unwind-protect
,(from-alien-form alien-funcall return-type)
,@(cleanup-forms))
- ,@(alien-values))
+ ,@(return-values))
`(progn
(unwind-protect
,alien-funcall
,@(cleanup-forms))
- (values ,@(alien-values)))))))))
+ (values ,@(return-values)))))))))
;;; Creates bindings at runtime
(apply #'alien: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
(def-type-method from-alien-function ())
(def-type-method cleanup-function ())
+(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 ())
+
(def-type-method writer-function ())
(def-type-method reader-function ())
(def-type-method destroy-function ())
+(def-type-method unbound-value ()
+ "First return value is true if the type has an unbound value, second return value is the actual unbound value")
+
+
+;; Sizes of fundamental C types in bytes (8 bits)
+(defconstant +size-of-short+ 2)
+(defconstant +size-of-int+ 4)
+(defconstant +size-of-long+ 4)
+(defconstant +size-of-pointer+ 4)
+(defconstant +size-of-float+ 4)
+(defconstant +size-of-double+ 8)
+
+;; Sizes of fundamental C types in bits
+(defconstant +bits-of-byte+ 8)
+(defconstant +bits-of-short+ 16)
+(defconstant +bits-of-int+ 32)
+(defconstant +bits-of-long+ 32)
+
(deftype int () '(signed-byte #.+bits-of-int+))
(deftype unsigned-int () '(unsigned-byte #.+bits-of-int+))
(defmethod destroy-function ((type t) &rest args)
(declare (ignore type args))
- #'(lambda (location offset)
+ #'(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))
+
+(defmethod copy-to-alien-function ((type t) &rest args)
+ (apply #'to-alien-function type args))
+
+(defmethod copy-from-alien-form (form (type t) &rest args)
+ (apply #'from-alien-form form type args))
+
+(defmethod copy-from-alien-function ((type t) &rest args)
+ (apply #'from-alien-function type args))
+
(defmethod alien-type ((type (eql 'signed-byte)) &rest args)
(declare (ignore type))
((* #.+bits-of-int+) +size-of-int+)
(#.+bits-of-long+ +size-of-long+))))
+(defmethod unbound-value ((type t) &rest args)
+ (declare (ignore type args))
+ nil)
+
(defmethod writer-function ((type (eql 'signed-byte)) &rest args)
(declare (ignore type))
(destructuring-bind (&optional (size '*)) 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))
(defmethod writer-function ((type (eql 'single-float)) &rest args)
(declare (ignore type args))
#'(lambda (value location &optional (offset 0))
- (setf (sap-ref-single location offset) (coerce value 'single-float)))))
+ (setf (sap-ref-single location offset) (coerce value 'single-float))))
(defmethod reader-function ((type (eql 'single-float)) &rest args)
(declare (ignore type args))
(defmethod size-of ((type (eql 'double-float)) &rest args)
(declare (ignore type args))
- +size-of-float+)
+ +size-of-double+)
(defmethod writer-function ((type (eql 'double-float)) &rest args)
(declare (ignore type args))
(declare (ignore type args))
`(let ((string ,string))
(unless (null-pointer-p string)
- (c-call::%naturalize-c-string string))))
+ (prog1
+ (c-call::%naturalize-c-string string)
+ (deallocate-memory string)))))
(defmethod from-alien-function ((type (eql 'string)) &rest args)
(declare (ignore type args))
#'(lambda (string)
(unless (null-pointer-p string)
- (c-call::%naturalize-c-string string))))
+ (prog1
+ (c-call::%naturalize-c-string string)
+ (deallocate-memory string)))))
(defmethod cleanup-form (string (type (eql 'string)) &rest args)
(declare (ignore type args))
(deallocate-memory string))))
(defmethod cleanup-function ((type (eql 'string)) &rest args)
+ (declare (ignore args))
#'(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))
+ `(let ((string ,string))
+ (unless (null-pointer-p string)
+ (c-call::%naturalize-c-string string))))
+
+(defmethod copy-from-alien-function ((type (eql 'string)) &rest args)
+ (declare (ignore type args))
+ #'(lambda (string)
+ (unless (null-pointer-p string)
+ (c-call::%naturalize-c-string string))))
+
(defmethod writer-function ((type (eql 'string)) &rest args)
(declare (ignore type args))
#'(lambda (string location &optional (offset 0))
(deallocate-memory (sap-ref-sap location offset))
(setf (sap-ref-sap location offset) (make-pointer 0)))))
+(defmethod unbound-value ((type (eql 'string)) &rest args)
+ (declare (ignore type args))
+ (values t nil))
(defmethod alien-type ((type (eql 'pathname)) &rest args)
(declare (ignore type args))
(declare (ignore type args))
(destroy-function 'string))
+(defmethod unbound-value ((type (eql 'pathname)) &rest args)
+ (declare (ignore type args))
+ (unbound-value 'string))
+
(defmethod alien-type ((type (eql 'boolean)) &rest args)
(apply #'alien-type 'signed-byte args))
#'(lambda (value)
(declare (ignore value))
(values)))
+
+
+(defmethod alien-type ((type (eql 'copy-of)) &rest args)
+ (declare (ignore type))
+ (alien-type (first args)))
+
+(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)))
+
+(defmethod to-alien-function ((type (eql 'copy-of)) &rest args)
+ (declare (ignore type))
+ (copy-to-alien-function (first args)))
+
+(defmethod from-alien-form (form (type (eql 'copy-of)) &rest args)
+ (declare (ignore type))
+ (copy-from-alien-form form (first args)))
+
+(defmethod from-alien-function ((type (eql 'copy-of)) &rest args)
+ (declare (ignore type))
+ (copy-from-alien-function (first args)))
+
+(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)
+ (declare (ignore type))
+ (writer-function (first args)))
+
+(export 'copy-of)
~mdw / clg / blobdiff