The ecclesia Reference Manual

Table of Contents

The ecclesia Reference Manual

This is the ecclesia Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Apr 19 15:58:22 2021 GMT+0.

1 Introduction

Ecclesia

This library contains utilities for parsing Common Lisp code. It was previously known as cleavir-code-utilities.

License

See LICENSE.md.

2 Systems

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

2.1 ecclesia

Author

Robert Strandh <robert.strandh@gmail.com>

License

MIT

Description

Utilities for parsing Lisp code.

Dependency

acclimation

Source

ecclesia.asd (file)

Components

• packages.lisp (file)
• conditions.lisp (file)
• condition-reporters-english.lisp (file)
• argcount.lisp (file)
• form.lisp (file)
• list-structure.lisp (file)
• declarations.lisp (file)
• lambda-lists.lisp (file)
• destructuring.lisp (file)

3 Files

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

3.1 Lisp

3.1.1 ecclesia.asd

Location

ecclesia.asd

Systems

ecclesia (system)

3.1.2 ecclesia/packages.lisp

Parent

ecclesia (system)

Location

packages.lisp

Packages

ecclesia

3.1.3 ecclesia/conditions.lisp

Dependency

packages.lisp (file)

Parent

ecclesia (system)

Location

conditions.lisp

Exported Definitions

• atomic-lambda-list-tail-must-be-variable (condition)
• both-rest-and-body-occur-in-lambda-list (condition)
• environment-can-appear-at-most-once (condition)
• environment-must-be-followed-by-variable (condition)
• form-must-be-proper-list (condition)
• incorrect-keyword-order (condition)
• invalid-number-of-arguments (condition)
• lambda-list-keyword-not-allowed (condition)
• lambda-list-keyword-not-allowed-in-dotted-lambda-list (condition)
• lambda-list-must-be-list (condition)
• lambda-list-must-be-proper-list (condition)
• lambda-list-must-not-be-circular (condition)
• lambda-list-too-many-parameters (condition)
• malformed-aux (condition)
• malformed-defgeneric-key (condition)
• malformed-defgeneric-optional (condition)
• malformed-destructuring-key (condition)
• malformed-destructuring-optional (condition)
• malformed-destructuring-tree (condition)
• malformed-lambda-list-pattern (condition)
• malformed-ordinary-key (condition)
• malformed-ordinary-optional (condition)
• malformed-specialized-required (condition)
• multiple-occurrences-of-lambda-list-keyword (condition)
• required-must-be-variable (condition)
• rest/body-must-be-followed-by-variable (condition)
• suspect-lambda-list-keyword (condition)
• whole-must-appear-first (condition)
• whole-must-be-followed-by-variable (condition)

Internal Definitions

• body (method)
• body (method)
• code (method)
• code-condition (condition)
• form (method)
• form (method)
• function-body-must-be-proper-list (condition)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword1 (method)
• lambda-list-keyword2 (method)
• lambda-list-parameters (method)
• max-argcount (method)
• min-argcount (method)
• odd-number-of-keyword-arguments (condition)
• ordinary-body-must-be-proper-list (condition)
• too-few-arguments (condition)
• too-many-arguments (condition)

3.1.4 ecclesia/condition-reporters-english.lisp

Dependency

conditions.lisp (file)

Parent

ecclesia (system)

Location

condition-reporters-english.lisp

3.1.5 ecclesia/argcount.lisp

Dependency

condition-reporters-english.lisp (file)

Parent

ecclesia (system)

Location

argcount.lisp

Exported Definitions

check-argcount (function)

3.1.6 ecclesia/form.lisp

Dependency

argcount.lisp (file)

Parent

ecclesia (system)

Location

form.lisp

Exported Definitions

check-form-proper-list (function)

3.1.7 ecclesia/list-structure.lisp

Dependency

form.lisp (file)

Parent

ecclesia (system)

Location

list-structure.lisp

Exported Definitions

• circular-list-p (function)
• dotted-list-length (function)
• dotted-list-p (function)
• list-structure (function)
• proper-list-length (function)
• proper-list-p (function)
• proper-or-dotted-list-length (function)

3.1.8 ecclesia/declarations.lisp

Dependency

list-structure.lisp (file)

Parent

ecclesia (system)

Location

declarations.lisp

Exported Definitions

• canonicalize-declaration-specifiers (function)
• separate-function-body (function)
• separate-ordinary-body (function)

