repos / smoke / annotate_shade
summary | shortlog | log | tree | commit | commitdiff | headdiff | annotate | headblob | headfilediff | filehistory
normal | plain | shade | zebra
Allow deriving from multiple C++ classes.
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-06-30 tobias 270 (remove-finalizer object)
2009-04-05 tobias 271 (remove-object object-pointer)
15:36:29 ' 272 (setf (slot-value object 'pointer) (null-pointer)))))
' 273
2009-06-22 tobias 274 (declaim (inline argument-to-lisp))
12:18:08 ' 275 (defun argument-to-lisp (stack-item type)
' 276 ;; FIXME do not take ownership of stack allocated objects.
2009-08-02 tobias 277 ;; It looks like there is no stack allocation in Qt virtual method signatures.
2009-06-22 tobias 278 (type-to-lisp stack-item type))
12:18:08 ' 279
2009-04-05 tobias 280 (defun stack-to-args (stack arg &optional (args nil))
15:36:29 ' 281 "Returns the arguments in STACK, where ARG is the type
' 282 of the first argument, as an list of Lisp objects."
' 283 (if (end-p arg)
2009-06-22 tobias 284 (reverse args)
12:18:08 ' 285 (stack-to-args (inc-pointer stack
' 286 (foreign-type-size 'smoke-stack-item))
2009-04-05 tobias 287 (next arg)
2009-08-27 tobias 288 (cons (argument-to-lisp (mem-ref stack 'smoke-stack-item)
2009-07-22 tobias 289 arg)
2009-06-22 tobias 290 args))))
2009-04-05 tobias 291
2009-09-02 tobias 292 (defun convert-argument (argument type &optional (user t))
11:49:34 ' 293 "Returns ARGUMENT converted to TYPE. If USER is true, user defined
' 294 conversion sequences are considered."
' 295 (let ((rank (get-conversion-sequence argument type user)))
' 296 (if (null rank)
' 297 (error "Can not convert the argument ~S to ~A."
' 298 argument (name type))
' 299 (funcall (conversion-function-name rank)
' 300 argument))))
2009-04-05 tobias 301
2009-06-08 tobias 302 (defun put-returnvalue (stack value type object)
2009-04-05 tobias 303 (unless (void-p type)
2009-05-26 tobias 304 (let ((stack (make-call-stack stack)))
2009-07-08 tobias 305 (setf (call-stack-top stack) (call-stack-pointer stack))
2009-09-02 tobias 306 ;; FIXME support user conversions.
11:49:34 ' 307 ;;
' 308 ;; We need to determine which of value and converted-value is
' 309 ;; passed on the stack. E.g. converted-value can be something
' 310 ;; like (cxx:operator-variant value).
' 311 (let ((converted-value (convert-argument value type nil)))
' 312 (push-smoke-stack stack converted-value (type-id type))
' 313 (when (stack-p type) ;; Pass by value => smoke deletes the object.
' 314 (remove-finalizer converted-value)
' 315 (when (typep value 'smoke-standard-object)
' 316 (remove-object (pointer value))))))))
' 317 ; (transfer-ownership-to value object)))))))
2009-04-05 tobias 318
2009-05-19 tobias 319 (defun get-gf-for-method (smoke-method)
11:09:12 ' 320 (declare (smoke-method smoke-method)
' 321 (optimize (speed 3)))
' 322 (symbol-function (lispify (name smoke-method) "CXX")))
2009-05-19 tobias 323
2009-08-30 tobias 324 ;; Receive virtual function calls.
2009-04-05 tobias 325 (defcallback dispatch-method :boolean
2010-02-19 tobias 326 ((binding :pointer)
21:10:24 ' 327 (method smoke-index)
2009-06-30 tobias 328 (object-ptr :pointer)
22:47:39 ' 329 (stack smoke-stack)
' 330 (abstract :boolean))
2009-04-05 tobias 331 (declare (optimize (speed 3)))
2009-06-30 tobias 332 (let ((object (get-object object-ptr)))
2009-08-02 tobias 333 ;; The Lisp OBJECT can be gc'ed but we might still receive a
10:12:41 ' 334 ;; QObject destructed event when the C++ instance is deleted in
' 335 ;; the finalizer. Thus OBJECT might be NIL.
2010-02-18 tobias 336 (when (and object (typep (class-of object) 'cxx:class))
19:57:00 ' 337 ;; Do not allow overwriting methods of classes the users has
' 338 ;; not derived from (like in C++), to reduce overhead.
2009-08-02 tobias 339 (let* ((method (make-smoke-method
2010-02-19 tobias 340 :smoke (gethash (pointer-address
21:10:24 ' 341 (smoke-get-smoke binding))
' 342 *smoke-modules*)
2009-08-02 tobias 343 :id method)))
10:12:41 ' 344 (loop
' 345 (restart-case
' 346 (return-from dispatch-method
' 347 (let ((gf (get-gf-for-method method)))
' 348 (declare (function gf))
' 349 (if (null (gf-methods gf))
' 350 (progn
' 351 (when abstract
' 352 (error "Abstract method ~A of ~A called."
' 353 (method-declaration method) object))
' 354 nil)
' 355 (if object
' 356 (progn
' 357 (put-returnvalue
' 358 stack
' 359 (apply gf object
' 360 (stack-to-args
' 361 (inc-pointer stack (foreign-type-size
' 362 'smoke-stack-item))
' 363 (get-first-argument method)))
' 364 (return-type method) object)
' 365 t)
' 366 nil))))
' 367 ;; Restarts to prevent stack unwinding across the C++ stack.
' 368 (call-default ()
' 369 :report (lambda (stream)
' 370 (declare (stream stream))
' 371 (format stream
' 372 "Call default implementation ~A instead."
' 373 method))
' 374 :test (lambda (condition)
' 375 (declare (ignore condition))
' 376 (not abstract))
' 377 (return-from dispatch-method nil))
' 378 (use-returnvalue (return-value)
' 379 :report (lambda (stream)
' 380 (declare (stream stream))
' 381 (format stream "Supply a return value for ~A."
' 382 (method-declaration method)))
' 383 :test (lambda (condition)
' 384 (declare (ignore condition))
' 385 (not (void-p (return-type method))))
' 386 :interactive (lambda ()
' 387 (format *query-io* "~&Enter a new return value: ")
' 388 (multiple-value-list (eval (read *query-io*))))
' 389 (put-returnvalue stack return-value
' 390 (return-type method)
' 391 (get-object object-ptr))
' 392 (return-from dispatch-method t))
' 393 (return ()
' 394 :report (lambda (stream)
' 395 (declare (stream stream))
' 396 (format stream "Return void for ~A."
' 397 (method-declaration method)))
' 398 :test (lambda (condition)
' 399 (declare (ignore condition))
' 400 (void-p (return-type method)))
' 401 (return-from dispatch-method (values)))
' 402 (retry ()
' 403 :report (lambda (stream)
' 404 (declare (stream stream))
' 405 (format stream "Try again calling ~A."
' 406 (method-declaration method))))))
' 407 nil))))
2009-04-05 tobias 408
15:36:29 ' 409 ;;FIXME use CHANGE-CLASS instead?
2009-08-30 tobias 410 (defgeneric cast (object class)
2009-07-08 tobias 411 (declare (optimize (speed 3)))
2009-08-30 tobias 412 (:documentation "Returns a pointer of type CLASS to the C++ object of OBJECT.")
14:12:44 ' 413 (:method (object class)
' 414 (declare (optimize (speed 3)))
' 415 (assert (derived-p (class-of object) class)
' 416 ()
' 417 "Can not cast object ~A of class ~A to class ~A."
' 418 object (name (class-of object)) (name class))
' 419 (smoke-cast (smoke-module-pointer (smoke (class-of object))) (pointer object)
' 420 (id (class-of object)) (id class)))
' 421 (:method ((object smoke-multi-superclass-mixin) class)
' 422 (if (derived-p (class-of object) class)
' 423 (call-next-method)
' 424 (let ((extra-object (find-if #'(lambda (o)
' 425 (derived-p (class-of o) class))
' 426 (extra-objects object))))
' 427 (assert extra-object
' 428 ()
' 429 "Can not cast object ~A to class ~A."
' 430 object (name class))
' 431 (cast extra-object class)))))
2009-04-05 tobias 432
15:36:29 ' 433 (defun upcast (object class)
' 434 (assert (derived-p class (class-of object))
' 435 ()
' 436 "Can not upcast object ~A of class ~A to class ~A."
' 437 object (name (class-of object)) (name class))
2009-06-22 tobias 438 (smoke-cast (smoke-module-pointer (smoke class)) (pointer object)
2009-04-05 tobias 439 (id (class-of object)) (id (real-class class))))
15:36:29 ' 440
' 441
2009-08-02 tobias 442 ;; The constructor name is the name of the class minus any namespace parts.
2009-07-22 tobias 443 (defun constructor-name (class)
2010-02-19 tobias 444 (let ((name-start (search "::" (name class) :from-end t)))
2009-07-22 tobias 445 (if name-start
2010-02-19 tobias 446 (subseq (name class) (+ name-start 2))
21:22:50 ' 447 (name class))))
2009-07-22 tobias 448
2009-08-30 tobias 449 (defun call-constructor (class arguments)
14:12:44 ' 450 (multiple-value-bind (method sequence)
' 451 (find-best-viable-function (constructor-name class)
' 452 arguments
' 453 class)
' 454 (when (null method)
' 455 (error "No constructor for class ~A with
' 456 the arguments ~S." class arguments))
' 457 (pointer-call method (null-pointer)
' 458 (mapcar #'(lambda (conversion argument)
' 459 (funcall conversion argument))
' 460 sequence arguments))))
2009-04-05 tobias 461
15:36:29 ' 462 (defmethod initialize-instance :after ((object smoke-standard-object)
2009-07-22 tobias 463 &key args
22:26:05 ' 464 (arg0 nil arg0p)
' 465 (arg1 nil arg1p)
' 466 (arg2 nil arg2p)
' 467 &allow-other-keys)
2009-04-05 tobias 468 "Initializes a Smoke object. Calls its constructor with the arguments supplied
15:36:29 ' 469 by the key :ARGS and sets the smoke binding."
2009-06-22 tobias 470 (declare (optimize (speed 3)))
2009-04-05 tobias 471 (assert (not (and (slot-boundp object 'pointer)
15:36:29 ' 472 (not (null args))))
' 473 ((slot-value object 'pointer) args)
' 474 "Pointer ~A bound and constructor argument :ARGS ~S supplied."
' 475 (slot-value object 'pointer) args)
' 476 (unless (slot-boundp object 'pointer)
2009-07-22 tobias 477 (if arg0p
22:26:05 ' 478 (setf (slot-value object 'pointer)
2009-08-30 tobias 479 (call-constructor (class-of object)
2009-07-22 tobias 480 (cond
22:26:05 ' 481 (arg2p (list arg0 arg1 arg2))
' 482 (arg1p (list arg0 arg1))
' 483 (t (list arg0)))))
2009-08-30 tobias 484 (setf (slot-value object 'pointer)
14:12:44 ' 485 (call-constructor (class-of object) args)))
2009-06-22 tobias 486 (set-binding object)
2009-05-24 tobias 487 (take-ownership object)
2009-04-05 tobias 488 (add-object object)))
15:36:29 ' 489
2009-08-30 tobias 490 (defun construct-extra-objects (object extra-objects)
14:12:44 ' 491 (loop for class in extra-objects
' 492 collect (let ((extra-object (make-instance (first extra-objects)
' 493 :pointer (call-constructor (first extra-objects)
' 494 nil))))
' 495 (set-binding extra-object)
' 496 (setf (get-object (pointer extra-object)) object)
' 497 extra-object)))
' 498
' 499 (defmethod initialize-instance :after ((object smoke-multi-superclass-mixin)
' 500 &key args)
' 501 (setf (slot-value object 'extra-objects)
' 502 (construct-extra-objects object (extra-objects object))))
' 503
' 504 (defmethod make-finalize ((object smoke-multi-superclass-mixin))
' 505 (let ((pointer (pointer object))
' 506 (extra-objects (extra-objects object))
' 507 (class (class-of object)))
' 508 #'(lambda ()
' 509 (declare (optimize (speed 3)))
' 510 (handler-case (progn
' 511 (delete-pointer pointer class)
' 512 (dolist (object extra-objects)
' 513 (delete-object object)))
' 514 (error (condition)
' 515 (report-finalize-error condition 't (name class) pointer))))))
2009-04-05 tobias 516
15:36:29 ' 517 (defmethod instance-to-lisp (pointer class type)
2009-06-22 tobias 518 (declare (type smoke-standard-class class)
12:18:08 ' 519 (optimize (speed 3)))
2009-08-27 tobias 520 (let ((ret (make-instance class :pointer pointer
11:43:13 ' 521 :const-p (const-p type))))
2009-05-24 tobias 522 (when (stack-p type)
11:30:05 ' 523 (take-ownership ret)
' 524 (add-object ret))
2009-04-05 tobias 525 ret))
2009-05-31 tobias 526
2009-06-08 tobias 527 (defun keep-wrapper (object new-owner)
2009-06-22 tobias 528 (declare (type smoke-standard-object object)
12:18:08 ' 529 (optimize (speed 3)))
2009-06-10 tobias 530 (when (member object (owned-objects new-owner))
2009-08-30 tobias 531 (cerror "Ignore" "~A has already been added to ~A."
2009-08-02 tobias 532 object new-owner))
2009-06-08 tobias 533 (push object (owned-objects new-owner)))
2009-05-31 tobias 534
2009-06-22 tobias 535 (declaim (inline remove-wrapper-object))
2009-06-08 tobias 536 (defun remove-wrapper-object (object owner)
09:20:54 ' 537 (remove object (owned-objects owner)))
2009-05-31 tobias 538
2009-06-08 tobias 539 (defun transfer-ownership-to (object new-owner)
2009-05-31 tobias 540 "Transfers the ownership of OBJECT to C++."
2009-06-22 tobias 541 (declare (optimize (speed 3)))
2009-06-30 tobias 542 (remove-finalizer object)
2009-06-10 tobias 543 (if (virtual-destructor-p (class-of object))
11:55:55 ' 544 (keep-wrapper object new-owner)
' 545 (remove-object (pointer object))))
2009-05-31 tobias 546
2009-06-08 tobias 547 (defun take-ownership (object &optional current-owner)
2009-05-31 tobias 548 "Assigns the ownership of OBJECT to Lisp. i.e.:
17:41:26 ' 549 cl-smoke is responsible for deleting the object."
2009-06-08 tobias 550 (when current-owner
09:20:54 ' 551 (remove-wrapper-object object current-owner))
2009-06-30 tobias 552 (set-finalizer object))
Crece desde el pueblo el futuro / crece desde el pie