The specialization-store Reference Manual

Table of Contents

The specialization-store Reference Manual

This is the specialization-store Reference Manual, version 0.0.4, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Dec 02 11:22:51 2019 GMT+0.

1 Introduction

The specialization store system provides a new kind of function, called a store function, whose behavior is determined by the types of objects given as arguments to the store function.

Associated with each store function is a set of specialization objects. Each specialization encapsulates behavior and the domain for which the behavior is defined.

A premise of specialization store is that all specializations should perform the same task. Specializations should only differ in how the task is performed. This premise resolves ambiguities that arise when using types, rather than classes, to select the most specific specialization to apply.

Specialization store is a major component of a related system, the template-function system. A wiki page in this project outlines one of the problems the specialization store system was designed to address.

The following list summarizes the major differences between a store function and common lisp's generic function:

• Types rather than classes are used to select behavior.
• Optional, rest and/or keyword arguments are considered when determining behavior.
• Initialization forms for optional and keyword arguments are part of the state of a store function.
• Support for compile time optimizations.
• No support for method/specialization combination.
• No support for argument precedence.
• No support for class precedence.

The specialization store system includes a meta object protocol to allow users to change the default implementation.

Documentation for this project is available in the project wiki.

The specialization store system has been tested using SBCL, Clozure Common Lisp, CMUCL and Embeddable Common Lisp.

Great effort has been spent on implementing this system such that it is portable to all implementations. The compile time dispatch functionality makes extensive use of compiler macros and the CLTL2 environment API.

Installation (ASDF)

The specialization store system uses ASDF to the manage compilation and loading of source files.

The specialization store system depends on the following systems:

1. Alexandria
2. Introspect Environment
3. FiveAM (test framework)

The specialization store system can be loaded in to your lisp environment by evaluating the following forms

(asdf:load-system "specialization-store")

The specialization store system includes a large suite of tests. These tests can be executed by evaluating the following forms

(asdf:test-system "specialization-store")

2 Systems

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

2.1 specialization-store

Author

Mark Cox

License

Simplified BSD License variant

Description

The specialization store system provides a new kind of function, called a store function, whose behavior depends on the types of objects passed to the function.

Version

0.0.4

Dependencies

• specialization-store-features (system)
• introspect-environment
• alexandria

Source

specialization-store.asd (file)

Component

src (module)

2.2 specialization-store-features

Author

Mark Cox

Description

A system which identifies features of the implementation needed for the specialization-store system.

Dependencies

• introspect-environment
• alexandria

Source

specialization-store-features.asd (file)

Component

features (module)

3 Modules

Modules are listed depth-first from the system components tree.

3.1 specialization-store/src

Parent

specialization-store (system)

Location

src/

Components

• packages.lisp (file)
• common.lisp (file)
• lambda-lists.lisp (file)
• dispatch.lisp (file)
• dispatch-fixed-arity.lisp (file)
• dispatch-variable-arity.lisp (file)
• protocols.lisp (file)
• standard-store.lisp (file)

3.2 specialization-store-features/features

Parent

specialization-store-features (system)

Location

features/

Components

• packages.lisp (file)
• features.lisp (file)

4 Files

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

4.1 Lisp

4.1.1 specialization-store.asd

Location

specialization-store.asd

Systems

specialization-store (system)

4.1.2 specialization-store-features.asd

Location

specialization-store-features.asd

Systems

specialization-store-features (system)

4.1.3 specialization-store/src/packages.lisp

Parent

src (module)

Location

src/packages.lisp

Packages

• specialization-store.globals
• specialization-store.dispatch
• specialization-store.lambda-lists
• specialization-store.standard-store
• specialization-store
• specialization-store.mop
• specialization-store.dispatch.fixed-arity
• specialization-store.dispatch.variable-arity

4.1.4 specialization-store/src/common.lisp

Dependency

packages.lisp (file)

Parent

src (module)

Location

src/common.lisp

Exported Definitions

• compiler-macro-form-arguments (function)
• compiler-macro-form-head (function)
• compiler-macro-lambda (macro)
• determine-form-multiple-value-type (function)
• determine-form-value-type (function)
• generate-interned-symbol (function)
• generate-symbol (function)

Internal Definitions

the-form-p (function)

4.1.5 specialization-store/src/lambda-lists.lisp

Dependency

common.lisp (file)

Parent

src (module)

Location

src/lambda-lists.lisp

Exported Definitions

• allow-other-keys-p (generic function)
• allow-other-keys-p (method)
• congruent-parameters-p (generic function)
• congruent-parameters-p (method)
• congruent-parameters-p (method)
• function-type (function)
• keyword-parameter (class)
• keyword-parameter-p (generic function)
• keyword-parameter-p (method)
• keyword-parameter-p (method)
• keyword-parameters (generic function)
• keyword-parameters (method)
• keyword-parameters-p (generic function)
• keyword-parameters-p (method)
• make-form-types-lambda-form (generic function)
• make-form-types-lambda-form (method)
• make-keyword-parameter (function)
• make-optional-parameter (function)
• make-required-parameter (function)
• make-rest-parameter (function)
• make-type-completion-lambda-form (generic function)
• make-type-completion-lambda-form (method)
• make-value-completion-lambda-form (generic function)
• make-value-completion-lambda-form (method)
• optional-parameter (class)
• optional-parameter-p (generic function)
• optional-parameter-p (method)
• optional-parameter-p (method)
• optional-parameters (generic function)
• optional-parameters (method)
• optional-parameters-p (generic function)
• optional-parameters-p (method)
• ordinary-lambda-list (generic function)
• ordinary-lambda-list (method)
• original-lambda-list (generic function)
• original-lambda-list (method)
• parameter (class)
• parameter-dependencies (generic function)
• parameter-dependencies (method)
• parameter-dependencies (method)
• parameter-dependencies (method)
• parameter-dependencies (type)
• parameter-each-type (generic function)
• parameter-each-type (method)
• parameter-init-form (generic function)
• parameter-init-form (method)
• parameter-init-forms-as-global-functions (generic function)
• parameter-init-forms-as-global-functions (method)
• parameter-keyword (method)
• parameter-lambda-list-specification (generic function)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-type (method)
• parameter-type (method)
• parameter-type (method)
• parameter-var (generic function)
• parameter-var (method)
• parameter-varp (generic function)
• parameter-varp (method)
• parameterp (generic function)
• parameterp (method)
• parameterp (method)
• parameters (class)
• parameters-equal (generic function)
• parse-lambda-list-error (condition)
• parse-lambda-list-error-lambda-list (function)
• parse-lambda-list-error-message (function)
• parse-specialization-lambda-list (function)
• parse-specialization-lambda-list-error (condition)
• parse-store-lambda-list (function)
• parse-store-lambda-list-error (condition)
• parse-store-object-lambda-list (function)
• required-parameter (class)
• required-parameter-p (generic function)
• required-parameter-p (method)
• required-parameter-p (method)
• required-parameters (generic function)
• required-parameters (method)
• rest-parameter (method)
• rest-parameter (class)
• rest-parameter-p (generic function)
• rest-parameter-p (method)
• rest-parameter-p (method)
• rest-parameter-p (method)
• rewrite-store-function-form (function)
• specialization-parameters (class)
• store-parameters (class)
• type-declarations (generic function)
• type-declarations (method)