Internal Definitions

• canonicalize-declaration-specifier (function)
• check-declaration-specifier (function)

3.1.9 ecclesia/lambda-lists.lisp

Dependency

declarations.lisp (file)

Parent

ecclesia (system)

Location

lambda-lists.lisp

Exported Definitions

• allow-other-keys (method)
• (setf allow-other-keys) (method)
• aux (method)
• (setf aux) (method)
• environment (method)
• (setf environment) (method)
• generate-congruent-lambda-list (function)
• keys (method)
• (setf keys) (method)
• lambda-list (class)
• lambda-list-type-specifier (function)
• lambda-list-variables (function)
• lambda-lists-congruent-p (function)
• optionals (method)
• (setf optionals) (method)
• parse-define-method-combination-arguments-lambda-list (function)
• parse-define-modify-macro-lambda-list (function)
• parse-defsetf-lambda-list (function)
• parse-deftype-lambda-list (function)
• parse-destructuring-lambda-list (function)
• parse-generic-function-lambda-list (function)
• parse-macro-lambda-list (function)
• parse-ordinary-lambda-list (function)
• parse-specialized-lambda-list (function)
• required (method)
• (setf required) (method)
• rest-body (method)
• (setf rest-body) (method)
• whole (method)
• (setf whole) (method)

Internal Definitions

• *lambda-list-keywords* (special variable)
• aux-variables (function)
• check-lambda-list-keywords (function)
• check-lambda-list-not-circular (function)
• check-lambda-list-proper (function)
• check-tree (function)
• compute-keyword-positions (function)
• congruent-key-rest-p (function)
• congruent-optionals-p (function)
• congruent-required-p (function)
• environment-variables (function)
• key-variables (function)
• list-has-keyword-p (function)
• optional-variables (function)
• parse-all-aux (function)
• parse-all-keys (function)
• parse-all-optionals (function)
• parse-all-required (function)
• parse-allow-other-keys (function)
• parse-aux (function)
• parse-defgeneric-key (function)
• parse-defgeneric-optional (function)
• parse-deftype-key (function)
• parse-deftype-optional (function)
• parse-destructuring-key (function)
• parse-destructuring-optional (function)
• parse-destructuring-required (function)
• parse-destructuring/deftype-key (function)
• parse-destructuring/deftype-optional (function)
• parse-environment (function)
• parse-ordinary-key (function)
• parse-ordinary-optional (function)
• parse-ordinary-required (function)
• parse-pattern (function)
• parse-rest/body (function)
• parse-specialized-required (function)
• parse-whole (function)
• pattern-variables (function)
• potential-lambda-list-keyword-p (function)
• required-variables (function)
• rest-body-variables (function)
• same-keys-accepted-p (function)
• whole-variables (function)

3.1.10 ecclesia/destructuring.lisp

Dependency

lambda-lists.lisp (file)

Parent

ecclesia (system)

Location

destructuring.lisp

Exported Definitions

• destructure-lambda-list (function)
• match-lambda-list (function)
• parse-compiler-macro (function)
• parse-deftype (function)
• parse-macro (function)
• preprocess-lambda-list (function)

Internal Definitions

• check-arg-count (function)
• check-even-number-of-keyword-arguments (function)
• check-keyword-validity (function)
• destructure-keys (function)
• destructure-optionals (function)
• destructure-pattern (function)
• destructure-required (function)
• ensure-supplied-p-parameters (function)
• extract-entry-lambda-list (function)
• extract-initforms (function)
• match-keys (function)
• match-optionals (function)
• match-required (function)
• match-rest/body (function)

4 Packages

Packages are listed by definition order.

4.1 ecclesia

Source

packages.lisp (file)

Use List

common-lisp

Exported Definitions

