src/aggregates.lisp

   1 ;;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10; Package: UFFI -*-
   2 ;;;; *************************************************************************
   3 ;;;; FILE IDENTIFICATION
   4 ;;;;
   5 ;;;; Name:          aggregates.lisp
   6 ;;;; Purpose:       UFFI source to handle aggregate types
   7 ;;;; Programmer:    Kevin M. Rosenberg
   8 ;;;; Date Started:  Feb 2002
   9 ;;;;
  10 ;;;; $Id$
  11 ;;;;
  12 ;;;; This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
  13 ;;;;
  14 ;;;; UFFI users are granted the rights to distribute and use this software
  15 ;;;; as governed by the terms of the Lisp Lesser GNU Public License
  16 ;;;; (http://opensource.franz.com/preamble.html), also known as the LLGPL.
  17 ;;;; *************************************************************************
  18
  19 (in-package #:uffi)
  20
  21 (defmacro def-enum (enum-name args &key (separator-string "#"))
  22   "Creates a constants for a C type enum list, symbols are created
  23 in the created in the current package. The symbol is the concatenation
  24 of the enum-name name, separator-string, and field-name"
  25   (let ((counter 0)
  26         (cmds nil)
  27         (constants nil))
  28     (declare (fixnum counter))
  29     (dolist (arg args)
  30       (let ((name (if (listp arg) (car arg) arg))
  31             (value (if (listp arg)
  32                        (prog1
  33                            (setq counter (cadr arg))
  34                          (incf counter))
  35                      (prog1
  36                          counter
  37                        (incf counter)))))
  38         (setq name (intern (concatenate 'string
  39                              (symbol-name enum-name)
  40                              separator-string
  41                              (symbol-name name))))
  42         (push `(uffi:def-constant ,name ,value) constants)))
  43     (setf cmds (append '(progn)
  44                        #+allegro `((ff:def-foreign-type ,enum-name :int))
  45                        #+lispworks `((fli:define-c-typedef ,enum-name :int))
  46                        #+(or cmu scl) `((alien:def-alien-type ,enum-name alien:signed))
  47                        #+sbcl `((sb-alien:define-alien-type ,enum-name sb-alien:signed))
  48                        #+(and mcl (not openmcl)) `((def-mcl-type ,enum-name :integer))
  49                        #+openmcl `((ccl::def-foreign-type ,enum-name :int))
  50                        (nreverse constants)))
  51     cmds))
  52
  53
  54 (defmacro def-array-pointer (name-array type)
  55   #+allegro
  56   `(ff:def-foreign-type ,name-array
  57     (:array ,(convert-from-uffi-type type :array)))
  58   #+lispworks
  59   `(fli:define-c-typedef ,name-array
  60     (:c-array ,(convert-from-uffi-type type :array)))
  61   #+(or cmu scl)
  62   `(alien:def-alien-type ,name-array
  63     (* ,(convert-from-uffi-type type :array)))
  64   #+sbcl
  65   `(sb-alien:define-alien-type ,name-array
  66     (* ,(convert-from-uffi-type type :array)))
  67   #+(and mcl (not openmcl))
  68   `(def-mcl-type ,name-array '(:array ,type))
  69   #+openmcl
  70   `(ccl::def-foreign-type ,name-array (:array ,(convert-from-uffi-type type :array)))
  71   )
  72
  73 (defun process-struct-fields (name fields &optional (variant nil))
  74   (let (processed)
  75     (dolist (field fields)
  76       (let* ((field-name (car field))
  77              (type (cadr field))
  78              (def (append (list field-name)
  79                           (if (eq type :pointer-self)
  80                               #+(or cmu scl) `((* (alien:struct ,name)))
  81                               #+sbcl `((* (sb-alien:struct ,name)))
  82                               #+mcl `((:* (:struct ,name)))
  83                               #+lispworks `((:pointer ,name))
  84                               #-(or cmu sbcl scl mcl lispworks) `((* ,name))
  85                               `(,(convert-from-uffi-type type :struct))))))
  86         (if variant
  87             (push (list def) processed)
  88           (push def processed))))
  89     (nreverse processed)))
  90
  91
  92 (defmacro def-struct (name &rest fields)
  93   #+(or cmu scl)
  94   `(alien:def-alien-type ,name (alien:struct ,name ,@(process-struct-fields name fields)))
  95   #+sbcl
  96   `(sb-alien:define-alien-type ,name (sb-alien:struct ,name ,@(process-struct-fields name fields)))
  97   #+allegro
  98   `(ff:def-foreign-type ,name (:struct ,@(process-struct-fields name fields)))
  99   #+lispworks
 100   `(fli:define-c-struct ,name ,@(process-struct-fields name fields))
 101   #+(and mcl (not openmcl))
 102   `(ccl:defrecord ,name ,@(process-struct-fields name fields))
 103   #+openmcl
 104   `(ccl::def-foreign-type
 105     nil
 106     (:struct ,name ,@(process-struct-fields name fields)))
 107   )
 108
 109
 110 (defmacro get-slot-value (obj type slot)
 111   #+(or lispworks cmu sbcl scl) (declare (ignore type))
 112   #+allegro
 113   `(ff:fslot-value-typed ,type :c ,obj ,slot)
 114   #+lispworks
 115   `(fli:foreign-slot-value ,obj ,slot)
 116   #+(or cmu scl)
 117   `(alien:slot ,obj ,slot)
 118   #+sbcl
 119   `(sb-alien:slot ,obj ,slot)
 120   #+mcl
 121   `(ccl:pref ,obj ,(intern (concatenate 'string (symbol-name type) "." (symbol-name slot))
 122                           :keyword))
 123   )
 124
 125 #+mcl
 126 (defmacro set-slot-value (obj type slot value) ;use setf to set values
 127   `(setf (ccl:pref ,obj ,(read-from-string (format nil ":~a.~a" (keyword type) (keyword slot)))) ,value))
 128
 129 #+mcl
 130 (defsetf get-slot-value set-slot-value)
 131
 132
 133 (defmacro get-slot-pointer (obj type slot)
 134   #+(or lispworks cmu sbcl scl) (declare (ignore type))
 135   #+allegro
 136   `(ff:fslot-value-typed ,type :c ,obj ,slot)
 137   #+lispworks
 138   `(fli:foreign-slot-pointer ,obj ,slot)
 139   #+(or cmu scl)
 140   `(alien:slot ,obj ,slot)
 141   #+sbcl
 142   `(sb-alien:slot ,obj ,slot)
 143   #+(and mcl (not openmcl))
 144   `(ccl:%int-to-ptr (+ (ccl:%ptr-to-int ,obj) (the fixnum (ccl:field-info ,type ,slot))))
 145   #+openmcl
 146   `(let ((field (ccl::%find-foreign-record-type-field ,type ,slot)))
 147      (ccl:%int-to-ptr (+ (ccl:%ptr-to-int ,obj) (the fixnum (ccl::foreign-record-field-offset field)))))
 148 )
 149
 150 ; so we could allow '(:array :long) or deref with other type like :long only
 151 #+mcl
 152 (defun array-type (type)
 153   (let ((result type))
 154     (when (listp type)
 155       (let ((type-list (if (eq (car type) 'quote) (nth 1 type) type)))
 156         (when (and (listp type-list) (eq (car type-list) :array))
 157           (setf result (cadr type-list)))))
 158     result))
 159
 160
 161 (defmacro deref-array (obj type i)
 162   "Returns a field from a row"
 163   #+(or lispworks cmu sbcl scl) (declare (ignore type))
 164   #+(or cmu scl)  `(alien:deref ,obj ,i)
 165   #+sbcl `(sb-alien:deref ,obj ,i)
 166   #+lispworks `(fli:dereference ,obj :index ,i :copy-foreign-object nil)
 167   #+allegro `(ff:fslot-value-typed (quote ,(convert-from-uffi-type type :type)) :c ,obj ,i)
 168   #+openmcl
 169   (let* ((array-type (array-type type))
 170          (local-type (convert-from-uffi-type array-type :allocation))
 171          (element-size-in-bits (ccl::%foreign-type-or-record-size local-type :bits)))
 172     (ccl::%foreign-access-form
 173      obj
 174      (ccl::%foreign-type-or-record local-type)
 175      `(* ,i ,element-size-in-bits)
 176      nil))
 177   #+(and mcl (not openmcl))
 178   (let* ((array-type (array-type type))
 179          (local-type (convert-from-uffi-type array-type :allocation))
 180          (accessor (first (macroexpand `(ccl:pref obj ,local-type)))))
 181     `(,accessor
 182       ,obj
 183       (* (the fixnum ,i) ,(size-of-foreign-type local-type))))
 184   )
 185
 186 ; this expands to the %set-xx functions which has different params than %put-xx
 187 #+(and mcl (not openmcl))
 188 (defmacro deref-array-set (obj type i value)
 189   (let* ((array-type (array-type type))
 190          (local-type (convert-from-uffi-type array-type :allocation))
 191          (accessor (first (macroexpand `(ccl:pref obj ,local-type))))
 192          (settor (first (macroexpand `(setf (,accessor obj ,local-type) value)))))
 193     `(,settor
 194       ,obj
 195       (* (the fixnum ,i) ,(size-of-foreign-type local-type))
 196       ,value)))
 197
 198 #+(and mcl (not openmcl))
 199 (defsetf deref-array deref-array-set)
 200
 201 (defmacro def-union (name &rest fields)
 202   #+allegro
 203   `(ff:def-foreign-type ,name (:union ,@(process-struct-fields name fields)))
 204   #+lispworks
 205   `(fli:define-c-union ,name ,@(process-struct-fields name fields))
 206   #+(or cmu scl)
 207   `(alien:def-alien-type ,name (alien:union ,name ,@(process-struct-fields name fields)))
 208   #+sbcl
 209   `(sb-alien:define-alien-type ,name (sb-alien:union ,name ,@(process-struct-fields name fields)))
 210   #+(and mcl (not openmcl))
 211   `(ccl:defrecord ,name (:variant ,@(process-struct-fields name fields t)))
 212   #+openmcl
 213   `(ccl::def-foreign-type nil
 214                           (:union ,name ,@(process-struct-fields name fields)))
 215 )
 216
 217
 218 #-(or sbcl cmu)
 219 (defun convert-from-foreign-usb8 (s len)
 220   (declare (optimize (speed 3) (space 0) (safety 0) (compilation-speed 0))
 221            (fixnum len))
 222   (let ((a (make-array len :element-type '(unsigned-byte 8))))
 223     (dotimes (i len a)
 224       (declare (fixnum i))
 225       (setf (aref a i) (uffi:deref-array s '(:array :unsigned-byte) i)))))
 226
 227 #+sbcl
 228 (defun convert-from-foreign-usb8 (s len)
 229   (declare (type sb-sys:system-area-pointer sap))
 230   (locally
 231       (declare (optimize (speed 3) (safety 0)))
 232     (let ((result (make-array len :element-type '(unsiged-byte 8))))
 233       (sb-kernel:copy-from-system-area s 0
 234                                        result (* sb-vm:vector-data-offset
 235                                                  sb-vm:n-word-bits)
 236                                        (* len sb-vm:n-byte-bits))
 237       result)))
 238
 239 #+cmu
 240 (defun convert-from-foreign-usb8 (s le)
 241   (declare (type system:system-area-pointer sap))
 242   (locally
 243       (declare (optimize (speed 3) (safety 0)))
 244     (let ((result (make-array len :element-type '(unsiged-byte 8))))
 245       (kernel:copy-from-system-area s 0
 246                                     result (* vm:vector-data-offset
 247                                               vm:word-bits)
 248                                     (* len vm:byte-bits))
 249       result)))