The sealable-metaobjects Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The sealable-metaobjects Reference Manual

This is the sealable-metaobjects Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Apr 19 17:43:28 2021 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

#+TITLE: Sealable Metaobjects

[[https://heisig.xyz/sealable-metaobjects.jpg]]

* Introduction
We present an extension of the Common Lisp Object System (CLOS) that allows
a compiler to inline a generic function under certain conditions.

We should note that moving parts of the callee into the caller is usually a
very bad idea.  It prevents safe and efficient function redefinition and
inflates the amount of generated machine code at the call site.  Most
severely, when moving parts of a generic function to the caller, we lose
the ability to redefine or extend some of the involved objects and
metaobjects.

Nevertheless, there are two cases where the aforementioned drawbacks are
tolerable.  The one case is when passing built-in Common Lisp objects to
specified functions.  The other case is for user code that has such extreme
performance demands that the alternative of using this technique would be
to refrain from using generic functions altogether.

* The Technique
The goal is to inline a generic function under certain circumstances.
These circumstances are:

1. It is possible to statically determine the generic function being
   called.

2. This generic function is sealed, i.e., it is an instance of
   SEALABLE-GENERIC-FUNCTION that has previously been passed to the
   function SEAL-GENERIC-FUNCTION.

3. This sealed generic function has at least one sealed method, i.e., a
   method of type POTENTIALLY-SEALABLE-METHOD that specializes, on each
   relevant argument, on a built-in or sealed class, or an eql specializer
   whose object is an instance of a built-in or sealed class.

4. It must be possible to determine, statically, that the types of all
   arguments in a specializing position uniquely determine the list of
   applicable methods.

* Examples
The following examples illustrate how sealable metaobjects can be used.
Each example code can be evaluated as-is.  However, for actual use, we
recommend the following practices:

- Sealable generic functions should be defined in a separate file that is
  loaded early.  If this is not done, its methods may not use the correct
  method-class.  (An alternative is to specify the method class of each
  method explicitly).
- Metaobject sealing should be the very last step when loading a project.
  Ideally, all calls to SEAL-GENERIC-FUNCTION should be in a separate file
  that ASDF loads last.  This way, sealing can also be disabled
  conveniently, e.g., to measure whether sealing actually improves
  performance (Which you should do!).

*** Generic Plus
This example shows how one can implement a generic version of =cl:+=.

#+BEGIN_SRC lisp
(defgeneric generic-binary-+ (a b)
  (:generic-function-class sealable-metaobjects:fast-generic-function))

(defmethod generic-binary-+ ((a number) (b number))
  (+ a b))

(defmethod generic-binary-+ ((a character) (b character))
  (+ (char-code a)
     (char-code b)))

(sealable-metaobjects:seal-domain #'generic-binary-+ '(number number))
(sealable-metaobjects:seal-domain #'generic-binary-+ '(character character))

(defun generic-+ (&rest things)
  (cond ((null things) 0)
        ((null (rest things)) (first things))
        (t (reduce #'generic-binary-+ things))))

(define-compiler-macro generic-+ (&rest things)
  (cond ((null things) 0)
        ((null (rest things)) (first things))
        (t
         (flet ((symbolic-generic-binary-+ (a b)
                  `(generic-binary-+ ,a ,b)))
           (reduce #'symbolic-generic-binary-+ things)))))
#+END_SRC

You can quickly verify that this new operator is as efficient as =cl:+=:

#+BEGIN_SRC lisp
(defun triple-1 (x)
  (declare (single-float x))
  (+ x x x))

(defun triple-2 (x)
  (declare (single-float x))
  (generic-+ x x x))

;;; Both functions should compile to the same assembler code.
(disassemble #'triple-1)
(disassemble #'triple-2)
#+END_SRC

Yet, other than =cl:+=, =generic-+= can be extended by the user, just like
a regular generic function.  The only restriction is that new methods must
not interfere with the behavior of methods that specialize on sealed types
only.

*** Generic Find
This example illustrates how one can implement a fast, generic version of =cl:find=.

#+BEGIN_SRC lisp
(defgeneric generic-find (item sequence &key test)
  (:generic-function-class sealable-metaobjects:fast-generic-function))

(defmethod generic-find (elt (list list) &key (test #'eql))
  (and (member elt list :test test)
       t))

(defmethod generic-find (elt (vector vector) &key (test #'eql))
  (cl:find elt vector :test test))

(sealable-metaobjects:seal-domain #'generic-find '(t list))
(sealable-metaobjects:seal-domain #'generic-find '(t vector))

(defun small-prime-p (x)
  (generic-find x '(2 3 5 7 11)))

;; The call to GENERIC-FIND should have been replaced by a direct call to
;; the appropriate effective method.
(disassemble #'small-prime-p)
#+END_SRC

* Related Work
- https://github.com/guicho271828/inlined-generic-function
- https://opendylan.org/books/drm/Define_Sealed_Domain
- https://github.com/markcox80/specialization-store
- http://home.pipeline.com/~hbaker1/CLOStrophobia.html
- Generic Function Sealing by Paul Khuong (unpublished)


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Previous: , Up: Systems   [Contents][Index]

2.1 sealable-metaobjects

Author

Marco Heisig <marco.heisig@fau.de>

License

MIT

Description

A CLOSsy way to trade genericity for performance.

Dependency

closer-mop

Source

sealable-metaobjects.asd (file)

Components

Next: , Previous: , Up: Top   [Contents][Index]

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

3.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.1 sealable-metaobjects.asd

Location

sealable-metaobjects.asd

Systems

sealable-metaobjects (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.2 sealable-metaobjects/packages.lisp

Parent

sealable-metaobjects (system)

Location

packages.lisp

Packages

sealable-metaobjects


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.3 sealable-metaobjects/utilities.lisp

Dependency

packages.lisp (file)

Parent

sealable-metaobjects (system)

Location

utilities.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.4 sealable-metaobjects/generic-functions.lisp

Dependency

utilities.lisp (file)

Parent

sealable-metaobjects (system)

Location

generic-functions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.5 sealable-metaobjects/domain.lisp

Dependency

generic-functions.lisp (file)

Parent

sealable-metaobjects (system)

Location

domain.lisp

Exported Definitions
Internal Definitions

make-domain (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.6 sealable-metaobjects/sealable-metaobject-mixin.lisp

Dependency

domain.lisp (file)

Parent

sealable-metaobjects (system)

Location

sealable-metaobject-mixin.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.7 sealable-metaobjects/sealable-class.lisp

Dependency

sealable-metaobject-mixin.lisp (file)

Parent

sealable-metaobjects (system)

Location

sealable-class.lisp

Exported Definitions

sealable-class (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.8 sealable-metaobjects/potentially-sealable-method.lisp

Dependency

sealable-class.lisp (file)

Parent

sealable-metaobjects (system)

Location

potentially-sealable-method.lisp

Exported Definitions
Internal Definitions

seal-metaobject (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.9 sealable-metaobjects/sealable-generic-function.lisp

Dependency

potentially-sealable-method.lisp (file)

Parent

sealable-metaobjects (system)

Location

sealable-generic-function.lisp

Exported Definitions
Internal Definitions

(setf %sealed-domains) (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.10 sealable-metaobjects/specializer-prototype.lisp

Dependency

sealable-generic-function.lisp (file)

Parent

sealable-metaobjects (system)

Location

specializer-prototype.lisp

Exported Definitions
Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

3.1.11 sealable-metaobjects/static-call-signature.lisp

Dependency

specializer-prototype.lisp (file)

Parent

sealable-metaobjects (system)

Location

static-call-signature.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

4 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

4.1 sealable-metaobjects

Source

packages.lisp (file)

Use List

closer-common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

5.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.1 Generic functions

Generic Function: class-sealable-p CLASS
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: class-sealable-p (CLASS class)
Generic Function: class-sealed-p CLASS
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: class-sealed-p (CLASS class)
Generic Function: compute-static-call-signatures GENERIC-FUNCTION DOMAIN
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: compute-static-call-signatures (SGF sealable-generic-function) (DOMAIN domain)
Source

static-call-signature.lisp (file)

Generic Function: domain-arity DOMAIN
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: domain-arity (DOMAIN domain)

automatically generated reader method

Source

domain.lisp (file)

Generic Function: domain-equal DOMAIN-1 DOMAIN-2
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: domain-equal (DOMAIN-1 domain) (DOMAIN-2 domain)
Source

domain.lisp (file)

Generic Function: domain-intersectionp DOMAIN-1 DOMAIN-2
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: domain-intersectionp (DOMAIN-1 domain) (DOMAIN-2 domain)
Source

domain.lisp (file)

Generic Function: domain-specializers DOMAIN
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: domain-specializers (DOMAIN domain)

automatically generated reader method

Source

domain.lisp (file)

Generic Function: domain-subsetp DOMAIN-1 DOMAIN-2
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: domain-subsetp (DOMAIN-1 domain) (DOMAIN-2 domain)
Source

domain.lisp (file)

Generic Function: ensure-domain DOMAIN-DESIGNATOR
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: ensure-domain (SEQUENCE sequence)
Source

domain.lisp (file)

Method: ensure-domain (DOMAIN domain)
Source

domain.lisp (file)

Generic Function: ensure-specializer SPECIALIZER-DESIGNATOR
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: ensure-specializer (CLASS class)
Method: ensure-specializer (SYMBOL symbol)
Method: ensure-specializer (CONS cons)
Method: ensure-specializer OBJECT
Generic Function: externalizable-object-p OBJECT
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: externalizable-object-p (STATIC-CALL-SIGNATURE static-call-signature)
Source

static-call-signature.lisp (file)

Method: externalizable-object-p OBJECT
Method: externalizable-object-p (FUNCTION function)
Method: externalizable-object-p (STRUCTURE-OBJECT structure-object)
Method: externalizable-object-p (STANDARD-OBJECT standard-object)
Generic Function: generic-function-sealable-p GENERIC-FUNCTION
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: generic-function-sealable-p (GENERIC-FUNCTION generic-function)
Generic Function: generic-function-sealed-p GENERIC-FUNCTION
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: generic-function-sealed-p (GENERIC-FUNCTION generic-function)
Generic Function: metaobject-sealable-p METAOBJECT
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: metaobject-sealable-p (PSM potentially-sealable-method)
Source

potentially-sealable-method.lisp (file)

Method: metaobject-sealable-p (METAOBJECT sealable-metaobject-mixin)
Source

sealable-metaobject-mixin.lisp (file)

Method: metaobject-sealable-p (CLASS class)
Method: metaobject-sealable-p (GENERIC-FUNCTION generic-function)
Method: metaobject-sealable-p (METHOD method)
Method: metaobject-sealable-p (BUILT-IN-CLASS built-in-class)
Method: metaobject-sealable-p (STRUCTURE-CLASS structure-class)
Method: metaobject-sealable-p (SYSTEM-CLASS system-class)
Generic Function: metaobject-sealed-p METAOBJECT
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: metaobject-sealed-p (SEALABLE-METAOBJECT-MIXIN sealable-metaobject-mixin)

automatically generated reader method

Source

sealable-metaobject-mixin.lisp (file)

Method: metaobject-sealed-p (CLASS class)
Method: metaobject-sealed-p (GENERIC-FUNCTION generic-function)
Method: metaobject-sealed-p (METHOD method)
Method: metaobject-sealed-p (BUILT-IN-CLASS built-in-class)
Method: metaobject-sealed-p (STRUCTURE-CLASS structure-class)
Method: metaobject-sealed-p (SYSTEM-CLASS system-class)
Generic Function: method-domain METHOD
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: method-domain (METHOD method)
Source

domain.lisp (file)

Generic Function: method-properties METHOD
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Writer

(setf method-properties) (generic function)

Methods
Method: method-properties (POTENTIALLY-SEALABLE-METHOD potentially-sealable-method)

automatically generated reader method

Source

potentially-sealable-method.lisp (file)

Method: method-properties (METHOD method)
Generic Function: (setf method-properties) NEW-VALUE OBJECT
Package

sealable-metaobjects

Reader

method-properties (generic function)

Methods
Method: (setf method-properties) NEW-VALUE (POTENTIALLY-SEALABLE-METHOD potentially-sealable-method)

automatically generated writer method

Source

potentially-sealable-method.lisp (file)

Generic Function: method-sealable-p METHOD
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: method-sealable-p (METHOD method)
Generic Function: method-sealed-p METHOD
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: method-sealed-p (METHOD method)
Generic Function: seal-class CLASS
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-class (CLASS class) around
Method: seal-class (SYMBOL symbol)
Method: seal-class (CLASS class)
Generic Function: seal-domain GENERIC-FUNCTION DOMAIN
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-domain (SGF sealable-generic-function) (DOMAIN domain)
Source

sealable-generic-function.lisp (file)

Method: seal-domain (SGF sealable-generic-function) (DOMAIN domain) before
Source

sealable-generic-function.lisp (file)

Method: seal-domain (SGF sealable-generic-function) (DOMAIN domain) around
Source

sealable-generic-function.lisp (file)

Method: seal-domain (SGF sealable-generic-function) DOMAIN
Source

sealable-generic-function.lisp (file)

Generic Function: seal-generic-function GENERIC-FUNCTION
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-generic-function (GENERIC-FUNCTION generic-function) around
Method: seal-generic-function (GENERIC-FUNCTION generic-function)
Generic Function: seal-method METHOD
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-method (METHOD method) around
Method: seal-method (METHOD method)
Generic Function: seal-specializer SPECIALIZER
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-specializer (CLASS class)
Method: seal-specializer (EQL-SPECIALIZER eql-specializer)
Generic Function: sealed-domains GENERIC-FUNCTION
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: sealed-domains (SEALABLE-GENERIC-FUNCTION sealable-generic-function)

automatically generated reader method

Source

sealable-generic-function.lisp (file)

Method: sealed-domains (GENERIC-FUNCTION generic-function)
Generic Function: specializer-direct-superspecializers SPECIALIZER
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-direct-superspecializers (CLASS class)
Method: specializer-direct-superspecializers (EQL-SPECIALIZER eql-specializer)
Generic Function: specializer-intersectionp SPECIALIZER-1 SPECIALIZER-2
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-intersectionp (CLASS-1 class) (CLASS-2 class)
Method: specializer-intersectionp (CLASS class) (EQL-SPECIALIZER eql-specializer)
Method: specializer-intersectionp (EQL-SPECIALIZER eql-specializer) (CLASS class)
Method: specializer-intersectionp (EQL-SPECIALIZER-1 eql-specializer) (EQL-SPECIALIZER-2 eql-specializer)
Generic Function: specializer-prototype SPECIALIZER &optional EXCLUDED-SPECIALIZERS

Returns an object that is of the type indicated by SPECIALIZER, but not of any of the types indicated the optionally supplied EXCLUDED-SPECIALIZERS. Returns a secondary value of T if such an object could be determined, and NIL if no such object was found.

Examples:
(specializer-prototype
(find-class ’double-float))
=> 5.0d0, T

(specializer-prototype
(find-class ’double-float)
(list (intern-eql-specializer 5.0d0)))
=> 6.0d0, T

(specializer-prototype
(find-class ’real)
(list (find-class ’rational) (find-class ’float)))
=> NIL, NIL

Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-prototype (CLASS class) &optional EXCLUDED-SPECIALIZERS
Source

specializer-prototype.lisp (file)

Method: specializer-prototype (EQL-SPECIALIZER eql-specializer) &optional EXCLUDED-SPECIALIZERS
Source

specializer-prototype.lisp (file)

Generic Function: specializer-sealable-p SPECIALIZER
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-sealable-p (CLASS class)
Method: specializer-sealable-p (EQL-SPECIALIZER eql-specializer)
Generic Function: specializer-sealed-p SPECIALIZER
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-sealed-p (CLASS class)
Method: specializer-sealed-p (EQL-SPECIALIZER eql-specializer)
Generic Function: specializer-subsetp SPECIALIZER-1 SPECIALIZER-2
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-subsetp (CLASS-1 class) (CLASS-2 class)
Method: specializer-subsetp (CLASS class) (EQL-SPECIALIZER eql-specializer)
Method: specializer-subsetp (EQL-SPECIALIZER eql-specializer) (CLASS class)
Method: specializer-subsetp (EQL-SPECIALIZER-1 eql-specializer) (EQL-SPECIALIZER-2 eql-specializer)
Generic Function: specializer-type SPECIALIZER
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: specializer-type (CLASS class)
Method: specializer-type (EQL-SPECIALIZER eql-specializer)
Generic Function: static-call-signature-prototypes OBJECT
Package

sealable-metaobjects

Methods
Method: static-call-signature-prototypes (STATIC-CALL-SIGNATURE static-call-signature)

automatically generated reader method

Source

static-call-signature.lisp (file)

Generic Function: static-call-signature-types OBJECT
Package

sealable-metaobjects

Methods
Method: static-call-signature-types (STATIC-CALL-SIGNATURE static-call-signature)

automatically generated reader method

Source

static-call-signature.lisp (file)

Generic Function: validate-method-property METHOD METHOD-PROPERTY
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: validate-method-property (METHOD method) METHOD-PROPERTY

Previous: , Up: Exported definitions   [Contents][Index]

5.1.2 Classes

Class: domain ()
Package

sealable-metaobjects

Source

domain.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: %specializers
Initargs

:specializers

Initform

(sealable-metaobjects::required-argument :specializers)

Readers

domain-specializers (generic function)

Slot: %arity
Initargs

:arity

Initform

(sealable-metaobjects::required-argument :arity)

Readers

domain-arity (generic function)

Class: potentially-sealable-method ()
Package

sealable-metaobjects

Source

potentially-sealable-method.lisp (file)

Direct superclasses
Direct subclasses

potentially-sealable-standard-method (class)

Direct methods
Direct slots
Slot: %method-properties
Initargs

sealable-metaobjects::.method-properties.

Initform

(quote nil)

Readers

method-properties (generic function)

Writers

(setf method-properties) (generic function)

Class: potentially-sealable-standard-method ()
Package

sealable-metaobjects

Source

potentially-sealable-method.lisp (file)

Direct superclasses
Class: sealable-class ()
Package

sealable-metaobjects

Source

sealable-class.lisp (file)

Direct superclasses
Class: sealable-generic-function ()
Package

sealable-metaobjects

Source

sealable-generic-function.lisp (file)

Direct superclasses
Direct subclasses

sealable-standard-generic-function (class)

Direct methods
Direct slots
Slot: %sealed-domains
Type

list

Initform

(quote nil)

Readers

sealed-domains (generic function)

Writers

(setf %sealed-domains) (generic function)

Direct Default Initargs
InitargValue
:method-class(find-class (quote sealable-metaobjects:potentially-sealable-method))
Class: sealable-standard-generic-function ()
Package

sealable-metaobjects

Source

sealable-generic-function.lisp (file)

Direct superclasses
Direct Default Initargs
InitargValue
:method-class(find-class (quote sealable-metaobjects:potentially-sealable-standard-method))
Class: static-call-signature ()
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: %types
Initargs

:types

Readers

static-call-signature-types (generic function)

Slot: %prototypes
Initargs

:prototypes

Readers

static-call-signature-prototypes (generic function)


Previous: , Up: Definitions   [Contents][Index]

5.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.1 Special variables

Special Variable: *array-element-types*
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Special Variable: *class-prototypes*
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Special Variable: *snode-table*
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Special Variable: *standard-metaobjects*
Package

sealable-metaobjects

Source

utilities.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.2 Functions

Function: array-initial-element ELEMENT-TYPE
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Function: eql-specializer-p OBJECT
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Function: make-domain SPECIALIZERS &aux ARITY
Package

sealable-metaobjects

Source

domain.lisp (file)

Function: map-class-prototypes FUNCTION CLASS
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Function: map-types-and-prototypes FN SPECIALIZERS-LIST DOMAIN
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: register-class-prototype PROTOTYPE
Package

sealable-metaobjects

Source

specializer-prototype.lisp (file)

Function: required-argument NAME
Package

sealable-metaobjects

Source

utilities.lisp (file)

Function: snode-add-edge SUPER-SNODE SUB-SNODE
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: snode-prototype SNODE
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: snode-type SNODE
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: specializer-snode SPECIALIZER
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: starts-with ITEM
Package

sealable-metaobjects

Source

utilities.lisp (file)

Function: type-prototype-pairs SPECIALIZERS DOMAIN
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Function: type-specifier-and &rest TYPE-SPECIFIERS
Package

sealable-metaobjects

Source

utilities.lisp (file)

Function: type-specifier-not TYPE-SPECIFIER
Package

sealable-metaobjects

Source

utilities.lisp (file)

Function: type-specifier-or &rest TYPE-SPECIFIERS
Package

sealable-metaobjects

Source

utilities.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.3 Generic functions

Generic Function: (setf %sealed-domains) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: (setf %sealed-domains) NEW-VALUE (SEALABLE-GENERIC-FUNCTION sealable-generic-function)

automatically generated writer method

Source

sealable-generic-function.lisp (file)

Generic Function: seal-metaobject METAOBJECT
Package

sealable-metaobjects

Source

generic-functions.lisp (file)

Methods
Method: seal-metaobject (PSM potentially-sealable-method) before
Source

potentially-sealable-method.lisp (file)

Method: seal-metaobject (METAOBJECT sealable-metaobject-mixin)
Source

sealable-metaobject-mixin.lisp (file)

Method: seal-metaobject METAOBJECT around
Method: seal-metaobject METAOBJECT
Method: seal-metaobject (CLASS class) before
Generic Function: snode-children OBJECT
Generic Function: (setf snode-children) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: snode-children (SNODE snode)

automatically generated reader method

Source

static-call-signature.lisp (file)

Method: (setf snode-children) NEW-VALUE (SNODE snode)

automatically generated writer method

Source

static-call-signature.lisp (file)

Generic Function: snode-parents OBJECT
Generic Function: (setf snode-parents) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: snode-parents (SNODE snode)

automatically generated reader method

Source

static-call-signature.lisp (file)

Method: (setf snode-parents) NEW-VALUE (SNODE snode)

automatically generated writer method

Source

static-call-signature.lisp (file)

Generic Function: snode-relevantp OBJECT
Generic Function: (setf snode-relevantp) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: snode-relevantp (SNODE snode)

automatically generated reader method

Source

static-call-signature.lisp (file)

Method: (setf snode-relevantp) NEW-VALUE (SNODE snode)

automatically generated writer method

Source

static-call-signature.lisp (file)

Generic Function: snode-specializer OBJECT
Generic Function: (setf snode-specializer) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: snode-specializer (SNODE snode)

automatically generated reader method

Source

static-call-signature.lisp (file)

Method: (setf snode-specializer) NEW-VALUE (SNODE snode)

automatically generated writer method

Source

static-call-signature.lisp (file)

Generic Function: snode-visitedp OBJECT
Generic Function: (setf snode-visitedp) NEW-VALUE OBJECT
Package

sealable-metaobjects

Methods
Method: snode-visitedp (SNODE snode)

automatically generated reader method

Source

static-call-signature.lisp (file)

Method: (setf snode-visitedp) NEW-VALUE (SNODE snode)

automatically generated writer method

Source

static-call-signature.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

5.2.4 Classes

Class: sealable-metaobject-instance ()
Package

sealable-metaobjects

Source

sealable-metaobject-mixin.lisp (file)

Direct superclasses

t (class)

Direct methods

change-class (method)

Class: sealable-metaobject-mixin ()
Package

sealable-metaobjects

Source

sealable-metaobject-mixin.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: %sealed-p
Readers

metaobject-sealed-p (generic function)

Class: snode ()
Package

sealable-metaobjects

Source

static-call-signature.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: %specializer
Initargs

:specializer

Readers

snode-specializer (generic function)

Writers

(setf snode-specializer) (generic function)

Slot: %children
Initform

(quote nil)

Readers

snode-children (generic function)

Writers

(setf snode-children) (generic function)

Slot: %parents
Initform

(quote nil)

Readers

snode-parents (generic function)

Writers

(setf snode-parents) (generic function)

Slot: %visitedp
Readers

snode-visitedp (generic function)

Writers

(setf snode-visitedp) (generic function)

Slot: %relevantp
Readers

snode-relevantp (generic function)

Writers

(setf snode-relevantp) (generic function)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L   S  
Index Entry  Section

F
File, Lisp, sealable-metaobjects.asd: The sealable-metaobjects․asd file
File, Lisp, sealable-metaobjects/domain.lisp: The sealable-metaobjects/domain․lisp file
File, Lisp, sealable-metaobjects/generic-functions.lisp: The sealable-metaobjects/generic-functions․lisp file
File, Lisp, sealable-metaobjects/packages.lisp: The sealable-metaobjects/packages․lisp file
File, Lisp, sealable-metaobjects/potentially-sealable-method.lisp: The sealable-metaobjects/potentially-sealable-method․lisp file
File, Lisp, sealable-metaobjects/sealable-class.lisp: The sealable-metaobjects/sealable-class․lisp file
File, Lisp, sealable-metaobjects/sealable-generic-function.lisp: The sealable-metaobjects/sealable-generic-function․lisp file
File, Lisp, sealable-metaobjects/sealable-metaobject-mixin.lisp: The sealable-metaobjects/sealable-metaobject-mixin․lisp file
File, Lisp, sealable-metaobjects/specializer-prototype.lisp: The sealable-metaobjects/specializer-prototype․lisp file
File, Lisp, sealable-metaobjects/static-call-signature.lisp: The sealable-metaobjects/static-call-signature․lisp file
File, Lisp, sealable-metaobjects/utilities.lisp: The sealable-metaobjects/utilities․lisp file

L
Lisp File, sealable-metaobjects.asd: The sealable-metaobjects․asd file
Lisp File, sealable-metaobjects/domain.lisp: The sealable-metaobjects/domain․lisp file
Lisp File, sealable-metaobjects/generic-functions.lisp: The sealable-metaobjects/generic-functions․lisp file
Lisp File, sealable-metaobjects/packages.lisp: The sealable-metaobjects/packages․lisp file
Lisp File, sealable-metaobjects/potentially-sealable-method.lisp: The sealable-metaobjects/potentially-sealable-method․lisp file
Lisp File, sealable-metaobjects/sealable-class.lisp: The sealable-metaobjects/sealable-class․lisp file
Lisp File, sealable-metaobjects/sealable-generic-function.lisp: The sealable-metaobjects/sealable-generic-function․lisp file
Lisp File, sealable-metaobjects/sealable-metaobject-mixin.lisp: The sealable-metaobjects/sealable-metaobject-mixin․lisp file
Lisp File, sealable-metaobjects/specializer-prototype.lisp: The sealable-metaobjects/specializer-prototype․lisp file
Lisp File, sealable-metaobjects/static-call-signature.lisp: The sealable-metaobjects/static-call-signature․lisp file
Lisp File, sealable-metaobjects/utilities.lisp: The sealable-metaobjects/utilities․lisp file

S
sealable-metaobjects.asd: The sealable-metaobjects․asd file
sealable-metaobjects/domain.lisp: The sealable-metaobjects/domain․lisp file
sealable-metaobjects/generic-functions.lisp: The sealable-metaobjects/generic-functions․lisp file
sealable-metaobjects/packages.lisp: The sealable-metaobjects/packages․lisp file
sealable-metaobjects/potentially-sealable-method.lisp: The sealable-metaobjects/potentially-sealable-method․lisp file
sealable-metaobjects/sealable-class.lisp: The sealable-metaobjects/sealable-class․lisp file
sealable-metaobjects/sealable-generic-function.lisp: The sealable-metaobjects/sealable-generic-function․lisp file
sealable-metaobjects/sealable-metaobject-mixin.lisp: The sealable-metaobjects/sealable-metaobject-mixin․lisp file
sealable-metaobjects/specializer-prototype.lisp: The sealable-metaobjects/specializer-prototype․lisp file
sealable-metaobjects/static-call-signature.lisp: The sealable-metaobjects/static-call-signature․lisp file
sealable-metaobjects/utilities.lisp: The sealable-metaobjects/utilities․lisp file

Jump to:   F   L   S  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   (  
A   C   D   E   F   G   M   R   S   T   V  
Index Entry  Section

(
(setf %sealed-domains): Internal generic functions
(setf %sealed-domains): Internal generic functions
(setf method-properties): Exported generic functions
(setf method-properties): Exported generic functions
(setf snode-children): Internal generic functions
(setf snode-children): Internal generic functions
(setf snode-parents): Internal generic functions
(setf snode-parents): Internal generic functions
(setf snode-relevantp): Internal generic functions
(setf snode-relevantp): Internal generic functions
(setf snode-specializer): Internal generic functions
(setf snode-specializer): Internal generic functions
(setf snode-visitedp): Internal generic functions
(setf snode-visitedp): Internal generic functions

A
array-initial-element: Internal functions

C
class-sealable-p: Exported generic functions
class-sealable-p: Exported generic functions
class-sealed-p: Exported generic functions
class-sealed-p: Exported generic functions
compute-static-call-signatures: Exported generic functions
compute-static-call-signatures: Exported generic functions

D
domain-arity: Exported generic functions
domain-arity: Exported generic functions
domain-equal: Exported generic functions
domain-equal: Exported generic functions
domain-intersectionp: Exported generic functions
domain-intersectionp: Exported generic functions
domain-specializers: Exported generic functions
domain-specializers: Exported generic functions
domain-subsetp: Exported generic functions
domain-subsetp: Exported generic functions

E
ensure-domain: Exported generic functions
ensure-domain: Exported generic functions
ensure-domain: Exported generic functions
ensure-specializer: Exported generic functions
ensure-specializer: Exported generic functions
ensure-specializer: Exported generic functions
ensure-specializer: Exported generic functions
ensure-specializer: Exported generic functions
eql-specializer-p: Internal functions
externalizable-object-p: Exported generic functions
externalizable-object-p: Exported generic functions
externalizable-object-p: Exported generic functions
externalizable-object-p: Exported generic functions
externalizable-object-p: Exported generic functions
externalizable-object-p: Exported generic functions

F
Function, array-initial-element: Internal functions
Function, eql-specializer-p: Internal functions
Function, make-domain: Internal functions
Function, map-class-prototypes: Internal functions
Function, map-types-and-prototypes: Internal functions
Function, register-class-prototype: Internal functions
Function, required-argument: Internal functions
Function, snode-add-edge: Internal functions
Function, snode-prototype: Internal functions
Function, snode-type: Internal functions
Function, specializer-snode: Internal functions
Function, starts-with: Internal functions
Function, type-prototype-pairs: Internal functions
Function, type-specifier-and: Internal functions
Function, type-specifier-not: Internal functions
Function, type-specifier-or: Internal functions

G
Generic Function, (setf %sealed-domains): Internal generic functions
Generic Function, (setf method-properties): Exported generic functions
Generic Function, (setf snode-children): Internal generic functions
Generic Function, (setf snode-parents): Internal generic functions
Generic Function, (setf snode-relevantp): Internal generic functions
Generic Function, (setf snode-specializer): Internal generic functions
Generic Function, (setf snode-visitedp): Internal generic functions
Generic Function, class-sealable-p: Exported generic functions
Generic Function, class-sealed-p: Exported generic functions
Generic Function, compute-static-call-signatures: Exported generic functions
Generic Function, domain-arity: Exported generic functions
Generic Function, domain-equal: Exported generic functions
Generic Function, domain-intersectionp: Exported generic functions
Generic Function, domain-specializers: Exported generic functions
Generic Function, domain-subsetp: Exported generic functions
Generic Function, ensure-domain: Exported generic functions
Generic Function, ensure-specializer: Exported generic functions
Generic Function, externalizable-object-p: Exported generic functions
Generic Function, generic-function-sealable-p: Exported generic functions
Generic Function, generic-function-sealed-p: Exported generic functions
Generic Function, metaobject-sealable-p: Exported generic functions
Generic Function, metaobject-sealed-p: Exported generic functions
Generic Function, method-domain: Exported generic functions
Generic Function, method-properties: Exported generic functions
Generic Function, method-sealable-p: Exported generic functions
Generic Function, method-sealed-p: Exported generic functions
Generic Function, seal-class: Exported generic functions
Generic Function, seal-domain: Exported generic functions
Generic Function, seal-generic-function: Exported generic functions
Generic Function, seal-metaobject: Internal generic functions
Generic Function, seal-method: Exported generic functions
Generic Function, seal-specializer: Exported generic functions
Generic Function, sealed-domains: Exported generic functions
Generic Function, snode-children: Internal generic functions
Generic Function, snode-parents: Internal generic functions
Generic Function, snode-relevantp: Internal generic functions
Generic Function, snode-specializer: Internal generic functions
Generic Function, snode-visitedp: Internal generic functions
Generic Function, specializer-direct-superspecializers: Exported generic functions
Generic Function, specializer-intersectionp: Exported generic functions
Generic Function, specializer-prototype: Exported generic functions
Generic Function, specializer-sealable-p: Exported generic functions
Generic Function, specializer-sealed-p: Exported generic functions
Generic Function, specializer-subsetp: Exported generic functions
Generic Function, specializer-type: Exported generic functions
Generic Function, static-call-signature-prototypes: Exported generic functions
Generic Function, static-call-signature-types: Exported generic functions
Generic Function, validate-method-property: Exported generic functions
generic-function-sealable-p: Exported generic functions
generic-function-sealable-p: Exported generic functions
generic-function-sealed-p: Exported generic functions
generic-function-sealed-p: Exported generic functions

M
make-domain: Internal functions
map-class-prototypes: Internal functions
map-types-and-prototypes: Internal functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealable-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
metaobject-sealed-p: Exported generic functions
Method, (setf %sealed-domains): Internal generic functions
Method, (setf method-properties): Exported generic functions
Method, (setf snode-children): Internal generic functions
Method, (setf snode-parents): Internal generic functions
Method, (setf snode-relevantp): Internal generic functions
Method, (setf snode-specializer): Internal generic functions
Method, (setf snode-visitedp): Internal generic functions
Method, class-sealable-p: Exported generic functions
Method, class-sealed-p: Exported generic functions
Method, compute-static-call-signatures: Exported generic functions
Method, domain-arity: Exported generic functions
Method, domain-equal: Exported generic functions
Method, domain-intersectionp: Exported generic functions
Method, domain-specializers: Exported generic functions
Method, domain-subsetp: Exported generic functions
Method, ensure-domain: Exported generic functions
Method, ensure-domain: Exported generic functions
Method, ensure-specializer: Exported generic functions
Method, ensure-specializer: Exported generic functions
Method, ensure-specializer: Exported generic functions
Method, ensure-specializer: Exported generic functions
Method, externalizable-object-p: Exported generic functions
Method, externalizable-object-p: Exported generic functions
Method, externalizable-object-p: Exported generic functions
Method, externalizable-object-p: Exported generic functions
Method, externalizable-object-p: Exported generic functions
Method, generic-function-sealable-p: Exported generic functions
Method, generic-function-sealed-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealable-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, metaobject-sealed-p: Exported generic functions
Method, method-domain: Exported generic functions
Method, method-properties: Exported generic functions
Method, method-properties: Exported generic functions
Method, method-sealable-p: Exported generic functions
Method, method-sealed-p: Exported generic functions
Method, seal-class: Exported generic functions
Method, seal-class: Exported generic functions
Method, seal-class: Exported generic functions
Method, seal-domain: Exported generic functions
Method, seal-domain: Exported generic functions
Method, seal-domain: Exported generic functions
Method, seal-domain: Exported generic functions
Method, seal-generic-function: Exported generic functions
Method, seal-generic-function: Exported generic functions
Method, seal-metaobject: Internal generic functions
Method, seal-metaobject: Internal generic functions
Method, seal-metaobject: Internal generic functions
Method, seal-metaobject: Internal generic functions
Method, seal-metaobject: Internal generic functions
Method, seal-method: Exported generic functions
Method, seal-method: Exported generic functions
Method, seal-specializer: Exported generic functions
Method, seal-specializer: Exported generic functions
Method, sealed-domains: Exported generic functions
Method, sealed-domains: Exported generic functions
Method, snode-children: Internal generic functions
Method, snode-parents: Internal generic functions
Method, snode-relevantp: Internal generic functions
Method, snode-specializer: Internal generic functions
Method, snode-visitedp: Internal generic functions
Method, specializer-direct-superspecializers: Exported generic functions
Method, specializer-direct-superspecializers: Exported generic functions
Method, specializer-intersectionp: Exported generic functions
Method, specializer-intersectionp: Exported generic functions
Method, specializer-intersectionp: Exported generic functions
Method, specializer-intersectionp: Exported generic functions
Method, specializer-prototype: Exported generic functions
Method, specializer-prototype: Exported generic functions
Method, specializer-sealable-p: Exported generic functions
Method, specializer-sealable-p: Exported generic functions
Method, specializer-sealed-p: Exported generic functions
Method, specializer-sealed-p: Exported generic functions
Method, specializer-subsetp: Exported generic functions
Method, specializer-subsetp: Exported generic functions
Method, specializer-subsetp: Exported generic functions
Method, specializer-subsetp: Exported generic functions
Method, specializer-type: Exported generic functions
Method, specializer-type: Exported generic functions
Method, static-call-signature-prototypes: Exported generic functions
Method, static-call-signature-types: Exported generic functions
Method, validate-method-property: Exported generic functions
method-domain: Exported generic functions
method-domain: Exported generic functions
method-properties: Exported generic functions
method-properties: Exported generic functions
method-properties: Exported generic functions
method-sealable-p: Exported generic functions
method-sealable-p: Exported generic functions
method-sealed-p: Exported generic functions
method-sealed-p: Exported generic functions

R
register-class-prototype: Internal functions
required-argument: Internal functions

S
seal-class: Exported generic functions
seal-class: Exported generic functions
seal-class: Exported generic functions
seal-class: Exported generic functions
seal-domain: Exported generic functions
seal-domain: Exported generic functions
seal-domain: Exported generic functions
seal-domain: Exported generic functions
seal-domain: Exported generic functions
seal-generic-function: Exported generic functions
seal-generic-function: Exported generic functions
seal-generic-function: Exported generic functions
seal-metaobject: Internal generic functions
seal-metaobject: Internal generic functions
seal-metaobject: Internal generic functions
seal-metaobject: Internal generic functions
seal-metaobject: Internal generic functions
seal-metaobject: Internal generic functions
seal-method: Exported generic functions
seal-method: Exported generic functions
seal-method: Exported generic functions
seal-specializer: Exported generic functions
seal-specializer: Exported generic functions
seal-specializer: Exported generic functions
sealed-domains: Exported generic functions
sealed-domains: Exported generic functions
sealed-domains: Exported generic functions
snode-add-edge: Internal functions
snode-children: Internal generic functions
snode-children: Internal generic functions
snode-parents: Internal generic functions
snode-parents: Internal generic functions
snode-prototype: Internal functions
snode-relevantp: Internal generic functions
snode-relevantp: Internal generic functions
snode-specializer: Internal generic functions
snode-specializer: Internal generic functions
snode-type: Internal functions
snode-visitedp: Internal generic functions
snode-visitedp: Internal generic functions
specializer-direct-superspecializers: Exported generic functions
specializer-direct-superspecializers: Exported generic functions
specializer-direct-superspecializers: Exported generic functions
specializer-intersectionp: Exported generic functions
specializer-intersectionp: Exported generic functions
specializer-intersectionp: Exported generic functions
specializer-intersectionp: Exported generic functions
specializer-intersectionp: Exported generic functions
specializer-prototype: Exported generic functions
specializer-prototype: Exported generic functions
specializer-prototype: Exported generic functions
specializer-sealable-p: Exported generic functions
specializer-sealable-p: Exported generic functions
specializer-sealable-p: Exported generic functions
specializer-sealed-p: Exported generic functions
specializer-sealed-p: Exported generic functions
specializer-sealed-p: Exported generic functions
specializer-snode: Internal functions
specializer-subsetp: Exported generic functions
specializer-subsetp: Exported generic functions
specializer-subsetp: Exported generic functions
specializer-subsetp: Exported generic functions
specializer-subsetp: Exported generic functions
specializer-type: Exported generic functions
specializer-type: Exported generic functions
specializer-type: Exported generic functions
starts-with: Internal functions
static-call-signature-prototypes: Exported generic functions
static-call-signature-prototypes: Exported generic functions
static-call-signature-types: Exported generic functions
static-call-signature-types: Exported generic functions

T
type-prototype-pairs: Internal functions
type-specifier-and: Internal functions
type-specifier-not: Internal functions
type-specifier-or: Internal functions

V
validate-method-property: Exported generic functions
validate-method-property: Exported generic functions

Jump to:   (  
A   C   D   E   F   G   M   R   S   T   V  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   %   *  
S  
Index Entry  Section

%
%arity: Exported classes
%children: Internal classes
%method-properties: Exported classes
%parents: Internal classes
%prototypes: Exported classes
%relevantp: Internal classes
%sealed-domains: Exported classes
%sealed-p: Internal classes
%specializer: Internal classes
%specializers: Exported classes
%types: Exported classes
%visitedp: Internal classes

*
*array-element-types*: Internal special variables
*class-prototypes*: Internal special variables
*snode-table*: Internal special variables
*standard-metaobjects*: Internal special variables

S
Slot, %arity: Exported classes
Slot, %children: Internal classes
Slot, %method-properties: Exported classes
Slot, %parents: Internal classes
Slot, %prototypes: Exported classes
Slot, %relevantp: Internal classes
Slot, %sealed-domains: Exported classes
Slot, %sealed-p: Internal classes
Slot, %specializer: Internal classes
Slot, %specializers: Exported classes
Slot, %types: Exported classes
Slot, %visitedp: Internal classes
Special Variable, *array-element-types*: Internal special variables
Special Variable, *class-prototypes*: Internal special variables
Special Variable, *snode-table*: Internal special variables
Special Variable, *standard-metaobjects*: Internal special variables

Jump to:   %   *  
S  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   C   D   P   S  
Index Entry  Section

C
Class, domain: Exported classes
Class, potentially-sealable-method: Exported classes
Class, potentially-sealable-standard-method: Exported classes
Class, sealable-class: Exported classes
Class, sealable-generic-function: Exported classes
Class, sealable-metaobject-instance: Internal classes
Class, sealable-metaobject-mixin: Internal classes
Class, sealable-standard-generic-function: Exported classes
Class, snode: Internal classes
Class, static-call-signature: Exported classes

D
domain: Exported classes

P
Package, sealable-metaobjects: The sealable-metaobjects package
potentially-sealable-method: Exported classes
potentially-sealable-standard-method: Exported classes

S
sealable-class: Exported classes
sealable-generic-function: Exported classes
sealable-metaobject-instance: Internal classes
sealable-metaobject-mixin: Internal classes
sealable-metaobjects: The sealable-metaobjects system
sealable-metaobjects: The sealable-metaobjects package
sealable-standard-generic-function: Exported classes
snode: Internal classes
static-call-signature: Exported classes
System, sealable-metaobjects: The sealable-metaobjects system

Jump to:   C   D   P   S