1 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; This software is derived from software originally released by Xerox
5 ;;;; Corporation. Copyright and release statements follow. Later modifications
6 ;;;; to the software are in the public domain and are provided with
7 ;;;; absolutely no warranty. See the COPYING and CREDITS files for more
10 ;;;; copyright information from original PCL sources:
12 ;;;; Copyright (c) 1985, 1986, 1987, 1988, 1989, 1990 Xerox Corporation.
13 ;;;; All rights reserved.
15 ;;;; Use and copying of this software and preparation of derivative works based
16 ;;;; upon this software are permitted. Any distribution of this software or
17 ;;;; derivative works must comply with all applicable United States export
20 ;;;; This software is made available AS IS, and Xerox Corporation makes no
21 ;;;; warranty about the software, its performance or its conformity to any
26 ;;; (These are left over from the days when PCL was an add-on package
27 ;;; for a pre-CLOS Common Lisp. They shouldn't happen in a normal
28 ;;; build, of course, but they might happen if someone is experimenting
29 ;;; and debugging, and it's probably worth complaining if they do,
30 ;;; so we've left 'em in.)
31 (when (eq **boot-state
** 'complete
)
32 (error "Trying to load (or compile) PCL in an environment in which it~%~
33 has already been loaded. This doesn't work, you will have to~%~
34 get a fresh lisp (reboot) and then load PCL."))
36 (cerror "Try loading (or compiling) PCL anyways."
37 "Trying to load (or compile) PCL in an environment in which it~%~
38 has already been partially loaded. This may not work, you may~%~
39 need to get a fresh lisp (reboot) and then load PCL."))
41 #-sb-fluid
(declaim (inline gdefinition
))
42 (defun gdefinition (spec)
43 ;; This is null layer right now, but once FDEFINITION stops bypasssing
44 ;; fwrappers/encapsulations we can do that here.
47 (defun (setf gdefinition
) (new-value spec
)
48 ;; This is almost a null layer right now, but once (SETF
49 ;; FDEFINITION) stops bypasssing fwrappers/encapsulations we can do
51 (sb-c::note-name-defined spec
:function
) ; FIXME: do we need this? Why?
52 (setf (fdefinition spec
) new-value
))
54 ;;;; type specifier hackery
56 ;;; internal to this file
57 (defun coerce-to-class (class &optional make-forward-referenced-class-p
)
59 (or (find-class class
(not make-forward-referenced-class-p
))
64 (defun specializer-from-type (type &aux args
)
66 (return-from specializer-from-type
(find-class type
)))
68 (setq args
(cdr type
) type
(car type
)))
71 (class (coerce-to-class (car args
)))
72 (prototype (make-instance 'class-prototype-specializer
73 :object
(coerce-to-class (car args
))))
74 (class-eq (class-eq-specializer (coerce-to-class (car args
))))
75 (eql (intern-eql-specializer (car args
))))))
76 ;; FIXME: do we still need this?
77 ((and (null args
) (typep type
'classoid
))
78 (or (classoid-pcl-class type
)
79 (ensure-non-standard-class (classoid-name type
) type
)))
80 ((specializerp type
) type
)))
83 (defun type-from-specializer (specl)
87 (unless (member (car specl
) '(class prototype class-eq eql
))
88 (error "~S is not a legal specializer type." specl
))
92 ;;maybe (or (find-class specl nil) (ensure-class specl)) instead?
93 (setq specl
(find-class specl
)))
94 (or (not (eq **boot-state
** 'complete
))
95 (specializerp specl
)))
96 (specializer-type specl
))
98 (error "~S is neither a type nor a specializer." specl
))))
100 (defun type-class (type)
101 (declare (special *the-class-t
*))
102 (setq type
(type-from-specializer type
))
106 (error "bad argument to TYPE-CLASS"))
108 (eql (class-of (cadr type
)))
109 (prototype (class-of (cadr type
))) ;?
110 (class-eq (cadr type
))
111 (class (cadr type
)))))
113 (defun class-eq-type (class)
114 (specializer-type (class-eq-specializer class
)))
116 ;;; internal to this file..
118 ;;; These functions are a pale imitation of their namesake. They accept
119 ;;; class objects or types where they should.
120 (defun *normalize-type
(type)
122 (if (member (car type
) '(not and or
))
123 `(,(car type
) ,@(mapcar #'*normalize-type
(cdr type
)))
124 (if (null (cdr type
))
125 (*normalize-type
(car type
))
128 (let ((class (find-class type nil
)))
130 (let ((type (specializer-type class
)))
131 (if (listp type
) type
`(,type
)))
133 ((or (not (eq **boot-state
** 'complete
))
135 (specializer-type type
))
137 (error "~S is not a type." type
))))
139 ;;; internal to this file...
140 (defun convert-to-system-type (type)
142 ((not and or
) `(,(car type
) ,@(mapcar #'convert-to-system-type
144 ((class class-eq
) ; class-eq is impossible to do right
145 (layout-classoid (class-wrapper (cadr type
))))
147 (t (if (null (cdr type
))
151 ;;; Writing the missing NOT and AND clauses will improve the quality
152 ;;; of code generated by GENERATE-DISCRIMINATION-NET, but calling
153 ;;; SUBTYPEP in place of just returning (VALUES NIL NIL) can be very
154 ;;; slow. *SUBTYPEP is used by PCL itself, and must be fast.
156 ;;; FIXME: SB-KERNEL has fast-and-not-quite-precise type code for use
157 ;;; in the compiler. Could we share some of it here?
158 (defvar *in-
*subtypep
* nil
)
160 (defun *subtypep
(type1 type2
)
161 (if (equal type1 type2
)
163 (if (eq **boot-state
** 'early
)
164 (values (eq type1 type2
) t
)
165 (let ((*in-
*subtypep
* t
))
166 (setq type1
(*normalize-type type1
))
167 (setq type2
(*normalize-type type2
))
170 (values nil nil
)) ; XXX We should improve this.
172 (values nil nil
)) ; XXX We should improve this.
173 ((eql wrapper-eq class-eq class
)
174 (multiple-value-bind (app-p maybe-app-p
)
175 (specializer-applicable-using-type-p type2 type1
)
176 (values app-p
(or app-p
(not maybe-app-p
)))))
178 (subtypep (convert-to-system-type type1
)
179 (convert-to-system-type type2
))))))))
181 (defvar *built-in-class-symbols
* ())
182 (defvar *built-in-wrapper-symbols
* ())
184 (defun get-built-in-class-symbol (class-name)
185 (or (cadr (assq class-name
*built-in-class-symbols
*))
186 (let ((symbol (make-class-symbol class-name
)))
187 (push (list class-name symbol
) *built-in-class-symbols
*)
190 (defun get-built-in-wrapper-symbol (class-name)
191 (or (cadr (assq class-name
*built-in-wrapper-symbols
*))
192 (let ((symbol (make-wrapper-symbol class-name
)))
193 (push (list class-name symbol
) *built-in-wrapper-symbols
*)
196 (defvar *standard-method-combination
*)
198 (defun plist-value (object name
)
199 (getf (object-plist object
) name
))
201 (defun (setf plist-value
) (new-value object name
)
203 (setf (getf (object-plist object
) name
) new-value
)
205 (remf (object-plist object
) name
)
208 ;;;; built-in classes
210 ;;; Grovel over SB-KERNEL::*BUILT-IN-CLASSES* in order to set
211 ;;; SB-PCL:*BUILT-IN-CLASSES*.
212 (/show
"about to set up SB-PCL::*BUILT-IN-CLASSES*")
213 (defvar *built-in-classes
*
214 (labels ((direct-supers (class)
215 (/noshow
"entering DIRECT-SUPERS" (classoid-name class
))
216 (if (typep class
'built-in-classoid
)
217 (built-in-classoid-direct-superclasses class
)
218 (let ((inherits (layout-inherits
219 (classoid-layout class
))))
221 (list (svref inherits
(1- (length inherits
)))))))
223 (/noshow
"entering DIRECT-SUBS" (classoid-name class
))
225 (let ((subs (classoid-subclasses class
)))
228 (dohash ((sub v
) subs
)
231 (when (member class
(direct-supers sub
) :test
#'eq
)
234 (mapcar (lambda (kernel-bic-entry)
235 (/noshow
"setting up" kernel-bic-entry
)
236 (let* ((name (car kernel-bic-entry
))
237 (class (find-classoid name
))
239 (getf (cdr kernel-bic-entry
) :prototype-form
)))
242 ,(mapcar #'classoid-name
(direct-supers class
))
243 ,(mapcar #'classoid-name
(direct-subs class
))
247 (layout-classoid x
)))
250 (classoid-layout class
))))
252 (eval prototype-form
)
253 ;; This is the default prototype value which
254 ;; was used, without explanation, by the CMU CL
255 ;; code we're derived from. Evidently it's safe
256 ;; in all relevant cases.
258 (remove-if (lambda (kernel-bic-entry)
259 (member (first kernel-bic-entry
)
260 ;; remove special classes (T and our
261 ;; SYSTEM-CLASSes) from the
262 ;; BUILT-IN-CLASS list
263 '(t function stream sequence
264 file-stream string-stream
)))
265 sb-kernel
::*built-in-classes
*))))
266 (/noshow
"done setting up SB-PCL::*BUILT-IN-CLASSES*")
268 ;;;; the classes that define the kernel of the metabraid
271 (:metaclass built-in-class
))
273 (defclass function
(t) ()
274 (:metaclass system-class
))
276 (defclass stream
(t) ()
277 (:metaclass system-class
))
279 (defclass file-stream
(stream) ()
280 (:metaclass system-class
))
282 (defclass string-stream
(stream) ()
283 (:metaclass system-class
))
285 (defclass sequence
(t) ()
286 (:metaclass system-class
))
288 (defclass slot-object
(t) ()
289 (:metaclass slot-class
))
291 (defclass condition
(slot-object) ()
292 (:metaclass condition-class
))
294 (defclass structure-object
(slot-object) ()
295 (:metaclass structure-class
))
297 (defstruct (dead-beef-structure-object
298 (:constructor |STRUCTURE-OBJECT class constructor|
)
301 (defclass standard-object
(slot-object) ())
303 (defclass funcallable-standard-object
(function standard-object
)
305 (:metaclass funcallable-standard-class
))
307 (defclass metaobject
(standard-object) ())
309 (defclass generic-function
(dependent-update-mixin
310 definition-source-mixin
312 funcallable-standard-object
)
313 ((%documentation
:initform nil
:initarg
:documentation
)
314 ;; We need to make a distinction between the methods initially set
315 ;; up by :METHOD options to DEFGENERIC and the ones set up later by
316 ;; DEFMETHOD, because ANSI specifies that executing DEFGENERIC on
317 ;; an already-DEFGENERICed function clears the methods set by the
318 ;; previous DEFGENERIC, but not methods set by DEFMETHOD. (Making
319 ;; this distinction seems a little kludgy, but it has the positive
320 ;; effect of making it so that loading a file a.lisp containing
321 ;; DEFGENERIC, then loading a second file b.lisp containing
322 ;; DEFMETHOD, then modifying and reloading a.lisp and/or b.lisp
323 ;; tends to leave the generic function in a state consistent with
324 ;; the most-recently-loaded state of a.lisp and b.lisp.)
325 (initial-methods :initform
() :accessor generic-function-initial-methods
)
326 (encapsulations :initform
() :accessor generic-function-encapsulations
))
327 (:metaclass funcallable-standard-class
))
329 (defclass standard-generic-function
(generic-function)
333 :reader generic-function-name
)
336 :accessor generic-function-methods
339 :initarg
:method-class
340 :accessor generic-function-method-class
)
342 :initarg
:method-combination
343 :accessor generic-function-method-combination
)
345 ;; KLUDGE: AMOP specifies :DECLARATIONS, while ANSI specifies
346 ;; :DECLARE. Allow either (but FIXME: maybe a note or a warning
347 ;; might be appropriate).
348 :initarg
:declarations
351 :accessor generic-function-declarations
)
353 :initform
(make-arg-info)
357 :accessor gf-dfun-state
)
358 ;; Used to make DFUN-STATE & FIN-FUNCTION updates atomic.
360 :initform
(sb-thread:make-mutex
:name
"GF lock")
362 ;; Set to true by ADD-METHOD, REMOVE-METHOD; to false by
363 ;; MAYBE-UPDATE-INFO-FOR-GF.
366 :accessor gf-info-needs-update
))
367 (:metaclass funcallable-standard-class
)
368 (:default-initargs
:method-class
*the-class-standard-method
*
369 :method-combination
*standard-method-combination
*))
371 (defclass method
(metaobject) ())
373 (defclass standard-method
(plist-mixin definition-source-mixin method
)
374 ((%generic-function
:initform nil
:accessor method-generic-function
)
375 (qualifiers :initform
() :initarg
:qualifiers
:reader method-qualifiers
)
376 (specializers :initform
() :initarg
:specializers
377 :reader method-specializers
)
378 (lambda-list :initform
() :initarg
:lambda-list
:reader method-lambda-list
)
379 (%function
:initform nil
:initarg
:function
:reader method-function
)
380 (%documentation
:initform nil
:initarg
:documentation
)
381 ;; True IFF method is known to have no CALL-NEXT-METHOD in it, or
382 ;; just a plain (CALL-NEXT-METHOD).
383 (simple-next-method-call
385 :initarg simple-next-method-call
386 :reader simple-next-method-call-p
)))
388 (defclass accessor-method
(standard-method)
389 ((slot-name :initform nil
:initarg
:slot-name
390 :reader accessor-method-slot-name
)))
392 (defclass standard-accessor-method
(accessor-method)
393 ((%slot-definition
:initform nil
:initarg
:slot-definition
394 :reader accessor-method-slot-definition
)))
396 (defclass standard-reader-method
(standard-accessor-method) ())
397 (defclass standard-writer-method
(standard-accessor-method) ())
398 ;;; an extension, apparently.
399 (defclass standard-boundp-method
(standard-accessor-method) ())
401 ;;; for (SLOT-VALUE X 'FOO) / ACCESSOR-SLOT-VALUE optimization, which
402 ;;; can't be STANDARD-READER-METHOD because there is no associated
404 (defclass global-reader-method
(accessor-method) ())
405 (defclass global-writer-method
(accessor-method) ())
406 (defclass global-boundp-method
(accessor-method) ())
408 (defclass method-combination
(metaobject)
409 ((%documentation
:initform nil
:initarg
:documentation
)))
411 (defclass standard-method-combination
(definition-source-mixin
414 :reader method-combination-type-name
417 :reader method-combination-options
420 (defclass long-method-combination
(standard-method-combination)
423 :reader long-method-combination-function
)
425 :initarg
:args-lambda-list
426 :reader long-method-combination-args-lambda-list
)))
428 (defclass short-method-combination
(standard-method-combination)
430 :reader short-combination-operator
432 (identity-with-one-argument
433 :reader short-combination-identity-with-one-argument
434 :initarg
:identity-with-one-argument
)))
436 (defclass slot-definition
(metaobject)
440 :accessor slot-definition-name
)
444 :accessor slot-definition-initform
)
447 :initarg
:initfunction
448 :accessor slot-definition-initfunction
)
452 :accessor slot-definition-initargs
)
453 (%type
:initform t
:initarg
:type
:accessor slot-definition-type
)
455 :initform nil
:initarg
:documentation
456 ;; KLUDGE: we need a reader for bootstrapping purposes, in
457 ;; COMPUTE-EFFECTIVE-SLOT-DEFINITION-INITARGS.
458 :reader %slot-definition-documentation
)
459 (%class
:initform nil
:initarg
:class
:accessor slot-definition-class
)))
461 (defclass standard-slot-definition
(slot-definition)
465 :accessor slot-definition-allocation
)
468 :initarg
:allocation-class
469 :accessor slot-definition-allocation-class
)))
471 (defclass condition-slot-definition
(slot-definition)
475 :accessor slot-definition-allocation
)
478 :initarg
:allocation-class
479 :accessor slot-definition-allocation-class
)))
481 (defclass structure-slot-definition
(slot-definition)
482 ((defstruct-accessor-symbol
484 :initarg
:defstruct-accessor-symbol
485 :accessor slot-definition-defstruct-accessor-symbol
)
486 (internal-reader-function
488 :initarg
:internal-reader-function
489 :accessor slot-definition-internal-reader-function
)
490 (internal-writer-function
492 :initarg
:internal-writer-function
493 :accessor slot-definition-internal-writer-function
)))
495 (defclass direct-slot-definition
(slot-definition)
499 :accessor slot-definition-readers
)
503 :accessor slot-definition-writers
)))
505 (defclass effective-slot-definition
(slot-definition)
509 :accessor slot-definition-info
)))
511 ;;; We use a structure here, because fast slot-accesses to this information
512 ;;; are critical to making SLOT-VALUE-USING-CLASS &co fast: places that need
513 ;;; these functions can access the SLOT-INFO directly, avoiding the overhead
514 ;;; of accessing a standard-instance.
515 (defstruct (slot-info
516 (:constructor make-slot-info
517 (&key slotd typecheck
518 (reader (uninitialized-accessor-function :reader slotd
))
519 (writer (uninitialized-accessor-function :writer slotd
))
520 (boundp (uninitialized-accessor-function :boundp slotd
)))))
521 (typecheck nil
:type
(or null function
))
522 (reader (missing-arg) :type function
)
523 (writer (missing-arg) :type function
)
524 (boundp (missing-arg) :type function
))
526 (defclass standard-direct-slot-definition
(standard-slot-definition
527 direct-slot-definition
)
530 (defclass standard-effective-slot-definition
(standard-slot-definition
531 effective-slot-definition
)
532 ((location ; nil, a fixnum, a cons: (slot-name . value)
534 :accessor slot-definition-location
)))
536 (defclass condition-direct-slot-definition
(condition-slot-definition
537 direct-slot-definition
)
540 (defclass condition-effective-slot-definition
(condition-slot-definition
541 effective-slot-definition
)
544 (defclass structure-direct-slot-definition
(structure-slot-definition
545 direct-slot-definition
)
548 (defclass structure-effective-slot-definition
(structure-slot-definition
549 effective-slot-definition
)
552 (defclass specializer
(metaobject)
553 ;; KLUDGE: in sbcl-0.9.10.2 this was renamed from TYPE, which was an
554 ;; external symbol of the CL package and hence potentially collides
555 ;; with user code. Renaming this to %TYPE, however, is the coward's
556 ;; way out, because the objects that PCL puts in this slot aren't
557 ;; (quite) types: they are closer to kinds of specializer. However,
558 ;; the wholesale renaming and disentangling of specializers didn't
559 ;; appeal. (See also message <sqd5hrclb2.fsf@cam.ac.uk> and
560 ;; responses in comp.lang.lisp). -- CSR, 2006-02-27
561 ((%type
:initform nil
:reader specializer-type
)))
563 ;;; STANDARD in this name doesn't mean "blessed by a standard" but
564 ;;; "comes as standard with PCL"; that is, it includes CLASS-EQ
565 ;;; and vestiges of PROTOTYPE specializers
566 (defclass standard-specializer
(specializer) ())
568 (defclass specializer-with-object
(specializer) ())
570 (defclass exact-class-specializer
(specializer) ())
572 (defclass class-eq-specializer
(standard-specializer
573 exact-class-specializer
574 specializer-with-object
)
575 ((object :initarg
:class
576 :reader specializer-class
577 :reader specializer-object
)))
579 (defclass class-prototype-specializer
(standard-specializer specializer-with-object
)
580 ((object :initarg
:class
581 :reader specializer-class
582 :reader specializer-object
)))
584 (defclass eql-specializer
(standard-specializer exact-class-specializer specializer-with-object
)
585 ((object :initarg
:object
:reader specializer-object
586 :reader eql-specializer-object
)))
588 (defvar *eql-specializer-table
* (make-hash-table :test
'eql
))
590 (defun intern-eql-specializer (object)
591 ;; Need to lock, so that two threads don't get non-EQ specializers
592 ;; for an EQL object.
593 (with-locked-system-table (*eql-specializer-table
*)
594 (or (gethash object
*eql-specializer-table
*)
595 (setf (gethash object
*eql-specializer-table
*)
596 (make-instance 'eql-specializer
:object object
)))))
598 (defclass class
(dependent-update-mixin
599 definition-source-mixin
600 standard-specializer
)
605 (class-eq-specializer
607 :reader class-eq-specializer
)
610 :reader class-direct-superclasses
)
611 ;; Note: The (CLASS-)DIRECT-SUBCLASSES for STRUCTURE-CLASSes and
612 ;; CONDITION-CLASSes are lazily computed whenever the subclass info
613 ;; becomes available, i.e. when the PCL class is created.
616 :reader class-direct-subclasses
)
618 :initform
(cons nil nil
))
621 :initarg
:documentation
)
622 ;; True if the class definition was compiled with a (SAFETY 3)
623 ;; optimization policy.
630 :reader class-finalized-p
)))
632 (def!method make-load-form
((class class
) &optional env
)
633 ;; FIXME: should we not instead pass ENV to FIND-CLASS? Probably
634 ;; doesn't matter while all our environments are the same...
635 (declare (ignore env
))
636 (let ((name (class-name class
)))
637 (unless (and name
(eq (find-class name nil
) class
))
638 (error "~@<Can't use anonymous or undefined class as constant: ~S~:@>"
640 `(find-class ',name
)))
642 ;;; The class PCL-CLASS is an implementation-specific common
643 ;;; superclass of all specified subclasses of the class CLASS.
644 (defclass pcl-class
(class)
645 ((%class-precedence-list
646 :reader class-precedence-list
)
647 ;; KLUDGE: see note in CPL-OR-NIL
649 :reader cpl-available-p
653 :reader class-can-precede-list
)
654 (incompatible-superclass-list
656 :accessor class-incompatible-superclass-list
)
659 :reader class-wrapper
)
662 :reader class-prototype
)))
664 (defclass slot-class
(pcl-class)
667 :reader class-direct-slots
)
670 :reader class-slots
)))
672 ;;; The class STD-CLASS is an implementation-specific common
673 ;;; superclass of the classes STANDARD-CLASS and
674 ;;; FUNCALLABLE-STANDARD-CLASS.
675 (defclass std-class
(slot-class)
678 (defclass standard-class
(std-class)
681 :direct-superclasses
(list *the-class-standard-object
*)))
683 (defclass funcallable-standard-class
(std-class)
686 :direct-superclasses
(list *the-class-funcallable-standard-object
*)))
688 (defclass forward-referenced-class
(pcl-class) ())
690 (defclass system-class
(pcl-class) ())
692 (defclass built-in-class
(system-class) ())
694 (defclass condition-class
(slot-class) ())
696 (defclass structure-class
(slot-class)
697 ((defstruct-form :initform
() :accessor class-defstruct-form
)
698 (defstruct-constructor :initform nil
:accessor class-defstruct-constructor
)
699 (from-defclass-p :initform nil
:initarg
:from-defclass-p
)))
701 (defclass definition-source-mixin
(standard-object)
704 :reader definition-source
705 :initarg
:definition-source
)))
707 (defclass plist-mixin
(standard-object)
708 ((plist :initform
() :accessor object-plist
:initarg plist
)))
710 (defclass dependent-update-mixin
(plist-mixin) ())
712 (defparameter *early-class-predicates
*
713 '((specializer specializerp
)
714 (standard-specializer standard-specializer-p
)
715 (exact-class-specializer exact-class-specializer-p
)
716 (class-eq-specializer class-eq-specializer-p
)
717 (eql-specializer eql-specializer-p
)
719 (slot-class slot-class-p
)
720 (std-class std-class-p
)
721 (standard-class standard-class-p
)
722 (funcallable-standard-class funcallable-standard-class-p
)
723 (condition-class condition-class-p
)
724 (structure-class structure-class-p
)
725 (forward-referenced-class forward-referenced-class-p
)
727 (standard-method standard-method-p
)
728 (accessor-method accessor-method-p
)
729 (standard-accessor-method standard-accessor-method-p
)
730 (standard-reader-method standard-reader-method-p
)
731 (standard-writer-method standard-writer-method-p
)
732 (standard-boundp-method standard-boundp-method-p
)
733 (global-reader-method global-reader-method-p
)
734 (global-writer-method global-writer-method-p
)
735 (global-boundp-method global-boundp-method-p
)
736 (generic-function generic-function-p
)
737 (standard-generic-function standard-generic-function-p
)
738 (method-combination method-combination-p
)
739 (long-method-combination long-method-combination-p
)
740 (short-method-combination short-method-combination-p
)))