• allow-other-keys (generic function)
• allow-other-keys (method)
• (setf allow-other-keys) (method)
• (setf allow-other-keys) (generic function)
• atomic-lambda-list-tail-must-be-variable (condition)
• aux (generic function)
• aux (method)
• (setf aux) (method)
• (setf aux) (generic function)
• both-rest-and-body-occur-in-lambda-list (condition)
• canonicalize-declaration-specifiers (function)
• check-argcount (function)
• check-form-proper-list (function)
• circular-list-p (function)
• destructure-lambda-list (function)
• dotted-list-length (function)
• dotted-list-p (function)
• environment (generic function)
• environment (method)
• (setf environment) (method)
• (setf environment) (generic function)
• environment-can-appear-at-most-once (condition)
• environment-must-be-followed-by-variable (condition)
• form-must-be-proper-list (condition)
• generate-congruent-lambda-list (function)
• incorrect-keyword-order (condition)
• invalid-number-of-arguments (condition)
• keys (generic function)
• keys (method)
• (setf keys) (method)
• (setf keys) (generic function)
• lambda-list (class)
• lambda-list-keyword-not-allowed (condition)
• lambda-list-keyword-not-allowed-in-dotted-lambda-list (condition)
• lambda-list-must-be-list (condition)
• lambda-list-must-be-proper-list (condition)
• lambda-list-must-not-be-circular (condition)
• lambda-list-too-many-parameters (condition)
• lambda-list-type-specifier (function)
• lambda-list-variables (function)
• lambda-lists-congruent-p (function)
• list-structure (function)
• malformed-aux (condition)
• malformed-defgeneric-key (condition)
• malformed-defgeneric-optional (condition)
• malformed-destructuring-key (condition)
• malformed-destructuring-optional (condition)
• malformed-destructuring-tree (condition)
• malformed-lambda-list-pattern (condition)
• malformed-ordinary-key (condition)
• malformed-ordinary-optional (condition)
• malformed-specialized-required (condition)
• match-lambda-list (function)
• multiple-occurrences-of-lambda-list-keyword (condition)
• optionals (generic function)
• optionals (method)
• (setf optionals) (method)
• (setf optionals) (generic function)
• parse-compiler-macro (function)
• parse-define-method-combination-arguments-lambda-list (function)
• parse-define-modify-macro-lambda-list (function)
• parse-defsetf-lambda-list (function)
• parse-deftype (function)
• parse-deftype-lambda-list (function)
• parse-destructuring-lambda-list (function)
• parse-generic-function-lambda-list (function)
• parse-macro (function)
• parse-macro-lambda-list (function)
• parse-ordinary-lambda-list (function)
• parse-specialized-lambda-list (function)
• preprocess-lambda-list (function)
• proper-list-length (function)
• proper-list-p (function)
• proper-or-dotted-list-length (function)
• required (generic function)
• required (method)
• (setf required) (method)
• (setf required) (generic function)
• required-must-be-variable (condition)
• rest-body (generic function)
• rest-body (method)
• (setf rest-body) (method)
• (setf rest-body) (generic function)
• rest/body-must-be-followed-by-variable (condition)
• separate-function-body (function)
• separate-ordinary-body (function)
• suspect-lambda-list-keyword (condition)
• whole (generic function)
• whole (method)
• (setf whole) (method)
• (setf whole) (generic function)
• whole-must-appear-first (condition)
• whole-must-be-followed-by-variable (condition)

Internal Definitions

• *lambda-list-keywords* (special variable)
• aux-variables (function)
• body (generic function)
• body (method)
• body (method)
• canonicalize-declaration-specifier (function)
• check-arg-count (function)
• check-declaration-specifier (function)
• check-even-number-of-keyword-arguments (function)
• check-keyword-validity (function)
• check-lambda-list-keywords (function)
• check-lambda-list-not-circular (function)
• check-lambda-list-proper (function)
• check-tree (function)
• code (generic function)
• code (method)
• code-condition (condition)
• compute-keyword-positions (function)
• congruent-key-rest-p (function)
• congruent-optionals-p (function)
• congruent-required-p (function)
• destructure-keys (function)
• destructure-optionals (function)
• destructure-pattern (function)
• destructure-required (function)
• ensure-supplied-p-parameters (function)
• environment-variables (function)
• extract-entry-lambda-list (function)
• extract-initforms (function)
• form (generic function)
• form (method)
• form (method)
• function-body-must-be-proper-list (condition)
• key-variables (function)
• lambda-list-keyword (generic function)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword (method)
• lambda-list-keyword1 (generic function)
• lambda-list-keyword1 (method)
• lambda-list-keyword2 (generic function)
• lambda-list-keyword2 (method)
• lambda-list-parameters (generic function)
• lambda-list-parameters (method)
• list-has-keyword-p (function)
• match-keys (function)
• match-optionals (function)
• match-required (function)
• match-rest/body (function)
• max-argcount (generic function)
• max-argcount (method)
• min-argcount (generic function)
• min-argcount (method)
• odd-number-of-keyword-arguments (condition)
• optional-variables (function)
• ordinary-body-must-be-proper-list (condition)
• parse-all-aux (function)
• parse-all-keys (function)
• parse-all-optionals (function)
• parse-all-required (function)
• parse-allow-other-keys (function)
• parse-aux (function)
• parse-defgeneric-key (function)
• parse-defgeneric-optional (function)
• parse-deftype-key (function)
• parse-deftype-optional (function)
• parse-destructuring-key (function)
• parse-destructuring-optional (function)
• parse-destructuring-required (function)
• parse-destructuring/deftype-key (function)
• parse-destructuring/deftype-optional (function)
• parse-environment (function)
• parse-ordinary-key (function)
• parse-ordinary-optional (function)
• parse-ordinary-required (function)
• parse-pattern (function)
• parse-rest/body (function)
• parse-specialized-required (function)
• parse-whole (function)
• pattern-variables (function)
• potential-lambda-list-keyword-p (function)
• required-variables (function)
• rest-body-variables (function)
• same-keys-accepted-p (function)
• too-few-arguments (condition)
• too-many-arguments (condition)
• whole-variables (function)

