doc/syntax.tex, src/sod-module.5: Typeset `<qualifier>s' properly.

[sod] / src / class-finalize-impl.lisp

diff --git a/src/class-finalize-impl.lisp b/src/class-finalize-impl.lisp
index 39ac2346933e77e4b887bfe4267b63cdeb8f0868..36d56e042ff5304760e94e8a7ef097966586c081 100644 (file)
--- a/src/class-finalize-impl.lisp
+++ b/src/class-finalize-impl.lisp
@@ -7,7 +7,7 @@
 
 ;;;----- Licensing notice ---------------------------------------------------
 ;;;
 
 ;;;----- Licensing notice ---------------------------------------------------
 ;;;

-;;; This file is part of the Sensble Object Design, an object system for C.
+;;; This file is part of the Sensible Object Design, an object system for C.

 ;;;
 ;;; SOD is free software; you can redistribute it and/or modify
 ;;; it under the terms of the GNU General Public License as published by
 ;;;
 ;;; SOD is free software; you can redistribute it and/or modify
 ;;; it under the terms of the GNU General Public License as published by


@@ -100,6 +100,7 @@ (defun c3-tiebreaker (candidates cpls)
 
 ;;; Linearization functions.
 
 
 ;;; Linearization functions.
 

+(export 'clos-cpl)

 (defun clos-cpl (class)
   "Compute the class precedence list of CLASS using CLOS linearization rules.
 
 (defun clos-cpl (class)
   "Compute the class precedence list of CLASS using CLOS linearization rules.
 


@@ -122,6 +123,7 @@ (defun clos-cpl (class)
                         (superclasses class))
                 :pick #'clos-tiebreaker)))
 
                         (superclasses class))
                 :pick #'clos-tiebreaker)))
 

+(export 'dylan-cpl)

 (defun dylan-cpl (class)
   "Compute the class precedence list of CLASS using Dylan linearization
    rules.
 (defun dylan-cpl (class)
   "Compute the class precedence list of CLASS using Dylan linearization
    rules.


@@ -145,6 +147,7 @@ (defun dylan-cpl (class)
                       (mapcar #'sod-class-precedence-list direct-supers))
                 :pick #'clos-tiebreaker)))
 
                       (mapcar #'sod-class-precedence-list direct-supers))
                 :pick #'clos-tiebreaker)))
 

+(export 'c3-cpl)

 (defun c3-cpl (class)
   "Compute the class precedence list of CLASS using C3 linearization rules.
 
 (defun c3-cpl (class)
   "Compute the class precedence list of CLASS using C3 linearization rules.
 


@@ -164,6 +167,7 @@ (defun c3-cpl (class)
                         (declare (ignore so-far))
                         (c3-tiebreaker candidates cpls)))))
 
                         (declare (ignore so-far))
                         (c3-tiebreaker candidates cpls)))))
 

+(export 'flavors-cpl)

 (defun flavors-cpl (class)
   "Compute the class precedence list of CLASS using Flavors linearization
    rules.
 (defun flavors-cpl (class)
   "Compute the class precedence list of CLASS using Flavors linearization
    rules.


@@ -186,6 +190,7 @@ (defun flavors-cpl (class)
       (walk class)
       (nreverse done))))
 
       (walk class)
       (nreverse done))))
 

+(export 'python-cpl)

 (defun python-cpl (class)
   "Compute the class precedence list of CLASS using the documented Python 2.2
    linearization rules.
 (defun python-cpl (class)
   "Compute the class precedence list of CLASS using the documented Python 2.2
    linearization rules.


@@ -205,6 +210,7 @@ (defun python-cpl (class)
       (walk class)
       (delete-duplicates (nreverse done)))))
 
       (walk class)
       (delete-duplicates (nreverse done)))))
 

+(export 'l*loops-cpl)

 (defun l*loops-cpl (class)
   "Compute the class precedence list of CLASS using L*LOOPS linearization
    rules.
 (defun l*loops-cpl (class)
   "Compute the class precedence list of CLASS using L*LOOPS linearization
    rules.


@@ -269,6 +275,35 @@ (defmethod compute-chains ((class sod-class))
                                           (gethash super table))
                                         (cdr class-precedence-list)))))))))
 
                                           (gethash super table))
                                         (cdr class-precedence-list)))))))))
 

+;;;--------------------------------------------------------------------------
+;;; Metaclasses.
+
+(defun maximum (items order what)
+  "Return a maximum item according to the non-strict partial ORDER."
+  (reduce (lambda (best this)
+           (cond ((funcall order best this) best)
+                 ((funcall order this best) this)
+                 (t (error "Unable to choose best ~A." what))))
+         items))
+
+(defmethod guess-metaclass ((class sod-class))
+  "Default metaclass-guessing function for classes.
+
+   Return the most specific metaclass of any of the CLASS's direct
+   superclasses."
+
+  ;; During bootstrapping, our superclasses might not have their own
+  ;; metaclasses resolved yet.  If we find this, then throw `bootstrapping'
+  ;; so that `shared-initialize' on `sod-class' can catch it (or as a shot
+  ;; across the bows of anyone else who calls us).
+  (maximum (mapcar (lambda (super)
+                    (if (slot-boundp super 'metaclass)
+                        (slot-value super 'metaclass)
+                        (throw 'bootstrapping nil)))
+                  (sod-class-direct-superclasses class))
+          #'sod-subclass-p
+          (format nil "metaclass for `~A'" class)))
+

 ;;;--------------------------------------------------------------------------
 ;;; Sanity checking.
 
 ;;;--------------------------------------------------------------------------
 ;;; Sanity checking.
 


@@ -344,7 +379,12 @@ (defmethod finalize-sod-class ((class sod-class))
       ((nil)
 
        ;; If this fails, mark the class as a loss.
       ((nil)
 
        ;; If this fails, mark the class as a loss.

-       (setf (sod-class-state class) :broken)
+       (setf (slot-value class 'state) :broken)
+
+       ;; Set up the metaclass if it's not been set already.  This is delayed
+       ;; to give bootstrapping a chance to set up metaclass and superclass
+       ;; circularities.
+       (default-slot (class 'metaclass) (guess-metaclass class))

 
        ;; Finalize all of the superclasses.  There's some special pleading
        ;; here to make bootstrapping work: we don't try to finalize the
 
        ;; Finalize all of the superclasses.  There's some special pleading
        ;; here to make bootstrapping work: we don't try to finalize the


@@ -360,7 +400,7 @@ (defmethod finalize-sod-class ((class sod-class))
           (finalize-sod-class metaclass)))
 
        ;; Stash the class's type.
           (finalize-sod-class metaclass)))
 
        ;; Stash the class's type.

-       (setf (sod-class-type class)
+       (setf (slot-value class '%type)

             (make-class-type (sod-class-name class)))
 
        ;; Clobber the lists of items if they've not been set.
             (make-class-type (sod-class-name class)))
 
        ;; Clobber the lists of items if they've not been set.


@@ -381,14 +421,8 @@ (defmethod finalize-sod-class ((class sod-class))
        (with-slots (chain-head chain chains) class
         (setf (values chain-head chain chains) (compute-chains class)))
 
        (with-slots (chain-head chain chains) class
         (setf (values chain-head chain chains) (compute-chains class)))
 

-       ;; FIXME: make these slots autovivifying.
-       (with-slots (ilayout effective-methods vtables) class
-        (setf ilayout (compute-ilayout class))
-        (setf effective-methods (compute-effective-methods class))
-        (setf vtables (compute-vtables class)))
-

        ;; Done.
        ;; Done.

-       (setf (sod-class-state class) :finalized)
+       (setf (slot-value class 'state) :finalized)

        t)
 
       (:broken
        t)
 
       (:broken


@@ -397,4 +431,18 @@ (defmethod finalize-sod-class ((class sod-class))
       (:finalized
        t))))
 
       (:finalized
        t))))
 

+(flet ((check-class-is-finalized (class)
+        (unless (eq (sod-class-state class) :finalized)
+          (error "Class ~S is not finalized" class))))
+  (macrolet ((define-layout-slot (slot (class) &body body)
+              `(define-on-demand-slot sod-class ,slot (,class)
+                 (check-class-is-finalized ,class)
+                 ,@body)))
+    (define-layout-slot %ilayout (class)
+      (compute-ilayout class))
+    (define-layout-slot effective-methods (class)
+      (compute-effective-methods class))
+    (define-layout-slot vtables (class)
+      (compute-vtables class))))
+

 ;;;----- That's all, folks --------------------------------------------------
 ;;;----- That's all, folks --------------------------------------------------