Modified PCL's class finalization protocol to behave as specified in AMOP -- take two

[clg] / glib / gutils.lisp

diff --git a/glib/gutils.lisp b/glib/gutils.lisp
index 26e7bf90e0613ea0a137c78bd9d5dc9bf8156057..aee6ddf2a3c10c499e7d88c49b6bb2260923c985 100644 (file)
--- a/glib/gutils.lisp
+++ b/glib/gutils.lisp
@@ -15,7 +15,7 @@
 ;; License along with this library; if not, write to the Free Software
 ;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
 ;; License along with this library; if not, write to the Free Software
 ;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 

-;; $Id: gutils.lisp,v 1.5 2001-05-04 16:54:35 espen Exp $
+;; $Id: gutils.lisp,v 1.7 2001-05-20 23:10:36 espen Exp $

 
 
 (in-package "KERNEL")
 
 
 (in-package "KERNEL")


@@ -32,22 +32,41 @@ (defun type-expand-1 (form)
 
 (in-package "PCL")
 
 
 (in-package "PCL")
 

+;;;; Make PCL's class finalization protocol behave as specified in AMOP
+

 (defmethod finalize-inheritance ((class std-class))
 (defmethod finalize-inheritance ((class std-class))

+  (dolist (super (class-direct-superclasses class))
+    (unless (class-finalized-p super) (finalize-inheritance super)))

   (update-cpl class (compute-class-precedence-list class))
   (update-slots class (compute-slots class))
   (update-gfs-of-class class)
   (update-inits class (compute-default-initargs class))
   (update-cpl class (compute-class-precedence-list class))
   (update-slots class (compute-slots class))
   (update-gfs-of-class class)
   (update-inits class (compute-default-initargs class))

-  (update-make-instance-function-table class)
-  (dolist (sub (class-direct-subclasses class))
-    (update-class sub)))
+  (update-make-instance-function-table class))
+
+(defmethod finalize-inheritance ((class forward-referenced-class))
+  (error "~A can't be finalized" class))

 
 (defun update-class (class &optional finalizep)  
 
 (defun update-class (class &optional finalizep)  

-    (declare (ignore finalizep))
-    (unless (class-has-a-forward-referenced-superclass-p class)
-      (finalize-inheritance class)))
+  (declare (ignore finalizep))
+  (when (and
+        (class-finalized-p class)
+        (not (class-has-a-forward-referenced-superclass-p class)))
+    (finalize-inheritance class)
+    (dolist (sub (class-direct-subclasses class))
+      (update-class sub))))
+
+(defmethod add-method :before ((gf standard-generic-function)
+                              (method standard-method))
+  (declare (ignore gf))
+  (dolist (specializer (method-specializers method))
+    (when (and
+          (typep specializer 'standard-class)
+          (not (class-finalized-p specializer))
+          (not (class-has-a-forward-referenced-superclass-p specializer)))
+      (finalize-inheritance specializer))))

 
 

-(in-package "GLIB")

 
 

+(in-package "GLIB")

 
 (defun type-expand-to (type form)
   (labels ((expand (form0)
 
 (defun type-expand-to (type form)
   (labels ((expand (form0)


@@ -127,6 +146,11 @@ (defun funcallable (object)
       (fdefinition object)
     object))
 
       (fdefinition object)
     object))
 

+(defun intersection-p (list1 list2 &key (test #'eq))
+  (dolist (obj list1 nil)
+    (when (member obj list2 :test test)
+      (return-from intersection-p t))))
+

 
 (defun split-string (string delimiter)
   (declare (simple-string string) (character delimiter))
 
 (defun split-string (string delimiter)
   (declare (simple-string string) (character delimiter))


@@ -157,4 +181,9 @@ (defun concatenate-strings (strings &optional delimiter)
      'string
      (first strings)
      (if delimiter (string delimiter) "")
      'string
      (first strings)
      (if delimiter (string delimiter) "")

-     (concatenate-strings (rest strings)))))
+     (concatenate-strings (rest strings) delimiter))))
+
+(defun string-prefix-p (prefix string)
+  (and
+   (>= (length string) (length prefix))
+   (string= prefix string :end2 (length prefix))))