5 Definitions

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

5.1 Exported definitions

5.1.1 Functions

Function: canonicalize-declaration-specifiers DECLARATION-SPECIFIERS ALIEN-IDENTIFIERS

Package

ecclesia

Source

declarations.lisp (file)

Function: check-argcount FORM MIN-ARGCOUNT MAX-ARGCOUNT

Package

ecclesia

Source

argcount.lisp (file)

Function: check-form-proper-list FORM

Package

ecclesia

Source

form.lisp (file)

Function: circular-list-p OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: destructure-lambda-list LAMBDA-LIST VAR

Package

ecclesia

Source

destructuring.lisp (file)

Function: dotted-list-length OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: dotted-list-p OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: generate-congruent-lambda-list METHOD-LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: lambda-list-type-specifier LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: lambda-list-variables LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: lambda-lists-congruent-p GENERIC-FUNCTION-LAMBDA-LIST METHOD-LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: list-structure OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: match-lambda-list LAMBDA-LIST ARG-COUNT-OP ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: parse-compiler-macro NAME LAMBDA-LIST BODY &optional ENVIRONMENT

Package

ecclesia

Source

destructuring.lisp (file)

Function: parse-define-method-combination-arguments-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-define-modify-macro-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-defsetf-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-deftype NAME LAMBDA-LIST BODY

Package

ecclesia

Source

destructuring.lisp (file)

Function: parse-deftype-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-generic-function-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-macro NAME LAMBDA-LIST BODY &optional ENVIRONMENT

Package

ecclesia

Source

destructuring.lisp (file)

Function: parse-macro-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-ordinary-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-specialized-lambda-list LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: preprocess-lambda-list PARSED-LAMBDA-LIST

Package

ecclesia

Source

destructuring.lisp (file)

Function: proper-list-length OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: proper-list-p OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: proper-or-dotted-list-length OBJECT

Package

ecclesia

Source

list-structure.lisp (file)

Function: separate-function-body BODY

Package

ecclesia

Source

declarations.lisp (file)

Function: separate-ordinary-body BODY

Package

ecclesia

Source

declarations.lisp (file)

5.1.2 Generic functions

Generic Function: allow-other-keys OBJECT

Generic Function: (setf allow-other-keys) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: allow-other-keys (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf allow-other-keys) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: aux OBJECT

Generic Function: (setf aux) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: aux (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf aux) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: environment OBJECT

Generic Function: (setf environment) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: environment (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf environment) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: keys OBJECT

Generic Function: (setf keys) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: keys (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf keys) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: optionals OBJECT

Generic Function: (setf optionals) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: optionals (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf optionals) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: required OBJECT

Generic Function: (setf required) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: required (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf required) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: rest-body OBJECT

Generic Function: (setf rest-body) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: rest-body (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf rest-body) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

Generic Function: whole OBJECT

Generic Function: (setf whole) NEW-VALUE OBJECT

Package

ecclesia

Methods

Method: whole (LAMBDA-LIST lambda-list)

automatically generated reader method

Source

lambda-lists.lisp (file)

Method: (setf whole) NEW-VALUE (LAMBDA-LIST lambda-list)

automatically generated writer method

Source

lambda-lists.lisp (file)

5.1.3 Conditions

