-(deftype-method translate-to-alien vector (type-spec vector &optional weak-ref)
- (declare (ignore weak-ref))
- (destructuring-bind (element-type &optional (length '*))
- (cdr (type-expand-to 'vector type-spec))
- (let* ((element-size (size-of element-type))
- (size (cond
- ((not (eq length '*))
- (* element-size length))
- ((not (atomic-type-p element-type))
- `(* ,element-size (1+ (length vector))))
- (t
- `(* ,element-size (length vector))))))
-
- `(let ((vector ,vector))
- (let ((c-vector (allocate-memory ,size)))
- (dotimes (i ,(if (eq length '*) '(length vector) length))
- (setf
- (,(sap-ref-fname element-type) c-vector (* i ,element-size))
- ,(translate-to-alien element-type '(aref vector i))))
- ,(when (and
- (eq length '*)
- (not (atomic-type-p element-type)))
- `(setf
- (sap-ref-sap c-vector (* (length vector) ,element-size))
- *magic-end-of-array*))
- c-vector)))))
-
-(deftype-method translate-from-alien
- vector (type-spec c-array &optional weak-ref)
- (destructuring-bind (element-type &optional (length '*))
- (cdr (type-expand-to 'vector type-spec))
- (when (eq length '*)
- (error "Can't use vectors of variable length as return type"))
- (let ((element-size (size-of element-type)))
- `(let ((c-array ,c-array)
- (vector (make-array ,length :element-type ',element-type)))
- (dotimes (i ,length)
- (setf
- (aref vector i)
- ,(translate-to-alien
- element-type
- `(,(sap-ref-fname element-type) c-array (* i ,element-size))
- weak-ref)))
- ,(unless weak-ref
- '(deallocate-memory c-vector))
- vector))))
-
-
-(deftype-method cleanup-alien vector (type-spec c-vector &optional weak-ref)
- (when weak-ref
- (unreference-alien type-spec c-vector)))
-
-(deftype-method unreference-alien vector (type-spec c-vector)
- (destructuring-bind (element-type &optional (length '*))
- (cdr (type-expand-to 'vector type-spec))
- `(let ((c-vector ,c-vector))
- (unless (null-pointer-p c-vector)
- ,(unless (atomic-type-p element-type)
- (let ((element-size (size-of element-type)))
- (if (not (eq length '*))
- `(dotimes (i ,length)
- (unreference-alien
- element-type (sap-ref-sap c-vector (* i ,element-size))))
- `(do ((offset 0 (+ offset ,element-size))
- ((sap=
- (sap-ref-sap c-vector offset)
- *magic-end-of-array*)))
- ,(unreference-alien
- element-type '(sap-ref-sap c-vector offset))))))
- (deallocate-memory c-vector)))))
-
-
-(defun map-c-array (seqtype function location element-type length)
- (let ((reader (intern-reader-function element-type))
- (size (size-of element-type)))
- (case seqtype
- ((nil)
- (dotimes (i length)
- (funcall function (funcall reader location (* i size)))))
- (list
- (let ((list nil))
- (dotimes (i length)
- (push (funcall function (funcall reader location (* i size))) list))
- (nreverse list)))
- (t
- (let ((sequence (make-sequence seqtype length)))
- (dotimes (i length)
- (setf
- (elt sequence i)
- (funcall function (funcall reader location (* i size)))))
- sequence)))))
-
\ No newline at end of file
+(define-type-method type-alignment ((type gslist) &key inlined)
+ (assert-not-inlined type inlined)
+ (type-alignment 'pointer))
+
+(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)))))))