Internal Definitions

• %parameter-dependencies-p (function)
• *init-function-name-table* (special variable)
• *lambda-list* (special variable)
• *lambda-list-description* (special variable)
• *parse-lambda-list-error-class* (special variable)
• all-parameters (generic function)
• all-parameters (method)
• duplicate-keywords-p (generic function)
• duplicate-keywords-p (method)
• duplicate-variables-p (generic function)
• duplicate-variables-p (method)
• filter-duplicates (function)
• generate-init-function-name (function)
• invalid-ordinary-lambda-list-item (function)
• make-init-function-name-generator (function)
• make-specialized-keyword-parameter (function)
• make-specialized-required-parameter (function)
• make-specialized-rest-parameter (function)
• parameter-vars (generic function)
• parameter-vars (method)
• parameter-vars (method)
• parameter-vars (method)
• parameter-vars (method)
• parse-ordinary-lambda-list (function)
• parse-ordinary-lambda-list/allow-other-keys (function)
• parse-ordinary-lambda-list/keys (function)
• parse-ordinary-lambda-list/optional (function)
• parse-ordinary-lambda-list/required (function)
• parse-ordinary-lambda-list/rest (function)
• positional-parameters-lower-bound (generic function)
• positional-parameters-lower-bound (method)
• positional-parameters-upper-bound (generic function)
• positional-parameters-upper-bound (method)
• rewrite-store-function-form/with-init-forms (function)
• signal-parse-lambda-list-error (function)
• specialized-keyword-parameter (class)
• specialized-required-parameter (class)
• specialized-rest-parameter (class)
• voluntary-parameter (class)

4.1.6 specialization-store/src/dispatch.lisp

Dependency

lambda-lists.lisp (file)

Parent

src (module)

Location

src/dispatch.lisp

Exported Definitions

• accepts-argument-count-rule (class)
• argument-count (generic function)
• argument-count (method)
• argument-count (method)
• argument-count (method)
• constantly-rule (class)
• constantly-rule-value (generic function)
• constantly-rule-value (method)
• deepen-tree (function)
• fixed-argument-count-rule (class)
• fixed-arity-store-parameters-p (function)
• keyword-parameter-type-rule (class)
• leafp (function)
• make-accepts-argument-count-rule (function)
• make-constantly-rule (function)
• make-dispatch-tree (function)
• make-fixed-argument-count-rule (function)
• make-keyword-parameter-type-rule (function)
• make-node (function)
• make-positional-parameter-type-rule (function)
• make-rest-objects-rule (function)
• node (structure)
• node-fail (function)
• (setf node-fail) (function)
• node-pass (function)
• (setf node-pass) (function)
• node-value (function)
• (setf node-value) (function)
• parameter-keyword (generic function)
• parameter-keyword (method)
• parameter-position (generic function)
• parameter-position (method)
• parameter-type (generic function)
• parameter-type (method)
• parameter-type (method)
• positional-parameter-type-rule (class)
• pretty-print-dispatch-tree (function)
• remove-dispatch-tree-tautologies (function)
• remove-rule-tautologies (generic function)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• rest-objects-rule (class)
• rest-objects-rule-position (generic function)
• rest-objects-rule-position (method)
• rest-objects-rule-type (generic function)
• rest-objects-rule-type (method)
• rule-equal (generic function)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• specialization-parameters-lower-bound (function)
• specialization-parameters-upper-bound (function)
• variable-arity-store-parameters-p (function)

Internal Definitions

• %make-node (function)
• argument-count-less-than-rule (class)
• compare-slot-values (function)
• copy-node (function)
• dispatch-rule (class)
• lambda-parameter-count (type)
• make-initial-dispatch-tree (function)
• negate-rule-if-possible (generic function)
• negate-rule-if-possible (method)
• negate-rule-if-possible (method)
• negate-rule-if-possible (method)
• node-p (function)
• other-keys-p (function)
• rule (class)
• split-leaf (function)

4.1.7 specialization-store/src/dispatch-fixed-arity.lisp

Dependency

dispatch.lisp (file)

Parent

src (module)

Location

src/dispatch-fixed-arity.lisp

Exported Definitions

• build-tree (function)
• fixed-arity-rule (structure)
• fixed-arity-rule-index (function)
• (setf fixed-arity-rule-index) (function)
• fixed-arity-rule-type (function)
• (setf fixed-arity-rule-type) (function)
• make-initial-dispatch-tree (function)
• make-set (function)
• set (class)
• set-count (function)
• set-specializations (function)

Internal Definitions

• append-knowledge (function)
• copy-fixed-arity-rule (function)
• fixed-arity-rule-p (function)
• fixed-arity-rules (function)
• fixed-arity-rules-for-index (function)
• fixed-arity-specialization-types (function)
• knowledge (class)
• known-type (function)
• knownp (function)
• make-fixed-arity-rule (function)
• make-knowledge (function)
• map-from-problem (function)
• map-to-problem (function)
• select-specialization (function)
• set-arity (function)
• split-set (function)
• strict-subtype-p (function)

4.1.8 specialization-store/src/dispatch-variable-arity.lisp

Dependency

dispatch-fixed-arity.lisp (file)

Parent

src (module)

Location

src/dispatch-variable-arity.lisp

Exported Definitions

make-initial-dispatch-tree (function)

Internal Definitions

• compute-c (function)
• fixed-arity-tuple (function)
• make-final-tree (function)
• make-tree-for-set-x (function)
• make-tree-for-set-z (function)
• split-set-z (function)

4.1.9 specialization-store/src/protocols.lisp

Dependency

dispatch-variable-arity.lisp (file)

