1 ;;;; -*- Mode: ANSI-Lisp; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 ;;;; *************************************************************************
3 ;;;; FILE IDENTIFICATION
6 ;;;; Purpose: UFFI source to handle strings, cstring and foreigns
7 ;;;; Programmer: Kevin M. Rosenberg
8 ;;;; Date Started: Feb 2002
10 ;;;; $Id: strings.cl,v 1.10 2002/03/21 05:57:03 kevin Exp $
12 ;;;; This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
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 ;;;; *************************************************************************
19 (declaim (optimize (debug 3) (speed 3) (safety 1) (compilation-speed 0)))
23 (def-constant +null-cstring-pointer+
26 #+lispworks (fli:make-pointer :address 0 :type '(:unsigned :char)))
28 (defmacro convert-from-cstring (obj)
29 "Converts a string from a c-call. Same as convert-from-foreign-string, except
30 that CMU automatically converts strings from c-calls."
33 (let ((stored (gensym)))
34 `(let ((,stored ,obj))
35 (if (fli:null-pointer-p ,stored)
37 (fli:convert-from-foreign-string ,stored))))
39 (let ((stored (gensym)))
40 `(let ((,stored ,obj))
43 (values (excl:native-to-string ,stored)))))
46 (defmacro convert-to-cstring (obj)
49 +null-cstring-pointer+
50 (fli:convert-to-foreign-string ,obj))
54 (values (excl:string-to-native ,obj)))
56 (declare (ignore obj))
59 (defmacro free-cstring (obj)
61 `(unless (fli:null-pointer-p ,obj)
62 (fli:free-foreign-object ,obj))
65 (ff:free-fobject ,obj))
67 (declare (ignore obj))
70 ;; Either length or null-terminated-p must be non-nil
71 (defmacro convert-from-foreign-string (obj &key
73 (null-terminated-p t))
77 (values (excl:native-to-string
79 ,@(if length (list :length length) (values))
80 :truncate (not ,null-terminated-p))))
82 `(if (fli:null-pointer-p ,obj)
84 (fli:convert-from-foreign-string
86 ,@(if length (list :length length) (values))
87 :null-terminated-p ,null-terminated-p
88 :external-format '(:latin-1 :eol-style :lf)))
90 `(if (null-pointer-p ,obj)
92 (cmucl-naturalize-cstring (alien:alien-sap ,obj)
94 :null-terminated-p ,null-terminated-p))
97 (defmacro convert-to-foreign-string (obj)
100 +null-cstring-pointer+
101 (fli:convert-to-foreign-string ,obj))
105 (values (excl:string-to-native ,obj)))
107 (let ((size (gensym))
112 (alien:sap-alien (system:int-sap 0) (* (alien:unsigned 8))))
114 (let* ((,size (length ,obj))
115 (,storage (alien:make-alien (alien:unsigned 8) (1+ ,size))))
116 (setq ,storage (alien:cast ,storage (* (alien:unsigned 8))))
118 (declare (optimize (speed 3) (safety 0)))
120 (declare (fixnum ,i))
121 (setf (alien:deref ,storage ,i) (char-code (char ,obj ,i))))
122 (setf (alien:deref ,storage ,size) 0))
127 (defmacro allocate-foreign-string (size &key (unsigned t))
129 (let ((array-def (gensym)))
130 `(let ((,array-def (list 'alien:array 'c-call:char ,size)))
131 (eval `(alien:cast (alien:make-alien ,,array-def)
133 '(* (alien:unsigned 8))
134 '(* (alien:signed 8)))))))
136 `(fli:allocate-foreign-object :type
142 (declare (ignore unsigned))
144 `(ff:allocate-fobject :char :c ,size)
147 (defmacro with-foreign-string ((foreign-string lisp-string) &body body)
148 (let ((result (gensym)))
149 `(let* ((,foreign-string (convert-to-foreign-string ,lisp-string))
150 (,result (progn ,@body)))
151 (declare (dynamic-extent ,foreign-string))
152 (free-foreign-object ,foreign-string)
155 (defmacro with-cstring ((cstring lisp-string) &body body)
157 `(let ((,cstring ,lisp-string)) ,@body)
159 (let ((acl-native (gensym)))
160 `(excl:with-native-string (,acl-native ,lisp-string)
161 (let ((,cstring (if ,lisp-string ,acl-native 0)))
164 (let ((result (gensym)))
165 `(let* ((,cstring (convert-to-cstring ,lisp-string))
166 (,result (progn ,@body)))
167 (fli:free-foreign-object ,cstring)
173 ;; Modified from CMUCL's source to handle non-null terminated strings
175 (defun cmucl-naturalize-cstring (sap &key
177 (null-terminated-p t))
178 (declare (type system:system-area-pointer sap))
180 (declare (optimize (speed 3) (safety 0)))
181 (let ((null-terminated-length
182 (when null-terminated-p
184 for offset of-type fixnum upfrom 0
185 until (zerop (system:sap-ref-8 sap offset))
186 finally (return offset)))))
188 (if (and null-terminated-length
189 (> (the fixnum length) (the fixnum null-terminated-length)))
190 (setq length null-terminated-length))
191 (setq length null-terminated-length)))
192 (let ((result (make-string length)))
193 (kernel:copy-from-system-area sap 0
194 result (* vm:vector-data-offset
196 (* length vm:byte-bits))