SB-PCL
SB-PCL
properties
ID: SB-PCL
LOCK: T
semi-public: This package includes useful meta-object protocol extensions, but even they are not guaranteed to be present in later versions of SBCL, and the other stuff in here is definitely not guaranteed to be present in later versions of SBCL. Use of this package is deprecated in favour of SB-MOP.
SPECIALIZER-NAME-SYNTAX-ERROR  compiled function condition class
properties
ID: SB-PCL:SPECIALIZER-NAME-SYNTAX-ERROR
ALLOC: HEAP IMMOBILE
SPECIALIZER-NAME-SYNTAX-ERROR names a compiled function:
Lambda-list: (SPECIALIZER-NAME GENERIC-FUNCTION)
Derived type: (FUNCTION (T T) NIL)
Source file: SYS:SRC;PCL;BOOT.LISP
SPECIALIZER-NAME-SYNTAX-ERROR names the condition-class #<SB-PCL::CONDITION-CLASS SB-PCL:SPECIALIZER-NAME-SYNTAX-ERROR>:
Class precedence-list: SB-PCL:SPECIALIZER-NAME-SYNTAX-ERROR, ERROR,
SERIOUS-CONDITION, SB-INT:REFERENCE-CONDITION,
CONDITION, SB-PCL::SLOT-OBJECT, T
Direct superclasses: ERROR, SB-INT:REFERENCE-CONDITION
No subclasses.
Direct slots:
GENERIC-FUNCTION
Initargs: :GENERIC-FUNCTION
Readers: SB-PCL::SPECIALIZER-NAME-SYNTAX-ERROR-GENERIC-FUNCTION
SB-PCL::SPECIALIZER-NAME
Initargs: :SPECIALIZER-NAME
Readers: SB-PCL::SPECIALIZER-NAME-SYNTAX-ERROR-SPECIALIZER-NAME
definitions
- SYS:SRC;PCL;BOOT.LISP
UNPARSE-SPECIALIZER-USING-CLASS  generic function
properties
ID: SB-PCL:UNPARSE-SPECIALIZER-USING-CLASS
ALLOC: HEAP IMMOBILE
UNPARSE-SPECIALIZER-USING-CLASS names a generic function:
Lambda-list: (GENERIC-FUNCTION SPECIALIZER)
Argument precedence order: (GENERIC-FUNCTION SPECIALIZER)
Derived type: (FUNCTION (T T) *)
Method-combination: STANDARD
Methods:
(UNPARSE-SPECIALIZER-USING-CLASS (STANDARD-GENERIC-FUNCTION T))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- Called by
- SWANK::METHOD-SPECIALIZERS-FOR-INSPECT
definitions
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (GENERIC-FUNCTION SPECIALIZER)
- SYS:SRC;PCL;BOOT.LISP
MAKE-METHOD-LAMBDA-USING-SPECIALIZERS  generic function
properties
ID: SB-PCL:MAKE-METHOD-LAMBDA-USING-SPECIALIZERS
ALLOC: HEAP IMMOBILE
MAKE-METHOD-LAMBDA-USING-SPECIALIZERS names a generic function:
Lambda-list: (PROTO-GENERIC-FUNCTION PROTO-METHOD QUALIFIERS SPECIALIZERS
METHOD-LAMBDA ENVIRONMENT)
Argument precedence order: (PROTO-GENERIC-FUNCTION PROTO-METHOD QUALIFIERS
SPECIALIZERS METHOD-LAMBDA ENVIRONMENT)
Derived type: (FUNCTION (T T T T T T) *)
Documentation:
Compute a method lambda form based on METHOD-LAMBDA, possibly
taking into account PROTO-GENERIC-FUNCTION, PROTO-METHOD, QUALIFIERS,
SPECIALIZERS and ENVIRONMENT.
Both PROTO-GENERIC-FUNCTION and PROTO-METHOD may be
uninitialized. However, their classes and prototypes can be inspected.
SPECIALIZERS is a list of specializer objects (i.e. parsed).
Return three values:
1. the created method lambda form
2. initargs for the method instance
3. a (possibly modified) unspecialized method lambda list or nil if
the unspecialized lambda list contained in METHOD-LAMBDA should be
used
NOTE: This generic function is part of an SBCL-specific experimental
protocol. Interface subject to change.
Method-combination: STANDARD
Methods:
(MAKE-METHOD-LAMBDA-USING-SPECIALIZERS (STANDARD-GENERIC-FUNCTION
STANDARD-METHOD T T T T))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
definitions
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (PROTO-GENERIC-FUNCTION PROTO-METHOD QUALIFIERS SPECIALIZERS METHOD-LAMBDA ENVIRONMENT)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD)
+CTOR-LIST-MAX-SIZE+  constant var
properties
ID: SB-PCL:+CTOR-LIST-MAX-SIZE+
ALLOC: HEAP DYNAMIC
+CTOR-LIST-MAX-SIZE+ names a constant variable: Value: 12
definitions
- SYS:SRC;PCL;CTOR.LISP
MAKE-SPECIALIZER-FORM-USING-CLASS  generic function
properties
ID: SB-PCL:MAKE-SPECIALIZER-FORM-USING-CLASS
ALLOC: HEAP IMMOBILE
MAKE-SPECIALIZER-FORM-USING-CLASS names a generic function:
Lambda-list: (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER-NAME
ENVIRONMENT)
Argument precedence order: (PROTO-GENERIC-FUNCTION PROTO-METHOD
SPECIALIZER-NAME ENVIRONMENT)
Derived type: (FUNCTION (T T T T) *)
Documentation:
Return a form which, when evaluated in the lexical environment
described by ENVIRONMENT, parses the specializer SPECIALIZER-NAME and
yields the appropriate specializer object.
Both PROTO-GENERIC-FUNCTION and PROTO-METHOD may be
uninitialized. However their classes and prototypes can be
inspected.
NOTE: This generic function is part of an SBCL-specific experimental
protocol. Interface subject to change.
Method-combination: OR
Methods:
(MAKE-SPECIALIZER-FORM-USING-CLASS OR (STANDARD-GENERIC-FUNCTION
STANDARD-METHOD CONS T))
(MAKE-SPECIALIZER-FORM-USING-CLASS OR (STANDARD-GENERIC-FUNCTION
STANDARD-METHOD SYMBOL T))
(MAKE-SPECIALIZER-FORM-USING-CLASS OR (STANDARD-GENERIC-FUNCTION
STANDARD-METHOD SPECIALIZER T))
(MAKE-SPECIALIZER-FORM-USING-CLASS OR (STANDARD-GENERIC-FUNCTION
STANDARD-METHOD T T))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
definitions
- SYS:SRC;PCL;BOOT.LISP
- (OR STANDARD-GENERIC-FUNCTION STANDARD-METHOD CONS)
- SYS:SRC;PCL;BOOT.LISP
- (OR STANDARD-GENERIC-FUNCTION STANDARD-METHOD SYMBOL)
- SYS:SRC;PCL;BOOT.LISP
- (OR STANDARD-GENERIC-FUNCTION STANDARD-METHOD SPECIALIZER)
- SYS:SRC;PCL;BOOT.LISP
- (OR STANDARD-GENERIC-FUNCTION STANDARD-METHOD)
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER-NAME ENVIRONMENT)
+CTOR-TABLE-MAX-SIZE+  constant var
properties
ID: SB-PCL:+CTOR-TABLE-MAX-SIZE+
ALLOC: HEAP DYNAMIC
+CTOR-TABLE-MAX-SIZE+ names a constant variable: Value: 256
definitions
- SYS:SRC;PCL;CTOR.LISP
SPECIALIZER-TYPE-SPECIFIER  generic function
properties
ID: SB-PCL:SPECIALIZER-TYPE-SPECIFIER
ALLOC: HEAP IMMOBILE
SPECIALIZER-TYPE-SPECIFIER names a generic function:
Lambda-list: (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER)
Argument precedence order: (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER)
Derived type: (FUNCTION (T T T) *)
Documentation:
Return a type specifier for SPECIALIZER, a non-parsed specializer
form or a SPECIALIZER instance.
More specifically, SPECIALIZER can be
* a non-parsed specializer form such as
* a symbol naming a class
* a list of the form (eql OBJECT)
* a list of the form (SPECIALIZER-KIND &REST SPECIFIC-SYNTAX)
* an instance of a subclass of SPECIALIZER
When SPECIALIZER cannot be parsed/used as a specializer for
PROTO-GENERIC-FUNCTION and PROTO-METHOD, a STYLE-WARNING is signaled
and NIL is returned. No type declaration will be generated in this
case.
NIL can also be returned if SPECIALIZER is valid but its type should
not be declared, for example for efficiency reasons.
NOTE: This generic function is part of an SBCL-specific experimental
protocol. Interface subject to change.
Method-combination: STANDARD
Methods:
(SPECIALIZER-TYPE-SPECIFIER (TENSOR-METHOD-GENERATOR STANDARD-METHOD
SUBTYPE-SPECIALIZER))
(SPECIALIZER-TYPE-SPECIFIER (TENSOR-METHOD-GENERATOR STANDARD-METHOD
GROUP-SPECIALIZER))
(SPECIALIZER-TYPE-SPECIFIER (TENSOR-METHOD-GENERATOR STANDARD-METHOD
CLASSP-SPECIALIZER))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
CLASS))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
SYSTEM-CLASS))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
STRUCTURE-CLASS))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
EQL-SPECIALIZER))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
CLASS-EQ-SPECIALIZER))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD T))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
SYMBOL))
(SPECIALIZER-TYPE-SPECIFIER (STANDARD-GENERIC-FUNCTION STANDARD-METHOD
SPECIALIZER))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
definitions
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER)
- /home/ellis/src/core/lib/obj/tensor/meta.lisp
- (TENSOR-METHOD-GENERATOR STANDARD-METHOD SUBTYPE-SPECIALIZER)
- /home/ellis/src/core/lib/obj/tensor/meta.lisp
- (TENSOR-METHOD-GENERATOR STANDARD-METHOD GROUP-SPECIALIZER)
- /home/ellis/src/core/lib/obj/tensor/meta.lisp
- (TENSOR-METHOD-GENERATOR STANDARD-METHOD CLASSP-SPECIALIZER)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD CLASS)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD SYSTEM-CLASS)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD STRUCTURE-CLASS)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD EQL-SPECIALIZER)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD CLASS-EQ-SPECIALIZER)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD SYMBOL)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD SPECIALIZER)
+SLOT-UNBOUND+
properties
ID: SB-PCL:+SLOT-UNBOUND+
ALLOC: HEAP IMMOBILE
+SLOT-UNBOUND+ names a symbol macro:
Expansion: (MAKE-UNBOUND-MARKER)
Documentation:
SBCL specific extensions to MOP: if this value is read from an
instance using STANDARD-INSTANCE-ACCESS, the slot is unbound.
Similarly, an :INSTANCE allocated slot can be made unbound by
assigning this to it using (SETF STANDARD-INSTANCE-ACCESS).
Value of +SLOT-UNBOUND+ is unspecified, and should not be relied to be
of any particular type, but it is guaranteed to be suitable for EQ
comparison.
definitions
- SYS:SRC;PCL;SLOT-NAME.LISP
NO-PRIMARY-METHOD  generic function
properties
ID: SB-PCL:NO-PRIMARY-METHOD
ALLOC: HEAP IMMOBILE
NO-PRIMARY-METHOD names a generic function:
Lambda-list: (GENERIC-FUNCTION &REST ARGS)
Derived type: (FUNCTION (T &REST T) *)
Method-combination: STANDARD
Methods:
(NO-PRIMARY-METHOD (T))
definitions
- SYS:SRC;PCL;BRAID.LISP
ILLEGAL-CLASS-NAME-ERROR
properties
ID: SB-PCL:ILLEGAL-CLASS-NAME-ERROR
ALLOC: HEAP IMMOBILE
CLASS-NOT-FOUND-ERROR  condition class
properties
ID: SB-PCL:CLASS-NOT-FOUND-ERROR
ALLOC: HEAP IMMOBILE
CLASS-NOT-FOUND-ERROR names the condition-class #<SB-PCL::CONDITION-CLASS SB-PCL:CLASS-NOT-FOUND-ERROR>:
Class precedence-list: SB-PCL:CLASS-NOT-FOUND-ERROR, CELL-ERROR, ERROR,
SERIOUS-CONDITION, CONDITION, SB-PCL::SLOT-OBJECT, T
Direct superclasses: CELL-ERROR
No subclasses.
Direct slots:
SB-KERNEL::NAME
Initargs: :NAME
definitions
- SYS:SRC;PCL;MACROS.LISP
PARSE-SPECIALIZER-USING-CLASS  generic function
properties
ID: SB-PCL:PARSE-SPECIALIZER-USING-CLASS
ALLOC: HEAP IMMOBILE
PARSE-SPECIALIZER-USING-CLASS names a generic function:
Lambda-list: (GENERIC-FUNCTION SPECIALIZER-NAME)
Argument precedence order: (GENERIC-FUNCTION SPECIALIZER-NAME)
Derived type: (FUNCTION (T T) *)
Documentation:
Parse SPECIALIZER-NAME into a specializer object suitable for GENERIC-FUNCTION.
If SPECIALIZER-NAME is not well-formed with respect to the specializer
syntax of GENERIC-FUNCTION, an error of type
SB-PCL:SPECIALIZER-NAME-SYNTAX-ERROR is signaled.
If GENERIC-FUNCTION is a STANDARD-GENERIC-FUNCTION and
SPECIALIZER-NAME is a symbol that does not name an existing class, an
error of type SB-PCL:CLASS-NOT-FOUND-ERROR is signaled.
Other errors may be signaled for generic function classes other than
STANDARD-GENERIC-FUNCTION.
If GENERIC-FUNCTION is a STANDARD-GENERIC-FUNCTION and
SPECIALIZER-NAME is of the form (eql OBJECT), OBJECT is not
evaluated (in contrast to DEFMETHOD's behavior).
NOTE: This generic function is part of an SBCL-specific experimental
protocol. Interface subject to change.
Method-combination: STANDARD
Methods:
(PARSE-SPECIALIZER-USING-CLASS (STANDARD-GENERIC-FUNCTION T))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
definitions
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (GENERIC-FUNCTION SPECIALIZER-NAME)
- SYS:SRC;PCL;BOOT.LISP
ENSURE-CLASS-FINALIZED  compiled function
properties
ID: SB-PCL:ENSURE-CLASS-FINALIZED
ALLOC: HEAP IMMOBILE
ENSURE-CLASS-FINALIZED names a compiled function: Lambda-list: (CLASS) Declared type: (FUNCTION (CLASS) (VALUES CLASS &OPTIONAL)) Inline proclamation: MAYBE-INLINE (inline expansion available) Source file: SYS:SRC;PCL;VECTOR.LISP
definitions
- SYS:SRC;PCL;VECTOR.LISP
- SYS:SRC;PCL;VECTOR.LISP
MAKE-METHOD-SPECIALIZERS-FORM  generic function
properties
ID: SB-PCL:MAKE-METHOD-SPECIALIZERS-FORM
ALLOC: HEAP IMMOBILE
MAKE-METHOD-SPECIALIZERS-FORM names a generic function:
Lambda-list: (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER-NAMES
ENVIRONMENT)
Argument precedence order: (PROTO-GENERIC-FUNCTION PROTO-METHOD
SPECIALIZER-NAMES ENVIRONMENT)
Derived type: (FUNCTION (T T T T) *)
Method-combination: STANDARD
Methods:
(MAKE-METHOD-SPECIALIZERS-FORM (STANDARD-GENERIC-FUNCTION STANDARD-METHOD T
T))
Source file: SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
definitions
- SYS:SRC;PCL;GENERIC-FUNCTIONS.LISP
- (PROTO-GENERIC-FUNCTION PROTO-METHOD SPECIALIZER-NAMES ENVIRONMENT)
- SYS:SRC;PCL;BOOT.LISP
- (STANDARD-GENERIC-FUNCTION STANDARD-METHOD)
COMPUTE-CACHE-INDEX  compiled function
properties
ID: SB-PCL:COMPUTE-CACHE-INDEX
ALLOC: HEAP DYNAMIC
COMPUTE-CACHE-INDEX names a compiled function: Lambda-list: (CACHE LAYOUTS) Derived type: (FUNCTION (T T) (VALUES (OR (UNSIGNED-BYTE 62) NULL)&OPTIONAL)) Inline proclamation: INLINE (inline expansion available) Source file: SYS:SRC;PCL;CACHE.LISP
definitions
- SYS:SRC;PCL;CACHE.LISP
SYSTEM-CLASS  class
properties
ID: SB-PCL:SYSTEM-CLASS
ALLOC: HEAP IMMOBILE
SYSTEM-CLASS names the standard-class #<STANDARD-CLASS SB-PCL:SYSTEM-CLASS>:
Class precedence-list: SB-PCL:SYSTEM-CLASS, SB-PCL::PCL-CLASS, CLASS,
SB-PCL::DEPENDENT-UPDATE-MIXIN, SB-PCL::PLIST-MIXIN,
SB-PCL::DEFINITION-SOURCE-MIXIN,
SB-PCL::STANDARD-SPECIALIZER, SPECIALIZER, METAOBJECT,
STANDARD-OBJECT, SB-PCL::SLOT-OBJECT, T
Direct superclasses: SB-PCL::PCL-CLASS
Direct subclasses: BUILT-IN-CLASS
No direct slots.
definitions
- SYS:SRC;PCL;DEFS.LISP