Parent

src (module)

Location

src/protocols.lisp

Exported Definitions

• add-specialization (generic function)
• apply-store (generic function)
• define-specialization (macro)
• define-specialization-using-object (generic function)
• defspecialization (macro)
• defspecialization-using-object (generic function)
• defstore (macro)
• defstore-using-class (generic function)
• ensure-specialization (function)
• ensure-specialization-using-object (generic function)
• ensure-store (function)
• ensure-store-error (condition)
• ensure-store-using-object (generic function)
• expand-store (generic function)
• find-store (function)
• (setf find-store) (function)
• funcall-store (generic function)
• inapplicable-arguments (generic function)
• inapplicable-arguments (method)
• inapplicable-arguments-error (condition)
• incongruent-specialization (generic function)
• incongruent-specialization (method)
• incongruent-specialization-error (condition)
• invalid-specialization-class (method)
• invalid-specialization-class-error (condition)
• invalid-store-class (method)
• invalid-store-class-error (condition)
• invalid-store-lambda-list-error (condition)
• invalid-store-name (generic function)
• invalid-store-name (method)
• invalid-store-name-error (condition)
• make-store-unbound (generic function)
• make-store-unbound (method)
• make-store-unbound (method)
• remove-specialization (generic function)
• simple-store-error (condition)
• simple-store-error-message (generic function)
• simple-store-error-message (method)
• specialization-documentation (generic function)
• (setf specialization-documentation) (generic function)
• specialization-equal (generic function)
• specialization-expand-function (generic function)
• specialization-function (generic function)
• specialization-lambda-list (generic function)
• specialization-name (generic function)
• specialization-value-type (generic function)
• store-documentation (generic function)
• store-error (condition)
• store-error-store (generic function)
• store-error-store (method)
• store-lambda-list (generic function)
• store-name (generic function)
• store-specialization-class (generic function)
• store-specializations (generic function)
• (setf store-specializations) (generic function)

Internal Definitions

• %find-store-helper (function)
• canonicalize-store-name (function)
• duplicate-specialization-error (condition)
• ensure-store-error-object (method)
• invalid-store-lamba-list (method)

4.1.10 specialization-store/src/standard-store.lisp

Dependency

protocols.lisp (file)

Parent

src (module)

Location

src/standard-store.lisp

Exported Definitions

• add-specialization (method)
• apply-store (method)
• define-specialization-using-object (method)
• defspecialization-using-object (method)
• defstore-using-class (method)
• ensure-specialization-using-object (method)
• ensure-store-using-object (method)
• ensure-store-using-object (method)
• expand-store (method)
• funcall-store (method)
• make-store-unbound (method)
• remove-specialization (method)
• specialization-documentation (method)
• (setf specialization-documentation) (method)
• specialization-equal (method)
• specialization-expand-function (method)
• specialization-function (method)
• specialization-lambda-list (method)
• specialization-name (method)
• specialization-parameters (generic function)
• specialization-parameters (method)
• specialization-value-type (method)
• standard-specialization (class)
• standard-specialization-class (class)
• standard-store (class)
• standard-store-class (class)
• store-documentation (method)
• (setf store-documentation) (method)
• store-lambda-list (method)
• store-name (method)
• store-parameters (generic function)
• store-parameters (method)
• store-specialization-class (method)
• store-specializations (method)
• (setf store-specializations) (method)

Internal Definitions

• %augment-body (function)
• clear-dispatch-functions (generic function)
• clear-dispatch-functions (method)
• compute-dispatch-functions (generic function)
• compute-dispatch-functions (method)
• compute-dispatch-lambda-form (generic function)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-forms (generic function)
• compute-dispatch-lambda-forms (method)
• function-environment (class)
• generate-code (generic function)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• keywords-environment (class)
• make-default-form-types-function (function)
• make-default-type-completion-function (function)
• make-default-value-completion-function (function)
• make-destructuring-environment (function)
• make-function-environment (function)
• positional-environment (class)
• type-function-environment (class)
• update-dispatch-functions (generic function)
• update-dispatch-functions (method)
• value-function-environment (class)
• variable-environment (class)

4.1.11 specialization-store-features/features/packages.lisp

Parent

features (module)

Location

features/packages.lisp

Packages

specialization-store.features

4.1.12 specialization-store-features/features/features.lisp

Dependency

packages.lisp (file)

Parent

features (module)

Location

features/features.lisp

Internal Definitions

• feature/function-information (function)
• feature/variable-type (function)
• function-information (function)
• test-global-function (function)

5 Packages

Packages are listed by definition order.

5.1 specialization-store.globals

Source

packages.lisp (file)

5.2 specialization-store.dispatch

Source

packages.lisp (file)

Use List

• specialization-store.lambda-lists
• common-lisp

Used By List

• specialization-store.standard-store
• specialization-store.dispatch.variable-arity
• specialization-store.dispatch.fixed-arity

Exported Definitions

• accepts-argument-count-rule (class)
• argument-count (generic function)
• argument-count (method)
• argument-count (method)
• argument-count (method)
• constantly-rule (class)
• constantly-rule-value (generic function)
• constantly-rule-value (method)
• deepen-tree (function)
• fixed-argument-count-rule (class)
• fixed-arity-store-parameters-p (function)
• keyword-parameter-type-rule (class)
• leafp (function)
• make-accepts-argument-count-rule (function)
• make-constantly-rule (function)
• make-dispatch-tree (function)
• make-fixed-argument-count-rule (function)
• make-keyword-parameter-type-rule (function)
• make-node (function)
• make-positional-parameter-type-rule (function)
• make-rest-objects-rule (function)
• node (structure)
• node-fail (function)
• (setf node-fail) (function)
• node-pass (function)
• (setf node-pass) (function)
• node-value (function)
• (setf node-value) (function)
• parameter-position (generic function)
• parameter-position (method)
• positional-parameter-type-rule (class)
• pretty-print-dispatch-tree (function)
• remove-dispatch-tree-tautologies (function)
• remove-rule-tautologies (generic function)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• remove-rule-tautologies (method)
• rest-objects-rule (class)
• rest-objects-rule-position (generic function)
• rest-objects-rule-position (method)
• rest-objects-rule-type (generic function)
• rest-objects-rule-type (method)
• rule-equal (generic function)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• rule-equal (method)
• specialization-parameters-lower-bound (function)
• specialization-parameters-upper-bound (function)
• variable-arity-store-parameters-p (function)

Internal Definitions

