+(in-package "PCL")
+
+;;;; Make PCL's class finalization protocol behave as specified in AMOP
+
+(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-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)
+ (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))))