Condition: atomic-lambda-list-tail-must-be-variable ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: both-rest-and-body-occur-in-lambda-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: environment-can-appear-at-most-once ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: environment-must-be-followed-by-variable ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: form-must-be-proper-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• form (method)

Direct slots

Slot: %form

Initargs

:form

Readers

form (generic function)

Condition: incorrect-keyword-order ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• lambda-list-keyword2 (method)
• lambda-list-keyword1 (method)

Direct slots

Slot: %keyword1

Initargs

:keyword1

Readers

lambda-list-keyword1 (generic function)

Slot: %keyword2

Initargs

:keyword2

Readers

lambda-list-keyword2 (generic function)

Condition: invalid-number-of-arguments ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• max-argcount (method)
• min-argcount (method)
• form (method)

Direct slots

Slot: %form

Initargs

:form

Readers

form (generic function)

Slot: %min-argcount

Initargs

:min-argcount

Readers

min-argcount (generic function)

Slot: %max-argcount

Initargs

:max-argcount

Readers

max-argcount (generic function)

Condition: lambda-list-keyword-not-allowed ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• lambda-list-keyword (method)

Direct slots

Slot: %keyword

Initargs

:keyword

Readers

lambda-list-keyword (generic function)

Condition: lambda-list-keyword-not-allowed-in-dotted-lambda-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• lambda-list-keyword (method)

Direct slots

Slot: %keyword

Initargs

:keyword

Readers

lambda-list-keyword (generic function)

Condition: lambda-list-must-be-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: lambda-list-must-be-proper-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: lambda-list-must-not-be-circular ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: lambda-list-too-many-parameters ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

lambda-list-parameters (method)

Direct slots

Slot: %parameters

Initargs

:parameters

Readers

lambda-list-parameters (generic function)

Condition: malformed-aux ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-defgeneric-key ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-defgeneric-optional ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-destructuring-key ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-destructuring-optional ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-destructuring-tree ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-lambda-list-pattern ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-ordinary-key ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-ordinary-optional ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: malformed-specialized-required ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: multiple-occurrences-of-lambda-list-keyword ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

• report-condition (method)
• lambda-list-keyword (method)

Direct slots

Slot: %keyword

Initargs

:keyword

Readers

lambda-list-keyword (generic function)

Condition: required-must-be-variable ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: rest/body-must-be-followed-by-variable ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: suspect-lambda-list-keyword ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• style-warning (condition)

Direct methods

• report-condition (method)
• lambda-list-keyword (method)

Direct slots

Slot: %keyword

Initargs

:keyword

Readers

lambda-list-keyword (generic function)

Condition: whole-must-appear-first ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

Condition: whole-must-be-followed-by-variable ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• code-condition (condition)
• program-error (condition)

Direct methods

report-condition (method)

5.1.4 Classes

Class: lambda-list ()

Package

ecclesia

Source

lambda-lists.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• aux (method)
• aux (method)
• allow-other-keys (method)
• allow-other-keys (method)
• keys (method)
• keys (method)
• rest-body (method)
• rest-body (method)
• optionals (method)
• optionals (method)
• whole (method)
• whole (method)
• environment (method)
• environment (method)
• required (method)
• required (method)

Direct slots

Slot: %required

Initargs

:required

Initform

(quote nil)

Readers

required (generic function)

Writers

(setf required) (generic function)

Slot: %environment

Initargs

:environment

Initform

:none

Readers

environment (generic function)

Writers

(setf environment) (generic function)

Slot: %whole

Initargs

:whole

Initform

:none

Readers

whole (generic function)

Writers

(setf whole) (generic function)

Slot: %optionals

Initargs

:optionals

Initform

:none

Readers

optionals (generic function)

Writers

(setf optionals) (generic function)

Slot: %rest-body

Initargs

:rest-body

Initform

:none

Readers

rest-body (generic function)

Writers

(setf rest-body) (generic function)

Slot: %keys

Initargs

:keys

Initform

:none

Readers

keys (generic function)

Writers

(setf keys) (generic function)

Slot: %allow-other-keys

Initargs

:allow-other-keys

Readers

allow-other-keys (generic function)

Writers

(setf allow-other-keys) (generic function)

Slot: %aux

Initargs

:aux

Initform

(quote nil)

Readers

aux (generic function)

Writers

(setf aux) (generic function)

5.2 Internal definitions

5.2.1 Special variables

Special Variable: *lambda-list-keywords*