• %make-node (function)
• argument-count-less-than-rule (class)
• compare-slot-values (function)
• copy-node (function)
• dispatch-rule (class)
• lambda-parameter-count (type)
• make-initial-dispatch-tree (function)
• negate-rule-if-possible (generic function)
• negate-rule-if-possible (method)
• negate-rule-if-possible (method)
• negate-rule-if-possible (method)
• node-p (function)
• other-keys-p (function)
• rule (class)
• split-leaf (function)

5.3 specialization-store.lambda-lists

Source

packages.lisp (file)

Use List

common-lisp

Used By List

• specialization-store.standard-store
• specialization-store.dispatch.variable-arity
• specialization-store.dispatch.fixed-arity
• specialization-store.dispatch

Exported Definitions

• allow-other-keys-p (generic function)
• allow-other-keys-p (method)
• congruent-parameters-p (generic function)
• congruent-parameters-p (method)
• congruent-parameters-p (method)
• function-type (function)
• keyword-parameter (class)
• keyword-parameter-p (generic function)
• keyword-parameter-p (method)
• keyword-parameter-p (method)
• keyword-parameters (generic function)
• keyword-parameters (method)
• keyword-parameters-p (generic function)
• keyword-parameters-p (method)
• make-form-types-lambda-form (generic function)
• make-form-types-lambda-form (method)
• make-keyword-parameter (function)
• make-optional-parameter (function)
• make-required-parameter (function)
• make-rest-parameter (function)
• make-type-completion-lambda-form (generic function)
• make-type-completion-lambda-form (method)
• make-value-completion-lambda-form (generic function)
• make-value-completion-lambda-form (method)
• optional-parameter (class)
• optional-parameter-p (generic function)
• optional-parameter-p (method)
• optional-parameter-p (method)
• optional-parameters (generic function)
• optional-parameters (method)
• optional-parameters-p (generic function)
• optional-parameters-p (method)
• ordinary-lambda-list (generic function)
• ordinary-lambda-list (method)
• original-lambda-list (generic function)
• original-lambda-list (method)
• parameter (class)
• parameter-dependencies (generic function)
• parameter-dependencies (method)
• parameter-dependencies (method)
• parameter-dependencies (method)
• parameter-dependencies (type)
• parameter-each-type (generic function)
• parameter-each-type (method)
• parameter-init-form (generic function)
• parameter-init-form (method)
• parameter-init-forms-as-global-functions (generic function)
• parameter-init-forms-as-global-functions (method)
• parameter-keyword (generic function)
• parameter-keyword (method)
• parameter-keyword (method)
• parameter-lambda-list-specification (generic function)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-lambda-list-specification (method)
• parameter-type (generic function)
• parameter-type (method)
• parameter-type (method)
• parameter-type (method)
• parameter-type (method)
• parameter-type (method)
• parameter-var (generic function)
• parameter-var (method)
• parameter-varp (generic function)
• parameter-varp (method)
• parameterp (generic function)
• parameterp (method)
• parameterp (method)
• parameters (class)
• parameters-equal (generic function)
• parse-lambda-list-error (condition)
• parse-lambda-list-error-lambda-list (function)
• parse-lambda-list-error-message (function)
• parse-specialization-lambda-list (function)
• parse-specialization-lambda-list-error (condition)
• parse-store-lambda-list (function)
• parse-store-lambda-list-error (condition)
• parse-store-object-lambda-list (function)
• required-parameter (class)
• required-parameter-p (generic function)
• required-parameter-p (method)
• required-parameter-p (method)
• required-parameters (generic function)
• required-parameters (method)
• rest-parameter (generic function)
• rest-parameter (method)
• rest-parameter (class)
• rest-parameter-p (generic function)
• rest-parameter-p (method)
• rest-parameter-p (method)
• rest-parameter-p (method)
• rewrite-store-function-form (function)
• specialization-parameters (generic function)
• specialization-parameters (method)
• specialization-parameters (class)
• store-parameters (generic function)
• store-parameters (method)
• store-parameters (class)
• type-declarations (generic function)
• type-declarations (method)

Internal Definitions

• %parameter-dependencies-p (function)
• *init-function-name-table* (special variable)
• *lambda-list* (special variable)
• *lambda-list-description* (special variable)
• *parse-lambda-list-error-class* (special variable)
• all-parameters (generic function)
• all-parameters (method)
• duplicate-keywords-p (generic function)
• duplicate-keywords-p (method)
• duplicate-variables-p (generic function)
• duplicate-variables-p (method)
• filter-duplicates (function)
• generate-init-function-name (function)
• invalid-ordinary-lambda-list-item (function)
• make-init-function-name-generator (function)
• make-specialized-keyword-parameter (function)
• make-specialized-required-parameter (function)
• make-specialized-rest-parameter (function)
• parameter-vars (generic function)
• parameter-vars (method)
• parameter-vars (method)
• parameter-vars (method)
• parameter-vars (method)
• parse-ordinary-lambda-list (function)
• parse-ordinary-lambda-list/allow-other-keys (function)
• parse-ordinary-lambda-list/keys (function)
• parse-ordinary-lambda-list/optional (function)
• parse-ordinary-lambda-list/required (function)
• parse-ordinary-lambda-list/rest (function)
• positional-parameters-lower-bound (generic function)
• positional-parameters-lower-bound (method)
• positional-parameters-upper-bound (generic function)
• positional-parameters-upper-bound (method)
• rewrite-store-function-form/with-init-forms (function)
• signal-parse-lambda-list-error (function)
• specialized-keyword-parameter (class)
• specialized-required-parameter (class)
• specialized-rest-parameter (class)
• voluntary-parameter (class)

5.4 specialization-store.standard-store

Source

packages.lisp (file)

Use List

• specialization-store.dispatch
• specialization-store.lambda-lists
• specialization-store
• common-lisp

Internal Definitions

• %augment-body (function)
• clear-dispatch-functions (generic function)
• clear-dispatch-functions (method)
• compute-dispatch-functions (generic function)
• compute-dispatch-functions (method)
• compute-dispatch-lambda-form (generic function)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-form (method)
• compute-dispatch-lambda-forms (generic function)
• compute-dispatch-lambda-forms (method)
• function-environment (class)
• generate-code (generic function)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• generate-code (method)
• keywords-environment (class)
• make-default-form-types-function (function)
• make-default-type-completion-function (function)
• make-default-value-completion-function (function)
• make-destructuring-environment (function)
• make-function-environment (function)
• positional-environment (class)
• type-function-environment (class)
• update-dispatch-functions (generic function)
• update-dispatch-functions (method)
• value-function-environment (class)
• variable-environment (class)

