-(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)))))
-
-(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)))))))
-
-
-;;;; Null terminated vector
-
-(defun make-0-vector (type content &optional location)
- (let* ((size-of-type (size-of type))
- (location (or
- location
- (allocate-memory (* size-of-type (1+ (length content))))))
- (writer (writer-function type)))
- (etypecase content
- (vector
- (loop
- for element across content
- as offset = 0 then (+ offset size-of-type)
- do (funcall writer element location offset)
- finally (setf (sap-ref-sap location offset) (make-pointer 0))))
- (list
- (loop
- for element in content
- as offset = 0 then (+ offset size-of-type)
- do (funcall writer element location offset)
- finally (setf (sap-ref-sap location (+ offset size-of-type)) (make-pointer 0)))))
- location))
-
-
-(defun map-0-vector (seqtype function location element-type)
- (let ((reader (reader-function element-type))
- (size-of-element (size-of element-type)))
- (case seqtype
- ((nil)
- (loop
- as offset = 0 then (+ offset size-of-element)
- until (null-pointer-p (sap-ref-sap location offset))
- do (funcall function (funcall reader location offset))))
- (list
- (loop
- as offset = 0 then (+ offset size-of-element)
- until (null-pointer-p (sap-ref-sap location offset))
- collect (funcall function (funcall reader location offset))))
- (t
- (coerce
- (loop
- as offset = 0 then (+ offset size-of-element)
- until (null-pointer-p (sap-ref-sap location offset))
- collect (funcall function (funcall reader location offset)))
- seqtype)))))
-
-
-(defun destroy-0-vector (location element-type)
- (loop
- with destroy = (destroy-function element-type)
- with element-size = (size-of element-type)
- as offset = 0 then (+ offset element-size)
- until (null-pointer-p (sap-ref-sap location offset))
- do (funcall destroy location offset))
- (deallocate-memory location))
-
-
-(defmethod alien-type ((type (eql 'null-terminated-vector)) &rest args)
- (declare (ignore type args))
- (alien-type 'pointer))
-
-(defmethod size-of ((type (eql 'null-terminated-vector)) &rest args)
- (declare (ignore type args))
- (alien-type 'pointer))
-
-(defmethod writer-function ((type (eql 'null-terminated-vector)) &rest args)
- (declare (ignore type))
- (destructuring-bind (element-type) args
- (unless (eq (alien-type element-type) (alien-type 'pointer))
- (error "Elements in null-terminated vectors need to be of pointer types"))
- #'(lambda (vector location &optional (offset 0))
- (setf
- (sap-ref-sap location offset)
- (make-0-vector element-type vector)))))
-
-(defmethod reader-function ((type (eql 'null-terminated-vector)) &rest args)
- (declare (ignore type))
- (destructuring-bind (element-type) args
- (unless (eq (alien-type element-type) (alien-type 'pointer))
- (error "Elements in null-terminated vectors need to be of pointer types"))
- #'(lambda (location &optional (offset 0))
- (unless (null-pointer-p (sap-ref-sap location offset))
- (map-0-vector 'vector #'identity (sap-ref-sap location offset)
- element-type)))))
-
-(defmethod destroy-function ((type (eql 'null-terminated-vector)) &rest args)
- (declare (ignore type))
- (destructuring-bind (element-type) args
- (unless (eq (alien-type element-type) (alien-type 'pointer))
- (error "Elements in null-terminated vectors need to be of pointer types"))
+(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))))