-(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))))
-