5.5 specialization-store

Source

packages.lisp (file)

Use List

common-lisp

Used By List

specialization-store.standard-store

Exported Definitions

• add-specialization (generic function)
• add-specialization (method)
• apply-store (generic function)
• apply-store (method)
• compiler-macro-form-arguments (function)
• compiler-macro-form-head (function)
• compiler-macro-lambda (macro)
• define-specialization (macro)
• define-specialization-using-object (generic function)
• define-specialization-using-object (method)
• defspecialization (macro)
• defspecialization-using-object (generic function)
• defspecialization-using-object (method)
• defstore (macro)
• defstore-using-class (generic function)
• defstore-using-class (method)
• determine-form-multiple-value-type (function)
• determine-form-value-type (function)
• ensure-specialization (function)
• ensure-specialization-using-object (generic function)
• ensure-specialization-using-object (method)
• ensure-store (function)
• ensure-store-error (condition)
• ensure-store-using-object (generic function)
• ensure-store-using-object (method)
• ensure-store-using-object (method)
• expand-store (generic function)
• expand-store (method)
• find-store (function)
• (setf find-store) (function)
• funcall-store (generic function)
• funcall-store (method)
• generate-interned-symbol (function)
• generate-symbol (function)
• inapplicable-arguments (generic function)
• inapplicable-arguments (method)
• inapplicable-arguments-error (condition)
• incongruent-specialization (generic function)
• incongruent-specialization (method)
• incongruent-specialization-error (condition)
• invalid-specialization-class (generic function)
• invalid-specialization-class (method)
• invalid-specialization-class-error (condition)
• invalid-store-class (generic function)
• invalid-store-class (method)
• invalid-store-class-error (condition)
• invalid-store-lambda-list-error (condition)
• invalid-store-name (generic function)
• invalid-store-name (method)
• invalid-store-name-error (condition)
• make-store-unbound (generic function)
• make-store-unbound (method)
• make-store-unbound (method)
• make-store-unbound (method)
• remove-specialization (generic function)
• remove-specialization (method)
• simple-store-error (condition)
• simple-store-error-message (generic function)
• simple-store-error-message (method)
• specialization-documentation (generic function)
• specialization-documentation (method)
• (setf specialization-documentation) (method)
• (setf specialization-documentation) (generic function)
• specialization-equal (generic function)
• specialization-equal (method)
• specialization-expand-function (generic function)
• specialization-expand-function (method)
• specialization-function (generic function)
• specialization-function (method)
• specialization-lambda-list (generic function)
• specialization-lambda-list (method)
• specialization-name (generic function)
• specialization-name (method)
• specialization-value-type (generic function)
• specialization-value-type (method)
• standard-specialization (class)
• standard-specialization-class (class)
• standard-store (class)
• standard-store-class (class)
• store-documentation (generic function)
• store-documentation (method)
• (setf store-documentation) (generic function)
• (setf store-documentation) (method)
• store-error (condition)
• store-error-store (generic function)
• store-error-store (method)
• store-lambda-list (generic function)
• store-lambda-list (method)
• store-name (generic function)
• store-name (method)
• store-specialization-class (generic function)
• store-specialization-class (method)
• store-specializations (generic function)
• store-specializations (method)
• (setf store-specializations) (method)
• (setf store-specializations) (generic function)

Internal Definitions

• %find-store-helper (function)
• canonicalize-store-name (function)
• duplicate-specialization-error (condition)
• ensure-store-error-object (generic function)
• ensure-store-error-object (method)
• invalid-store-lamba-list (generic function)
• invalid-store-lamba-list (method)
• the-form-p (function)

5.6 specialization-store.mop

Source

packages.lisp (file)

5.7 specialization-store.dispatch.fixed-arity

Source

packages.lisp (file)

Use List

• specialization-store.dispatch
• specialization-store.lambda-lists
• common-lisp

Exported Definitions

• build-tree (function)
• fixed-arity-rule (structure)
• fixed-arity-rule-index (function)
• (setf fixed-arity-rule-index) (function)
• fixed-arity-rule-type (function)
• (setf fixed-arity-rule-type) (function)
• make-initial-dispatch-tree (function)
• make-set (function)
• set (class)
• set-count (function)
• set-specializations (function)

Internal Definitions

• append-knowledge (function)
• copy-fixed-arity-rule (function)
• fixed-arity-rule-p (function)
• fixed-arity-rules (function)
• fixed-arity-rules-for-index (function)
• fixed-arity-specialization-types (function)
• knowledge (class)
• known-type (function)
• knownp (function)
• make-fixed-arity-rule (function)
• make-knowledge (function)
• map-from-problem (function)
• map-to-problem (function)
• select-specialization (function)
• set-arity (function)
• split-set (function)
• strict-subtype-p (function)

5.8 specialization-store.dispatch.variable-arity

Source

packages.lisp (file)

Use List

• specialization-store.dispatch
• specialization-store.lambda-lists
• common-lisp

Exported Definitions

make-initial-dispatch-tree (function)

Internal Definitions

• compute-c (function)
• fixed-arity-tuple (function)
• make-final-tree (function)
• make-tree-for-set-x (function)
• make-tree-for-set-z (function)
• split-set-z (function)

5.9 specialization-store.features

Source

packages.lisp (file)

Use List

common-lisp

Internal Definitions

• feature/function-information (function)
• feature/variable-type (function)
• function-information (function)
• test-global-function (function)

6 Definitions

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

6.1 Exported definitions

6.1.1 Macros

Macro: compiler-macro-lambda LAMBDA-LIST &body BODY

Package

specialization-store

Source

common.lisp (file)

Macro: define-specialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE &body BODY

Package

specialization-store

Source

protocols.lisp (file)

Macro: defspecialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE &body BODY

Package

specialization-store

Source

protocols.lisp (file)

Macro: defstore STORE-NAME STORE-LAMBDA-LIST &body BODY

Package

specialization-store

Source

protocols.lisp (file)

6.1.2 Functions

Function: build-tree Z &optional KNOWLEDGE

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: compiler-macro-form-arguments FORM

Package

specialization-store

Source

common.lisp (file)

Function: compiler-macro-form-head FORM

Package

specialization-store

Source

common.lisp (file)

Function: deepen-tree NODE TEST-FUNCTION SPLITTING-FUNCTION

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: determine-form-multiple-value-type FORM ENV