Package

ecclesia

Source

lambda-lists.lisp (file)

5.2.2 Functions

Function: aux-variables AUX

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: canonicalize-declaration-specifier DECLARATION-SPECIFIER ALIEN-IDENTIFIERS

Package

ecclesia

Source

declarations.lisp (file)

Function: check-arg-count VARIABLE ARG-COUNT-VAR REQUIRED-COUNT OPTIONAL-COUNT REST-P KEY-P

Package

ecclesia

Source

destructuring.lisp (file)

Function: check-declaration-specifier DECLARATION-SPECIFIER

Package

ecclesia

Source

declarations.lisp (file)

Function: check-even-number-of-keyword-arguments FIRST-COUNT ARG-COUNT-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: check-keyword-validity VARIABLE KEYWORDS FIRST-COUNT ARG-COUNT-VAR ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: check-lambda-list-keywords LAMBDA-LIST KEYWORDS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: check-lambda-list-not-circular LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: check-lambda-list-proper LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: check-tree TREE

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: compute-keyword-positions LAMBDA-LIST ALLOWED

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: congruent-key-rest-p LAMBDA-LIST-1 LAMBDA-LIST-2

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: congruent-optionals-p LAMBDA-LIST-1 LAMBDA-LIST-2

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: congruent-required-p LAMBDA-LIST-1 LAMBDA-LIST-2

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: destructure-keys KEYS VAR

Package

ecclesia

Source

destructuring.lisp (file)

Function: destructure-optionals OPTIONALS VAR

Package

ecclesia

Source

destructuring.lisp (file)

Function: destructure-pattern PATTERN VAR

Package

ecclesia

Source

destructuring.lisp (file)

Function: destructure-required REQUIRED VAR

Package

ecclesia

Source

destructuring.lisp (file)

Function: ensure-supplied-p-parameters PARSED-LAMBDA-LIST

Package

ecclesia

Source

destructuring.lisp (file)

Function: environment-variables ENVIRONMENT

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: extract-entry-lambda-list PARSED-LAMBDA-LIST

Package

ecclesia

Source

destructuring.lisp (file)

Function: extract-initforms PARSED-LAMBDA-LIST

Package

ecclesia

Source

destructuring.lisp (file)

Function: key-variables KEYS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: list-has-keyword-p LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: match-keys KEY-ENTRIES FIRST-COUNT ARG-COUNT-VAR ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: match-optionals OPTIONAL-ENTRIES FIRST-COUNT ARG-COUNT-VAR ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: match-required REQUIRED ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: match-rest/body REST/BODY FIRST-COUNT ARG-COUNT-VAR ARG-OP

Package

ecclesia

Source

destructuring.lisp (file)

Function: optional-variables OPTIONALS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-all-aux LAMBDA-LIST POSITIONS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-all-keys LAMBDA-LIST POSITIONS ITEM-PARSER

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-all-optionals LAMBDA-LIST POSITIONS ITEM-PARSER

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-all-required LAMBDA-LIST START END ITEM-PARSER

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-allow-other-keys LAMBDA-LIST POSITIONS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-aux AUX

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-defgeneric-key KEY

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-defgeneric-optional OPTIONAL

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-deftype-key KEY

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-deftype-optional OPTIONAL

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring-key KEY

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring-optional OPTIONAL

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring-required REQUIRED

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring/deftype-key KEY DEFAULT

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-destructuring/deftype-optional OPTIONAL DEFAULT

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-environment LAMBDA-LIST POSITIONS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-ordinary-key KEY

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-ordinary-optional OPTIONAL

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-ordinary-required REQUIRED

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-pattern TREE-OR-LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-rest/body LAMBDA-LIST POSITIONS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-specialized-required REQUIRED

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: parse-whole LAMBDA-LIST POSITIONS

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: pattern-variables PATTERN

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: potential-lambda-list-keyword-p OBJECT

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: required-variables REQUIRED

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: rest-body-variables REST-BODY

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: same-keys-accepted-p GENERIC-FUNCTION-LAMBDA-LIST METHOD-LAMBDA-LIST

Package

ecclesia

Source

lambda-lists.lisp (file)

Function: whole-variables WHOLE

Package

ecclesia

Source

lambda-lists.lisp (file)

5.2.3 Generic functions

Generic Function: body CONDITION

Package

ecclesia

Methods

Method: body (CONDITION function-body-must-be-proper-list)

