Various fixes:
Annotate for file src/clos.lisp
2009-04-05 tobias 1 (in-package #:smoke)
15:36:29 ' 2
' 3 (declaim (inline lispify))
' 4 (defun lispify (name &optional (package nil))
' 5 "Returns the interned symbol for name in Lisp style."
' 6 (declare (string name)
' 7 (optimize (speed 3)))
' 8 (if (null package)
' 9 (values (intern (cxx-to-lisp name)))
' 10 (values (intern (cxx-to-lisp name) package))))
' 11
' 12 (defmacro define-string-transform (name documentation &body states)
' 13 "Defines a function to transform a string."
' 14 (let ((output (gensym))
' 15 (index (gensym))
' 16 (length (gensym)))
' 17 `(defun ,name (input)
' 18 ,documentation
' 19 (declare (simple-string input)
' 20 (optimize (speed 3)))
2009-07-22 tobias 21 ;; At least on sbcl 1.0.25.debian CONCATENATE is faster than
22:26:05 ' 22 ;; VECTOR-PUSH-EXTEND.
2009-04-05 tobias 23 (let ((,output "")
15:36:29 ' 24 (,index 0)
' 25 (,length (length input))
' 26 (char #\Null))
' 27 (declare (base-char char))
' 28 (macrolet ((next-char ()
' 29 `(if (>= ,',index ,',length)
' 30 (return-from transform ,',output)
' 31 (progn
' 32 (setf char (aref input ,',index))
' 33 (incf ,',index))))
' 34 (go-next (tag)
' 35 `(progn (next-char)
' 36 (go ,tag)))
' 37 (append-char (char)
' 38 `(setf ,',output (concatenate 'string
' 39 ,',output
' 40 (string ,char)))))
' 41 (block transform
' 42 (tagbody
' 43 (next-char) ;; Get first char
' 44 ,@(reduce #'append
' 45 (mapcar #'(lambda (state)
' 46 (if (stringp (second state))
' 47 `(,(first state) . ,(cddr state))
' 48 state))
' 49 states)))))))))
' 50
' 51
' 52 (define-string-transform lisp-to-cxx
' 53 "Converts LISP-STYLE to camelCase.
2009-07-01 tobias 54 Note that (LISP-TO-CXX (CXX-TO-LIST SOME-STRING)) will not necessarily return
10:54:01 ' 55 a string equal to SOME-STRING."
2009-04-05 tobias 56 (default
2009-07-01 tobias 57 "Down case, convert _ and dispatch."
2009-04-05 tobias 58 (case char
15:36:29 ' 59 (#\- (go-next camel-upcase))
' 60 (#\. (go-next namespace))
' 61 (t (append-char (char-downcase char))
' 62 (go-next default))))
' 63 (camel-upcase
' 64 "Convert camelCase to lisp-style."
' 65 (append-char char)
' 66 (go-next default))
' 67 (namespace
' 68 "Convert . to ::"
' 69 (append-char #\:)
' 70 (append-char #\:)
' 71 (go default)))
' 72
' 73 (define-string-transform cxx-to-lisp
2009-04-17 tobias 74 "Returns camelCase STRING in lisp-style."
2009-04-05 tobias 75 (begin
2009-07-01 tobias 76 "Strip leading Q or K."
2009-04-05 tobias 77 (case char
15:36:29 ' 78 (#\K (go-next default))
' 79 (#\Q (go-next default))
' 80 (t (go default))))
' 81 (default
2009-07-01 tobias 82 "Up case, convert _ and dispatch."
2009-04-05 tobias 83 (case char
15:36:29 ' 84 (#\: (go-next namespace))
' 85 (#\_ (append-char #\-)
' 86 (go-next default))
2009-04-17 tobias 87 (#\ (append-char #\-) ;; space (cast operators)
15:26:55 ' 88 (go-next default))
2009-04-05 tobias 89 (t (append-char (char-upcase char))
15:36:29 ' 90 (if (lower-case-p char)
' 91 (go-next camel-case)
' 92 (go-next default)))))
' 93 (namespace
2009-06-22 tobias 94 "C++ namespace separator"
2009-04-05 tobias 95 (assert (eql #\: char))
15:36:29 ' 96 (append-char #\.)
' 97 (go-next default))
' 98 (camel-case
' 99 "Convert camelCase to lisp-style."
' 100 (if (upper-case-p char)
' 101 (progn
' 102 (append-char #\-)
' 103 (append-char char)
' 104 (go-next default))
' 105 (go default))))
' 106
' 107
' 108 (defmethod print-object ((object smoke-standard-object) stream)
2009-05-27 tobias 109 (if (slot-boundp object 'pointer)
17:22:08 ' 110 (print-unreadable-object (object stream :type t)
2009-08-27 tobias 111 (when (const-p object)
11:43:13 ' 112 (princ "CONST " stream))
2009-05-27 tobias 113 (princ (pointer object) stream))
17:22:08 ' 114 (call-next-method)))
2009-04-05 tobias 115
15:36:29 ' 116 (defclass smoke-standard-class (standard-class smoke-class)
2009-05-24 tobias 117 ()
2009-04-05 tobias 118 (:documentation "A Smoke C++ class"))
15:36:29 ' 119
2009-05-31 tobias 120 (defclass cxx:class (smoke-standard-class)
2009-07-08 tobias 121 ()
2009-05-31 tobias 122 (:documentation "Metaclass to extend Smoke Objects."))
2009-05-14 tobias 123
2009-08-30 tobias 124 (defclass smoke-multi-superclass-mixin ()
14:12:44 ' 125 ((extra-objects :reader extra-objects
' 126 :initarg :extra-objects)))
' 127
2009-08-02 tobias 128 (defmethod closer-mop:validate-superclass ((class smoke-standard-class)
10:12:41 ' 129 (superclass standard-class))
2009-07-22 tobias 130 t)
2009-04-05 tobias 131
2009-08-02 tobias 132 (defmethod closer-mop:validate-superclass ((class cxx:class)
10:12:41 ' 133 (superclass smoke-standard-class))
2009-07-22 tobias 134 t)
2009-04-05 tobias 135
2009-08-02 tobias 136 ;; Sets NIL superclass to SMOKE-STANDARD-OBJECT instead of the default
10:12:41 ' 137 ;; STANDARD-OBJECT.
' 138 (defun init-smoke-standard-class (class next-method
' 139 &rest args &key direct-superclasses
' 140 &allow-other-keys)
' 141 (apply next-method class
' 142 :direct-superclasses (or direct-superclasses
' 143 (list (find-class 'smoke-standard-object)))
' 144 args))
2009-04-05 tobias 145
2009-08-02 tobias 146 (defmethod initialize-instance :around ((class smoke-standard-class) &rest args)
10:12:41 ' 147 (apply #'init-smoke-standard-class class #'call-next-method args))
' 148
' 149 (defmethod reinitialize-instance :around ((class smoke-standard-class) &rest args)
' 150 (apply #'init-smoke-standard-class class #'call-next-method args))
2009-04-05 tobias 151
15:36:29 ' 152
2009-08-02 tobias 153 (defun init-cxx-class (class next-method &rest args &key direct-superclasses
2009-08-30 tobias 154 direct-default-initargs &allow-other-keys)
2009-04-05 tobias 155 (assert (not (null direct-superclasses))
15:36:29 ' 156 (direct-superclasses)
2009-08-30 tobias 157 "No superclass supplied for class ~A" class)
14:12:44 ' 158 (let ((superclass (first direct-superclasses))
' 159 (extra-superclasses (remove-if-not #'(lambda (class)
' 160 (typep class 'smoke-standard-class))
' 161 (rest direct-superclasses))))
' 162 (assert (typep superclass 'smoke-standard-class)
2009-04-05 tobias 163 ((first direct-superclasses))
2009-08-30 tobias 164 "The first superclass ~A must be an subclass of an Smoke class."
14:12:44 ' 165 class)
2009-06-10 tobias 166 (assert (virtual-destructor-p superclass)
11:55:55 ' 167 ()
2009-08-30 tobias 168 "The superclass ~A of ~A has a non virtual destructor."
14:12:44 ' 169 superclass class)
' 170 (when extra-superclasses
' 171 (dolist (superclass extra-superclasses)
' 172 (unless (virtual-destructor-p superclass)
' 173 (cerror "Continue anyway"
' 174 "The superclass ~A of ~A has a non virtual destructor."
' 175 superclass class)))
' 176 (setf direct-superclasses
' 177 (append direct-superclasses
' 178 (list (find-class 'smoke-multi-superclass-mixin))))
' 179 (push `(:extra-objects ,extra-superclasses ,#'(lambda ()
' 180 extra-superclasses))
' 181 direct-default-initargs))
2009-04-05 tobias 182 (apply
2009-08-02 tobias 183 next-method class
2009-07-08 tobias 184 :id (id superclass)
2009-06-22 tobias 185 :smoke (smoke superclass)
2009-04-05 tobias 186 :direct-superclasses direct-superclasses
2009-08-30 tobias 187 :direct-default-initargs direct-default-initargs
2009-04-05 tobias 188 args)))
15:36:29 ' 189
2009-08-02 tobias 190 (defmethod reinitialize-instance :around ((class cxx:class) &rest args)
10:12:41 ' 191 (apply #'init-cxx-class class #'call-next-method args))
' 192
' 193 (defmethod initialize-instance :around ((class cxx:class) &rest args)
' 194 (apply #'init-cxx-class class #'call-next-method args))
' 195
2010-01-26 tobias 196 (defun smoke-class-symbol (smoke-class)
16:26:09 ' 197 "Returns the Lisp class-name of SMOKE-CLASS:"
' 198 (if (external-p smoke-class)
' 199 (class-name (find-smoke-class smoke-class))
' 200 (lispify (name smoke-class))))
2009-04-05 tobias 201
2009-06-11 tobias 202 (defun make-smoke-classes (package smoke)
2009-07-01 tobias 203 "Constructs a lisp class in PACKAGE for each one in the Smoke module SMOKE."
2009-06-22 tobias 204 (declare (optimize (speed 3)))
2010-01-10 tobias 205 (let ((*package* (find-package package)))
2009-06-22 tobias 206 (add-id-class-map smoke)
2009-04-05 tobias 207 (map-classes
15:36:29 ' 208 #'(lambda (class)
2010-01-10 tobias 209 (unless (or (external-p class)
08:49:36 ' 210 (and (eq package :cl-smoke.qt)
' 211 (string/= (smoke-get-module-name
' 212 (smoke-module-pointer smoke))
' 213 "qt")
' 214 (string= (name class) "QGlobalSpace")))
2009-08-27 tobias 215 (with-simple-restart (skip "Skip generating class ~A" (name class))
2010-01-10 tobias 216 (add-id class
08:49:36 ' 217 (closer-mop:ensure-class (lispify (name class))
' 218 :direct-superclasses
' 219 (mapcar #'smoke-class-symbol
' 220 (smoke-class-direct-superclasses class))
' 221 :id (id class)
' 222 :smoke (smoke class)
' 223 :metaclass 'smoke-standard-class))
' 224 (export (lispify (name class))))))
2009-06-11 tobias 225 smoke)))
2009-04-05 tobias 226
2009-04-12 tobias 227 (defclass smoke-gf (cxx-generic-function)
14:43:33 ' 228 ((cxx-name :reader name :initarg :cxx-name
2009-05-11 tobias 229 :type string
11:07:39 ' 230 :documentation "The C++ name of the method."))
2009-04-05 tobias 231 (:metaclass closer-mop:funcallable-standard-class)
2009-05-11 tobias 232 (:documentation "Smoke generic function."))
2009-04-05 tobias 233
2009-06-22 tobias 234 (declaim (inline smoke-class-of))
2009-04-05 tobias 235 (defun smoke-class-of (object)
2009-07-01 tobias 236 "Returns the class of OBJECT or OBJECT iff it already is a class."
2009-06-22 tobias 237 (declare (optimize (speed 3)))
12:18:08 ' 238 (if (typep object 'smoke-class)
2009-04-05 tobias 239 object
15:36:29 ' 240 (class-of object)))
' 241
2009-04-12 tobias 242 ;;; To speed up the startup
2009-04-05 tobias 243 ;;; ENSURE-METHOD is only called as needed.
15:36:29 ' 244 (defmethod no-applicable-method ((gf smoke-gf) &rest args)
' 245 "Calls the smoke method."
2009-06-22 tobias 246 (declare (dynamic-extent args)
12:18:08 ' 247 (optimize (speed 3)))
2009-04-17 tobias 248 (call-using-args (first args) (name gf) (rest args)))
2009-04-05 tobias 249
2009-04-12 tobias 250 (defmethod add-method :after ((gf cxx-method-generic-function) method)
2009-04-05 tobias 251 "Adds a method which calls the smoke method, to make call-next-method work."
15:36:29 ' 252 (when (null (rest (closer-mop:generic-function-methods gf)))
2009-04-12 tobias 253 (let ((lambda-list (closer-mop:method-lambda-list method)))
14:43:33 ' 254 (closer-mop:ensure-method
' 255 gf
' 256 `(lambda ,lambda-list
' 257 (declare (optimize (speed 3)))
2009-05-11 tobias 258 (call-using-args ,(first lambda-list)
17:55:42 ' 259 (name ,(cxx-generic-function gf))
2009-05-11 tobias 260 (list ,@(rest lambda-list))))))))
2009-04-05 tobias 261
15:36:29 ' 262 (defcallback destructed :void
2009-07-22 tobias 263 ((object-pointer :pointer))
2009-06-22 tobias 264 (declare (optimize (speed 3)))
2009-04-05 tobias 265 (let ((object (get-object object-pointer)))
2009-08-02 tobias 266 ;; The destructed callback can be the result of deleting the object
10:12:41 ' 267 ;; in a finalizer. In that case the object is already removed from
' 268 ;; *object-map* when the callback is invoked. Thus OBJECT can be NIL.
2009-04-05 tobias 269 (when object
2009-09-02 tobias 270 (when (typep object 'smoke-multi-superclass-mixin)
11:49:34 ' 271 (dolist (extra-object (extra-objects object))
' 272 (unless (null-pointer-p (pointer extra-object))
' 273 (remove-object (pointer extra-object))
' 274 (delete-object extra-object))))
2009-06-30 tobias 275 (remove-finalizer object)
2009-04-05 tobias 276 (remove-object object-pointer)
15:36:29 ' 277 (setf (slot-value object 'pointer) (null-pointer)))))
' 278
2009-06-22 tobias 279 (declaim (inline argument-to-lisp))
12:18:08 ' 280 (defun argument-to-lisp (stack-item type)
' 281 ;; FIXME do not take ownership of stack allocated objects.
2009-08-02 tobias 282 ;; It looks like there is no stack allocation in Qt virtual method signatures.
2009-06-22 tobias 283 (type-to-lisp stack-item type))
12:18:08 ' 284
2009-04-05 tobias 285 (defun stack-to-args (stack arg &optional (args nil))
15:36:29 ' 286 "Returns the arguments in STACK, where ARG is the type
' 287 of the first argument, as an list of Lisp objects."
' 288 (if (end-p arg)
2009-06-22 tobias 289 (reverse args)
12:18:08 ' 290 (stack-to-args (inc-pointer stack
' 291 (foreign-type-size 'smoke-stack-item))
2009-04-05 tobias 292 (next arg)
2009-08-27 tobias 293 (cons (argument-to-lisp (mem-ref stack 'smoke-stack-item)
2009-07-22 tobias 294 arg)
2009-06-22 tobias 295 args))))
2009-04-05 tobias 296
2009-09-02 tobias 297 (defun convert-argument (argument type &optional disown)
11:49:34 ' 298 "Returns ARGUMENT converted to TYPE and removes the ownership when
' 299 it is passed on the stack."
' 300 (flet ((disown (object)
' 301 (remove-finalizer object)
' 302 (when (typep object 'smoke-standard-object)
' 303 (remove-object (pointer object)))))
' 304 (let ((rank (get-conversion-sequence argument type nil)))
' 305 (if (null rank)
' 306 (let ((rank (get-conversion-sequence argument type t)))
' 307 (if (null rank)
' 308 (error "Can not convert the argument ~S to ~A."
' 309 argument (name type))
' 310 (let ((ret (funcall (conversion-function-name rank)
' 311 argument)))
' 312 (when (and disown (stack-p type))
' 313 (disown ret))
' 314 ret)))
' 315 (prog1 (funcall (conversion-function-name rank) argument)
' 316 (when (and disown (stack-p type))
' 317 (disown argument)))))))
2009-04-05 tobias 318
2009-06-08 tobias 319 (defun put-returnvalue (stack value type object)
2009-04-05 tobias 320 (unless (void-p type)
2009-05-26 tobias 321 (let ((stack (make-call-stack stack)))
2009-07-08 tobias 322 (setf (call-stack-top stack) (call-stack-pointer stack))
2009-09-02 tobias 323 (let ((converted-value (convert-argument value type t)))
11:49:34 ' 324 (push-smoke-stack stack converted-value (type-id type))))))
2009-04-05 tobias 325
2009-05-19 tobias 326 (defun get-gf-for-method (smoke-method)
11:09:12 ' 327 (declare (smoke-method smoke-method)
' 328 (optimize (speed 3)))
' 329 (symbol-function (lispify (name smoke-method) "CXX")))
2009-05-19 tobias 330
2009-08-30 tobias 331 ;; Receive virtual function calls.
2009-04-05 tobias 332 (defcallback dispatch-method :boolean
2010-02-19 tobias 333 ((binding :pointer)
21:10:24 ' 334 (method smoke-index)
2009-06-30 tobias 335 (object-ptr :pointer)
22:47:39 ' 336 (stack smoke-stack)
' 337 (abstract :boolean))
2009-04-05 tobias 338 (declare (optimize (speed 3)))
2009-06-30 tobias 339 (let ((object (get-object object-ptr)))
2009-08-02 tobias 340 ;; The Lisp OBJECT can be gc'ed but we might still receive a
10:12:41 ' 341 ;; QObject destructed event when the C++ instance is deleted in
' 342 ;; the finalizer. Thus OBJECT might be NIL.
2010-02-18 tobias 343 (when (and object (typep (class-of object) 'cxx:class))
19:57:00 ' 344 ;; Do not allow overwriting methods of classes the users has
' 345 ;; not derived from (like in C++), to reduce overhead.
2009-08-02 tobias 346 (let* ((method (make-smoke-method
2010-02-19 tobias 347 :smoke (gethash (pointer-address
21:10:24 ' 348 (smoke-get-smoke binding))
' 349 *smoke-modules*)
2009-08-02 tobias 350 :id method)))
10:12:41 ' 351 (loop
' 352 (restart-case
' 353 (return-from dispatch-method
' 354 (let ((gf (get-gf-for-method method)))
' 355 (declare (function gf))
' 356 (if (null (gf-methods gf))
' 357 (progn
' 358 (when abstract
' 359 (error "Abstract method ~A of ~A called."
' 360 (method-declaration method) object))
' 361 nil)
' 362 (if object
' 363 (progn
' 364 (put-returnvalue
' 365 stack
' 366 (apply gf object
' 367 (stack-to-args
' 368 (inc-pointer stack (foreign-type-size
' 369 'smoke-stack-item))
' 370 (get-first-argument method)))
' 371 (return-type method) object)
' 372 t)
' 373 nil))))
' 374 ;; Restarts to prevent stack unwinding across the C++ stack.
' 375 (call-default ()
' 376 :report (lambda (stream)
' 377 (declare (stream stream))
' 378 (format stream
' 379 "Call default implementation ~A instead."
' 380 method))
' 381 :test (lambda (condition)
' 382 (declare (ignore condition))
' 383 (not abstract))
' 384 (return-from dispatch-method nil))
' 385 (use-returnvalue (return-value)
' 386 :report (lambda (stream)
' 387 (declare (stream stream))
' 388 (format stream "Supply a return value for ~A."
' 389 (method-declaration method)))
' 390 :test (lambda (condition)
' 391 (declare (ignore condition))
' 392 (not (void-p (return-type method))))
' 393 :interactive (lambda ()
' 394 (format *query-io* "~&Enter a new return value: ")
' 395 (multiple-value-list (eval (read *query-io*))))
' 396 (put-returnvalue stack return-value
' 397 (return-type method)
' 398 (get-object object-ptr))
' 399 (return-from dispatch-method t))
' 400 (return ()
' 401 :report (lambda (stream)
' 402 (declare (stream stream))
' 403 (format stream "Return void for ~A."
' 404 (method-declaration method)))
' 405 :test (lambda (condition)
' 406 (declare (ignore condition))
' 407 (void-p (return-type method)))
' 408 (return-from dispatch-method (values)))
' 409 (retry ()
' 410 :report (lambda (stream)
' 411 (declare (stream stream))
' 412 (format stream "Try again calling ~A."
' 413 (method-declaration method))))))
' 414 nil))))
2009-04-05 tobias 415
15:36:29 ' 416 ;;FIXME use CHANGE-CLASS instead?
2009-08-30 tobias 417 (defgeneric cast (object class)
2009-07-08 tobias 418 (declare (optimize (speed 3)))
2009-08-30 tobias 419 (:documentation "Returns a pointer of type CLASS to the C++ object of OBJECT.")
14:12:44 ' 420 (:method (object class)
' 421 (declare (optimize (speed 3)))
' 422 (assert (derived-p (class-of object) class)
' 423 ()
' 424 "Can not cast object ~A of class ~A to class ~A."
' 425 object (name (class-of object)) (name class))
' 426 (smoke-cast (smoke-module-pointer (smoke (class-of object))) (pointer object)
2010-02-18 tobias 427 (id (class-of object)) (id class)))
2009-08-30 tobias 428 (:method ((object smoke-multi-superclass-mixin) class)
14:12:44 ' 429 (if (derived-p (class-of object) class)
' 430 (call-next-method)
' 431 (let ((extra-object (find-if #'(lambda (o)
' 432 (derived-p (class-of o) class))
' 433 (extra-objects object))))
' 434 (assert extra-object
' 435 ()
' 436 "Can not cast object ~A to class ~A."
' 437 object (name class))
' 438 (cast extra-object class)))))
2009-04-05 tobias 439
15:36:29 ' 440 (defun upcast (object class)
' 441 (assert (derived-p class (class-of object))
' 442 ()
' 443 "Can not upcast object ~A of class ~A to class ~A."
' 444 object (name (class-of object)) (name class))
2009-06-22 tobias 445 (smoke-cast (smoke-module-pointer (smoke class)) (pointer object)
2009-04-05 tobias 446 (id (class-of object)) (id (real-class class))))
15:36:29 ' 447
' 448
2009-08-02 tobias 449 ;; The constructor name is the name of the class minus any namespace parts.
2009-07-22 tobias 450 (defun constructor-name (class)
2010-02-19 tobias 451 (let ((name-start (search "::" (name class) :from-end t)))
2009-07-22 tobias 452 (if name-start
2010-02-19 tobias 453 (subseq (name class) (+ name-start 2))
21:22:50 ' 454 (name class))))
2009-07-22 tobias 455
2009-08-30 tobias 456 (defun call-constructor (class arguments)
14:12:44 ' 457 (multiple-value-bind (method sequence)
2010-02-20 tobias 458 (find-best-viable-function (constructor-name class)
17:24:36 ' 459 arguments
' 460 class)
2009-08-30 tobias 461 (when (null method)
14:12:44 ' 462 (error "No constructor for class ~A with
' 463 the arguments ~S." class arguments))
' 464 (pointer-call method (null-pointer)
' 465 (mapcar #'(lambda (conversion argument)
' 466 (funcall conversion argument))
' 467 sequence arguments))))
2009-04-05 tobias 468
15:36:29 ' 469 (defmethod initialize-instance :after ((object smoke-standard-object)
2009-07-22 tobias 470 &key args
22:26:05 ' 471 (arg0 nil arg0p)
' 472 (arg1 nil arg1p)
' 473 (arg2 nil arg2p)
' 474 &allow-other-keys)
2009-04-05 tobias 475 "Initializes a Smoke object. Calls its constructor with the arguments supplied
15:36:29 ' 476 by the key :ARGS and sets the smoke binding."
2009-06-22 tobias 477 (declare (optimize (speed 3)))
2009-04-05 tobias 478 (assert (not (and (slot-boundp object 'pointer)
15:36:29 ' 479 (not (null args))))
' 480 ((slot-value object 'pointer) args)
' 481 "Pointer ~A bound and constructor argument :ARGS ~S supplied."
' 482 (slot-value object 'pointer) args)
' 483 (unless (slot-boundp object 'pointer)
2009-07-22 tobias 484 (if arg0p
22:26:05 ' 485 (setf (slot-value object 'pointer)
2009-08-30 tobias 486 (call-constructor (class-of object)
2009-07-22 tobias 487 (cond
22:26:05 ' 488 (arg2p (list arg0 arg1 arg2))
' 489 (arg1p (list arg0 arg1))
' 490 (t (list arg0)))))
2009-08-30 tobias 491 (setf (slot-value object 'pointer)
14:12:44 ' 492 (call-constructor (class-of object) args)))
2009-06-22 tobias 493 (set-binding object)
2009-05-24 tobias 494 (take-ownership object)
2009-04-05 tobias 495 (add-object object)))
15:36:29 ' 496
2009-08-30 tobias 497 (defun construct-extra-objects (object extra-objects)
14:12:44 ' 498 (loop for class in extra-objects
' 499 collect (let ((extra-object (make-instance (first extra-objects)
' 500 :pointer (call-constructor (first extra-objects)
' 501 nil))))
' 502 (set-binding extra-object)
' 503 (setf (get-object (pointer extra-object)) object)
' 504 extra-object)))
' 505
' 506 (defmethod initialize-instance :after ((object smoke-multi-superclass-mixin)
' 507 &key args)
' 508 (setf (slot-value object 'extra-objects)
' 509 (construct-extra-objects object (extra-objects object))))
' 510
' 511 (defmethod make-finalize ((object smoke-multi-superclass-mixin))
' 512 (let ((pointer (pointer object))
' 513 (extra-objects (extra-objects object))
' 514 (class (class-of object)))
' 515 #'(lambda ()
' 516 (declare (optimize (speed 3)))
' 517 (handler-case (progn
' 518 (delete-pointer pointer class)
' 519 (dolist (object extra-objects)
' 520 (delete-object object)))
' 521 (error (condition)
' 522 (report-finalize-error condition 't (name class) pointer))))))
2009-04-05 tobias 523
15:36:29 ' 524 (defmethod instance-to-lisp (pointer class type)
2009-06-22 tobias 525 (declare (type smoke-standard-class class)
12:18:08 ' 526 (optimize (speed 3)))
2009-08-27 tobias 527 (let ((ret (make-instance class :pointer pointer
11:43:13 ' 528 :const-p (const-p type))))
2009-05-24 tobias 529 (when (stack-p type)
11:30:05 ' 530 (take-ownership ret)
' 531 (add-object ret))
2009-04-05 tobias 532 ret))
2009-05-31 tobias 533
2009-06-08 tobias 534 (defun keep-wrapper (object new-owner)
2009-06-22 tobias 535 (declare (type smoke-standard-object object)
12:18:08 ' 536 (optimize (speed 3)))
2009-06-10 tobias 537 (when (member object (owned-objects new-owner))
2009-08-30 tobias 538 (cerror "Ignore" "~A has already been added to ~A."
2009-08-02 tobias 539 object new-owner))
2009-06-08 tobias 540 (push object (owned-objects new-owner)))
2009-05-31 tobias 541
2009-06-22 tobias 542 (declaim (inline remove-wrapper-object))
2009-06-08 tobias 543 (defun remove-wrapper-object (object owner)
09:20:54 ' 544 (remove object (owned-objects owner)))
2009-05-31 tobias 545
2009-06-08 tobias 546 (defun transfer-ownership-to (object new-owner)
2009-05-31 tobias 547 "Transfers the ownership of OBJECT to C++."
2009-06-22 tobias 548 (declare (optimize (speed 3)))
2009-06-30 tobias 549 (remove-finalizer object)
2009-06-10 tobias 550 (if (virtual-destructor-p (class-of object))
11:55:55 ' 551 (keep-wrapper object new-owner)
' 552 (remove-object (pointer object))))
2009-05-31 tobias 553
2009-06-08 tobias 554 (defun take-ownership (object &optional current-owner)
2009-05-31 tobias 555 "Assigns the ownership of OBJECT to Lisp. i.e.:
17:41:26 ' 556 cl-smoke is responsible for deleting the object."
2009-06-08 tobias 557 (when current-owner
09:20:54 ' 558 (remove-wrapper-object object current-owner))
2009-06-30 tobias 559 (set-finalizer object))