Package

specialization-store

Source

common.lisp (file)

Function: determine-form-value-type FORM ENV

Package

specialization-store

Source

common.lisp (file)

Function: ensure-specialization STORE-NAME SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key EXPAND-FUNCTION DOCUMENTATION NAME &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Function: ensure-store NAME STORE-LAMBDA-LIST &rest ARGS &key STORE-CLASS SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Function: find-store NAME &optional ERRORP

Function: (setf find-store) VALUE NAME

Package

specialization-store

Source

protocols.lisp (file)

Function: fixed-arity-rule-index INSTANCE

Function: (setf fixed-arity-rule-index) VALUE INSTANCE

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-rule-type INSTANCE

Function: (setf fixed-arity-rule-type) VALUE INSTANCE

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: fixed-arity-store-parameters-p STORE-PARAMETERS

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: function-type STORE-PARAMETERS SPECIALIZATION-PARAMETERS VALUE-TYPE

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: generate-interned-symbol BASE SUFFIX &optional PACKAGE

Package

specialization-store

Source

common.lisp (file)

Function: generate-symbol BASE &optional SUFFIX

Package

specialization-store

Source

common.lisp (file)

Function: leafp NODE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-accepts-argument-count-rule COUNT

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-constantly-rule VALUE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-fixed-argument-count-rule COUNT

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-initial-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: make-initial-dispatch-tree STORE-PARAMETERS ALL-SPECIALIZATION-PARAMETERS

Package

specialization-store.dispatch.variable-arity

Source

dispatch-variable-arity.lisp (file)

Function: make-keyword-parameter DEPENDENCIES VAR &optional INIT-FORM VARP KEYWORD

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-keyword-parameter-type-rule KEYWORD TYPE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-node &optional VALUE PASS FAIL

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-optional-parameter DEPENDENCIES VAR &optional INIT-FORM VARP

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-positional-parameter-type-rule POSITION TYPE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-required-parameter VAR

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-rest-objects-rule TYPE STARTING-AT

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: make-rest-parameter VAR

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: make-set SPECIALIZATIONS

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: node-fail INSTANCE

Function: (setf node-fail) VALUE INSTANCE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: node-pass INSTANCE

Function: (setf node-pass) VALUE INSTANCE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: node-value INSTANCE

Function: (setf node-value) VALUE INSTANCE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: parse-lambda-list-error-lambda-list PARSE-LAMBDA-LIST-ERROR

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-lambda-list-error-message PARSE-LAMBDA-LIST-ERROR

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-specialization-lambda-list SPECIALIZATION-LAMBDA-LIST

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-store-lambda-list STORE-LAMBDA-LIST

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: parse-store-object-lambda-list STORE-OBJECT-LAMBDA-LIST

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: pretty-print-dispatch-tree TREE &optional STREAM

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: remove-dispatch-tree-tautologies TREE &optional INITIAL-KNOWLEDGE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: rewrite-store-function-form STORE-PARAMETERS FORM ENV

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Function: set-count SET

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: set-specializations SET

Package

specialization-store.dispatch.fixed-arity

Source

dispatch-fixed-arity.lisp (file)

Function: specialization-parameters-lower-bound SPECIALIZATION-PARAMETERS

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: specialization-parameters-upper-bound SPECIALIZATION-PARAMETERS

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Function: variable-arity-store-parameters-p STORE-PARAMETERS

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

6.1.3 Generic functions

Generic Function: add-specialization STORE SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: add-specialization (STORE standard-store) (SPECIALIZATION standard-specialization)

Source

standard-store.lisp (file)

Generic Function: allow-other-keys-p PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: allow-other-keys-p (PARAMETERS parameters)

automatically generated reader method

Generic Function: apply-store STORE &rest ARGS

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: apply-store (STORE standard-store) &rest ARGS

Source

standard-store.lisp (file)

Generic Function: argument-count DISPATCH-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: argument-count (ARGUMENT-COUNT-LESS-THAN-RULE argument-count-less-than-rule)

automatically generated reader method

Method: argument-count (ACCEPTS-ARGUMENT-COUNT-RULE accepts-argument-count-rule)

automatically generated reader method

Method: argument-count (FIXED-ARGUMENT-COUNT-RULE fixed-argument-count-rule)

automatically generated reader method

Generic Function: congruent-parameters-p STORE-PARAMETERS OTHER-PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: congruent-parameters-p (STORE-A store-parameters) (STORE-B store-parameters)

Method: congruent-parameters-p (STORE store-parameters) (SPECIALIZATION specialization-parameters)

Generic Function: constantly-rule-value DISPATCH-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: constantly-rule-value (CONSTANTLY-RULE constantly-rule)

automatically generated reader method

Generic Function: define-specialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE &key FUNCTION EXPAND-FUNCTION NAME DOCUMENTATION ENVIRONMENT &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: define-specialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE &rest ARGS &key NAME ENVIRONMENT FUNCTION EXPAND-FUNCTION &allow-other-keys

Source

standard-store.lisp (file)

Generic Function: defspecialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE BODY &key NAME ENVIRONMENT INLINE &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: defspecialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE BODY &rest ARGS &key NAME ENVIRONMENT INLINE &allow-other-keys

Source

standard-store.lisp (file)

