The specialization-store Reference Manual

This is the specialization-store Reference Manual, version 0.0.5, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 17:56:42 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 specialization-store

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.

Author

Mark Cox

License

Simplified BSD License variant

Version

0.0.5

Dependencies
Source

specialization-store.asd.

Child Component

src (module).


2.2 specialization-store-features

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

Author

Mark Cox

Dependencies
  • introspect-environment (system).
  • alexandria (system).
Source

specialization-store-features.asd.

Child Component

features (module).


3 Modules

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


3.1 specialization-store/src

Source

specialization-store.asd.

Parent Component

specialization-store (system).

Child Components

3.2 specialization-store-features/features

Source

specialization-store-features.asd.

Parent Component

specialization-store-features (system).

Child Components

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/specialization-store.asd

Source

specialization-store.asd.

Parent Component

specialization-store (system).

ASDF Systems

specialization-store.


4.1.2 specialization-store-features/specialization-store-features.asd

Source

specialization-store-features.asd.

Parent Component

specialization-store-features (system).

ASDF Systems

specialization-store-features.


4.1.4 specialization-store/src/common.lisp

Dependency

packages.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

the-form-p (function).


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

Dependency

common.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

4.1.6 specialization-store/src/dispatch.lisp

Dependency

lambda-lists.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

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

Dependency

dispatch.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

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

Dependency

dispatch-fixed-arity.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface

make-initial-dispatch-tree (function).

Internals

4.1.9 specialization-store/src/protocols.lisp

Dependency

dispatch-variable-arity.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

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

Dependency

protocols.lisp (file).

Source

specialization-store.asd.

Parent Component

src (module).

Public Interface
Internals

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

Source

specialization-store-features.asd.

Parent Component

features (module).

Packages

specialization-store.features.


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

Dependency

packages.lisp (file).

Source

specialization-store-features.asd.

Parent Component

features (module).

Internals

5 Packages

Packages are listed by definition order.


5.1 specialization-store.features

Source

packages.lisp.

Use List

common-lisp.

Internals

5.2 specialization-store.globals

Source

packages.lisp.


5.3 specialization-store

Source

packages.lisp.

Use List

common-lisp.

Used By List

specialization-store.standard-store.

Public Interface
Internals

5.4 specialization-store.dispatch.variable-arity

Source

packages.lisp.

Use List

common-lisp.

Public Interface

make-initial-dispatch-tree (function).

Internals

5.5 specialization-store.dispatch.fixed-arity

Source

packages.lisp.

Use List

common-lisp.

Public Interface
Internals

5.7 specialization-store.mop

Source

packages.lisp.


5.8 specialization-store.dispatch

Source

packages.lisp.

Use List

common-lisp.

Public Interface
Internals

5.9 specialization-store.lambda-lists

Source

packages.lisp.

Use List

common-lisp.

Public Interface
Internals

6 Definitions

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


6.1 Public Interface


6.1.1 Macros

Macro: compiler-macro-lambda (lambda-list &body body)
Package

specialization-store.

Source

common.lisp.

Macro: define-specialization (store-name specialized-lambda-list value-type &body body)
Package

specialization-store.

Source

protocols.lisp.

Macro: defspecialization (store-name specialized-lambda-list value-type &body body)
Package

specialization-store.

Source

protocols.lisp.

Macro: defstore (store-name store-lambda-list &body body)
Package

specialization-store.

Source

protocols.lisp.


6.1.2 Ordinary functions

Function: build-tree (z &optional knowledge)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: compiler-macro-form-arguments (form)
Package

specialization-store.

Source

common.lisp.

Function: compiler-macro-form-head (form)
Package

specialization-store.

Source

common.lisp.

Function: deepen-tree (node test-function splitting-function)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: determine-form-multiple-value-type (form env)
Package

specialization-store.

Source

common.lisp.

Function: determine-form-value-type (form env)
Package

specialization-store.

Source

common.lisp.

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.

Function: ensure-store (name store-lambda-list &rest args &key store-class specialization-class documentation &allow-other-keys)
Package

specialization-store.

Source

protocols.lisp.

Function: find-store (name &optional errorp)
Package

specialization-store.

Source

protocols.lisp.

Function: (setf find-store) (name)
Package

specialization-store.

Source

protocols.lisp.

Reader: fixed-arity-rule-index (instance)
Writer: (setf fixed-arity-rule-index) (instance)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Target Slot

index.

Reader: fixed-arity-rule-type (instance)
Writer: (setf fixed-arity-rule-type) (instance)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Target Slot

type.

