chiark / gitweb /
Changed to MIT license
[clg] / glib / proxy.lisp
CommitLineData
112ac1d3 1;; Common Lisp bindings for GTK+ v2.x
2;; Copyright 2000-2005 Espen S. Johnsen <espen@users.sf.net>
94f15c3c 3;;
112ac1d3 4;; Permission is hereby granted, free of charge, to any person obtaining
5;; a copy of this software and associated documentation files (the
6;; "Software"), to deal in the Software without restriction, including
7;; without limitation the rights to use, copy, modify, merge, publish,
8;; distribute, sublicense, and/or sell copies of the Software, and to
9;; permit persons to whom the Software is furnished to do so, subject to
10;; the following conditions:
94f15c3c 11;;
112ac1d3 12;; The above copyright notice and this permission notice shall be
13;; included in all copies or substantial portions of the Software.
94f15c3c 14;;
112ac1d3 15;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
18;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
19;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
20;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
21;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
94f15c3c 22
112ac1d3 23;; $Id: proxy.lisp,v 1.20 2005-04-23 16:48:51 espen Exp $
94f15c3c 24
25(in-package "GLIB")
26
94f15c3c 27;;;; Superclass for all metaclasses implementing some sort of virtual slots
28
29(eval-when (:compile-toplevel :load-toplevel :execute)
9adccb27 30 (defclass virtual-slots-class (standard-class)
4d83a8a6 31 ())
94f15c3c 32
33 (defclass direct-virtual-slot-definition (standard-direct-slot-definition)
12d0437e 34 ((setter :reader slot-definition-setter :initarg :setter)
4d83a8a6 35 (getter :reader slot-definition-getter :initarg :getter)
eeda1c2d 36 (unbound :reader slot-definition-unbound :initarg :unbound)
4d83a8a6 37 (boundp :reader slot-definition-boundp :initarg :boundp)))
94f15c3c 38
4d83a8a6 39 (defclass effective-virtual-slot-definition (standard-effective-slot-definition)
40 ((setter :reader slot-definition-setter :initarg :setter)
41 (getter :reader slot-definition-getter :initarg :getter)
eeda1c2d 42 (unbound :reader slot-definition-unbound :initarg :unbound)
73572c12 43 (boundp :reader slot-definition-boundp :initarg :boundp))))
eeda1c2d 44
45 (defvar *unbound-marker* (gensym "UNBOUND-MARKER-"))
4d83a8a6 46
eeda1c2d 47 (defun most-specific-slot-value (instances slot &optional
48 (default *unbound-marker*))
4d83a8a6 49 (let ((object (find-if
50 #'(lambda (ob)
51 (and (slot-exists-p ob slot) (slot-boundp ob slot)))
52 instances)))
53 (if object
54 (slot-value object slot)
73572c12 55 default)));)
4d83a8a6 56
94f15c3c 57
58
9adccb27 59(defmethod direct-slot-definition-class ((class virtual-slots-class) &rest initargs)
94f15c3c 60 (if (eq (getf initargs :allocation) :virtual)
61 (find-class 'direct-virtual-slot-definition)
62 (call-next-method)))
63
9adccb27 64(defmethod effective-slot-definition-class ((class virtual-slots-class) &rest initargs)
94f15c3c 65 (if (eq (getf initargs :allocation) :virtual)
66 (find-class 'effective-virtual-slot-definition)
67 (call-next-method)))
68
4d83a8a6 69
70(defmethod initialize-internal-slot-functions ((slotd effective-virtual-slot-definition))
eeda1c2d 71 (if (not (slot-boundp slotd 'getter))
72 (setf
4d83a8a6 73 (slot-value slotd 'reader-function)
eeda1c2d 74 #'(lambda (object)
75 (declare (ignore object))
76 (error "Can't read slot: ~A" (slot-definition-name slotd)))
77 (slot-value slotd 'boundp-function)
78 #'(lambda (object) (declare (ignore object)) nil))
79
80 (let ((getter-function
81 (let ((getter (slot-value slotd 'getter)))
82 (etypecase getter
83 (function getter)
84 (symbol
85 #'(lambda (object)
86 (funcall getter object)))
87 (string
88 (let ((reader nil))
89 (setf (slot-value slotd 'reader-function)
90 #'(lambda (object)
91 (unless reader
12b7df04 92 (setq reader
93 (mkbinding getter
94 (slot-definition-type slotd) 'pointer)))
eeda1c2d 95 (funcall reader (proxy-location object))))))))))
96
4d83a8a6 97 (setf
eeda1c2d 98 (slot-value slotd 'boundp-function)
99 (cond
eeda1c2d 100 ((slot-boundp slotd 'unbound)
101 (let ((unbound-value (slot-value slotd 'unbound)))
12b7df04 102 #'(lambda (object)
103 (not (eq (funcall getter-function object) unbound-value)))))
104 ((slot-boundp slotd 'boundp)
105 (let ((boundp (slot-value slotd 'boundp)))
eeda1c2d 106 (etypecase boundp
107 (function boundp)
108 (symbol #'(lambda (object)
109 (funcall boundp object)))
110 (string (let ((reader ()))
111 #'(lambda (object)
112 (unless reader
113 (setq reader
114 (mkbinding boundp
115 (slot-definition-type slotd) 'pointer)))
12b7df04 116 (funcall reader (proxy-location object))))))))
117 ((multiple-value-bind (unbound-p unbound-value)
118 (unbound-value (slot-definition-type slotd))
119 (when unbound-p
120 #'(lambda (object)
121 (not (eq (funcall getter-function object) unbound-value))))))
122 (#'(lambda (object) (declare (ignore object)) t))))
eeda1c2d 123
124 (setf
125 (slot-value slotd 'reader-function)
126 (cond
127 ((slot-boundp slotd 'unbound)
128 (let ((unbound (slot-value slotd 'unbound))
129 (slot-name (slot-definition-name slotd)))
12b7df04 130 #'(lambda (object)
131 (let ((value (funcall getter-function object)))
132 (if (eq value unbound)
133 (slot-unbound (class-of object) object slot-name)
134 value)))))
eeda1c2d 135 ((slot-boundp slotd 'boundp)
136 (let ((boundp-function (slot-value slotd 'boundp-function)))
12b7df04 137 #'(lambda (object)
138 (and
139 (funcall boundp-function object)
140 (funcall getter-function object)))))
141 ((multiple-value-bind (unbound-p unbound-value)
142 (unbound-value (slot-definition-type slotd))
143 (let ((slot-name (slot-definition-name slotd)))
144 (when unbound-p
145 #'(lambda (object)
146 (let ((value (funcall getter-function object)))
147 (if (eq value unbound-value)
148 (slot-unbound (class-of object) object slot-name)
149 value)))))))
eeda1c2d 150 (getter-function)))))
151
152 (setf
153 (slot-value slotd 'writer-function)
154 (if (not (slot-boundp slotd 'setter))
155 #'(lambda (object)
156 (declare (ignore object))
157 (error "Can't set slot: ~A" (slot-definition-name slotd)))
158 (with-slots (setter) slotd
4d83a8a6 159 (etypecase setter
160 (function setter)
eeda1c2d 161 ((or symbol cons)
162 #'(lambda (value object)
163 (funcall (fdefinition setter) value object)))
7d1ddc9e 164 (string
eeda1c2d 165 (let ((writer ()))
166 (setf
167 (slot-value slotd 'writer-function)
168 #'(lambda (value object)
169 (unless writer
170 (setq writer
171 (mkbinding setter 'nil 'pointer
172 (slot-definition-type slotd))))
173 (funcall writer (proxy-location object) value)))))))))
174
4d83a8a6 175 (initialize-internal-slot-gfs (slot-definition-name slotd)))
176
177
178
eeda1c2d 179(defmethod compute-slot-accessor-info ((slotd effective-virtual-slot-definition) type gf)
4d83a8a6 180 nil)
181
9adccb27 182(defmethod compute-effective-slot-definition-initargs ((class virtual-slots-class) direct-slotds)
eeda1c2d 183 (if (typep (first direct-slotds) 'direct-virtual-slot-definition)
184 (let ((initargs ()))
185 (let ((getter (most-specific-slot-value direct-slotds 'getter)))
186 (unless (eq getter *unbound-marker*)
187 (setf (getf initargs :getter) getter)))
188 (let ((setter (most-specific-slot-value direct-slotds 'setter)))
189 (unless (eq setter *unbound-marker*)
190 (setf (getf initargs :setter) setter)))
191 (let ((unbound (most-specific-slot-value direct-slotds 'unbound)))
192 (unless (eq unbound *unbound-marker*)
193 (setf (getf initargs :unbound) unbound)))
194 (let ((boundp (most-specific-slot-value direct-slotds 'boundp)))
195 (unless (eq boundp *unbound-marker*)
196 (setf (getf initargs :boundp) boundp)))
197 (nconc initargs (call-next-method)))
4d83a8a6 198 (call-next-method)))
199
94f15c3c 200
94f15c3c 201(defmethod slot-value-using-class
9adccb27 202 ((class virtual-slots-class) (object standard-object)
94f15c3c 203 (slotd effective-virtual-slot-definition))
4d83a8a6 204 (if (funcall (slot-value slotd 'boundp-function) object)
205 (funcall (slot-value slotd 'reader-function) object)
206 (slot-unbound class object (slot-definition-name slotd))))
94f15c3c 207
94f15c3c 208(defmethod slot-boundp-using-class
9adccb27 209 ((class virtual-slots-class) (object standard-object)
94f15c3c 210 (slotd effective-virtual-slot-definition))
4d83a8a6 211 (funcall (slot-value slotd 'boundp-function) object))
212
213(defmethod (setf slot-value-using-class)
9adccb27 214 (value (class virtual-slots-class) (object standard-object)
94f15c3c 215 (slotd effective-virtual-slot-definition))
4d83a8a6 216 (funcall (slot-value slotd 'writer-function) value object))
217
218
94f15c3c 219(defmethod validate-superclass
9adccb27 220 ((class virtual-slots-class) (super standard-class))
94f15c3c 221 t)
222
223
224;;;; Proxy cache
225
226(internal *instance-cache*)
227(defvar *instance-cache* (make-hash-table :test #'eql))
228
229(defun cache-instance (instance)
230 (setf
73572c12 231 (gethash (sap-int (proxy-location instance)) *instance-cache*)
232 (make-weak-pointer instance)))
94f15c3c 233
234(defun find-cached-instance (location)
73572c12 235 (let ((ref (gethash (sap-int location) *instance-cache*)))
94f15c3c 236 (when ref
73572c12 237 (weak-pointer-value ref))))
94f15c3c 238
0f134a29 239(defun instance-cached-p (location)
73572c12 240 (gethash (sap-int location) *instance-cache*))
0f134a29 241
94f15c3c 242(defun remove-cached-instance (location)
73572c12 243 (remhash (sap-int location) *instance-cache*))
94f15c3c 244
9adccb27 245;; For debuging
246(defun cached-instances ()
247 (let ((instances ()))
248 (maphash #'(lambda (location ref)
249 (declare (ignore location))
73572c12 250 (push (weak-pointer-value ref) instances))
9adccb27 251 *instance-cache*)
252 instances))
253
94f15c3c 254
255
256;;;; Proxy for alien instances
257
9adccb27 258(defclass proxy ()
259 ((location :reader proxy-location :type system-area-pointer)))
94f15c3c 260
9adccb27 261(defgeneric initialize-proxy (object &rest initargs))
262(defgeneric instance-finalizer (object))
263(defgeneric reference-foreign (class location))
264(defgeneric unreference-foreign (class location))
265
3b167652 266(defmethod reference-foreign ((name symbol) location)
267 (reference-foreign (find-class name) location))
268
269(defmethod unreference-foreign ((name symbol) location)
270 (unreference-foreign (find-class name) location))
271
9adccb27 272(defmethod unreference-foreign :around ((class class) location)
273 (unless (null-pointer-p location)
274;; (format t "Unreferencing ~A at ~A" (class-name class) location)
275;; (finish-output *standard-output*)
276 (call-next-method)
277;; (write-line " done")
278;; (finish-output *standard-output*)
279 ))
94f15c3c 280
0f134a29 281(defmethod print-object ((instance proxy) stream)
282 (print-unreadable-object (instance stream :type t :identity nil)
eeda1c2d 283 (when (slot-boundp instance 'location)
284 (format stream "at 0x~X" (sap-int (proxy-location instance))))))
94f15c3c 285
9adccb27 286(defmethod initialize-instance :around ((instance proxy) &key location)
287 (if location
288 (setf (slot-value instance 'location) location)
289 (call-next-method))
12d0437e 290 (cache-instance instance)
73572c12 291 (finalize instance (instance-finalizer instance))
9adccb27 292 instance)
94f15c3c 293
294(defmethod instance-finalizer ((instance proxy))
9adccb27 295 (let ((location (proxy-location instance))
296 (class (class-of instance)))
297;; (unless (find-method #'unreference-foreign nil (list (class-of class) t) nil)
298;; (error "No matching method for UNREFERENCE-INSTANCE when called with class ~A" class))
299 #'(lambda ()
1dbf4216 300 (remove-cached-instance location)
9adccb27 301 (unreference-foreign class location))))
12d0437e 302
94f15c3c 303
304;;;; Metaclass used for subclasses of proxy
305
73572c12 306(defgeneric most-specific-proxy-superclass (class))
307(defgeneric direct-proxy-superclass (class))
308
309
94f15c3c 310(eval-when (:compile-toplevel :load-toplevel :execute)
9adccb27 311 (defclass proxy-class (virtual-slots-class)
312 ((size :reader proxy-instance-size)))
94f15c3c 313
314 (defclass direct-alien-slot-definition (direct-virtual-slot-definition)
12d0437e 315 ((allocation :initform :alien)
316 (offset :reader slot-definition-offset :initarg :offset)))
94f15c3c 317
318 (defclass effective-alien-slot-definition (effective-virtual-slot-definition)
4d83a8a6 319 ((offset :reader slot-definition-offset :initarg :offset)))
12d0437e 320
94f15c3c 321 (defmethod most-specific-proxy-superclass ((class proxy-class))
322 (find-if
323 #'(lambda (class)
324 (subtypep (class-name class) 'proxy))
4d83a8a6 325 (cdr (compute-class-precedence-list class))))
73572c12 326
12d0437e 327 (defmethod direct-proxy-superclass ((class proxy-class))
328 (find-if
329 #'(lambda (class)
330 (subtypep (class-name class) 'proxy))
4d83a8a6 331 (class-direct-superclasses class)))
332
eeda1c2d 333 (defmethod shared-initialize ((class proxy-class) names &key size)
94f15c3c 334 (call-next-method)
12d0437e 335 (cond
4d83a8a6 336 (size (setf (slot-value class 'size) (first size)))
9adccb27 337 ((slot-boundp class 'size) (slot-makunbound class 'size))))
4d83a8a6 338
339 (defmethod direct-slot-definition-class ((class proxy-class) &rest initargs)
94f15c3c 340 (case (getf initargs :allocation)
341 ((nil :alien) (find-class 'direct-alien-slot-definition))
94f15c3c 342 (t (call-next-method))))
4d83a8a6 343
344 (defmethod effective-slot-definition-class ((class proxy-class) &rest initargs)
94f15c3c 345 (case (getf initargs :allocation)
346 (:alien (find-class 'effective-alien-slot-definition))
94f15c3c 347 (t (call-next-method))))
348
4d83a8a6 349
350 (defmethod compute-effective-slot-definition-initargs ((class proxy-class) direct-slotds)
351 (if (eq (most-specific-slot-value direct-slotds 'allocation) :alien)
352 (nconc
353 (list :offset (most-specific-slot-value direct-slotds 'offset))
354 (call-next-method))
355 (call-next-method)))
356
357
358 (defmethod initialize-internal-slot-functions ((slotd effective-alien-slot-definition))
359 (with-slots (offset) slotd
9adccb27 360 (let ((type (slot-definition-type slotd)))
eeda1c2d 361 (unless (slot-boundp slotd 'getter)
9adccb27 362 (let ((reader (reader-function type)))
363 (setf
eeda1c2d 364 (slot-value slotd 'getter)
9adccb27 365 #'(lambda (object)
366 (funcall reader (proxy-location object) offset)))))
4d83a8a6 367
eeda1c2d 368 (unless (slot-boundp slotd 'setter)
9adccb27 369 (let ((writer (writer-function type))
370 (destroy (destroy-function type)))
371 (setf
eeda1c2d 372 (slot-value slotd 'setter)
9adccb27 373 #'(lambda (value object)
374 (let ((location (proxy-location object)))
375 (funcall destroy location offset) ; destroy old value
eeda1c2d 376 (funcall writer value location offset))))))))
377
4d83a8a6 378 (call-next-method))
379
380
4d83a8a6 381 ;; TODO: call some C code to detect this a compile time
382 (defconstant +struct-alignmen+ 4)
94f15c3c 383
384 (defmethod compute-slots ((class proxy-class))
4d83a8a6 385 (loop
3b167652 386 with offset = (let ((size-of-super-classes
387 (proxy-instance-size
388 (most-specific-proxy-superclass class))))
389 (+ size-of-super-classes
390 (mod size-of-super-classes +struct-alignmen+)))
4d83a8a6 391 with size = offset
392 for slotd in (class-direct-slots class)
393 when (eq (slot-definition-allocation slotd) :alien)
394 do (if (not (slot-boundp slotd 'offset))
395 (setf (slot-value slotd 'offset) offset)
396 (setq offset (slot-value slotd 'offset)))
397
398 (incf offset (size-of (slot-definition-type slotd)))
399 (incf offset (mod offset +struct-alignmen+))
400 (setq size (max size offset))
401
402 finally (unless (slot-boundp class 'size)
403 (setf (slot-value class 'size) size)))
94f15c3c 404 (call-next-method))
3e15002d 405
4d83a8a6 406
407 (defmethod validate-superclass ((class proxy-class) (super standard-class))
408 (subtypep (class-name super) 'proxy))
409
9adccb27 410 (defmethod proxy-instance-size (class)
12d0437e 411 (declare (ignore class))
412 0)
47a11c16 413
414 (defmethod proxy-instance-size ((class-name symbol))
415 (proxy-instance-size (find-class class-name)))
4d83a8a6 416)
417
9adccb27 418(defmethod alien-type ((class proxy-class) &rest args)
419 (declare (ignore class args))
420 (alien-type 'pointer))
421
422(defmethod size-of ((class proxy-class) &rest args)
423 (declare (ignore class args))
424 (size-of 'pointer))
425
426(defmethod from-alien-form (location (class proxy-class) &rest args)
427 (declare (ignore args))
428 `(ensure-proxy-instance ',(class-name class) ,location))
429
430(defmethod from-alien-function ((class proxy-class) &rest args)
431 (declare (ignore args))
432 #'(lambda (location)
433 (ensure-proxy-instance class location)))
94f15c3c 434
9adccb27 435(defmethod to-alien-form (instance (class proxy-class) &rest args)
436 (declare (ignore class args))
437 `(proxy-location ,instance))
94f15c3c 438
9adccb27 439(defmethod to-alien-function ((class proxy-class) &rest args)
440 (declare (ignore class args))
441 #'proxy-location)
442
9ca5565a 443(defmethod copy-from-alien-form (location (class proxy-class) &rest args)
444 (declare (ignore args))
445 (let ((class-name (class-name class)))
446 `(ensure-proxy-instance ',class-name
447 (reference-foreign ',class-name ,location))))
448
449(defmethod copy-from-alien-function ((class proxy-class) &rest args)
450 (declare (ignore args))
451 #'(lambda (location)
452 (ensure-proxy-instance class (reference-foreign class location))))
453
454(defmethod copy-to-alien-form (instance (class proxy-class) &rest args)
455 (declare (ignore args))
456 `(reference-foreign ',(class-name class) (proxy-location ,instance)))
457
458(defmethod copy-to-alien-function ((class proxy-class) &rest args)
73572c12 459 (declare (ignore args))
9ca5565a 460 #'(lambda (instance)
461 (reference-foreign class (proxy-location instance))))
462
9adccb27 463(defmethod writer-function ((class proxy-class) &rest args)
464 (declare (ignore args))
465 #'(lambda (instance location &optional (offset 0))
466 (assert (null-pointer-p (sap-ref-sap location offset)))
467 (setf
468 (sap-ref-sap location offset)
469 (reference-foreign class (proxy-location instance)))))
94f15c3c 470
9adccb27 471(defmethod reader-function ((class proxy-class) &rest args)
472 (declare (ignore args))
473 #'(lambda (location &optional (offset 0))
9ca5565a 474 (let ((instance (sap-ref-sap location offset)))
475 (unless (null-pointer-p instance)
476 (ensure-proxy-instance class (reference-foreign class instance))))))
94f15c3c 477
9adccb27 478(defmethod destroy-function ((class proxy-class) &rest args)
479 (declare (ignore args))
480 #'(lambda (location &optional (offset 0))
481 (unreference-foreign class (sap-ref-sap location offset))))
482
12b7df04 483(defmethod unbound-value ((class proxy-class) &rest args)
47a11c16 484 (declare (ignore args))
12b7df04 485 (values t nil))
9adccb27 486
487(defgeneric ensure-proxy-instance (class location)
488 (:documentation "Returns a proxy object representing the foreign object at the give location."))
489
490(defmethod ensure-proxy-instance :around (class location)
491 (unless (null-pointer-p location)
492 (or
493 (find-cached-instance location)
494 (call-next-method))))
495
496(defmethod ensure-proxy-instance ((class symbol) location)
497 (ensure-proxy-instance (find-class class) location))
498
499(defmethod ensure-proxy-instance ((class proxy-class) location)
500 (make-instance class :location location))
94f15c3c 501
12d0437e 502
503;;;; Superclasses for wrapping of C structures
94f15c3c 504
9adccb27 505(defclass struct (proxy)
506 ()
507 (:metaclass proxy-class))
94f15c3c 508
9adccb27 509(defmethod initialize-instance ((struct struct) &rest initargs)
94f15c3c 510 (declare (ignore initargs))
ec1a4146 511 (unless (slot-boundp struct 'location)
512 (let ((size (proxy-instance-size (class-of struct))))
513 (if (zerop size)
514 (error "~A has zero size" (class-of struct))
47a11c16 515 (setf (slot-value struct 'location) (allocate-memory size)))))
94f15c3c 516 (call-next-method))
517
518
9adccb27 519;;;; Metaclasses used for subclasses of struct
520
521(defclass struct-class (proxy-class)
522 ())
94f15c3c 523
9adccb27 524(defmethod reference-foreign ((class struct-class) location)
525 (copy-memory location (proxy-instance-size class)))
526
527(defmethod unreference-foreign ((class struct-class) location)
12d0437e 528 (deallocate-memory location))
94f15c3c 529
530
9adccb27 531(defclass static-struct-class (struct-class)
532 ())
94f15c3c 533
9adccb27 534(defmethod reference-foreign ((class static-struct-class) location)
535 (declare (ignore class))
12d0437e 536 location)
94f15c3c 537
9adccb27 538(defmethod unreference-foreign ((class static-struct-class) location)
539 (declare (ignore class location))
12d0437e 540 nil)