Added type methods for automatic type declarations

[clg] / glib / glib.lisp

diff --git a/glib/glib.lisp b/glib/glib.lisp
index 7ce7218c3224fc7dd4f5eed8e12a7685ba05334d..2bb710109a4ca55bae3841d656e072a5549825b1 100644 (file)
--- a/glib/glib.lisp
+++ b/glib/glib.lisp
@@ -1,88 +1,104 @@
-;; Common Lisp bindings for GTK+ v1.2.x
-;; Copyright (C) 1999 Espen S. Johnsen <espejohn@online.no>
+;; Common Lisp bindings for GTK+ 2.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: glib.lisp,v 1.25 2005-02-03 23:09:04 espen Exp $
+;; $Id: glib.lisp,v 1.41 2007-09-07 07:33:51 espen Exp $

 
 
 (in-package "GLIB")
 
 (use-prefix "g")
 
 
 
 (in-package "GLIB")
 
 (use-prefix "g")
 

+#-sb-thread
+(progn
+  (defun make-mutex ()
+    nil)
+  
+  (defmacro with-mutex ((mutex) &body body)
+    (declare (ignore mutex))
+    `(progn ,@body)))
+

 
 ;;;; Memory management
 
 
 ;;;; Memory management
 

-(defbinding (allocate-memory "g_malloc0") () pointer
+(defbinding (%allocate-memory "g_malloc0") () pointer

   (size unsigned-long))
 
   (size unsigned-long))
 

+(defbinding (%deallocate-memory "g_free") () nil
+  (address pointer))
+
+;; (setf
+;;  (symbol-function 'allocate-memory) #'%allocate-memory
+;;  (symbol-function 'deallocate-memory) #'%deallocate-memory)
+
+(setf *memory-allocator* #'%allocate-memory)
+(setf *memory-deallocator* #'%deallocate-memory)
+

 (defbinding (reallocate-memory "g_realloc") () pointer
   (address pointer)
   (size unsigned-long))
 
 (defbinding (reallocate-memory "g_realloc") () pointer
   (address pointer)
   (size unsigned-long))
 

-(defbinding (deallocate-memory "g_free") () nil
-  (address pointer))
-;; (defun deallocate-memory (address)
-;;   (declare (ignore address)))
-
-(defun copy-memory (from length &optional (to (allocate-memory length)))
-  (;#+cmu kernel:system-area-copy 
-   ;#+sbcl sb-impl::system-area-copy 
-   system-area-copy from 0 to 0 (* 8 length))
-  to)
-

 
 ;;;; User data mechanism
 
 
 ;;;; User data mechanism
 

-(internal *user-data* *user-data-count*)
-
+(defvar *user-data-lock* (make-mutex))

 (defvar *user-data* (make-hash-table))
 (defvar *user-data-count* 0)
 
 (defun register-user-data (object &optional destroy-function)
   (check-type destroy-function (or null symbol function))
 (defvar *user-data* (make-hash-table))
 (defvar *user-data-count* 0)
 
 (defun register-user-data (object &optional destroy-function)
   (check-type destroy-function (or null symbol function))

-  (incf *user-data-count*)
-  (setf
-   (gethash *user-data-count* *user-data*)
-   (cons object destroy-function))
-  *user-data-count*)
+  (with-mutex (*user-data-lock*)
+    (incf *user-data-count*)
+    (setf
+     (gethash *user-data-count* *user-data*)
+     (cons object destroy-function))
+    *user-data-count*))

 
 (defun find-user-data (id)
   (check-type id fixnum)
 
 (defun find-user-data (id)
   (check-type id fixnum)

-  (multiple-value-bind (user-data p) (gethash id *user-data*)
-    (values (car user-data) p)))
+  (with-mutex (*user-data-lock*)
+    (multiple-value-bind (user-data p) (gethash id *user-data*)
+      (values (car user-data) p))))

 
 (defun user-data-exists-p (id)
   (nth-value 1 (find-user-data id)))
 
 (defun update-user-data (id object)
   (check-type id fixnum)
 
 (defun user-data-exists-p (id)
   (nth-value 1 (find-user-data id)))
 
 (defun update-user-data (id object)
   (check-type id fixnum)

-  (multiple-value-bind (user-data exists-p) (gethash id *user-data*)
-    (cond
-     ((not exists-p) (error "User data id ~A does not exist" id))
-     (t 
-      (when (cdr user-data)
-       (funcall (cdr user-data) (car user-data)))
-      (setf (car user-data) object)))))
+  (with-mutex (*user-data-lock*)
+    (multiple-value-bind (user-data exists-p) (gethash id *user-data*)
+      (cond
+       ((not exists-p) (error "User data id ~A does not exist" id))
+       (t 
+       (when (cdr user-data)
+         (funcall (cdr user-data) (car user-data)))
+       (setf (car user-data) object))))))

 
 (defun destroy-user-data (id)
   (check-type id fixnum)
 
 (defun destroy-user-data (id)
   (check-type id fixnum)

-  (let ((user-data (gethash id *user-data*)))
-    (when (cdr user-data)
-      (funcall (cdr user-data) (car user-data))))
-  (remhash id *user-data*))
+  (with-mutex (*user-data-lock*)
+    (let ((user-data (gethash id *user-data*)))
+      (when (cdr user-data)
+       (funcall (cdr user-data) (car user-data))))
+    (remhash id *user-data*)))

 
 
 ;;;; Quarks
 
 
 ;;;; Quarks


@@ -100,392 +116,350 @@ (defun quark-intern (object)
                                 (package-name (symbol-package object)) 
                                 object)))))
 
                                 (package-name (symbol-package object)) 
                                 object)))))
 

-(defbinding quark-to-string () (copy-of string)
+(defbinding quark-to-string () (static string)

   (quark quark))
 
 
 ;;;; Linked list (GList)
 
 (deftype glist (type) 
   (quark quark))
 
 
 ;;;; Linked list (GList)
 
 (deftype glist (type) 

-  `(or (null (cons ,type list))))
+  `(or null (cons ,type list)))

 
 (defbinding (%glist-append "g_list_append") () pointer
 
 (defbinding (%glist-append "g_list_append") () pointer

-  (glist pointer)
+  (glist (or null pointer))

   (nil null))
 
   (nil null))
 

-(defun make-glist (type list)
-  (loop
-   with writer = (writer-function type)
-   for element in list
-   as glist = (%glist-append (or glist (make-pointer 0)))
-   do (funcall writer element glist)
-   finally (return glist)))
+(defun make-glist (element-type list &optional temp-p)
+  (let ((writer (if (functionp element-type)
+                   element-type
+                 (writer-function element-type :temp temp-p))))
+    (loop
+     for element in list
+     as glist = (%glist-append nil) then (%glist-append glist)
+     do (funcall writer element glist)
+     finally (return glist))))

 
 (defun glist-next (glist)
   (unless (null-pointer-p glist)
 
 (defun glist-next (glist)
   (unless (null-pointer-p glist)

-    (sap-ref-sap glist +size-of-pointer+)))
+    (ref-pointer glist #.(size-of 'pointer))))

   
 ;; Also used for gslists
   
 ;; Also used for gslists

-(defun map-glist (seqtype function glist element-type)
-  (let ((reader (reader-function element-type)))
+(defun map-glist (seqtype function glist element-type &optional (ref :read))
+  (let ((reader (if (functionp element-type)
+                   element-type
+                 (reader-function element-type :ref ref))))

     (case seqtype 
      ((nil)
       (loop
     (case seqtype 
      ((nil)
       (loop

-       as tmp = glist then (glist-next tmp)
-       until (null-pointer-p tmp)
-       do (funcall function (funcall reader tmp))))
+       as element = glist then (glist-next element)
+       until (null-pointer-p element)
+       do (funcall function (funcall reader element))))

      (list
       (loop
      (list
       (loop

-       as tmp = glist then (glist-next tmp)
-       until (null-pointer-p tmp)
-       collect (funcall function (funcall reader tmp))))
+       as element = glist then (glist-next element)
+       until (null-pointer-p element)
+       collect (funcall function (funcall reader element))))

      (t
       (coerce 
        (loop
      (t
       (coerce 
        (loop

-       as tmp = glist then (glist-next tmp)
-       until (null-pointer-p tmp)
-       collect (funcall function (funcall reader tmp)))
+       as element = glist then (glist-next element)
+       until (null-pointer-p element)
+       collect (funcall function (funcall reader element)))

        seqtype)))))
 
 (defbinding (glist-free "g_list_free") () nil
   (glist pointer))
 
        seqtype)))))
 
 (defbinding (glist-free "g_list_free") () nil
   (glist pointer))
 

-(defun destroy-glist (glist element-type)
-  (loop
-   with destroy = (destroy-function element-type)
-   as tmp = glist then (glist-next tmp)
-   until (null-pointer-p tmp)
-   do (funcall destroy tmp 0))
+(defun destroy-glist (glist element-type &optional temp-p)
+  (let ((destroy (if (functionp element-type)
+                    element-type
+                  (destroy-function element-type :temp temp-p))))
+    (loop
+     as element = glist then (glist-next element)
+     until (null-pointer-p element)
+     do (funcall destroy element)))

   (glist-free glist))
 
   (glist-free glist))
 

-(defmethod alien-type ((type (eql 'glist)) &rest args)
-  (declare (ignore type args))
-  (alien-type 'pointer))
-
-(defmethod size-of ((type (eql 'glist)) &rest args)
-  (declare (ignore type args))
-  (size-of 'pointer))
-
-(defmethod to-alien-form (list (type (eql 'glist)) &rest args)
+(define-type-method alien-type ((type glist))

   (declare (ignore type))
   (declare (ignore type))

-  (destructuring-bind (element-type) args    
-    `(make-glist ',element-type ,list)))
-
-(defmethod to-alien-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args    
-    #'(lambda (list)
-       (make-glist element-type list))))
-
-(defmethod from-alien-form (glist (type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    `(let ((glist ,glist))
-      (unwind-protect
-          (map-glist 'list #'identity glist ',element-type)
-       (destroy-glist glist ',element-type)))))
+  (alien-type 'pointer))

 
 

-(defmethod from-alien-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (glist)
-       (unwind-protect
-            (map-glist 'list #'identity glist element-type)
-         (destroy-glist glist element-type)))))
+(define-type-method argument-type ((type glist))
+  'list)

 
 

-(defmethod copy-from-alien-form (glist (type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    `(map-glist 'list #'identity ,glist ',element-type)))
+(define-type-method return-type ((type glist))
+  'list)

 
 

-(defmethod copy-from-alien-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (glist)
-       (map-glist 'list #'identity glist element-type))))
+(define-type-method size-of ((type glist) &key inlined)
+  (assert-not-inlined type inlined)
+  (size-of 'pointer))

 
 

-(defmethod cleanup-form (glist (type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    `(destroy-glist ,glist ',element-type)))
+(define-type-method type-alignment ((type glist) &key inlined)
+  (assert-not-inlined type inlined)
+  (type-alignment 'pointer))

 
 

-(defmethod cleanup-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (glist)
-       (destroy-glist glist element-type))))
+(define-type-method alien-arg-wrapper ((type glist) var list style form &optional copy-in-p)
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    (cond
+      ((and (in-arg-p style) (not (out-arg-p style)))
+       `(with-pointer (,var (make-glist ',element-type ,list ,(not copy-in-p)))
+         (unwind-protect
+             ,form
+           ,(unless copy-in-p
+              `(destroy-glist ,var ',element-type t)))))
+      ((and (in-arg-p style) (out-arg-p style))
+       (let ((glist (make-symbol "GLIST")))
+        `(with-pointer (,glist (make-glist ',element-type ,list ,(not copy-in-p)))
+            (with-pointer (,var ,glist)                      
+             (unwind-protect
+                 ,form
+               ,(unless copy-in-p
+                  `(destroy-glist ,glist ',element-type t)))))))
+      ((and (out-arg-p style) (not (in-arg-p style)))
+       `(with-pointer (,var)
+         ,form)))))
+
+(define-type-method to-alien-form ((type glist) list &optional copy-p)
+  (declare (ignore copy-p))
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    `(make-glist ',element-type ,list)))

 
 

-(defmethod writer-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
+(define-type-method to-alien-function ((type glist) &optional copy-p)
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    (values
+     #'(lambda (list)
+        (make-glist element-type list (not copy-p)))
+     (unless copy-p
+       #'(lambda (list glist)
+          (declare (ignore list))
+          (destroy-glist glist element-type t))))))
+
+(define-type-method from-alien-form ((type glist) form &key (ref :free))
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    `(let ((glist ,form))
+       (unwind-protect
+          (map-glist 'list #'identity glist ',element-type 
+           ,(ecase ref (:free :get) ((:static :temp) :peek) (:copy :read)))
+        ,(when (eq ref :free)
+           `(destroy-glist glist ',element-type))))))
+
+(define-type-method from-alien-function ((type glist) &key (ref :free))
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    (ecase ref
+      (:free 
+       #'(lambda (glist)
+          (prog1
+              (map-glist 'list #'identity glist element-type :get)
+            (glist-free glist))))
+      (:copy
+       #'(lambda (glist)
+          (map-glist 'list #'identity glist element-type :read)))
+      ((:static :temp)
+       #'(lambda (glist)
+          (map-glist 'list #'identity glist element-type :peek))))))
+
+(define-type-method writer-function ((type glist) &key temp inlined)
+  (assert-not-inlined type inlined)
+  (let ((element-type (second (type-expand-to 'glist type))))

     #'(lambda (list location &optional (offset 0))
        (setf 
     #'(lambda (list location &optional (offset 0))
        (setf 

-        (sap-ref-sap location offset)
-        (make-glist element-type list)))))
-
-(defmethod reader-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (location &optional (offset 0))
-       (unless (null-pointer-p (sap-ref-sap location offset))
-         (map-glist 'list #'identity (sap-ref-sap location offset) element-type)))))
-
-(defmethod destroy-function ((type (eql 'glist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
+        (ref-pointer location offset)
+        (make-glist element-type list temp)))))
+
+(define-type-method reader-function ((type glist) &key (ref :read) inlined)
+  (assert-not-inlined type inlined)
+  (let ((element-type (second (type-expand-to 'glist type))))
+    (ecase ref
+      ((:read :peek)
+       #'(lambda (location &optional (offset 0))
+          (unless (null-pointer-p (ref-pointer location offset))
+            (map-glist 'list #'identity (ref-pointer location offset) element-type ref))))
+      (:get
+       #'(lambda (location &optional (offset 0))
+          (unless (null-pointer-p (ref-pointer location offset))
+            (prog1
+                (map-glist 'list #'identity (ref-pointer location offset) element-type :get)
+              (glist-free (ref-pointer location offset))
+              (setf (ref-pointer location offset) (make-pointer 0)))))))))
+
+(define-type-method destroy-function ((type glist) &key temp inlined)
+  (assert-not-inlined type inlined)
+  (let ((element-type (second (type-expand-to 'glist type))))

     #'(lambda (location &optional (offset 0))
     #'(lambda (location &optional (offset 0))

-       (unless (null-pointer-p (sap-ref-sap location offset))
-         (destroy-glist (sap-ref-sap location offset) element-type)
-         (setf (sap-ref-sap location offset) (make-pointer 0))))))
-
+       (unless (null-pointer-p (ref-pointer location offset))
+         (destroy-glist (ref-pointer location offset) element-type temp)
+         (setf (ref-pointer location offset) (make-pointer 0))))))
+
+(define-type-method copy-function ((type glist) &key inlined)
+  (assert-not-inlined type inlined)
+  (destructuring-bind (element-type) (rest (type-expand-to 'glist type))
+    (let ((copy-element (copy-function element-type)))
+      #'(lambda (from to &optional (offset 0))
+         (unless (null-pointer-p (ref-pointer from offset))
+           (loop
+            as from-list = (ref-pointer from offset) 
+                           then (glist-next from-list)
+            as to-list = (setf (ref-pointer to offset) (%glist-append nil)) 
+                         then (%glist-append to-list)
+            do (funcall copy-element from-list to-list)
+            while (glist-next from-lisT)))))))

 
 
 ;;;; Single linked list (GSList)
 
 
 
 ;;;; Single linked list (GSList)
 

-(deftype gslist (type) `(or (null (cons ,type list))))
+(deftype gslist (type) `(or null (cons ,type list)))

 
 (defbinding (%gslist-prepend "g_slist_prepend") () pointer
   (gslist pointer)
   (nil null))
 
 
 (defbinding (%gslist-prepend "g_slist_prepend") () pointer
   (gslist pointer)
   (nil null))
 

-(defun make-gslist (type list)
-  (loop
-   with writer = (writer-function type)
-   for element in (reverse list)
-   as gslist = (%gslist-prepend (or gslist (make-pointer 0)))
-   do (funcall writer element gslist)
-   finally (return gslist)))
+(defbinding (%gslist-append "g_slist_append") () pointer
+  (glist (or null pointer))
+  (nil null))
+
+
+(defun make-gslist (element-type list &optional temp-p)
+  (let ((writer (if (functionp element-type)
+                   element-type
+                 (writer-function element-type :temp temp-p))))
+    (loop
+     for element in (reverse list)
+     as gslist = (%gslist-prepend (make-pointer 0)) then (%gslist-prepend gslist)
+     do (funcall writer element gslist)
+     finally (return gslist))))

 
 (defbinding (gslist-free "g_slist_free") () nil
   (gslist pointer))
 
 
 (defbinding (gslist-free "g_slist_free") () nil
   (gslist pointer))
 

-(defun destroy-gslist (gslist element-type)
+(defun destroy-gslist (gslist element-type &optional temp-p)

   (loop
   (loop

-   with destroy = (destroy-function element-type)
-   as tmp = gslist then (glist-next tmp)
-   until (null-pointer-p tmp)
-   do (funcall destroy tmp 0))
+   with destroy = (destroy-function element-type :temp temp-p)
+   as element = gslist then (glist-next element)
+   until (null-pointer-p element)
+   do (funcall destroy element 0))

   (gslist-free gslist))
 
   (gslist-free gslist))
 

-(defmethod alien-type ((type (eql 'gslist)) &rest args)
-  (declare (ignore type args))
-  (alien-type 'pointer))
-
-(defmethod size-of ((type (eql 'gslist)) &rest args)
-  (declare (ignore type args))
-  (size-of 'pointer))
-
-(defmethod to-alien-form (list (type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args    
-    `(make-sglist ',element-type ,list)))
-
-(defmethod to-alien-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args    
-    #'(lambda (list)
-       (make-gslist element-type list))))
-
-(defmethod from-alien-form (gslist (type (eql 'gslist)) &rest args)
+(define-type-method alien-type ((type gslist))

   (declare (ignore type))
   (declare (ignore type))

-  (destructuring-bind (element-type) args
-    `(let ((gslist ,gslist))
-      (unwind-protect
-          (map-glist 'list #'identity gslist ',element-type)
-       (destroy-gslist gslist ',element-type)))))
-
-(defmethod from-alien-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (gslist)
-       (unwind-protect
-            (map-glist 'list #'identity gslist element-type)
-         (destroy-gslist gslist element-type)))))
-
-(defmethod copy-from-alien-form (gslist (type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    `(map-glist 'list #'identity ,gslist ',element-type)))
-
-(defmethod copy-from-alien-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (gslist)
-       (map-glist 'list #'identity gslist element-type))))
-
-(defmethod cleanup-form (gslist (type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    `(destroy-gslist ,gslist ',element-type)))
-
-(defmethod cleanup-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (gslist)
-       (destroy-gslist gslist element-type))))
-
-(defmethod writer-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (list location &optional (offset 0))
-       (setf 
-        (sap-ref-sap location offset)
-        (make-gslist element-type list)))))
-
-(defmethod reader-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (location &optional (offset 0))
-       (unless (null-pointer-p (sap-ref-sap location offset))
-         (map-glist 'list #'identity (sap-ref-sap location offset) element-type)))))
-
-(defmethod destroy-function ((type (eql 'gslist)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type) args
-    #'(lambda (location &optional (offset 0))
-       (unless (null-pointer-p (sap-ref-sap location offset))
-         (destroy-gslist (sap-ref-sap location offset) element-type)
-         (setf (sap-ref-sap location offset) (make-pointer 0))))))
-
-
-;;; Vector
-
-(defun make-c-vector (type length &optional content location)
-  (let* ((size-of-type (size-of type))
-        (location (or location (allocate-memory (* size-of-type length))))
-        (writer (writer-function type)))
-    (etypecase content
-      (vector
-       (loop
-       for element across content
-       for i from 0 below length
-       as offset = 0 then (+ offset size-of-type)
-       do (funcall writer element location offset)))
-      (list
-       (loop
-       for element in content
-       for i from 0 below length
-       as offset = 0 then (+ offset size-of-type)
-       do (funcall writer element location offset))))
-    location))
-
-
-(defun map-c-vector (seqtype function location element-type length)
-  (let ((reader (reader-function element-type))
-       (size-of-element (size-of element-type)))
-    (case seqtype 
-     ((nil)
-      (loop
-       for i from 0 below length
-       as offset = 0 then (+ offset size-of-element)
-       do (funcall function (funcall reader location offset))))
-     (list
-      (loop
-       for i from 0 below length
-       as offset = 0 then (+ offset size-of-element)
-       collect (funcall function (funcall reader location offset))))
-     (t
-      (loop
-       with sequence = (make-sequence seqtype length)
-       for i from 0 below length
-       as offset = 0 then (+ offset size-of-element)
-       do (setf 
-          (elt sequence i)
-          (funcall function (funcall reader location offset)))
-       finally (return sequence))))))
-
-
-(defun destroy-c-vector (location element-type length)
-  (loop
-   with destroy = (destroy-function element-type)
-   with element-size = (size-of element-type)
-   for i from 0 below length
-   as offset = 0 then (+ offset element-size)
-   do (funcall destroy location offset))
-  (deallocate-memory location))
+  (alien-type 'pointer))

 
 

+(define-type-method argument-type ((type gslist))
+  'list)

 
 

-(defmethod alien-type ((type (eql 'vector)) &rest args)
-  (declare (ignore type args))
-  (alien-type 'pointer))
+(define-type-method return-type ((type gslist))
+  'list)

 
 

-(defmethod size-of ((type (eql 'vector)) &rest args)
-  (declare (ignore type args))
+(define-type-method size-of ((type gslist) &key inlined)
+  (assert-not-inlined type inlined)

   (size-of 'pointer))
 
   (size-of 'pointer))
 

-(defmethod to-alien-form (vector (type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    (if (eq length '*)
-       `(let* ((vector ,vector)
-               (location (sap+
-                          (allocate-memory (+ ,+size-of-int+ 
-                                              (* ,(size-of element-type) 
-                                                 (length vector))))
-                          ,+size-of-int+)))
-         (make-c-vector ',element-type (length vector) vector location)
-         (setf (sap-ref-32 location ,(- +size-of-int+)) (length vector))
-         location)       
-      `(make-c-vector ',element-type ,length ,vector))))
-
-(defmethod from-alien-form (c-vector (type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    (if (eq length '*)
-       (error "Can't use vector of variable size as return type")
-      `(let ((c-vector ,c-vector))
-       (prog1
-           (map-c-vector 'vector #'identity c-vector ',element-type ,length)
-         (destroy-c-vector c-vector ',element-type ,length))))))
-
-(defmethod copy-from-alien-form (c-vector (type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    (if (eq length '*)
-       (error "Can't use vector of variable size as return type")
-      `(map-c-vector 'vector #'identity ,c-vector ',element-type ',length))))
-
-(defmethod cleanup-form (location (type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    `(let* ((location ,location)
-           (length ,(if (eq length '*)
-                        `(sap-ref-32 location ,(- +size-of-int+))
-                        length)))
-      (loop
-       with destroy = (destroy-function ',element-type)
-       for i from 0 below length
-       as offset = 0 then (+ offset ,(size-of element-type))
-       do (funcall destroy location offset))
-      (deallocate-memory ,(if (eq length '*) 
-                             `(sap+ location  ,(- +size-of-int+))
-                           'location)))))
-
-(defmethod writer-function ((type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    #'(lambda (vector location &optional (offset 0))
-       (setf 
-        (sap-ref-sap location offset)
-        (make-c-vector element-type length vector)))))
+(define-type-method type-alignment ((type gslist) &key inlined)
+  (assert-not-inlined type inlined)
+  (type-alignment 'pointer))

 
 

-(defmethod reader-function ((type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    (if (eq length '*)
-       (error "Can't create reader function for vector of variable size")
-      #'(lambda (location &optional (offset 0))
-         (unless (null-pointer-p (sap-ref-sap location offset))
-           (map-c-vector 'vector #'identity (sap-ref-sap location offset) 
-            element-type length))))))
-
-(defmethod destroy-function ((type (eql 'vector)) &rest args)
-  (declare (ignore type))
-  (destructuring-bind (element-type &optional (length '*)) args
-    (if (eq length '*)
-       (error "Can't create destroy function for vector of variable size")
-      #'(lambda (location &optional (offset 0))
-         (unless (null-pointer-p (sap-ref-sap location offset))
-           (destroy-c-vector 
-            (sap-ref-sap location offset) element-type length)
-           (setf (sap-ref-sap location offset) (make-pointer 0)))))))
+(define-type-method alien-arg-wrapper ((type gslist) var list style form &optional copy-in-p)
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    (cond
+      ((and (in-arg-p style) (not (out-arg-p style)))
+       `(with-pointer (,var (make-gslist ',element-type ,list ,(not copy-in-p)))
+         (unwind-protect
+             ,form
+           ,(unless copy-in-p
+              `(destroy-gslist ,var ',element-type t)))))
+      ((and (in-arg-p style) (out-arg-p style))
+       (let ((gslist (make-symbol "GSLIST")))
+        `(with-pointer (,gslist (make-gslist ',element-type ,list ,(not copy-in-p)))
+            (with-pointer (,var ,gslist)                     
+             (unwind-protect
+                 ,form
+               ,(unless copy-in-p
+                  `(destroy-gslist ,gslist ',element-type t)))))))
+      ((and (out-arg-p style) (not (in-arg-p style)))
+       `(with-pointer (,var)
+         ,form)))))
+
+(define-type-method to-alien-form ((type gslist) list &optional copy-p)
+  (declare (ignore copy-p))
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    `(make-gslist ',element-type ,list)))
+
+(define-type-method to-alien-function ((type gslist) &optional copy-p)
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    (values
+     #'(lambda (list)
+        (make-gslist element-type list (not copy-p)))
+     (unless copy-p
+       #'(lambda (list gslist)
+          (declare (ignore list))
+          (destroy-gslist gslist element-type t))))))
+
+(define-type-method from-alien-form ((type gslist) form &key (ref :free))
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    `(let ((gslist ,form))
+       (unwind-protect
+          (map-glist 'list #'identity gslist ',element-type
+           ,(ecase ref (:free :get) ((:static :temp) :peek) (:copy :read)))
+        ,(when (eq ref :free)
+           `(destroy-gslist gslist ',element-type))))))
+
+(define-type-method from-alien-function ((type gslist)  &key (ref :free))
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    (ecase ref
+      (:free 
+       #'(lambda (glist)
+          (prog1
+              (map-glist 'list #'identity glist element-type :get)
+            (gslist-free glist))))
+      (:copy
+       #'(lambda (glist)
+          (map-glist 'list #'identity glist element-type :read)))
+      ((:static :temp)
+       #'(lambda (glist)
+          (map-glist 'list #'identity glist element-type :peek))))))
+
+(define-type-method writer-function ((type gslist) &key temp inlined)
+  (assert-not-inlined type inlined)
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    (let ((element-writer (writer-function element-type :temp temp)))
+      #'(lambda (list location &optional (offset 0))
+         (setf 
+          (ref-pointer location offset)
+          (make-gslist element-writer list))))))
+
+(define-type-method reader-function ((type gslist) &key (ref :read) inlined)
+  (assert-not-inlined type inlined)
+  (let ((element-type (second (type-expand-to 'gslist type))))
+    (ecase ref
+      ((:read :peek)
+       #'(lambda (location &optional (offset 0))
+          (unless (null-pointer-p (ref-pointer location offset))
+            (map-glist 'list #'identity (ref-pointer location offset) element-type ref))))
+      (:get
+       #'(lambda (location &optional (offset 0))
+          (unless (null-pointer-p (ref-pointer location offset))
+            (prog1
+                (map-glist 'list #'identity (ref-pointer location offset) element-type :get)
+              (gslist-free (ref-pointer location offset))
+              (setf (ref-pointer location offset) (make-pointer 0)))))))))
+
+(define-type-method destroy-function ((type gslist) &key temp inlined)
+  (assert-not-inlined type inlined)
+  (let ((element-type (second (type-expand-to 'gslist type))))
+    #'(lambda (location &optional (offset 0))
+       (unless (null-pointer-p (ref-pointer location offset))
+         (destroy-gslist (ref-pointer location offset) element-type temp)
+         (setf (ref-pointer location offset) (make-pointer 0))))))
+
+(define-type-method copy-function ((type gslist) &key inlined)
+  (assert-not-inlined type inlined)
+  (destructuring-bind (element-type) (rest (type-expand-to 'gslist type))
+    (let ((copy-element (copy-function element-type)))
+      #'(lambda (from to &optional (offset 0))
+         (unless (null-pointer-p (ref-pointer from offset))
+           (loop
+            as from-list = (ref-pointer from offset) 
+                           then (glist-next from-list)
+            as to-list = (setf (ref-pointer to offset) (%gslist-append nil)) 
+                         then (%gslist-append to-list)
+            do (funcall copy-element from-list to-list)
+            while (glist-next from-list)))))))