0.7.13.pcl-class.1
[sbcl.git] / src / pcl / braid.lisp
index 7a16f9b..2570376 100644 (file)
@@ -33,7 +33,7 @@
 \f
 (defun allocate-standard-instance (wrapper
                                   &optional (slots-init nil slots-init-p))
-  (let ((instance (%%allocate-instance--class))
+  (let ((instance (%make-standard-instance nil (get-instance-hash-code)))
        (no-of-slots (wrapper-no-of-instance-slots wrapper)))
     (setf (std-instance-wrapper instance) wrapper)
     (setf (std-instance-slots instance)
@@ -63,8 +63,9 @@
 
 (defun allocate-funcallable-instance (wrapper &optional
                                              (slots-init nil slots-init-p))
-  (let ((fin (allocate-funcallable-instance-1)))
-    (set-funcallable-instance-function
+  (let ((fin (%make-pcl-funcallable-instance nil nil
+                                            (get-instance-hash-code))))
+    (set-funcallable-instance-fun
      fin
      #'(sb-kernel:instance-lambda (&rest args)
         (declare (ignore args))
 
 (defmacro !initial-classes-and-wrappers (&rest classes)
   `(progn
-     ,@(mapcar #'(lambda (class)
-                  (let ((wr (intern (format nil "~A-WRAPPER" class)
-                                    *pcl-package*)))
-                    `(setf ,wr ,(if (eq class 'standard-generic-function)
-                                    '*sgf-wrapper*
-                                    `(boot-make-wrapper
-                                      (early-class-size ',class)
-                                      ',class))
-                           ,class (allocate-standard-instance
-                                   ,(if (eq class 'standard-generic-function)
-                                        'funcallable-standard-class-wrapper
-                                        'standard-class-wrapper))
-                           (wrapper-class ,wr) ,class
-                           (find-class ',class) ,class)))
-             classes)))
+     ,@(mapcar (lambda (class)
+                (let ((wr (intern (format nil "~A-WRAPPER" class)
+                                  *pcl-package*)))
+                  `(setf ,wr ,(if (eq class 'standard-generic-function)
+                                  '*sgf-wrapper*
+                                  `(boot-make-wrapper
+                                    (early-class-size ',class)
+                                    ',class))
+                         ,class (allocate-standard-instance
+                                 ,(if (eq class 'standard-generic-function)
+                                      'funcallable-standard-class-wrapper
+                                      'standard-class-wrapper))
+                         (wrapper-class ,wr) ,class
+                         (find-class ',class) ,class)))
+              classes)))
 
 (defun !bootstrap-meta-braid ()
   (let* ((*create-classes-from-internal-structure-definitions-p* nil)
                        (structure-class structure-class-wrapper)))
             (class (or (find-class name nil)
                        (allocate-standard-instance wrapper))))
-       (when (or (eq meta 'standard-class)
-                 (eq meta 'funcallable-standard-class))
-         (inform-type-system-about-std-class name))
        (setf (find-class name) class)))
     (dolist (definition *early-class-definitions*)
       (let ((name (ecd-class-name definition))
                                    smc
                                    name
                                    value)))
-       (set-slot 'source *load-truename*)
+       (set-slot 'source *load-pathname*)
        (set-slot 'type 'standard)
        (set-slot 'documentation "The standard method combination.")
        (set-slot 'options ()))
       (set-slot 'direct-slots direct-slots)
       (set-slot 'slots slots)
       (set-slot 'initialize-info nil))
+
+    ;; For all direct superclasses SUPER of CLASS, make sure CLASS is
+    ;; a direct subclass of SUPER.  Note that METACLASS-NAME doesn't
+    ;; matter here for the slot DIRECT-SUBCLASSES, since every class
+    ;; inherits the slot from class CLASS.
+    (dolist (super direct-supers)
+      (let* ((super (find-class super))
+            (subclasses (!bootstrap-get-slot metaclass-name super
+                                             'direct-subclasses)))
+       (cond ((eq +slot-unbound+ subclasses)
+              (!bootstrap-set-slot metaclass-name super 'direct-subclasses
+                                   (list class)))
+             ((not (memq class subclasses))
+              (!bootstrap-set-slot metaclass-name super 'direct-subclasses
+                                   (cons class subclasses))))))
+
     (if (eq metaclass-name 'structure-class)
        (let ((constructor-sym '|STRUCTURE-OBJECT class constructor|))
          (set-slot 'predicate-name (or (cadr (assoc name
                (!bootstrap-accessor-definitions1
                 'slot-object
                 slot-name
-                (list (slot-reader-symbol slot-name))
-                (list (slot-writer-symbol slot-name))
-                (list (slot-boundp-symbol slot-name)))))))))))
+                (list (slot-reader-name slot-name))
+                (list (slot-writer-name slot-name))
+                (list (slot-boundp-name slot-name)))))))))))
 
 (defun !bootstrap-accessor-definition (class-name accessor-name slot-name type)
   (multiple-value-bind (accessor-class make-method-function arglist specls doc)
     (dolist (e *built-in-classes*)
       (destructuring-bind (name supers subs cpl prototype) e
        (let* ((class (find-class name))
-              (lclass (cl:find-class name))
-              (wrapper (sb-kernel:class-layout lclass)))
+              (lclass (sb-kernel:find-classoid name))
+              (wrapper (sb-kernel:classoid-layout lclass)))
          (set (get-built-in-class-symbol name) class)
          (set (get-built-in-wrapper-symbol name) wrapper)
-         (setf (sb-kernel:class-pcl-class lclass) class)
+         (setf (sb-kernel:classoid-pcl-class lclass) class)
 
          (!bootstrap-initialize-class 'built-in-class class
                                       name class-eq-wrapper nil
 (defvar *find-structure-class* nil)
 
 (defun eval-form (form)
-  #'(lambda () (eval form)))
+  (lambda () (eval form)))
 
 (defun slot-initargs-from-structure-slotd (slotd)
   `(:name ,(structure-slotd-name slotd)
                        :metaclass 'structure-class
                        :name symbol
                        :direct-superclasses
-                        (mapcar #'cl:class-name
-                                (sb-kernel:class-direct-superclasses
-                                 (cl:find-class symbol)))
+                        (mapcar #'sb-kernel:classoid-name
+                                (sb-kernel:classoid-direct-superclasses
+                                 (sb-kernel:find-classoid symbol)))
                        :direct-slots
                        (mapcar #'slot-initargs-from-structure-slotd
                                (structure-type-slot-description-list
 ;;; Set the inherits from CPL, and register the layout. This actually
 ;;; installs the class in the Lisp type system.
 (defun update-lisp-class-layout (class layout)
-  (let ((lclass (sb-kernel:layout-class layout)))
-    (unless (eq (sb-kernel:class-layout lclass) layout)
+  (let ((lclass (sb-kernel:layout-classoid layout)))
+    (unless (eq (sb-kernel:classoid-layout lclass) layout)
       (setf (sb-kernel:layout-inherits layout)
               (sb-kernel:order-layout-inherits
                (map 'simple-vector #'class-wrapper
                     (reverse (rest (class-precedence-list class))))))
-      (sb-kernel:register-layout layout :invalidate nil)
+      (sb-kernel:register-layout layout :invalidate t)
 
       ;; Subclasses of formerly forward-referenced-class may be
       ;; unknown to CL:FIND-CLASS and also anonymous. This
       ;; functionality moved here from (SETF FIND-CLASS).
       (let ((name (class-name class)))
-       (setf (cl:find-class name) lclass
-             ;; FIXME: It's nasty to use double colons. Perhaps the
-             ;; best way to fix this is not to export CLASS-%NAME
-             ;; from SB-KERNEL, but instead to move the whole
-             ;; UPDATE-LISP-CLASS-LAYOUT function to SB-KERNEL, and
-             ;; export it. (since it's also nasty for us to be
-             ;; reaching into %KERNEL implementation details my
-             ;; messing with raw CLASS-%NAME)
-             (sb-kernel::class-%name lclass) name)))))
+       (setf (sb-kernel:find-classoid name) lclass
+             (sb-kernel:classoid-name lclass) name)))))
+
+(defun set-class-type-translation (class name)
+  (let ((classoid (sb-kernel:find-classoid name nil)))
+    (etypecase classoid
+      (null)
+      (sb-kernel:built-in-classoid
+       (let ((translation (sb-kernel::built-in-classoid-translation classoid)))
+        (cond
+          (translation
+           (aver (sb-kernel:ctype-p translation))
+           (setf (info :type :translator class)
+                 (lambda (spec) (declare (ignore spec)) translation)))
+          (t
+           (setf (info :type :translator class)
+                 (lambda (spec) (declare (ignore spec)) classoid))))))
+      (sb-kernel:classoid
+       (setf (info :type :translator class)
+            (lambda (spec) (declare (ignore spec)) classoid))))))
 
 (clrhash *find-class*)
 (!bootstrap-meta-braid)
 (dohash (name x *find-class*)
        (let* ((class (find-class-from-cell name x))
               (layout (class-wrapper class))
-              (lclass (sb-kernel:layout-class layout))
-              (lclass-pcl-class (sb-kernel:class-pcl-class lclass))
-              (olclass (cl:find-class name nil)))
+              (lclass (sb-kernel:layout-classoid layout))
+              (lclass-pcl-class (sb-kernel:classoid-pcl-class lclass))
+              (olclass (sb-kernel:find-classoid name nil)))
          (if lclass-pcl-class
              (aver (eq class lclass-pcl-class))
-             (setf (sb-kernel:class-pcl-class lclass) class))
+             (setf (sb-kernel:classoid-pcl-class lclass) class))
 
          (update-lisp-class-layout class layout)
 
          (cond (olclass
                 (aver (eq lclass olclass)))
                (t
-                (setf (cl:find-class name) lclass)))))
+                (setf (sb-kernel:find-classoid name) lclass)))
+
+         (set-class-type-translation class name)))
 
 (setq *boot-state* 'braid)
 
          ~I~_when called with arguments ~2I~_~S.~:>"
         generic-function
         args))
+
+(defmethod no-next-method ((generic-function standard-generic-function)
+                          (method standard-method) &rest args)
+  (error "~@<There is no next method for the generic function ~2I~_~S~
+         ~I~_when called from method ~2I~_~S~I~_with arguments ~2I~_~S.~:>"
+        generic-function
+        method
+        args))
+
+;;; An extension to the ANSI standard: in the presence of e.g. a
+;;; :BEFORE method, it would seem that going through
+;;; NO-APPLICABLE-METHOD is prohibited, as in fact there is an
+;;; applicable method.  -- CSR, 2002-11-15
+(defmethod no-primary-method (generic-function &rest args)
+  (error "~@<There is no primary method for the generic function ~2I~_~S~
+         ~I~_when called with arguments ~2I~_~S.~:>"
+        generic-function
+        args))