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 ,(read-from-string (format nil ":~a.~a" (keyword type) (keyword slot))))
 122   )
 123
 124 #+mcl
 125 (defmacro set-slot-value (obj type slot value) ;use setf to set values
 126   `(setf (ccl:pref ,obj ,(read-from-string (format nil ":~a.~a" (keyword type) (keyword slot)))) ,value))
 127
 128 #+mcl
 129 (defsetf get-slot-value set-slot-value)
 130
 131
 132 (defmacro get-slot-pointer (obj type slot)
 133   #+(or lispworks cmu sbcl scl) (declare (ignore type))
 134   #+allegro
 135   `(ff:fslot-value-typed ,type :c ,obj ,slot)
 136   #+lispworks
 137   `(fli:foreign-slot-pointer ,obj ,slot)
 138   #+(or cmu scl)
 139   `(alien:slot ,obj ,slot)
 140   #+sbcl
 141   `(sb-alien:slot ,obj ,slot)
 142   #+(and mcl (not openmcl))
 143   `(ccl:%int-to-ptr (+ (ccl:%ptr-to-int ,obj) (the fixnum (ccl:field-info ,type ,slot))))
 144   #+openmcl
 145   `(let ((field (ccl::%find-foreign-record-type-field ,type ,slot)))
 146      (ccl:%int-to-ptr (+ (ccl:%ptr-to-int ,obj) (the fixnum (ccl::foreign-record-field-offset field)))))
 147 )
 148
 149 ; so we could allow '(:array :long) or deref with other type like :long only
 150 #+mcl
 151 (defun array-type (type)
 152   (let ((result type))
 153     (when (listp type)
 154       (let ((type-list (if (eq (car type) 'quote) (nth 1 type) type)))
 155         (when (and (listp type-list) (eq (car type-list) :array))
 156           (setf result (cadr type-list)))))
 157     result))
 158
 159
 160 (defmacro deref-array (obj type i)
 161   "Returns a field from a row"
 162   #+(or lispworks cmu sbcl scl) (declare (ignore type))
 163   #+(or cmu scl)  `(alien:deref ,obj ,i)
 164   #+sbcl  `(sb-alien:deref ,obj ,i)
 165   #+lispworks `(fli:dereference ,obj :index ,i :copy-foreign-object nil)
 166   #+allegro `(ff:fslot-value-typed (quote ,(convert-from-uffi-type type :type)) :c ,obj ,i)
 167   #+openmcl
 168   (let* ((array-type (array-type type))
 169          (local-type (convert-from-uffi-type array-type :allocation))
 170          (element-size-in-bits (ccl::%foreign-type-or-record-size local-type :bits)))
 171     (ccl::%foreign-access-form
 172      obj
 173      (ccl::%foreign-type-or-record local-type)
 174      `(* ,i ,element-size-in-bits)
 175      nil))
 176   #+(and mcl (not openmcl))
 177   (let* ((array-type (array-type type))
 178          (local-type (convert-from-uffi-type array-type :allocation))
 179          (accessor (first (macroexpand `(ccl:pref obj ,local-type)))))
 180     `(,accessor
 181       ,obj
 182       (* (the fixnum ,i) ,(size-of-foreign-type local-type))))
 183   )
 184
 185 ; this expands to the %set-xx functions which has different params than %put-xx
 186 #+(and mcl (not openmcl))
 187 (defmacro deref-array-set (obj type i value)
 188   (let* ((array-type (array-type type))
 189          (local-type (convert-from-uffi-type array-type :allocation))
 190          (accessor (first (macroexpand `(ccl:pref obj ,local-type))))
 191          (settor (first (macroexpand `(setf (,accessor obj ,local-type) value)))))
 192     `(,settor
 193       ,obj
 194       (* (the fixnum ,i) ,(size-of-foreign-type local-type))
 195       ,value)))
 196
 197 #+(and mcl (not openmcl))
 198 (defsetf deref-array deref-array-set)
 199
 200 (defmacro def-union (name &rest fields)
 201   #+allegro
 202   `(ff:def-foreign-type ,name (:union ,@(process-struct-fields name fields)))
 203   #+lispworks
 204   `(fli:define-c-union ,name ,@(process-struct-fields name fields))
 205   #+(or cmu scl)
 206   `(alien:def-alien-type ,name (alien:union ,name ,@(process-struct-fields name fields)))
 207   #+sbcl
 208   `(sb-alien:define-alien-type ,name (sb-alien:union ,name ,@(process-struct-fields name fields)))
 209   #+(and mcl (not openmcl))
 210   `(ccl:defrecord ,name (:variant ,@(process-struct-fields name fields t)))
 211   #+openmcl
 212   `(ccl::def-foreign-type nil
 213                           (:union ,name ,@(process-struct-fields name fields)))
 214 )