Generic Function: defstore-using-class STORE-CLASS NAME STORE-LAMBDA-LIST &rest ARGS &key DOCUMENTATION SPECIALIZATION-CLASS ENVIRONMENT &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: defstore-using-class (CLASS (eql #<standard-store-class specialization-store:standard-store>)) NAME STORE-LAMBDA-LIST &rest ARGS &key ENVIRONMENT &allow-other-keys

Source

standard-store.lisp (file)

Generic Function: ensure-specialization-using-object STORE SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key EXPAND-FUNCTION NAME DOCUMENTATION &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: ensure-specialization-using-object (STORE standard-store) SPECIALIZED-LAMBDA-LIST VALUE-TYPE FUNCTION &rest ARGS &key NAME EXPAND-FUNCTION &allow-other-keys

Source

standard-store.lisp (file)

Generic Function: ensure-store-using-object OBJECT STORE-NAME STORE-LAMBDA-LIST &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: ensure-store-using-object (INSTANCE standard-store) STORE-NAME STORE-LAMBDA-LIST &rest ARGS &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys

Source

standard-store.lisp (file)

Method: ensure-store-using-object (CLASS standard-store-class) STORE-NAME STORE-LAMBDA-LIST &rest ARGS &key SPECIALIZATION-CLASS DOCUMENTATION &allow-other-keys

Source

standard-store.lisp (file)

Generic Function: expand-store STORE FORM &optional ENVIRONMENT

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: expand-store (STORE standard-store) FORM &optional ENV

Source

standard-store.lisp (file)

Generic Function: funcall-store STORE &rest ARGS

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: funcall-store (STORE standard-store) &rest ARGS

Source

standard-store.lisp (file)

Generic Function: inapplicable-arguments STORE-ERROR

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: inapplicable-arguments (CONDITION inapplicable-arguments-error)

Generic Function: incongruent-specialization STORE-ERROR

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: incongruent-specialization (CONDITION incongruent-specialization-error)

Generic Function: invalid-specialization-class CONDITION

Package

specialization-store

Methods

Method: invalid-specialization-class (CONDITION invalid-specialization-class-error)

Source

protocols.lisp (file)

Generic Function: invalid-store-class CONDITION

Package

specialization-store

Methods

Method: invalid-store-class (CONDITION invalid-store-class-error)

Source

protocols.lisp (file)

Generic Function: invalid-store-name INVALID-STORE-NAME-ERROR

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: invalid-store-name (CONDITION invalid-store-name-error)

Generic Function: keyword-parameter-p PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: keyword-parameter-p (OBJECT keyword-parameter)

Method: keyword-parameter-p (OBJECT parameter)

Generic Function: keyword-parameters PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: keyword-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: keyword-parameters-p PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: keyword-parameters-p (PARAMETERS parameters)

automatically generated reader method

Generic Function: make-form-types-lambda-form PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: make-form-types-lambda-form (PARAMETERS store-parameters)

Generic Function: make-store-unbound STORE

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: make-store-unbound (STORE standard-store)

Source

standard-store.lisp (file)

Method: make-store-unbound STORE after

Method: make-store-unbound (STORE symbol)

Generic Function: make-type-completion-lambda-form PARAMETERS ENVIRONMENT

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: make-type-completion-lambda-form (PARAMETERS store-parameters) ENVIRONMENT

Generic Function: make-value-completion-lambda-form PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: make-value-completion-lambda-form (PARAMETERS store-parameters)

Generic Function: optional-parameter-p PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: optional-parameter-p (OBJECT optional-parameter)

Method: optional-parameter-p (OBJECT parameter)

Generic Function: optional-parameters PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: optional-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: optional-parameters-p PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: optional-parameters-p (PARAMETERS parameters)

Generic Function: ordinary-lambda-list STORE-PARAMETERS SPECIALIZATION-PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: ordinary-lambda-list (STORE-PARAMETERS store-parameters) (SPECIALIZATION-PARAMETERS specialization-parameters)

Generic Function: original-lambda-list PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: original-lambda-list (PARAMETERS parameters)

automatically generated reader method

Generic Function: parameter-dependencies PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-dependencies (OBJECT rest-parameter)

Method: parameter-dependencies (OBJECT required-parameter)

Method: parameter-dependencies (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameter-each-type OBJECT

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-each-type (SPECIALIZED-REST-PARAMETER specialized-rest-parameter)

automatically generated reader method

Generic Function: parameter-init-form PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-init-form (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameter-init-forms-as-global-functions NAME PARAMETERS ENVIRONMENT

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-init-forms-as-global-functions NAME (PARAMETERS store-parameters) ENVIRONMENT

Generic Function: parameter-keyword DISPATCH-RULE

Package

specialization-store.lambda-lists

Source

dispatch.lisp (file)

Methods

Method: parameter-keyword (KEYWORD-PARAMETER-TYPE-RULE keyword-parameter-type-rule)

automatically generated reader method

Method: parameter-keyword (KEYWORD-PARAMETER keyword-parameter)

automatically generated reader method

Source

lambda-lists.lisp (file)

Generic Function: parameter-lambda-list-specification PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-lambda-list-specification (PARAMETER specialized-rest-parameter)

Method: parameter-lambda-list-specification (PARAMETER specialized-required-parameter)

Method: parameter-lambda-list-specification (P keyword-parameter)

Method: parameter-lambda-list-specification (P rest-parameter)

Method: parameter-lambda-list-specification (P optional-parameter)

Method: parameter-lambda-list-specification (P required-parameter)

Generic Function: parameter-position DISPATCH-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: parameter-position (POSITIONAL-PARAMETER-TYPE-RULE positional-parameter-type-rule)

automatically generated reader method

Generic Function: parameter-type DISPATCH-RULE

Package

specialization-store.lambda-lists

Source

dispatch.lisp (file)

Methods

Method: parameter-type (KEYWORD-PARAMETER-TYPE-RULE keyword-parameter-type-rule)

automatically generated reader method

Method: parameter-type (POSITIONAL-PARAMETER-TYPE-RULE positional-parameter-type-rule)

automatically generated reader method

Method: parameter-type (OBJECT specialized-keyword-parameter)

Source

lambda-lists.lisp (file)

Method: parameter-type (OBJECT specialized-rest-parameter)

Source

lambda-lists.lisp (file)

Method: parameter-type (OBJECT specialized-required-parameter)

Source

lambda-lists.lisp (file)

Generic Function: parameter-var PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-var (PARAMETER parameter)

automatically generated reader method

Generic Function: parameter-varp PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameter-varp (VOLUNTARY-PARAMETER voluntary-parameter)

automatically generated reader method

Generic Function: parameterp PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: parameterp (OBJECT parameter)

Method: parameterp OBJECT

Generic Function: parameters-equal PARAMETERS-1 PARAMETERS-2

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Generic Function: remove-rule-tautologies RULE KNOWN-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: remove-rule-tautologies (RULE accepts-argument-count-rule) (KNOWN-RULE argument-count-less-than-rule)

Method: remove-rule-tautologies (RULE argument-count-less-than-rule) (KNOWN-RULE accepts-argument-count-rule)

Method: remove-rule-tautologies (RULE fixed-argument-count-rule) (KNOWN-RULE argument-count-less-than-rule)

Method: remove-rule-tautologies (RULE fixed-argument-count-rule) (KNOWN-RULE accepts-argument-count-rule)

Method: remove-rule-tautologies (RULE keyword-parameter-type-rule) KNOWN-RULE

Method: remove-rule-tautologies (RULE positional-parameter-type-rule) (KNOWN-RULE accepts-argument-count-rule)

Method: remove-rule-tautologies (RULE positional-parameter-type-rule) (KNOWN-RULE fixed-argument-count-rule)

Method: remove-rule-tautologies RULE KNOWN-RULE

Method: remove-rule-tautologies RULE (KNOWN-RULES list)

Generic Function: remove-specialization STORE SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: remove-specialization (STORE standard-store) (SPECIALIZATION standard-specialization)

Source

standard-store.lisp (file)

Generic Function: required-parameter-p PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: required-parameter-p (OBJECT required-parameter)

Method: required-parameter-p (OBJECT parameter)

Generic Function: required-parameters PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: required-parameters (PARAMETERS parameters)

automatically generated reader method

Generic Function: rest-objects-rule-position DISPATCH-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: rest-objects-rule-position (REST-OBJECTS-RULE rest-objects-rule)

automatically generated reader method

Generic Function: rest-objects-rule-type DISPATCH-RULE

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: rest-objects-rule-type (REST-OBJECTS-RULE rest-objects-rule)

automatically generated reader method

Generic Function: rest-parameter OBJECT

Package

specialization-store.lambda-lists

Methods

Method: rest-parameter (PARAMETERS parameters)

automatically generated reader method

Source

lambda-lists.lisp (file)

Generic Function: rest-parameter-p PARAMETER

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: rest-parameter-p (PARAMETERS parameters)

Method: rest-parameter-p (OBJECT rest-parameter)

Method: rest-parameter-p (OBJECT parameter)

Generic Function: rule-equal RULE-A RULE-B

Package

specialization-store.dispatch

Source

dispatch.lisp (file)

Methods

Method: rule-equal (RULE-A rest-objects-rule) (RULE-B rest-objects-rule)

Method: rule-equal (RULE-A keyword-parameter-type-rule) (RULE-B keyword-parameter-type-rule)

Method: rule-equal (RULE-A positional-parameter-type-rule) (RULE-B positional-parameter-type-rule)

Method: rule-equal (RULE-A argument-count-less-than-rule) (RULE-B argument-count-less-than-rule)

Method: rule-equal (RULE-A accepts-argument-count-rule) (RULE-B accepts-argument-count-rule)

Method: rule-equal (RULE-A fixed-argument-count-rule) (RULE-B fixed-argument-count-rule)

Method: rule-equal RULE-A RULE-B

Generic Function: simple-store-error-message STORE-ERROR

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: simple-store-error-message (CONDITION simple-store-error)

Generic Function: specialization-documentation SPECIALIZATION

Generic Function: (setf specialization-documentation) VALUE SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-documentation (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Method: (setf specialization-documentation) NEW-VALUE (STANDARD-SPECIALIZATION standard-specialization)

automatically generated writer method

Source

standard-store.lisp (file)

Generic Function: specialization-equal STORE SPECIALIZATION-A SPECIALIZABION-B

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-equal (STORE standard-store) (A standard-specialization) (B standard-specialization)

Source

standard-store.lisp (file)

Generic Function: specialization-expand-function SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-expand-function (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-function SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-function (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-lambda-list SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-lambda-list (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-name SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-name (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: specialization-parameters STANDARD-SPECIALIZATION

Package

specialization-store.lambda-lists

Source

standard-store.lisp (file)

Methods

Method: specialization-parameters (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Generic Function: specialization-value-type SPECIALIZATION

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: specialization-value-type (STANDARD-SPECIALIZATION standard-specialization)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-documentation STORE

Package

specialization-store

Source

protocols.lisp (file)

Writer

(setf store-documentation) (generic function)

Methods

Method: store-documentation (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: (setf store-documentation) NEW-VALUE OBJECT

Package

specialization-store

Reader

store-documentation (generic function)

Methods

Method: (setf store-documentation) NEW-VALUE (STANDARD-STORE standard-store)

automatically generated writer method

Source

standard-store.lisp (file)

Generic Function: store-error-store STORE-ERROR

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: store-error-store (CONDITION store-error)

Generic Function: store-lambda-list STORE

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: store-lambda-list (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-name STORE

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: store-name (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-parameters STANDARD-STORE

Package

specialization-store.lambda-lists

Source

standard-store.lisp (file)

Methods

Method: store-parameters (STANDARD-STORE standard-store)

automatically generated reader method

Generic Function: store-specialization-class STORE

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: store-specialization-class (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Generic Function: store-specializations STORE

Generic Function: (setf store-specializations) VALUE STORE

Package

specialization-store

Source

protocols.lisp (file)

Methods

Method: store-specializations (STANDARD-STORE standard-store)

automatically generated reader method

Source

standard-store.lisp (file)

Method: (setf store-specializations) VALUE (STORE standard-store)

Source

standard-store.lisp (file)

Generic Function: type-declarations STORE-PARAMETERS SPECIALIZATION-PARAMETERS

Package

specialization-store.lambda-lists

Source

lambda-lists.lisp (file)

Methods

Method: type-declarations (STORE-PARAMETERS store-parameters) (SPECIALIZATION-PARAMETERS specialization-parameters)

6.1.4 Conditions

Condition: ensure-store-error ()

Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

error (condition)

Direct subclasses

• invalid-store-lambda-list-error (condition)
• invalid-specialization-class-error (condition)
• invalid-store-class-error (condition)

Direct methods

ensure-store-error-object (method)

Direct slots

Slot: object

Initargs

:object

Readers

ensure-store-error-object (generic function)

Condition: inapplicable-arguments-error ()

Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)

Direct methods

inapplicable-arguments (method)

Direct slots

Slot: arguments

Initargs

:arguments

Initform

(quote (error "a value for the slot :arguments must be specified."))

Readers

inapplicable-arguments (generic function)

Condition: incongruent-specialization-error ()

Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

store-error (condition)

Direct methods

incongruent-specialization (method)

Direct slots

Slot: specialization

Initargs

:specialization

Initform

(quote (error "a value for the slot :specialization must be specified."))

Readers

incongruent-specialization (generic function)

Condition: invalid-specialization-class-error ()

Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

ensure-store-error (condition)

Direct methods

invalid-specialization-class (method)

Direct slots

Slot: specialization-class

Initargs

:specialization-class

Readers

invalid-specialization-class (generic function)

Condition: invalid-store-class-error ()

Package

specialization-store

Source

protocols.lisp (file)

Direct superclasses

ensure-store-error (condition)

Direct methods

invalid-store-class (method)

Direct slots

Slot: store-class

Initargs

:store-class

Readers

invalid-store-class (generic function)