Function: fixed-arity-store-parameters-p (store-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: function-type (store-parameters specialization-parameters value-type)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: generate-interned-symbol (base suffix &optional package)
Package

specialization-store.

Source

common.lisp.

Function: generate-symbol (base &optional suffix)
Package

specialization-store.

Source

common.lisp.

Function: leafp (node)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-accepts-argument-count-rule (count)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-constantly-rule (value)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-dispatch-tree (store-parameters all-specialization-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-fixed-argument-count-rule (count)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-initial-dispatch-tree (store-parameters all-specialization-parameters)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: make-initial-dispatch-tree (store-parameters all-specialization-parameters)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: make-keyword-parameter (dependencies var &optional init-form varp keyword)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-keyword-parameter-type-rule (keyword type)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-node (&optional value pass fail)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-optional-parameter (dependencies var &optional init-form varp)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-positional-parameter-type-rule (position type)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-required-parameter (var)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-rest-objects-rule (type starting-at)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-rest-parameter (var)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-set (specializations)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Reader: node-fail (instance)
Writer: (setf node-fail) (instance)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Target Slot

fail.

Reader: node-pass (instance)
Writer: (setf node-pass) (instance)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Target Slot

pass.

Reader: node-value (instance)
Writer: (setf node-value) (instance)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Target Slot

value.

Function: parse-lambda-list-error-lambda-list (parse-lambda-list-error)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-lambda-list-error-message (parse-lambda-list-error)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-specialization-lambda-list (specialization-lambda-list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-store-lambda-list (store-lambda-list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-store-object-lambda-list (store-object-lambda-list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: pretty-print-dispatch-tree (tree &optional stream)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: remove-dispatch-tree-tautologies (tree &optional initial-knowledge)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: rewrite-store-function-form (store-parameters form env)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: set-count (set)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: set-specializations (set)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: specialization-parameters-lower-bound (specialization-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: specialization-parameters-upper-bound (specialization-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: variable-arity-store-parameters-p (store-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.


6.1.3 Generic functions

Generic Function: add-specialization (store specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: add-specialization ((store standard-store) (specialization standard-specialization))
Source

standard-store.lisp.

Generic Reader: allow-other-keys-p (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: allow-other-keys-p ((parameters parameters))

automatically generated reader method

Target Slot

allow-other-keys-p.

Generic Function: apply-store (store &rest args)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: apply-store ((store standard-store) &rest args)
Source

standard-store.lisp.

Generic Reader: argument-count (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: argument-count ((argument-count-less-than-rule argument-count-less-than-rule))

automatically generated reader method

Target Slot

count.

Reader Method: argument-count ((accepts-argument-count-rule accepts-argument-count-rule))

automatically generated reader method

Target Slot

count.

Reader Method: argument-count ((fixed-argument-count-rule fixed-argument-count-rule))

automatically generated reader method

Target Slot

count.

Generic Function: congruent-parameters-p (store-parameters other-parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: congruent-parameters-p ((store-a store-parameters) (store-b store-parameters))
Method: congruent-parameters-p ((store store-parameters) (specialization specialization-parameters))
Generic Reader: constantly-rule-value (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: constantly-rule-value ((constantly-rule constantly-rule))

automatically generated reader method

Target Slot

value.

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.

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.

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.

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.

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.

Methods
Method: defstore-using-class ((class (eql #<specialization-store:standard-store-class specialization-store:standard-store>)) name store-lambda-list &rest args &key environment &allow-other-keys)
Source

standard-store.lisp.

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.

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.

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.

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.

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.

Generic Function: expand-store (store form &optional environment)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: expand-store ((store standard-store) form &optional env)
Source

standard-store.lisp.

Generic Function: funcall-store (store &rest args)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: funcall-store ((store standard-store) &rest args)
Source

standard-store.lisp.

Generic Reader: inapplicable-arguments (store-error)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: inapplicable-arguments ((condition inapplicable-arguments-error))
Target Slot

arguments.

Generic Reader: incongruent-specialization (store-error)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: incongruent-specialization ((condition incongruent-specialization-error))
Target Slot

specialization.

Generic Reader: invalid-specialization-class (condition)
Package

specialization-store.

Methods
Reader Method: invalid-specialization-class ((condition invalid-specialization-class-error))
Source

protocols.lisp.

Target Slot

specialization-class.

Generic Reader: invalid-store-class (condition)
Package

specialization-store.

Methods
Reader Method: invalid-store-class ((condition invalid-store-class-error))
Source

protocols.lisp.

Target Slot

store-class.

Generic Reader: invalid-store-name (invalid-store-name-error)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: invalid-store-name ((condition invalid-store-name-error))
Target Slot

name.

Generic Function: keyword-parameter-p (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: keyword-parameter-p ((object keyword-parameter))
Method: keyword-parameter-p ((object parameter))
Generic Reader: keyword-parameters (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: keyword-parameters ((parameters parameters))

automatically generated reader method

Target Slot

keyword-parameters.

Generic Reader: keyword-parameters-p (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: keyword-parameters-p ((parameters parameters))

automatically generated reader method

Target Slot

keyword-parameters-p.

Generic Function: make-form-types-lambda-form (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: make-form-types-lambda-form ((parameters store-parameters))
Generic Function: make-store-unbound (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: make-store-unbound ((store standard-store))
Source

standard-store.lisp.

Method: make-store-unbound :after (store)
Method: make-store-unbound ((store symbol))
Generic Function: make-type-completion-lambda-form (parameters environment)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

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.

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.

Methods
Method: optional-parameter-p ((object optional-parameter))
Method: optional-parameter-p ((object parameter))
Generic Reader: optional-parameters (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: optional-parameters ((parameters parameters))

automatically generated reader method

Target Slot

optional-parameters.

Generic Function: optional-parameters-p (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

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.

Methods
Method: ordinary-lambda-list ((store-parameters store-parameters) (specialization-parameters specialization-parameters))
Generic Reader: original-lambda-list (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: original-lambda-list ((parameters parameters))

automatically generated reader method

Target Slot

original-lambda-list.

Generic Function: parameter-dependencies (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: parameter-dependencies ((object rest-parameter))
Method: parameter-dependencies ((object required-parameter))
Reader Method: parameter-dependencies ((voluntary-parameter voluntary-parameter))

automatically generated reader method

Target Slot

dependencies.

Generic Reader: parameter-each-type (object)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: parameter-each-type ((specialized-rest-parameter specialized-rest-parameter))

automatically generated reader method

Target Slot

each-type.

Generic Reader: parameter-init-form (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: parameter-init-form ((voluntary-parameter voluntary-parameter))

automatically generated reader method

Target Slot

init-form.

Generic Function: parameter-init-forms-as-global-functions (name parameters environment)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: parameter-init-forms-as-global-functions (name (parameters store-parameters) environment)
Generic Reader: parameter-keyword (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: parameter-keyword ((keyword-parameter-type-rule keyword-parameter-type-rule))

automatically generated reader method

Target Slot

keyword.

Generic Reader: parameter-keyword (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: parameter-keyword ((keyword-parameter keyword-parameter))

automatically generated reader method

Target Slot

keyword.

Generic Function: parameter-lambda-list-specification (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

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 Reader: parameter-position (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: parameter-position ((positional-parameter-type-rule positional-parameter-type-rule))

automatically generated reader method

Target Slot

position.

Generic Reader: parameter-type (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: parameter-type ((keyword-parameter-type-rule keyword-parameter-type-rule))

automatically generated reader method

Target Slot

type.

Reader Method: parameter-type ((positional-parameter-type-rule positional-parameter-type-rule))

automatically generated reader method

Target Slot

type.

Generic Function: parameter-type (object)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: parameter-type ((object specialized-keyword-parameter))
Method: parameter-type ((object specialized-rest-parameter))
Reader Method: parameter-type ((specialized-required-parameter specialized-required-parameter))

automatically generated reader method

Target Slot

type.

Generic Reader: parameter-var (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: parameter-var ((parameter parameter))

automatically generated reader method

Target Slot

var.

Generic Reader: parameter-varp (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: parameter-varp ((voluntary-parameter voluntary-parameter))

automatically generated reader method

Target Slot

varp.

Generic Function: parameterp (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

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.

Generic Function: remove-rule-tautologies (rule known-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

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.

Methods
Method: remove-specialization ((store standard-store) (specialization standard-specialization))
Source

standard-store.lisp.

Generic Function: required-parameter-p (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: required-parameter-p ((object required-parameter))
Method: required-parameter-p ((object parameter))
Generic Reader: required-parameters (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: required-parameters ((parameters parameters))

automatically generated reader method

Target Slot

required-parameters.

Generic Reader: rest-objects-rule-position (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: rest-objects-rule-position ((rest-objects-rule rest-objects-rule))

automatically generated reader method

Target Slot

position.

Generic Reader: rest-objects-rule-type (dispatch-rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Reader Method: rest-objects-rule-type ((rest-objects-rule rest-objects-rule))

automatically generated reader method

Target Slot

type.

Generic Reader: rest-parameter (object)
Package

specialization-store.lambda-lists.

Methods
Reader Method: rest-parameter ((parameters parameters))

automatically generated reader method

Source

lambda-lists.lisp.

Target Slot

rest-parameter.

Generic Function: rest-parameter-p (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

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.

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 Reader: simple-store-error-message (store-error)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: simple-store-error-message ((condition simple-store-error))
Target Slot

message.

Generic Reader: specialization-documentation (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-documentation ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

documentation.

Generic Writer: (setf specialization-documentation) (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Writer Method: (setf specialization-documentation) ((standard-specialization standard-specialization))

automatically generated writer method

Source

standard-store.lisp.

Target Slot

documentation.

Generic Function: specialization-equal (store specialization-a specializabion-b)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: specialization-equal ((store standard-store) (a standard-specialization) (b standard-specialization))
Source

standard-store.lisp.

Generic Reader: specialization-expand-function (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-expand-function ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

expand-function.

Generic Reader: specialization-function (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-function ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

function.

Generic Reader: specialization-lambda-list (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-lambda-list ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

lambda-list.

Generic Reader: specialization-name (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-name ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

name.

Generic Reader: specialization-value-type (specialization)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: specialization-value-type ((standard-specialization standard-specialization))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

value-type.

Generic Reader: store-documentation (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-documentation ((standard-store standard-store))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

documentation.

Generic Writer: (setf store-documentation) (object)
Package

specialization-store.

Methods
Writer Method: (setf store-documentation) ((standard-store standard-store))

automatically generated writer method

Source

standard-store.lisp.

Target Slot

documentation.

Generic Reader: store-error-store (store-error)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-error-store ((condition store-error))
Target Slot

store.

Generic Reader: store-lambda-list (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-lambda-list ((standard-store standard-store))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

lambda-list.

Generic Reader: store-name (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-name ((standard-store standard-store))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

name.

Generic Reader: store-specialization-class (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-specialization-class ((standard-store standard-store))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

specialization-class.

Generic Reader: store-specializations (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Reader Method: store-specializations ((standard-store standard-store))

automatically generated reader method

Source

standard-store.lisp.

Target Slot

specializations.

Generic Function: (setf store-specializations) (store)
Package

specialization-store.

Source

protocols.lisp.

Methods
Method: (setf store-specializations) ((store standard-store))
Source

standard-store.lisp.

Generic Function: type-declarations (store-parameters specialization-parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: type-declarations ((store-parameters store-parameters) (specialization-parameters specialization-parameters))

6.1.4 Standalone methods

Method: initialize-instance :after ((instance standard-store) &key lambda-list &allow-other-keys)
Source

standard-store.lisp.

Method: print-object ((object standard-specialization) stream)
Source

standard-store.lisp.

Method: print-object ((object standard-store) stream)
Source

standard-store.lisp.

Method: print-object ((object set) stream)
Source

dispatch-fixed-arity.lisp.

Method: print-object ((object fixed-arity-rule) stream)
Source

dispatch-fixed-arity.lisp.

Method: print-object ((object knowledge) stream)
Source

dispatch-fixed-arity.lisp.

Method: print-object ((object fixed-argument-count-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object rest-objects-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object positional-parameter-type-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object accepts-argument-count-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object constantly-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object keyword-parameter-type-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object argument-count-less-than-rule) stream)
Source

dispatch.lisp.

Method: print-object ((object required-parameter) stream)
Source

lambda-lists.lisp.

Method: print-object ((object optional-parameter) stream)
Source

lambda-lists.lisp.

Method: print-object ((object keyword-parameter) stream)
Source

lambda-lists.lisp.

Method: print-object ((object rest-parameter) stream)
Source

lambda-lists.lisp.

Method: print-object ((object parameters) stream)
Source

lambda-lists.lisp.

Method: reinitialize-instance :after ((instance standard-store) &key name lambda-list &allow-other-keys)
Source

standard-store.lisp.

Method: shared-initialize :after ((instance standard-specialization) slot-names &key lambda-list)
Source

standard-store.lisp.

Method: validate-superclass ((class standard-specialization-class) (superclass funcallable-standard-class))
Package

sb-mop.

Source

standard-store.lisp.

Method: validate-superclass ((class standard-store-class) (superclass funcallable-standard-class))
Package

sb-mop.

Source

standard-store.lisp.


6.1.5 Conditions

Condition: ensure-store-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

error.

Direct subclasses
Direct methods

ensure-store-error-object.

Direct slots
Slot: object
Initargs

:object

Readers

ensure-store-error-object.

Writers

This slot is read-only.

Condition: inapplicable-arguments-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

store-error.

Direct methods

inapplicable-arguments.

Direct slots
Slot: arguments
Initform

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

Initargs

:arguments

Readers

inapplicable-arguments.

Writers

This slot is read-only.

Condition: incongruent-specialization-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

store-error.

Direct methods

incongruent-specialization.

Direct slots
Slot: specialization
Initform

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

Initargs

:specialization

Readers

incongruent-specialization.

Writers

This slot is read-only.

Condition: invalid-specialization-class-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

ensure-store-error.

Direct methods

invalid-specialization-class.

Direct slots
Slot: specialization-class
Initargs

:specialization-class

Readers

invalid-specialization-class.

Writers

This slot is read-only.

Condition: invalid-store-class-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

ensure-store-error.

Direct methods

invalid-store-class.

Direct slots
Slot: store-class
Initargs

:store-class

Readers

invalid-store-class.

Writers

This slot is read-only.

Condition: invalid-store-lambda-list-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

ensure-store-error.

Direct methods

invalid-store-lamba-list.

Direct slots
Slot: store-lambda-list
Initargs

:store-lambda-list

Readers

invalid-store-lamba-list.

Writers

This slot is read-only.

Condition: invalid-store-name-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

error.

Direct methods

invalid-store-name.

Direct slots
Slot: name
Initform

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

Initargs

:name

Readers

invalid-store-name.

Writers

This slot is read-only.

Condition: parse-lambda-list-error
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

error.

Direct subclasses
Direct Default Initargs
InitargValue
:lambda-list-description*lambda-list-description*
:lambda-list*lambda-list*
Direct slots
Slot: message
Initargs

:message

Slot: lambda-list-description
Initargs

:lambda-list-description

Slot: lambda-list
Initargs

:lambda-list

Condition: parse-specialization-lambda-list-error
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parse-lambda-list-error.

Condition: parse-store-lambda-list-error
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parse-lambda-list-error.

Condition: simple-store-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

store-error.

Direct methods

simple-store-error-message.

Direct slots
Slot: message
Initform

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

Initargs

:message

Readers

simple-store-error-message.

Writers

This slot is read-only.

Condition: store-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

error.

Direct subclasses
Direct methods

store-error-store.

Direct slots
Slot: store
Initform

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

Initargs

:store

Readers

store-error-store.

Writers

This slot is read-only.


6.1.6 Structures

Structure: fixed-arity-rule
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Direct superclasses

structure-object.

Direct methods

print-object.

Direct slots
Slot: type
Package

common-lisp.

Readers

fixed-arity-rule-type.

Writers

(setf fixed-arity-rule-type).

Slot: index
Readers

fixed-arity-rule-index.

Writers

(setf fixed-arity-rule-index).

Structure: node
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

structure-object.

Direct methods

generate-code.

Direct slots
Slot: value
Readers

node-value.

Writers

(setf node-value).

Slot: pass
Readers

node-pass.

Writers

(setf node-pass).

Slot: fail
Readers

node-fail.

Writers

(setf node-fail).


6.1.7 Classes

Class: accepts-argument-count-rule

Accepts count or more arguments?

Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: count
Package

common-lisp.

Initargs

:count

Readers

argument-count.

Writers

This slot is read-only.

Class: constantly-rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: value
Initargs

:value

Readers

constantly-rule-value.

Writers

This slot is read-only.

Class: fixed-argument-count-rule

Ensure the argument count x is equal to count.

Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: count
Package

common-lisp.

Initargs

:count

Readers

argument-count.

Writers

This slot is read-only.

Class: keyword-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

voluntary-parameter.

Direct subclasses

specialized-keyword-parameter.

Direct methods
Direct slots
Slot: keyword
Package

common-lisp.

Initargs

:keyword

Readers

parameter-keyword.

Writers

This slot is read-only.

Class: keyword-parameter-type-rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: keyword
Package

common-lisp.

Initargs

:keyword

Readers

parameter-keyword.

Writers

This slot is read-only.

Slot: type
Package

common-lisp.

Initargs

:type

Readers

parameter-type.

Writers

This slot is read-only.

Class: optional-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

voluntary-parameter.

Direct methods
Class: parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: var
Initargs

:var

Readers

parameter-var.

Writers

This slot is read-only.

Class: parameters
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: original-lambda-list
Initargs

:original-lambda-list

Readers

original-lambda-list.

Writers

This slot is read-only.

Slot: all-parameters
Initargs

:all-parameters

Readers

all-parameters.

Writers

This slot is read-only.

Slot: required-parameters
Initargs

:required-parameters

Readers

required-parameters.

Writers

This slot is read-only.

Slot: optional-parameters
Initargs

:optional-parameters

Readers

optional-parameters.

Writers

This slot is read-only.

Slot: rest-parameter
Initargs

:rest-parameter

Readers

rest-parameter.

Writers

This slot is read-only.

Slot: keyword-parameters-p
Initargs

:keyword-parameters-p

Readers

keyword-parameters-p.

Writers

This slot is read-only.

Slot: allow-other-keys-p
Initargs

:allow-other-keys-p

Readers

allow-other-keys-p.

Writers

This slot is read-only.

Slot: keyword-parameters
Initargs

:keyword-parameters

Readers

keyword-parameters.

Writers

This slot is read-only.

Class: positional-parameter-type-rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: position
Package

common-lisp.

Initargs

:position

Readers

parameter-position.

Writers

This slot is read-only.

Slot: type
Package

common-lisp.

Initargs

:type

Readers

parameter-type.

Writers

This slot is read-only.

Class: required-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parameter.

Direct subclasses

specialized-required-parameter.

Direct methods
Class: rest-objects-rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: type
Package

common-lisp.

Initargs

:type

Readers

rest-objects-rule-type.

Writers

This slot is read-only.

Slot: position
Package

common-lisp.

Initargs

:position

Readers

rest-objects-rule-position.

Writers

This slot is read-only.

Class: rest-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parameter.

Direct subclasses

specialized-rest-parameter.

Direct methods
Class: set
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Direct methods

print-object.

Direct slots
Slot: specializations
Initargs

:specializations

Slot: arity
Initargs

:arity

Class: specialization-parameters
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parameters.

Direct methods
Class: standard-specialization
Package

specialization-store.

Source

standard-store.lisp.

Direct superclasses

funcallable-standard-object.

Direct methods
Direct Default Initargs
InitargValue
:namenil
:expand-functionnil
:documentationnil
Direct slots
Slot: name
Package

specialization-store.standard-store.

Initargs

:name

Readers

specialization-name.

Writers

This slot is read-only.

Slot: lambda-list
Package

specialization-store.standard-store.

Initargs

:lambda-list

Readers

specialization-lambda-list.

Writers

This slot is read-only.

Slot: value-type
Package

specialization-store.standard-store.

Initargs

:value-type

Readers

specialization-value-type.

Writers

This slot is read-only.

Slot: parameters
Package

specialization-store.standard-store.

Initargs

:parameters

Readers

specialization-parameters.

Writers

This slot is read-only.

Slot: documentation
Package

common-lisp.

Initargs

:documentation

Readers

specialization-documentation.

Writers

(setf specialization-documentation).

Slot: function
Package

common-lisp.

Initargs

:function

Readers

specialization-function.

Writers

This slot is read-only.

Slot: expand-function
Package

specialization-store.standard-store.

Initargs

:expand-function

Readers

specialization-expand-function.

Writers

This slot is read-only.

Class: standard-specialization-class
Package

specialization-store.

Source

standard-store.lisp.

Direct superclasses

funcallable-standard-class.

Direct methods

validate-superclass.

Class: standard-store
Package

specialization-store.

Source

standard-store.lisp.

Direct superclasses

funcallable-standard-object.

Direct methods
Direct Default Initargs
InitargValue
:namenil
:documentationnil
:specializationsnil
:specialization-class(find-class (quote standard-specialization))
Direct slots
Slot: name
Package

specialization-store.standard-store.

Initargs

:name

Readers

store-name.

Writers

This slot is read-only.

Slot: lambda-list
Package

specialization-store.standard-store.

Initform

(error "a store lambda list must be supplied.")

Initargs

:lambda-list

Readers

store-lambda-list.

Writers

This slot is read-only.

Slot: parameters
Package

specialization-store.standard-store.

Initargs

:parameters

Readers

store-parameters.

Writers

This slot is read-only.

Slot: documentation
Package

common-lisp.

Initargs

:documentation

Readers

store-documentation.

Writers

(setf store-documentation).

Slot: specializations
Package

specialization-store.standard-store.

Initargs

:specializations

Readers

store-specializations.

Writers

This slot is read-only.

Slot: specialization-class
Package

specialization-store.standard-store.

Initargs

:specialization-class

Readers

store-specialization-class.

Writers

This slot is read-only.

Slot: %value-completion-function
Package

specialization-store.standard-store.

Slot: %type-completion-function
Package

specialization-store.standard-store.

Slot: %form-types-function
Package

specialization-store.standard-store.

Slot: %runtime-function
Package

specialization-store.standard-store.

Slot: %compile-time-function
Package

specialization-store.standard-store.

Class: standard-store-class
Package

specialization-store.

Source

standard-store.lisp.

Direct superclasses

funcallable-standard-class.

Direct methods
Class: store-parameters
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parameters.

Direct methods

6.1.8 Types

Type: parameter-dependencies ()
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.


6.2 Internals


6.2.1 Special variables

Special Variable: *init-function-name-table*
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Special Variable: *lambda-list*
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Special Variable: *lambda-list-description*
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Special Variable: *parse-lambda-list-error-class*
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.


6.2.2 Ordinary functions

Function: %augment-body (store-parameters specialization-parameters value-type body)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: %find-store-helper (name)
Package

specialization-store.

Source

protocols.lisp.

Function: %make-node (&key value pass fail)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: %parameter-dependencies-p (object)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: append-knowledge (knowledge type index)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: canonicalize-store-name (store-name)
Package

specialization-store.

Source

protocols.lisp.

Function: compare-slot-values (slot-name test-fn &rest objects)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: compute-c (set-z previous-c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: copy-fixed-arity-rule (instance)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: copy-node (instance)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: feature/function-information ()
Package

specialization-store.features.

Source

features.lisp.

Function: feature/variable-type ()
Package

specialization-store.features.

Source

features.lisp.

Function: filter-duplicates (list &key test key)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: fixed-arity-rule-p (object)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: fixed-arity-rules (set knowledge)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: fixed-arity-rules-for-index (set index knowledge)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: fixed-arity-specialization-types (store-parameters specialization-parameters)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: fixed-arity-tuple (specialization-parameters c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: function-information (name env)
Package

specialization-store.features.

Source

features.lisp.

Function: generate-init-function-name (generator &optional var)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: invalid-ordinary-lambda-list-item (item)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: known-type (knowledge index)

What is the known type of the INDEX’th argument?

Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: knownp (knowledge index)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: make-default-form-types-function (store-parameters)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: make-default-type-completion-function (store-parameters)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: make-default-value-completion-function (store-parameters)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: make-destructuring-environment (store-parameters)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: make-final-tree (set-z c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: make-fixed-arity-rule (type index)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: make-function-environment (store code-type)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Function: make-init-function-name-generator (name)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-initial-dispatch-tree (store-parameters all-specialization-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: make-knowledge (arity)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: make-specialized-keyword-parameter (dependencies var &optional init-form-or-type varp keyword)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-specialized-required-parameter (var type)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-specialized-rest-parameter (var each-type)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: make-tree-for-set-x (set-x c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: make-tree-for-set-z (set-z &optional previous-c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: map-from-problem (store-parameters all-specialization-parameters tree)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: map-to-problem (store-parameters all-specialization-parameters)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: node-p (object)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: other-keys-p (store-parameters specialization-parameters)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: parse-ordinary-lambda-list (class-name function ordinary-lambda-list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-ordinary-lambda-list/allow-other-keys (fn list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-ordinary-lambda-list/keys (fn list dependencies)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-ordinary-lambda-list/optional (fn list dependencies)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-ordinary-lambda-list/required (fn list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: parse-ordinary-lambda-list/rest (fn list)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: rewrite-store-function-form/with-init-forms (store-parameters form env)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: select-specialization (specializations)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: set-arity (set)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: signal-parse-lambda-list-error (control-string &rest args)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Function: split-leaf (node splitting-function)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Function: split-set (set fixed-arity-rule)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: split-set-z (set-z c)
Package

specialization-store.dispatch.variable-arity.

Source

dispatch-variable-arity.lisp.

Function: strict-subtype-p (a b)
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Function: test-global-function (a)
Package

specialization-store.features.

Source

features.lisp.

Function: the-form-p (form)
Package

specialization-store.

Source

common.lisp.


6.2.3 Generic functions

Generic Reader: all-parameters (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Reader Method: all-parameters ((parameters parameters))

automatically generated reader method

Target Slot

all-parameters.

Generic Function: clear-dispatch-functions (store)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: clear-dispatch-functions ((store standard-store))
Generic Function: compute-dispatch-functions (store)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: compute-dispatch-functions ((store standard-store))
Generic Function: compute-dispatch-lambda-form (function-environment destructuring-environment dispatch-tree)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: compute-dispatch-lambda-form ((f-env type-function-environment) (d-env variable-environment) dispatch-tree)
Method: compute-dispatch-lambda-form ((f-env type-function-environment) (d-env keywords-environment) dispatch-tree)
Method: compute-dispatch-lambda-form ((f-env type-function-environment) (d-env positional-environment) dispatch-tree)
Method: compute-dispatch-lambda-form ((f-env value-function-environment) (d-env variable-environment) dispatch-tree)
Method: compute-dispatch-lambda-form ((f-env value-function-environment) (d-env keywords-environment) dispatch-tree)
Method: compute-dispatch-lambda-form ((f-env value-function-environment) (d-env positional-environment) dispatch-tree)
Generic Function: compute-dispatch-lambda-forms (store)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: compute-dispatch-lambda-forms ((store standard-store))
Generic Function: duplicate-keywords-p (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: duplicate-keywords-p ((parameters parameters))
Generic Function: duplicate-variables-p (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: duplicate-variables-p ((parameters parameters))
Generic Reader: ensure-store-error-object (condition)
Package

specialization-store.

Methods
Reader Method: ensure-store-error-object ((condition ensure-store-error))
Source

protocols.lisp.

Target Slot

object.

Generic Function: generate-code (object function-env destructuring-env)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: generate-code ((null null) (f-env function-environment) d-env)
Method: generate-code ((parameters specialization-parameters) (f-env type-function-environment) d-env)
Method: generate-code ((parameters specialization-parameters) (f-env value-function-environment) (d-env variable-environment))
Method: generate-code ((parameters specialization-parameters) (f-env value-function-environment) (d-env keywords-environment))
Method: generate-code ((parameters specialization-parameters) (f-env value-function-environment) (d-env positional-environment))
Method: generate-code ((rule rest-objects-rule) (f-env type-function-environment) (d-env variable-environment))
Method: generate-code ((rule rest-objects-rule) (f-env value-function-environment) (d-env variable-environment))
Method: generate-code ((rule constantly-rule) f-env d-env)
Method: generate-code ((rule keyword-parameter-type-rule) f-env (d-env keywords-environment))
Method: generate-code ((rule positional-parameter-type-rule) f-env (d-env variable-environment))
Method: generate-code ((rule positional-parameter-type-rule) f-env (d-env positional-environment))
Method: generate-code ((rule accepts-argument-count-rule) f-env (d-env variable-environment))
Method: generate-code ((rule accepts-argument-count-rule) f-env (d-env positional-environment))
Method: generate-code ((rule fixed-argument-count-rule) f-env (d-env variable-environment))
Method: generate-code ((rule fixed-argument-count-rule) f-env (d-env positional-environment))
Method: generate-code ((node node) function-env destructuring-env)
Generic Reader: invalid-store-lamba-list (condition)
Package

specialization-store.

Methods
Reader Method: invalid-store-lamba-list ((condition invalid-store-lambda-list-error))
Source

protocols.lisp.

Target Slot

store-lambda-list.

Generic Function: negate-rule-if-possible (rule)
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Methods
Method: negate-rule-if-possible ((rule argument-count-less-than-rule))
Method: negate-rule-if-possible ((rule accepts-argument-count-rule))
Method: negate-rule-if-possible ((rule rule))
Generic Function: parameter-vars (parameter)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: parameter-vars ((parameters parameters))
Method: parameter-vars ((object voluntary-parameter))
Method: parameter-vars ((object rest-parameter))
Method: parameter-vars ((object required-parameter))
Generic Function: positional-parameters-lower-bound (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: positional-parameters-lower-bound ((parameters parameters))
Generic Function: positional-parameters-upper-bound (parameters)
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Methods
Method: positional-parameters-upper-bound ((parameters parameters))
Generic Reader: specialization-parameters (standard-specialization)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Reader Method: specialization-parameters ((standard-specialization standard-specialization))

automatically generated reader method

Target Slot

parameters.

Generic Reader: store-parameters (standard-store)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Reader Method: store-parameters ((standard-store standard-store))

automatically generated reader method

Target Slot

parameters.

Generic Function: update-dispatch-functions (store)
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Methods
Method: update-dispatch-functions ((store standard-store))

6.2.4 Conditions

Condition: duplicate-specialization-error
Package

specialization-store.

Source

protocols.lisp.

Direct superclasses

store-error.


6.2.5 Classes

Class: argument-count-less-than-rule

The arity of the specialization is less than count.

Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

dispatch-rule.

Direct methods
Direct slots
Slot: count
Package

common-lisp.

Initargs

:count

Readers

argument-count.

Writers

This slot is read-only.

Class: dispatch-rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct superclasses

rule.

Direct subclasses
Class: function-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct subclasses
Direct methods

generate-code.

Direct Default Initargs
InitargValue
:fail(gensym fail)
Direct slots
Slot: store
Initargs

:store

Slot: fail
Initargs

:fail

Class: keywords-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct superclasses

positional-environment.

Direct methods
Direct Default Initargs
InitargValue
:args(gensym args)
Direct slots
Slot: keywords
Initargs

:keywords

Slot: args
Initargs

:args

Slot: allow-others-p
Initargs

:allow-others-p

Class: knowledge
Package

specialization-store.dispatch.fixed-arity.

Source

dispatch-fixed-arity.lisp.

Direct methods

print-object.

Direct slots
Slot: set
Type

simple-vector

Initargs

:set

Class: positional-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: positional
Initargs

:positional

Class: rule
Package

specialization-store.dispatch.

Source

dispatch.lisp.

Direct subclasses

dispatch-rule.

Direct methods

negate-rule-if-possible.

Class: specialized-keyword-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

keyword-parameter.

Direct methods

parameter-type.

Class: specialized-required-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

required-parameter.

Direct methods
Direct slots
Slot: type
Package

common-lisp.

Initargs

:type

Readers

parameter-type.

Writers

This slot is read-only.

Class: specialized-rest-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

rest-parameter.

Direct methods
Direct slots
Slot: each-type
Initargs

:each-type

Readers

parameter-each-type.

Writers

This slot is read-only.

Class: type-function-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct superclasses

function-environment.

Direct methods
Direct Default Initargs
InitargValue
:form(gensym form)
:environment(gensym env)
:completed-types(gensym completed-types)
Direct slots
Slot: form
Initargs

:form

Slot: environment
Initargs

:environment

Slot: completed-types
Initargs

:completed-types

Class: value-function-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct superclasses

function-environment.

Direct methods
Class: variable-environment
Package

specialization-store.standard-store.

Source

standard-store.lisp.

Direct superclasses

positional-environment.

Direct methods
Direct Default Initargs
InitargValue
:argument-count(gensym argument-count)
:args(gensym args)
Direct slots
Slot: argument-count
Initargs

:argument-count

Slot: args
Initargs

:args

Class: voluntary-parameter
Package

specialization-store.lambda-lists.

Source

lambda-lists.lisp.

Direct superclasses

parameter.

Direct subclasses
Direct methods
Direct slots
Slot: dependencies
Initargs

:dependencies

Readers

parameter-dependencies.

Writers

This slot is read-only.

Slot: init-form
Initargs

:init-form

Readers

parameter-init-form.

Writers

This slot is read-only.

Slot: varp
Initargs

:varp

Readers

parameter-varp.

Writers

This slot is read-only.


6.2.6 Types

Type: lambda-parameter-count ()
Package

specialization-store.dispatch.

Source

dispatch.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   %   (  
A   B   C   D   E   F   G   I   K   L   M   N   O   P   R   S   T   U   V  
Index Entry  Section

%
%augment-body: Private ordinary functions
%find-store-helper: Private ordinary functions
%make-node: Private ordinary functions
%parameter-dependencies-p: Private ordinary functions

(
(setf find-store): Public ordinary functions
(setf fixed-arity-rule-index): Public ordinary functions
(setf fixed-arity-rule-type): Public ordinary functions
(setf node-fail): Public ordinary functions
(setf node-pass): Public ordinary functions
(setf node-value): Public ordinary functions
(setf specialization-documentation): Public generic functions
(setf specialization-documentation): Public generic functions
(setf store-documentation): Public generic functions
(setf store-documentation): Public generic functions
(setf store-specializations): Public generic functions
(setf store-specializations): Public generic functions

A
add-specialization: Public generic functions
add-specialization: Public generic functions
all-parameters: Private generic functions
all-parameters: Private generic functions
allow-other-keys-p: Public generic functions
allow-other-keys-p: Public generic functions
append-knowledge: Private ordinary functions
apply-store: Public generic functions
apply-store: Public generic functions
argument-count: Public generic functions
argument-count: Public generic functions
argument-count: Public generic functions
argument-count: Public generic functions

B
build-tree: Public ordinary functions

C
canonicalize-store-name: Private ordinary functions
clear-dispatch-functions: Private generic functions
clear-dispatch-functions: Private generic functions
compare-slot-values: Private ordinary functions
compiler-macro-form-arguments: Public ordinary functions
compiler-macro-form-head: Public ordinary functions
compiler-macro-lambda: Public macros
compute-c: Private ordinary functions
compute-dispatch-functions: Private generic functions
compute-dispatch-functions: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-form: Private generic functions
compute-dispatch-lambda-forms: Private generic functions
compute-dispatch-lambda-forms: Private generic functions
congruent-parameters-p: Public generic functions
congruent-parameters-p: Public generic functions
congruent-parameters-p: Public generic functions
constantly-rule-value: Public generic functions
constantly-rule-value: Public generic functions
copy-fixed-arity-rule: Private ordinary functions
copy-node: Private ordinary functions

D
deepen-tree: Public ordinary functions
define-specialization: Public macros
define-specialization-using-object: Public generic functions
define-specialization-using-object: Public generic functions
defspecialization: Public macros
defspecialization-using-object: Public generic functions
defspecialization-using-object: Public generic functions
defstore: Public macros
defstore-using-class: Public generic functions
defstore-using-class: Public generic functions
determine-form-multiple-value-type: Public ordinary functions
determine-form-value-type: Public ordinary functions
duplicate-keywords-p: Private generic functions
duplicate-keywords-p: Private generic functions
duplicate-variables-p: Private generic functions
duplicate-variables-p: Private generic functions

E
ensure-specialization: Public ordinary functions
ensure-specialization-using-object: Public generic functions
ensure-specialization-using-object: Public generic functions
ensure-store: Public ordinary functions
ensure-store-error-object: Private generic functions
ensure-store-error-object: Private generic functions
ensure-store-using-object: Public generic functions
ensure-store-using-object: Public generic functions
ensure-store-using-object: Public generic functions
expand-store: Public generic functions
expand-store: Public generic functions

F
feature/function-information: Private ordinary functions
feature/variable-type: Private ordinary functions
filter-duplicates: Private ordinary functions
find-store: Public ordinary functions
fixed-arity-rule-index: Public ordinary functions
fixed-arity-rule-p: Private ordinary functions
fixed-arity-rule-type: Public ordinary functions
fixed-arity-rules: Private ordinary functions
fixed-arity-rules-for-index: Private ordinary functions
fixed-arity-specialization-types: Private ordinary functions
fixed-arity-store-parameters-p: Public ordinary functions
fixed-arity-tuple: Private ordinary functions
funcall-store: Public generic functions
funcall-store: Public generic functions
Function, %augment-body: Private ordinary functions
Function, %find-store-helper: Private ordinary functions
Function, %make-node: Private ordinary functions
Function, %parameter-dependencies-p: Private ordinary functions
Function, (setf find-store): Public ordinary functions
Function, (setf fixed-arity-rule-index): Public ordinary functions
Function, (setf fixed-arity-rule-type): Public ordinary functions
Function, (setf node-fail): Public ordinary functions
Function, (setf node-pass): Public ordinary functions
Function, (setf node-value): Public ordinary functions
Function, append-knowledge: Private ordinary functions
Function, build-tree: Public ordinary functions
Function, canonicalize-store-name: Private ordinary functions
Function, compare-slot-values: Private ordinary functions
Function, compiler-macro-form-arguments: Public ordinary functions
Function, compiler-macro-form-head: Public ordinary functions
Function, compute-c: Private ordinary functions
Function, copy-fixed-arity-rule: Private ordinary functions
Function, copy-node: Private ordinary functions
Function, deepen-tree: Public ordinary functions
Function, determine-form-multiple-value-type: Public ordinary functions
Function, determine-form-value-type: Public ordinary functions
Function, ensure-specialization: Public ordinary functions
Function, ensure-store: Public ordinary functions
Function, feature/function-information: Private ordinary functions
Function, feature/variable-type: Private ordinary functions
Function, filter-duplicates: Private ordinary functions
Function, find-store: Public ordinary functions
Function, fixed-arity-rule-index: Public ordinary functions
Function, fixed-arity-rule-p: Private ordinary functions
Function, fixed-arity-rule-type: Public ordinary functions
Function, fixed-arity-rules: Private ordinary functions
Function, fixed-arity-rules-for-index: Private ordinary functions
Function, fixed-arity-specialization-types: Private ordinary functions
Function, fixed-arity-store-parameters-p: Public ordinary functions
Function, fixed-arity-tuple: Private ordinary functions
Function, function-information: Private ordinary functions
Function, function-type: Public ordinary functions
Function, generate-init-function-name: Private ordinary functions
Function, generate-interned-symbol: Public ordinary functions
Function, generate-symbol: Public ordinary functions
Function, invalid-ordinary-lambda-list-item: Private ordinary functions
Function, known-type: Private ordinary functions
Function, knownp: Private ordinary functions
Function, leafp: Public ordinary functions
Function, make-accepts-argument-count-rule: Public ordinary functions
Function, make-constantly-rule: Public ordinary functions
Function, make-default-form-types-function: Private ordinary functions
Function, make-default-type-completion-function: Private ordinary functions
Function, make-default-value-completion-function: Private ordinary functions
Function, make-destructuring-environment: Private ordinary functions
Function, make-dispatch-tree: Public ordinary functions
Function, make-final-tree: Private ordinary functions
Function, make-fixed-argument-count-rule: Public ordinary functions
Function, make-fixed-arity-rule: Private ordinary functions
Function, make-function-environment: Private ordinary functions
Function, make-init-function-name-generator: Private ordinary functions
Function, make-initial-dispatch-tree: Public ordinary functions
Function, make-initial-dispatch-tree: Public ordinary functions
Function, make-initial-dispatch-tree: Private ordinary functions
Function, make-keyword-parameter: Public ordinary functions
Function, make-keyword-parameter-type-rule: Public ordinary functions
Function, make-knowledge: Private ordinary functions
Function, make-node: Public ordinary functions
Function, make-optional-parameter: Public ordinary functions
Function, make-positional-parameter-type-rule: Public ordinary functions
Function, make-required-parameter: Public ordinary functions
Function, make-rest-objects-rule: Public ordinary functions
Function, make-rest-parameter: Public ordinary functions
Function, make-set: Public ordinary functions
Function, make-specialized-keyword-parameter: Private ordinary functions
Function, make-specialized-required-parameter: Private ordinary functions
Function, make-specialized-rest-parameter: Private ordinary functions
Function, make-tree-for-set-x: Private ordinary functions
Function, make-tree-for-set-z: Private ordinary functions
Function, map-from-problem: Private ordinary functions
Function, map-to-problem: Private ordinary functions
Function, node-fail: Public ordinary functions
Function, node-p: Private ordinary functions
Function, node-pass: Public ordinary functions
Function, node-value: Public ordinary functions
Function, other-keys-p: Private ordinary functions
Function, parse-lambda-list-error-lambda-list: Public ordinary functions
Function, parse-lambda-list-error-message: Public ordinary functions
Function, parse-ordinary-lambda-list: Private ordinary functions
Function, parse-ordinary-lambda-list/allow-other-keys: Private ordinary functions
Function, parse-ordinary-lambda-list/keys: Private ordinary functions
Function, parse-ordinary-lambda-list/optional: Private ordinary functions
Function, parse-ordinary-lambda-list/required: Private ordinary functions
Function, parse-ordinary-lambda-list/rest: Private ordinary functions
Function, parse-specialization-lambda-list: Public ordinary functions
Function, parse-store-lambda-list: Public ordinary functions
Function, parse-store-object-lambda-list: Public ordinary functions
Function, pretty-print-dispatch-tree: Public ordinary functions
Function, remove-dispatch-tree-tautologies: Public ordinary functions
Function, rewrite-store-function-form: Public ordinary functions
Function, rewrite-store-function-form/with-init-forms: Private ordinary functions
Function, select-specialization: Private ordinary functions
Function, set-arity: Private ordinary functions
Function, set-count: Public ordinary functions
Function, set-specializations: Public ordinary functions
Function, signal-parse-lambda-list-error: Private ordinary functions
Function, specialization-parameters-lower-bound: Public ordinary functions
Function, specialization-parameters-upper-bound: Public ordinary functions
Function, split-leaf: Private ordinary functions
Function, split-set: Private ordinary functions
Function, split-set-z: Private ordinary functions
Function, strict-subtype-p: Private ordinary functions
Function, test-global-function: Private ordinary functions
Function, the-form-p: Private ordinary functions
Function, variable-arity-store-parameters-p: Public ordinary functions
function-information: Private ordinary functions
function-type: Public ordinary functions

G
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-code: Private generic functions
generate-init-function-name: Private ordinary functions
generate-interned-symbol: Public ordinary functions
generate-symbol: Public ordinary functions
Generic Function, (setf specialization-documentation): Public generic functions
Generic Function, (setf store-documentation): Public generic functions
Generic Function, (setf store-specializations): Public generic functions
Generic Function, add-specialization: Public generic functions
Generic Function, all-parameters: Private generic functions
Generic Function, allow-other-keys-p: Public generic functions
Generic Function, apply-store: Public generic functions
Generic Function, argument-count: Public generic functions
Generic Function, clear-dispatch-functions: Private generic functions
Generic Function, compute-dispatch-functions: Private generic functions
Generic Function, compute-dispatch-lambda-form: Private generic functions
Generic Function, compute-dispatch-lambda-forms: Private generic functions
Generic Function, congruent-parameters-p: Public generic functions
Generic Function, constantly-rule-value: Public generic functions
Generic Function, define-specialization-using-object: Public generic functions
Generic Function, defspecialization-using-object: Public generic functions
Generic Function, defstore-using-class: Public generic functions
Generic Function, duplicate-keywords-p: Private generic functions
Generic Function, duplicate-variables-p: Private generic functions
Generic Function, ensure-specialization-using-object: Public generic functions
Generic Function, ensure-store-error-object: Private generic functions
Generic Function, ensure-store-using-object: Public generic functions
Generic Function, expand-store: Public generic functions
Generic Function, funcall-store: Public generic functions
Generic Function, generate-code: Private generic functions
Generic Function, inapplicable-arguments: Public generic functions
Generic Function, incongruent-specialization: Public generic functions
Generic Function, invalid-specialization-class: Public generic functions
Generic Function, invalid-store-class: Public generic functions
Generic Function, invalid-store-lamba-list: Private generic functions
Generic Function, invalid-store-name: Public generic functions
Generic Function, keyword-parameter-p: Public generic functions
Generic Function, keyword-parameters: Public generic functions
Generic Function, keyword-parameters-p: Public generic functions
Generic Function, make-form-types-lambda-form: Public generic functions
Generic Function, make-store-unbound: Public generic functions
Generic Function, make-type-completion-lambda-form: Public generic functions
Generic Function, make-value-completion-lambda-form: Public generic functions
Generic Function, negate-rule-if-possible: Private generic functions
Generic Function, optional-parameter-p: Public generic functions
Generic Function, optional-parameters: Public generic functions
Generic Function, optional-parameters-p: Public generic functions
Generic Function, ordinary-lambda-list: Public generic functions
Generic Function, original-lambda-list: Public generic functions
Generic Function, parameter-dependencies: Public generic functions
Generic Function, parameter-each-type: Public generic functions
Generic Function, parameter-init-form: Public generic functions
Generic Function, parameter-init-forms-as-global-functions: Public generic functions
Generic Function, parameter-keyword: Public generic functions
Generic Function, parameter-keyword: Public generic functions
Generic Function, parameter-lambda-list-specification: Public generic functions
Generic Function, parameter-position: Public generic functions
Generic Function, parameter-type: Public generic functions
Generic Function, parameter-type: Public generic functions
Generic Function, parameter-var: Public generic functions
Generic Function, parameter-varp: Public generic functions
Generic Function, parameter-vars: Private generic functions
Generic Function, parameterp: Public generic functions
Generic Function, parameters-equal: Public generic functions
Generic Function, positional-parameters-lower-bound: Private generic functions
Generic Function, positional-parameters-upper-bound: Private generic functions
Generic Function, remove-rule-tautologies: Public generic functions
Generic Function, remove-specialization: Public generic functions
Generic Function, required-parameter-p: Public generic functions
Generic Function, required-parameters: Public generic functions
Generic Function, rest-objects-rule-position: Public generic functions
Generic Function, rest-objects-rule-type: Public generic functions
Generic Function, rest-parameter: Public generic functions
Generic Function, rest-parameter-p: Public generic functions
Generic Function, rule-equal: Public generic functions
Generic Function, simple-store-error-message: Public generic functions
Generic Function, specialization-documentation: Public generic functions
Generic Function, specialization-equal: Public generic functions
Generic Function, specialization-expand-function: Public generic functions
Generic Function, specialization-function: Public generic functions
Generic Function, specialization-lambda-list: Public generic functions
Generic Function, specialization-name: Public generic functions
Generic Function, specialization-parameters: Private generic functions
Generic Function, specialization-value-type: Public generic functions
Generic Function, store-documentation: Public generic functions
Generic Function, store-error-store: Public generic functions
Generic Function, store-lambda-list: Public generic functions
Generic Function, store-name: Public generic functions
Generic Function, store-parameters: Private generic functions
Generic Function, store-specialization-class: Public generic functions
Generic Function, store-specializations: Public generic functions
Generic Function, type-declarations: Public generic functions
Generic Function, update-dispatch-functions: Private generic functions

I
inapplicable-arguments: Public generic functions
inapplicable-arguments: Public generic functions
incongruent-specialization: Public generic functions
incongruent-specialization: Public generic functions
initialize-instance: Public standalone methods
invalid-ordinary-lambda-list-item: Private ordinary functions
invalid-specialization-class: Public generic functions
invalid-specialization-class: Public generic functions
invalid-store-class: Public generic functions
invalid-store-class: Public generic functions
invalid-store-lamba-list: Private generic functions
invalid-store-lamba-list: Private generic functions
invalid-store-name: Public generic functions
invalid-store-name: Public generic functions

K
keyword-parameter-p: Public generic functions
keyword-parameter-p: Public generic functions
keyword-parameter-p: Public generic functions
keyword-parameters: Public generic functions
keyword-parameters: Public generic functions
keyword-parameters-p: Public generic functions
keyword-parameters-p: Public generic functions
known-type: Private ordinary functions
knownp: Private ordinary functions

L
leafp: Public ordinary functions

M
Macro, compiler-macro-lambda: Public macros
Macro, define-specialization: Public macros
Macro, defspecialization: Public macros
Macro, defstore: Public macros
make-accepts-argument-count-rule: Public ordinary functions
make-constantly-rule: Public ordinary functions
make-default-form-types-function: Private ordinary functions
make-default-type-completion-function: Private ordinary functions
make-default-value-completion-function: Private ordinary functions
make-destructuring-environment: Private ordinary functions
make-dispatch-tree: Public ordinary functions
make-final-tree: Private ordinary functions
make-fixed-argument-count-rule: Public ordinary functions
make-fixed-arity-rule: Private ordinary functions
make-form-types-lambda-form: Public generic functions
make-form-types-lambda-form: Public generic functions
make-function-environment: Private ordinary functions
make-init-function-name-generator: Private ordinary functions
make-initial-dispatch-tree: Public ordinary functions
make-initial-dispatch-tree: Public ordinary functions
make-initial-dispatch-tree: Private ordinary functions
make-keyword-parameter: Public ordinary functions
make-keyword-parameter-type-rule: Public ordinary functions
make-knowledge: Private ordinary functions
make-node: Public ordinary functions
make-optional-parameter: Public ordinary functions
make-positional-parameter-type-rule: Public ordinary functions
make-required-parameter: Public ordinary functions
make-rest-objects-rule: Public ordinary functions
make-rest-parameter: Public ordinary functions
make-set: Public ordinary functions
make-specialized-keyword-parameter: Private ordinary functions
make-specialized-required-parameter: Private ordinary functions
make-specialized-rest-parameter: Private ordinary functions
make-store-unbound: Public generic functions
make-store-unbound: Public generic functions
make-store-unbound: Public generic functions
make-store-unbound: Public generic functions
make-tree-for-set-x: Private ordinary functions
make-tree-for-set-z: Private ordinary functions
make-type-completion-lambda-form: Public generic functions
make-type-completion-lambda-form: Public generic functions
make-value-completion-lambda-form: Public generic functions
make-value-completion-lambda-form: Public generic functions
map-from-problem: Private ordinary functions
map-to-problem: Private ordinary functions
Method, (setf specialization-documentation): Public generic functions
Method, (setf store-documentation): Public generic functions
Method, (setf store-specializations): Public generic functions
Method, add-specialization: Public generic functions
Method, all-parameters: Private generic functions
Method, allow-other-keys-p: Public generic functions
Method, apply-store: Public generic functions
Method, argument-count: Public generic functions
Method, argument-count: Public generic functions
Method, argument-count: Public generic functions
Method, clear-dispatch-functions: Private generic functions
Method, compute-dispatch-functions: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-form: Private generic functions
Method, compute-dispatch-lambda-forms: Private generic functions
Method, congruent-parameters-p: Public generic functions
Method, congruent-parameters-p: Public generic functions
Method, constantly-rule-value: Public generic functions
Method, define-specialization-using-object: Public generic functions
Method, defspecialization-using-object: Public generic functions
Method, defstore-using-class: Public generic functions
Method, duplicate-keywords-p: Private generic functions
Method, duplicate-variables-p: Private generic functions
Method, ensure-specialization-using-object: Public generic functions
Method, ensure-store-error-object: Private generic functions
Method, ensure-store-using-object: Public generic functions
Method, ensure-store-using-object: Public generic functions
Method, expand-store: Public generic functions
Method, funcall-store: Public generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, generate-code: Private generic functions
Method, inapplicable-arguments: Public generic functions
Method, incongruent-specialization: Public generic functions
Method, initialize-instance: Public standalone methods
Method, invalid-specialization-class: Public generic functions
Method, invalid-store-class: Public generic functions
Method, invalid-store-lamba-list: Private generic functions
Method, invalid-store-name: Public generic functions
Method, keyword-parameter-p: Public generic functions
Method, keyword-parameter-p: Public generic functions
Method, keyword-parameters: Public generic functions
Method, keyword-parameters-p: Public generic functions
Method, make-form-types-lambda-form: Public generic functions
Method, make-store-unbound: Public generic functions
Method, make-store-unbound: Public generic functions
Method, make-store-unbound: Public generic functions
Method, make-type-completion-lambda-form: Public generic functions
Method, make-value-completion-lambda-form: Public generic functions
Method, negate-rule-if-possible: Private generic functions
Method, negate-rule-if-possible: Private generic functions
Method, negate-rule-if-possible: Private generic functions
Method, optional-parameter-p: Public generic functions
Method, optional-parameter-p: Public generic functions
Method, optional-parameters: Public generic functions
Method, optional-parameters-p: Public generic functions
Method, ordinary-lambda-list: Public generic functions
Method, original-lambda-list: Public generic functions
Method, parameter-dependencies: Public generic functions
Method, parameter-dependencies: Public generic functions
Method, parameter-dependencies: Public generic functions
Method, parameter-each-type: Public generic functions
Method, parameter-init-form: Public generic functions
Method, parameter-init-forms-as-global-functions: Public generic functions
Method, parameter-keyword: Public generic functions
Method, parameter-keyword: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-lambda-list-specification: Public generic functions
Method, parameter-position: Public generic functions
Method, parameter-type: Public generic functions
Method, parameter-type: Public generic functions
Method, parameter-type: Public generic functions
Method, parameter-type: Public generic functions
Method, parameter-type: Public generic functions
Method, parameter-var: Public generic functions
Method, parameter-varp: Public generic functions
Method, parameter-vars: Private generic functions
Method, parameter-vars: Private generic functions
Method, parameter-vars: Private generic functions
Method, parameter-vars: Private generic functions
Method, parameterp: Public generic functions
Method, parameterp: Public generic functions
Method, positional-parameters-lower-bound: Private generic functions
Method, positional-parameters-upper-bound: Private generic functions
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, reinitialize-instance: Public standalone methods
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-rule-tautologies: Public generic functions
Method, remove-specialization: Public generic functions
Method, required-parameter-p: Public generic functions
Method, required-parameter-p: Public generic functions
Method, required-parameters: Public generic functions
Method, rest-objects-rule-position: Public generic functions
Method, rest-objects-rule-type: Public generic functions
Method, rest-parameter: Public generic functions
Method, rest-parameter-p: Public generic functions
Method, rest-parameter-p: Public generic functions
Method, rest-parameter-p: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, rule-equal: Public generic functions
Method, shared-initialize: Public standalone methods
Method, simple-store-error-message: Public generic functions
Method, specialization-documentation: Public generic functions
Method, specialization-equal: Public generic functions
Method, specialization-expand-function: Public generic functions
Method, specialization-function: Public generic functions
Method, specialization-lambda-list: Public generic functions
Method, specialization-name: Public generic functions
Method, specialization-parameters: Private generic functions
Method, specialization-value-type: Public generic functions
Method, store-documentation: Public generic functions
Method, store-error-store: Public generic functions
Method, store-lambda-list: Public generic functions
Method, store-name: Public generic functions
Method, store-parameters: Private generic functions
Method, store-specialization-class: Public generic functions
Method, store-specializations: Public generic functions
Method, type-declarations: Public generic functions
Method, update-dispatch-functions: Private generic functions
Method, validate-superclass: Public standalone methods
Method, validate-superclass: Public standalone methods

N
negate-rule-if-possible: Private generic functions
negate-rule-if-possible: Private generic functions
negate-rule-if-possible: Private generic functions
negate-rule-if-possible: Private generic functions
node-fail: Public ordinary functions
node-p: Private ordinary functions
node-pass: Public ordinary functions
node-value: Public ordinary functions

O
optional-parameter-p: Public generic functions
optional-parameter-p: Public generic functions
optional-parameter-p: Public generic functions
optional-parameters: Public generic functions
optional-parameters: Public generic functions
optional-parameters-p: Public generic functions
optional-parameters-p: Public generic functions
ordinary-lambda-list: Public generic functions
ordinary-lambda-list: Public generic functions
original-lambda-list: Public generic functions
original-lambda-list: Public generic functions
other-keys-p: Private ordinary functions

P
parameter-dependencies: Public generic functions
parameter-dependencies: Public generic functions
parameter-dependencies: Public generic functions
parameter-dependencies: Public generic functions
parameter-each-type: Public generic functions
parameter-each-type: Public generic functions
parameter-init-form: Public generic functions
parameter-init-form: Public generic functions
parameter-init-forms-as-global-functions: Public generic functions
parameter-init-forms-as-global-functions: Public generic functions
parameter-keyword: Public generic functions
parameter-keyword: Public generic functions
parameter-keyword: Public generic functions
parameter-keyword: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-lambda-list-specification: Public generic functions
parameter-position: Public generic functions
parameter-position: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-type: Public generic functions
parameter-var: Public generic functions
parameter-var: Public generic functions
parameter-varp: Public generic functions
parameter-varp: Public generic functions
parameter-vars: Private generic functions
parameter-vars: Private generic functions
parameter-vars: Private generic functions
parameter-vars: Private generic functions
parameter-vars: Private generic functions
parameterp: Public generic functions
parameterp: Public generic functions
parameterp: Public generic functions
parameters-equal: Public generic functions
parse-lambda-list-error-lambda-list: Public ordinary functions
parse-lambda-list-error-message: Public ordinary functions
parse-ordinary-lambda-list: Private ordinary functions
parse-ordinary-lambda-list/allow-other-keys: Private ordinary functions
parse-ordinary-lambda-list/keys: Private ordinary functions
parse-ordinary-lambda-list/optional: Private ordinary functions
parse-ordinary-lambda-list/required: Private ordinary functions
parse-ordinary-lambda-list/rest: Private ordinary functions
parse-specialization-lambda-list: Public ordinary functions
parse-store-lambda-list: Public ordinary functions
parse-store-object-lambda-list: Public ordinary functions
positional-parameters-lower-bound: Private generic functions
positional-parameters-lower-bound: Private generic functions
positional-parameters-upper-bound: Private generic functions
positional-parameters-upper-bound: Private generic functions
pretty-print-dispatch-tree: Public ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods

R
reinitialize-instance: Public standalone methods
remove-dispatch-tree-tautologies: Public ordinary functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-rule-tautologies: Public generic functions
remove-specialization: Public generic functions
remove-specialization: Public generic functions
required-parameter-p: Public generic functions
required-parameter-p: Public generic functions
required-parameter-p: Public generic functions
required-parameters: Public generic functions
required-parameters: Public generic functions
rest-objects-rule-position: Public generic functions
rest-objects-rule-position: Public generic functions
rest-objects-rule-type: Public generic functions
rest-objects-rule-type: Public generic functions
rest-parameter: Public generic functions
rest-parameter: Public generic functions
rest-parameter-p: Public generic functions
rest-parameter-p: Public generic functions
rest-parameter-p: Public generic functions
rest-parameter-p: Public generic functions
rewrite-store-function-form: Public ordinary functions
rewrite-store-function-form/with-init-forms: Private ordinary functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions
rule-equal: Public generic functions

S
select-specialization: Private ordinary functions
set-arity: Private ordinary functions
set-count: Public ordinary functions
set-specializations: Public ordinary functions
shared-initialize: Public standalone methods
signal-parse-lambda-list-error: Private ordinary functions
simple-store-error-message: Public generic functions
simple-store-error-message: Public generic functions
specialization-documentation: Public generic functions
specialization-documentation: Public generic functions
specialization-equal: Public generic functions
specialization-equal: Public generic functions
specialization-expand-function: Public generic functions
specialization-expand-function: Public generic functions
specialization-function: Public generic functions
specialization-function: Public generic functions
specialization-lambda-list: Public generic functions
specialization-lambda-list: Public generic functions
specialization-name: Public generic functions
specialization-name: Public generic functions
specialization-parameters: Private generic functions
specialization-parameters: Private generic functions
specialization-parameters-lower-bound: Public ordinary functions
specialization-parameters-upper-bound: Public ordinary functions
specialization-value-type: Public generic functions
specialization-value-type: Public generic functions
split-leaf: Private ordinary functions
split-set: Private ordinary functions
split-set-z: Private ordinary functions
store-documentation: Public generic functions
store-documentation: Public generic functions
store-error-store: Public generic functions
store-error-store: Public generic functions
store-lambda-list: Public generic functions
store-lambda-list: Public generic functions
store-name: Public generic functions
store-name: Public generic functions
store-parameters: Private generic functions
store-parameters: Private generic functions
store-specialization-class: Public generic functions
store-specialization-class: Public generic functions
store-specializations: Public generic functions
store-specializations: Public generic functions
strict-subtype-p: Private ordinary functions

T
test-global-function: Private ordinary functions
the-form-p: Private ordinary functions
type-declarations: Public generic functions
type-declarations: Public generic functions

U
update-dispatch-functions: Private generic functions
update-dispatch-functions: Private generic functions

V
validate-superclass: Public standalone methods
validate-superclass: Public standalone methods
variable-arity-store-parameters-p: Public ordinary functions


A.3 Variables

Jump to:   %   *  
A   C   D   E   F   I   K   L   M   N   O   P   R   S   T   V  
Index Entry  Section

%
%compile-time-function: Public classes
%form-types-function: Public classes
%runtime-function: Public classes
%type-completion-function: Public classes
%value-completion-function: Public classes

*
*init-function-name-table*: Private special variables
*lambda-list*: Private special variables
*lambda-list-description*: Private special variables
*parse-lambda-list-error-class*: Private special variables

A
all-parameters: Public classes
allow-other-keys-p: Public classes
allow-others-p: Private classes
args: Private classes
args: Private classes
argument-count: Private classes
arguments: Public conditions
arity: Public classes

C
completed-types: Private classes
count: Public classes
count: Public classes
count: Private classes

D
dependencies: Private classes
documentation: Public classes
documentation: Public classes

E
each-type: Private classes
environment: Private classes
expand-function: Public classes

F
fail: Public structures
fail: Private classes
form: Private classes
function: Public classes

I
index: Public structures
init-form: Private classes

K
keyword: Public classes
keyword: Public classes
keyword-parameters: Public classes
keyword-parameters-p: Public classes
keywords: Private classes

L
lambda-list: Public conditions
lambda-list: Public classes
lambda-list: Public classes
lambda-list-description: Public conditions

M
message: Public conditions
message: Public conditions

N
name: Public conditions
name: Public classes
name: Public classes

O
object: Public conditions
optional-parameters: Public classes
original-lambda-list: Public classes

P
parameters: Public classes
parameters: Public classes
pass: Public structures
position: Public classes
position: Public classes
positional: Private classes

R
required-parameters: Public classes
rest-parameter: Public classes

S
set: Private classes
Slot, %compile-time-function: Public classes
Slot, %form-types-function: Public classes
Slot, %runtime-function: Public classes
Slot, %type-completion-function: Public classes
Slot, %value-completion-function: Public classes
Slot, all-parameters: Public classes
Slot, allow-other-keys-p: Public classes
Slot, allow-others-p: Private classes
Slot, args: Private classes
Slot, args: Private classes
Slot, argument-count: Private classes
Slot, arguments: Public conditions
Slot, arity: Public classes
Slot, completed-types: Private classes
Slot, count: Public classes
Slot, count: Public classes
Slot, count: Private classes
Slot, dependencies: Private classes
Slot, documentation: Public classes
Slot, documentation: Public classes
Slot, each-type: Private classes
Slot, environment: Private classes
Slot, expand-function: Public classes
Slot, fail: Public structures
Slot, fail: Private classes
Slot, form: Private classes
Slot, function: Public classes
Slot, index: Public structures
Slot, init-form: Private classes
Slot, keyword: Public classes
Slot, keyword: Public classes
Slot, keyword-parameters: Public classes
Slot, keyword-parameters-p: Public classes
Slot, keywords: Private classes
Slot, lambda-list: Public conditions
Slot, lambda-list: Public classes
Slot, lambda-list: Public classes
Slot, lambda-list-description: Public conditions
Slot, message: Public conditions
Slot, message: Public conditions
Slot, name: Public conditions
Slot, name: Public classes
Slot, name: Public classes
Slot, object: Public conditions
Slot, optional-parameters: Public classes
Slot, original-lambda-list: Public classes
Slot, parameters: Public classes
Slot, parameters: Public classes
Slot, pass: Public structures
Slot, position: Public classes
Slot, position: Public classes
Slot, positional: Private classes
Slot, required-parameters: Public classes
Slot, rest-parameter: Public classes
Slot, set: Private classes
Slot, specialization: Public conditions
Slot, specialization-class: Public conditions
Slot, specialization-class: Public classes
Slot, specializations: Public classes
Slot, specializations: Public classes
Slot, store: Public conditions
Slot, store: Private classes
Slot, store-class: Public conditions
Slot, store-lambda-list: Public conditions
Slot, type: Public structures
Slot, type: Public classes
Slot, type: Public classes
Slot, type: Public classes
Slot, type: Private classes
Slot, value: Public structures
Slot, value: Public classes
Slot, value-type: Public classes
Slot, var: Public classes
Slot, varp: Private classes
Special Variable, *init-function-name-table*: Private special variables
Special Variable, *lambda-list*: Private special variables
Special Variable, *lambda-list-description*: Private special variables
Special Variable, *parse-lambda-list-error-class*: Private special variables
specialization: Public conditions
specialization-class: Public conditions
specialization-class: Public classes
specializations: Public classes
specializations: Public classes
store: Public conditions
store: Private classes
store-class: Public conditions
store-lambda-list: Public conditions

T
type: Public structures
type: Public classes
type: Public classes
type: Public classes
type: Private classes

V
value: Public structures
value: Public classes
value-type: Public classes
var: Public classes
varp: Private classes


A.4 Data types

Jump to:   A   C   D   E   F   I   K   L   M   N   O   P   R   S   T   V  
Index Entry  Section

A
accepts-argument-count-rule: Public classes
argument-count-less-than-rule: Private classes

C
Class, accepts-argument-count-rule: Public classes
Class, argument-count-less-than-rule: Private classes
Class, constantly-rule: Public classes
Class, dispatch-rule: Private classes
Class, fixed-argument-count-rule: Public classes
Class, function-environment: Private classes
Class, keyword-parameter: Public classes
Class, keyword-parameter-type-rule: Public classes
Class, keywords-environment: Private classes
Class, knowledge: Private classes
Class, optional-parameter: Public classes
Class, parameter: Public classes
Class, parameters: Public classes
Class, positional-environment: Private classes
Class, positional-parameter-type-rule: Public classes
Class, required-parameter: Public classes
Class, rest-objects-rule: Public classes
Class, rest-parameter: Public classes
Class, rule: Private classes
Class, set: Public classes
Class, specialization-parameters: Public classes
Class, specialized-keyword-parameter: Private classes
Class, specialized-required-parameter: Private classes
Class, specialized-rest-parameter: Private classes
Class, standard-specialization: Public classes
Class, standard-specialization-class: Public classes
Class, standard-store: Public classes
Class, standard-store-class: Public classes
Class, store-parameters: Public classes
Class, type-function-environment: Private classes
Class, value-function-environment: Private classes
Class, variable-environment: Private classes
Class, voluntary-parameter: Private classes
common.lisp: The specialization-store/src/common․lisp file
Condition, duplicate-specialization-error: Private conditions
Condition, ensure-store-error: Public conditions
Condition, inapplicable-arguments-error: Public conditions
Condition, incongruent-specialization-error: Public conditions
Condition, invalid-specialization-class-error: Public conditions
Condition, invalid-store-class-error: Public conditions
Condition, invalid-store-lambda-list-error: Public conditions
Condition, invalid-store-name-error: Public conditions
Condition, parse-lambda-list-error: Public conditions
Condition, parse-specialization-lambda-list-error: Public conditions
Condition, parse-store-lambda-list-error: Public conditions
Condition, simple-store-error: Public conditions
Condition, store-error: Public conditions
constantly-rule: Public classes

D
dispatch-fixed-arity.lisp: The specialization-store/src/dispatch-fixed-arity․lisp file
dispatch-rule: Private classes
dispatch-variable-arity.lisp: The specialization-store/src/dispatch-variable-arity․lisp file
dispatch.lisp: The specialization-store/src/dispatch․lisp file
duplicate-specialization-error: Private conditions

E
ensure-store-error: Public conditions

F
features: The specialization-store-features/features module
features.lisp: The specialization-store-features/features/features․lisp file
File, common.lisp: The specialization-store/src/common․lisp file
File, dispatch-fixed-arity.lisp: The specialization-store/src/dispatch-fixed-arity․lisp file
File, dispatch-variable-arity.lisp: The specialization-store/src/dispatch-variable-arity․lisp file
File, dispatch.lisp: The specialization-store/src/dispatch․lisp file
File, features.lisp: The specialization-store-features/features/features․lisp file
File, lambda-lists.lisp: The specialization-store/src/lambda-lists․lisp file
File, packages.lisp: The specialization-store/src/packages․lisp file
File, packages.lisp: The specialization-store-features/features/packages․lisp file
File, protocols.lisp: The specialization-store/src/protocols․lisp file
File, specialization-store-features.asd: The specialization-store-features/specialization-store-features․asd file
File, specialization-store.asd: The specialization-store/specialization-store․asd file
File, standard-store.lisp: The specialization-store/src/standard-store․lisp file
fixed-argument-count-rule: Public classes
fixed-arity-rule: Public structures
function-environment: Private classes

I
inapplicable-arguments-error: Public conditions
incongruent-specialization-error: Public conditions
invalid-specialization-class-error: Public conditions
invalid-store-class-error: Public conditions
invalid-store-lambda-list-error: Public conditions
invalid-store-name-error: Public conditions

K
keyword-parameter: Public classes
keyword-parameter-type-rule: Public classes
keywords-environment: Private classes
knowledge: Private classes

L
lambda-lists.lisp: The specialization-store/src/lambda-lists․lisp file
lambda-parameter-count: Private types

M
Module, features: The specialization-store-features/features module
Module, src: The specialization-store/src module

N
node: Public structures

O
optional-parameter: Public classes

P
Package, specialization-store: The specialization-store package
Package, specialization-store.dispatch: The specialization-store․dispatch package
Package, specialization-store.dispatch.fixed-arity: The specialization-store․dispatch․fixed-arity package
Package, specialization-store.dispatch.variable-arity: The specialization-store․dispatch․variable-arity package
Package, specialization-store.features: The specialization-store․features package
Package, specialization-store.globals: The specialization-store․globals package
Package, specialization-store.lambda-lists: The specialization-store․lambda-lists package
Package, specialization-store.mop: The specialization-store․mop package
Package, specialization-store.standard-store: The specialization-store․standard-store package
packages.lisp: The specialization-store/src/packages․lisp file
packages.lisp: The specialization-store-features/features/packages․lisp file
parameter: Public classes
parameter-dependencies: Public types
parameters: Public classes
parse-lambda-list-error: Public conditions
parse-specialization-lambda-list-error: Public conditions
parse-store-lambda-list-error: Public conditions
positional-environment: Private classes
positional-parameter-type-rule: Public classes
protocols.lisp: The specialization-store/src/protocols․lisp file

R
required-parameter: Public classes
rest-objects-rule: Public classes
rest-parameter: Public classes
rule: Private classes

S
set: Public classes
simple-store-error: Public conditions
specialization-parameters: Public classes
specialization-store: The specialization-store system
specialization-store: The specialization-store package
specialization-store-features: The specialization-store-features system
specialization-store-features.asd: The specialization-store-features/specialization-store-features․asd file
specialization-store.asd: The specialization-store/specialization-store․asd file
specialization-store.dispatch: The specialization-store․dispatch package
specialization-store.dispatch.fixed-arity: The specialization-store․dispatch․fixed-arity package
specialization-store.dispatch.variable-arity: The specialization-store․dispatch․variable-arity package
specialization-store.features: The specialization-store․features package
specialization-store.globals: The specialization-store․globals package
specialization-store.lambda-lists: The specialization-store․lambda-lists package
specialization-store.mop: The specialization-store․mop package
specialization-store.standard-store: The specialization-store․standard-store package
specialized-keyword-parameter: Private classes
specialized-required-parameter: Private classes
specialized-rest-parameter: Private classes
src: The specialization-store/src module
standard-specialization: Public classes
standard-specialization-class: Public classes
standard-store: Public classes
standard-store-class: Public classes
standard-store.lisp: The specialization-store/src/standard-store․lisp file
store-error: Public conditions
store-parameters: Public classes
Structure, fixed-arity-rule: Public structures
Structure, node: Public structures
System, specialization-store: The specialization-store system
System, specialization-store-features: The specialization-store-features system

T
Type, lambda-parameter-count: Private types
Type, parameter-dependencies: Public types
type-function-environment: Private classes

V
value-function-environment: Private classes
variable-environment: Private classes
voluntary-parameter: Private classes