Source

conditions.lisp (file)

Method: body (CONDITION ordinary-body-must-be-proper-list)

Source

conditions.lisp (file)

Generic Function: code CONDITION

Package

ecclesia

Methods

Method: code (CONDITION code-condition)

Source

conditions.lisp (file)

Generic Function: form CONDITION

Package

ecclesia

Methods

Method: form (CONDITION invalid-number-of-arguments)

Source

conditions.lisp (file)

Method: form (CONDITION form-must-be-proper-list)

Source

conditions.lisp (file)

Generic Function: lambda-list-keyword CONDITION

Package

ecclesia

Methods

Method: lambda-list-keyword (CONDITION suspect-lambda-list-keyword)

Source

conditions.lisp (file)

Method: lambda-list-keyword (CONDITION multiple-occurrences-of-lambda-list-keyword)

Source

conditions.lisp (file)

Method: lambda-list-keyword (CONDITION lambda-list-keyword-not-allowed-in-dotted-lambda-list)

Source

conditions.lisp (file)

Method: lambda-list-keyword (CONDITION lambda-list-keyword-not-allowed)

Source

conditions.lisp (file)

Generic Function: lambda-list-keyword1 CONDITION

Package

ecclesia

Methods

Method: lambda-list-keyword1 (CONDITION incorrect-keyword-order)

Source

conditions.lisp (file)

Generic Function: lambda-list-keyword2 CONDITION

Package

ecclesia

Methods

Method: lambda-list-keyword2 (CONDITION incorrect-keyword-order)

Source

conditions.lisp (file)

Generic Function: lambda-list-parameters CONDITION

Package

ecclesia

Methods

Method: lambda-list-parameters (CONDITION lambda-list-too-many-parameters)

Source

conditions.lisp (file)

Generic Function: max-argcount CONDITION

Package

ecclesia

Methods

Method: max-argcount (CONDITION invalid-number-of-arguments)

Source

conditions.lisp (file)

Generic Function: min-argcount CONDITION

Package

ecclesia

Methods

Method: min-argcount (CONDITION invalid-number-of-arguments)

Source

conditions.lisp (file)

5.2.4 Conditions

Condition: code-condition ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

condition (condition)

Direct subclasses

• lambda-list-must-be-list (condition)
• lambda-list-must-not-be-circular (condition)
• lambda-list-must-be-proper-list (condition)
• lambda-list-keyword-not-allowed (condition)
• lambda-list-keyword-not-allowed-in-dotted-lambda-list (condition)
• lambda-list-too-many-parameters (condition)
• multiple-occurrences-of-lambda-list-keyword (condition)
• incorrect-keyword-order (condition)
• both-rest-and-body-occur-in-lambda-list (condition)
• rest/body-must-be-followed-by-variable (condition)
• atomic-lambda-list-tail-must-be-variable (condition)
• whole-must-appear-first (condition)
• whole-must-be-followed-by-variable (condition)
• environment-must-be-followed-by-variable (condition)
• environment-can-appear-at-most-once (condition)
• malformed-specialized-required (condition)
• malformed-ordinary-optional (condition)
• malformed-defgeneric-optional (condition)
• malformed-destructuring-optional (condition)
• malformed-ordinary-key (condition)
• malformed-defgeneric-key (condition)
• malformed-destructuring-key (condition)
• malformed-aux (condition)
• malformed-destructuring-tree (condition)
• malformed-lambda-list-pattern (condition)
• required-must-be-variable (condition)
• suspect-lambda-list-keyword (condition)

Direct methods

code (method)

Direct slots

Slot: %code

Initargs

:code

Readers

code (generic function)

Condition: function-body-must-be-proper-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• style-warning (condition)

Direct methods

• report-condition (method)
• body (method)

Direct slots

Slot: %body

Initargs

:body

Readers

body (generic function)

Condition: odd-number-of-keyword-arguments ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• program-error (condition)

Condition: ordinary-body-must-be-proper-list ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• style-warning (condition)

Direct methods

• report-condition (method)
• body (method)

Direct slots

Slot: %body

Initargs

:body

Readers

body (generic function)

Condition: too-few-arguments ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• program-error (condition)

Condition: too-many-arguments ()

Package

ecclesia

Source

conditions.lisp (file)

Direct superclasses

• condition (condition)
• program-error (condition)

Appendix A Indexes

A.1 Concepts

A.2 Functions