The cl-annot-revisit Reference Manual

This is the cl-annot-revisit Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 19:51:03 2022 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 cl-annot-revisit

Re-implementation of ’cl-annot’, an annotation syntax library for Common Lisp.

Author

YOKOTA Yuki <>

License

WTFPL

Dependencies
  • alexandria (system).
  • named-readtables (system).
Source

cl-annot-revisit.asd.

Child Components

3 Modules

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


3.1 cl-annot-revisit/at-macro

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

cl-annot-revisit (system).

Child Components

3.2 cl-annot-revisit/at-syntax

Dependency

at-macro (module).

Source

cl-annot-revisit.asd.

Parent Component

cl-annot-revisit (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 cl-annot-revisit/cl-annot-revisit.asd

Source

cl-annot-revisit.asd.

Parent Component

cl-annot-revisit (system).

ASDF Systems

cl-annot-revisit.


4.1.2 cl-annot-revisit/package.lisp

Source

cl-annot-revisit.asd.

Parent Component

cl-annot-revisit (system).

Packages

cl-annot-revisit.


4.1.3 cl-annot-revisit/at-macro/package.lisp

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Packages

cl-annot-revisit-at-macro.


4.1.4 cl-annot-revisit/at-macro/condition.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface

4.1.5 cl-annot-revisit/at-macro/util.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface

lambda-expression-p (function).

Internals

4.1.6 cl-annot-revisit/at-macro/eval-when.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface

4.1.7 cl-annot-revisit/at-macro/form-traversal.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.8 cl-annot-revisit/at-macro/declaration.lisp

Dependencies
Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.9 cl-annot-revisit/at-macro/declamation.lisp

Dependency

declaration.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.10 cl-annot-revisit/at-macro/documentation.lisp

Dependencies
Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

expand-doc-macro-to-assign (function).


4.1.11 cl-annot-revisit/at-macro/export.lisp

Dependencies
Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

add-export (function).


4.1.12 cl-annot-revisit/at-macro/defclass.lisp

Dependency

export.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.13 cl-annot-revisit/at-macro/defstruct.lisp

Dependencies
Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.14 cl-annot-revisit/at-macro/slot.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-macro (module).

Public Interface
Internals

4.1.15 cl-annot-revisit/at-syntax/package.lisp

Source

cl-annot-revisit.asd.

Parent Component

at-syntax (module).

Packages

cl-annot-revisit-at-syntax.


4.1.16 cl-annot-revisit/at-syntax/defmethods.lisp

Dependency

package.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-syntax (module).

Public Interface

4.1.17 cl-annot-revisit/at-syntax/reader.lisp

Dependency

defmethods.lisp (file).

Source

cl-annot-revisit.asd.

Parent Component

at-syntax (module).

Public Interface

*cl-annot-compatibility* (special variable).

Internals

5 Packages

Packages are listed by definition order.


5.1 cl-annot-revisit-at-syntax

The at-syntax reader macro of cl-annot-revisit.

Source

package.lisp.

Use List
  • alexandria.
  • common-lisp.
  • editor-hints.named-readtables.
Public Interface
Internals

5.2 cl-annot-revisit-at-macro

The at-macros of cl-annot-revisit.

Source

package.lisp.

Use List
  • alexandria.
  • common-lisp.
Public Interface
Internals

5.3 cl-annot-revisit

cl-annot-revisit root package.

Source

package.lisp.

Public Interface

6 Definitions

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


6.1 Public Interface


6.1.1 Special variables

Special Variable: *at-macro-verbose*

When true, at-macros raise style-warnings.

Package

cl-annot-revisit.

Source

condition.lisp.

Special Variable: *cl-annot-compatibility*
Package

cl-annot-revisit-at-syntax.

Source

reader.lisp.

Special Variable: *slot-accessor-option-names*
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.


6.1.2 Macros

Macro: declaration ((&rest names))

Just a shorthand of (declaim (declaration ...))

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: doc (docstring &body body)

Just an alias of (cl-annot-revisit:documentation ...)

Package

cl-annot-revisit.

Source

documentation.lisp.

Macro: documentation (docstring &body body)

Insert DOCSTRING into FORMS.

Package

cl-annot-revisit.

Source

documentation.lisp.

Macro: dynamic-extent (name-or-names &body body)

Adds ‘dynamic-extent’ declaration into BODY.
If BODY is nil, it is expanded to ’(declare (dynamic-extent ...)), to embed it as a declaration using ’#.’

Package

cl-annot-revisit.

Source

declaration.lisp.

Macro: eval-always (&body body)

Just an alias of (eval-when (:compile-toplevel :load-toplevel :execute) ...)

Package

cl-annot-revisit.

Source

eval-when.lisp.

Macro: eval-when-compile (&body body)

Just an alias of (eval-when (:compile-toplevel) ...)

Package

cl-annot-revisit.

Source

eval-when.lisp.

Macro: eval-when-execute (&body body)

Just an alias of (eval-when (:execute) ...)

Package

cl-annot-revisit.

Source

eval-when.lisp.

Macro: eval-when-load (&body body)

Just an alias of (eval-when (:load-toplevel) ...)

Package

cl-annot-revisit.

Source

eval-when.lisp.

Macro: export (&body forms)

‘export’ the defined names in FORMS.

Package

cl-annot-revisit.

Source

export.lisp.

Macro: export-accessors (&body forms)
Package

cl-annot-revisit.

Source

defclass.lisp.

Macro: export-class (&body body)

For ‘defclass’ and ‘define-conditions’, just an alias of nested ‘cl-annot-revisit:export-slots’, ‘cl-annot-revisit:export-accessors’ and ‘cl-annot-revisit:export’.

Package

cl-annot-revisit.

Source

defclass.lisp.

Macro: export-constructors (&body forms)

‘Export’ constructors of the structure will be defined in FORMS.

Package

cl-annot-revisit.

Source

defstruct.lisp.

Macro: export-slots (&body forms)
Package

cl-annot-revisit.

Source

defclass.lisp.

Macro: export-structure (&body forms)

‘Export’ the name, constructors, copier, predicate, slot-names and accessors of the structure will be defined in FORMS.

Package

cl-annot-revisit.

Source

defstruct.lisp.

Macro: ftype (typespec &optional function-names-or-form &body body)

Adds ‘ftype’ declaration or proclamation into BODY.
How this is expanded is described in ‘cl-annot-revisit:special’ docstring.

Next example is "2. Adding a proclamation" case:

(cl-annot-revisit:ftype (function (integer integer) integer)
(defun foo (x y) (+ x y)))

It is equivalent to:

(progn (declaim (ftype (function (integer integer) integer) foo)) (defun foo (x y)
(+ x y)))

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: ignorable (name-or-names &body body)

Adds ‘ignorable’ declaration into BODY.
If BODY is nil, it is expanded to ’(declare (ignorable ...)), to embed it as a declaration using ’#.’

Package

cl-annot-revisit.

Source

declaration.lisp.

Macro: ignore (name-or-names &body body)

Adds ‘ignore’ declaration into BODY.
If BODY is nil, it is expanded to ’(declare (ignore ...)), to embed it as a declaration using ’#.’

Package

cl-annot-revisit.

Source

declaration.lisp.

Macro: inline (&optional function-names-or-form &body body)

Adds ‘inline’ declaration or proclamation into BODY.
How this is expanded is described in ‘cl-annot-revisit:special’ docstring.

Next example is "3. Toplevel declamation" case:

(cl-annot-revisit:inline (foo))

It is equivalent to:

(progn (declaim (inline foo))
’(declare (inline foo)))

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: metaclass (class-name &body forms)
Package

cl-annot-revisit.

Source

defclass.lisp.

Macro: notinline (&optional function-names-or-form &body body)

Adds ‘notinline’ declaration or proclamation into BODY.
How this is expanded is described in ‘cl-annot-revisit:special’ docstring.

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: optimize (&optional qualities &body body)

Expands to ‘optimize’ declaration or proclamation.

* If BODY is not null, it add a ‘declare’ into BODY.

(cl-annot-revisit:optimize (speed safety)
(defun foo (x) (1+ x)))

ot is equivalent to

(defun foo (x)
(declare (optimize speed safety))
(1+ x))

* If BODY is null, it is expanded to ‘declaim’ and quoted ‘declare’ form.

(cl-annot-revisit:optimize ((speed 3) (safety 0) (debug 0)))

is expanded to

(progn (declaim (optimize (speed 3) (safety 0) (debug 0))) ’(declare (optimize (speed 3) (safety 0) (debug 0))))

Refer ‘cl-annot-revisit:special’ docstring to see why both ‘declaim’ and ‘declare’ appeared.

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: optional (initform slot-specifier)

Works like as ’@optional’ of cl-annot. This is intended to used with ’#.’

Package

cl-annot-revisit.

Source

slot.lisp.

Macro: required (slot-specifier)

Works like as ’@required’ of cl-annot. This is intended to used with ’#.’

Package

cl-annot-revisit.

Source

slot.lisp.

Macro: special (&optional vars-or-form &body body)

Adds ‘special’ declaration or proclamation into BODY.

* If the first arg is a variable name or a list of names and BODY is not null, it adds a ‘declare’.

(cl-annot-revisit:special *x*
(defun foo (*x*) 100))

is equivalent to

(defun foo (*x*)
(declare (special *x*))
100)

* If the first arg is not names, it tries to add ‘declaim’:

(cl-annot-revisit:special
(defvar *x* 1)
(defvar *y* 2)
(defun foo (x) 100))

is equivalent to

(progn (declaim (special *x*))
(defvar *x* 1)
(declaim (special *y*))
(defvar *y* 2)
(defun foo (x) 100))

* If the first arg is a name or a list of names and BODY is null, it is expanded to ‘declaim’ and quoted ‘declare’ form.

(cl-annot-revisit:special (*x* *y*))

is expanded to

(progn (declaim (special *x* *y*))
’(declare (special *x* *y*)))

This works as ‘declaim’ at toplevel and can be embed as declarations using ’#.’.

(defun foo (*x*)
#.(cl-annot-revisit:special (*x*))
100)

is equivalent to

(defun foo (*x*)
(declare (special *x*))
100)

Package

cl-annot-revisit.

Source

declamation.lisp.

Macro: type (typespec &optional vars-or-form &body body)

Adds ‘type’ declaration or proclamation into BODY.
How this is expanded is described in ‘cl-annot-revisit:special’ docstring.

Next example is "1. Adding a declaration" case:

(cl-annot-revisit:type integer x
(defun foo (x) 100))

It is equivalent to:

(defun foo (x)
(declare (type integer x))
100)

Package

cl-annot-revisit.

Source

declamation.lisp.


6.1.3 Ordinary functions

Function: count-lambda-list-required-arguments (lambda-list)

Counts required arguments in LAMBDA-LIST.

Package

cl-annot-revisit-at-syntax.

Source

defmethods.lisp.

Function: expand-add-declaration (decl-specifier form)

Insert DECL-SPECIFIER into FORM.
If expansion successed, returns (values <expansion> t). If failed, returns (values <original-form> nil).

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: expand-documentation (docstring form)

Insert DOCSTRING into FORM.
If insertion successed, returns (values <expansion> t). If failed, returns (values <original-form> nil).

Package

cl-annot-revisit-at-macro.

Source

documentation.lisp.

Function: expand-export-accessors (form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: expand-export-constructors (form)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Function: expand-export-form (form)

Called by ‘cl-annot-revisit:export’ to expand known ones. If expansion successed, returns (values <expansion> t). If failed, returns (values FORM nil).

Package

cl-annot-revisit-at-macro.

Source

export.lisp.

Function: expand-export-slots (form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: expand-export-structure (form)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Function: expand-incompleted-declamation (decl-specifier form)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: expand-metaclass (metaclass form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: find-name-to-be-defined (form)

If FORM is defining something (like ‘defun’, ‘defpackage’, etc), returns the name to be defined. If not, returns nil.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Function: lambda-expression-p (form)
Package

cl-annot-revisit-at-macro.

Source

util.lisp.


6.1.4 Generic functions

Generic Function: allow-macroexpand-internal-form-p (operator)

Determines whether cl-annot-revisit macros
try ‘macroexpand-1’ to forms beginning with OPERATOR.
Default is NIL, because applying ‘macroexpand-1’ change internal forms. This may be a problem when ‘macrolet’ was used for for hooking.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Methods
Method: allow-macroexpand-internal-form-p (_)
Method: allow-macroexpand-internal-form-p ((operator symbol))

In default, returns T only for our macros.

Generic Reader: at-required-precondition-error-slot-name (condition)
Package

cl-annot-revisit-at-macro.

Methods
Reader Method: at-required-precondition-error-slot-name ((condition at-required-precondition-error))
Source

slot.lisp.

Target Slot

slot-name.

Generic Reader: at-required-runtime-error-initarg (condition)
Package

cl-annot-revisit-at-macro.

Methods
Reader Method: at-required-runtime-error-initarg ((condition at-required-runtime-error))
Source

slot.lisp.

Target Slot

initarg.

Generic Reader: at-required-runtime-error-slot-name (condition)
Package

cl-annot-revisit-at-macro.

Methods
Reader Method: at-required-runtime-error-slot-name ((condition at-required-runtime-error))
Source

slot.lisp.

Target Slot

slot-name.

Generic Function: expand-add-declaration-using-head (operator decl-specifier form)

Called by ‘expand-add-declaration’ to insert DECL-SPECIFIER into FORM. If FORM can be expanded, returns the expansion. If not, returns FORM.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Methods
Method: expand-add-declaration-using-head (operator decl-specifier form)
Method: expand-add-declaration-using-head ((operator (eql defgeneric)) decl-specifier form)

For ‘defgeneric’. Note: This does not add declarations into methods defined in this form.

Method: expand-add-declaration-using-head ((operator (eql define-method-combination)) decl-specifier form)
Method: expand-add-declaration-using-head ((operator (eql defmethod)) decl-specifier form)
Method: expand-add-declaration-using-head ((operator (eql defsetf)) decl-specifier form)
Method: expand-add-declaration-using-head ((operator (eql declaim)) decl-specifier form)
Generic Function: expand-at-read-time-p (operator cl-annot-compatible-p)

If this returns T, the macro named OPERATOR will be ‘macroexpand’ed at read-time.

This feature is for supporting ’:inline’ feature of the original cl-annot, but it is not needed conceptually because you can use ’#.’ anytime.

Package

cl-annot-revisit-at-syntax.

Source

defmethods.lisp.

Methods
Method: expand-at-read-time-p (operator cl-annot-compatible-p)
Generic Function: expand-documentation-using-head (operator docstring form)

Called by ‘expand-documentation’ to insert DOCSTRING into FORM. If FORM can be expanded, returns its expansion. If not, returns FORM.

Package

cl-annot-revisit-at-macro.

Source

documentation.lisp.

Methods
Method: expand-documentation-using-head ((operator (eql defstruct)) docstring form)

Special handling for ‘defstruct’, which define a new type only when it doesn’t have :type.

Source

defstruct.lisp.

Method: expand-documentation-using-head (operator docstring form)
Method: expand-documentation-using-head ((operator (eql function)) docstring form)

Special handling for #’(lambda ..), adds DOCSTRING to the anonymous function.

Generic Function: expand-export-accessors-using-head (operator form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Methods
Method: expand-export-accessors-using-head ((form-op (eql defstruct)) form)
Source

defstruct.lisp.

Method: expand-export-accessors-using-head (operator form)
Method: expand-export-accessors-using-head ((operator (eql defclass)) form)
Method: expand-export-accessors-using-head ((operator (eql define-condition)) form)
Generic Function: expand-export-constructors-using-head (form-op form)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Methods
Method: expand-export-constructors-using-head (form-op form)
Method: expand-export-constructors-using-head ((form-op (eql defstruct)) form)
Generic Function: expand-export-form-using-head (form-head form)

Called by ‘expand-export-form’ to compute a result.
If FORM can be expanded, returns its expansion. If not, returns FORM.

Package

cl-annot-revisit-at-macro.

Source

export.lisp.

Methods
Method: expand-export-form-using-head (form-head form)

General case. If FORM found by ‘find-name-to-be-defined’, returns the expansion of FORM. If not, returns FORM.

Method: expand-export-form-using-head ((form-head (eql defpackage)) form)

A special handling for ‘defpackage’. It does not define a name as a symbol.

Generic Function: expand-export-slots-using-head (operator form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Methods
Method: expand-export-slots-using-head (operator form)
Method: expand-export-slots-using-head ((operator (eql defclass)) form)
Method: expand-export-slots-using-head ((operator (eql define-condition)) form)
Generic Function: expand-export-structure-using-head (form-op form)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Methods
Method: expand-export-structure-using-head (form-op form)
Method: expand-export-structure-using-head ((form-op (eql defstruct)) form)
Generic Function: expand-incompleted-declamation-using-head (operator decl-specifier form)

Called by ‘expand-add-declamation’ to expand FORM.

Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Methods
Method: expand-incompleted-declamation-using-head (operator decl-specifier form)
Generic Function: expand-metaclass-using-head (operator metaclass form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Methods
Method: expand-metaclass-using-head (operator metaclass form)
Method: expand-metaclass-using-head ((operator (eql defclass)) metaclass form)
Generic Function: find-at-syntax-arity (operator cl-annot-compatible-p)

Returns at-syntax arity of OPERATOR. If this
returns NIL, OPERATOR is considered as not for @-syntax. Default is 1, means OPERATOR takes one argument for ’@’ syntax.

Package

cl-annot-revisit.

Source

defmethods.lisp.

Methods
Method: find-at-syntax-arity ((operator null) cl-annot-compatible-p)
Method: find-at-syntax-arity ((operator symbol) cl-annot-compatible-p)
Method: find-at-syntax-arity ((operator cons) cl-annot-compatible-p)
Method: find-at-syntax-arity (operator cl-annot-compatible-p)
Generic Function: find-name-to-be-defined-using-head (form-head form)

Called by ‘find-name-to-be-defined’ to compute a result.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Methods
Method: find-name-to-be-defined-using-head ((form-head (eql defstruct)) form)

Special handling for ‘defstruct’. Its second form may contain some options.

Source

defstruct.lisp.

Method: find-name-to-be-defined-using-head ((form-head list) form)

Handles lambda forms. It returns nil.

Method: find-name-to-be-defined-using-head ((form-head symbol) form)

Called if FORM-HEAD is symbol.

Generic Function: function-definition-operator-p (operator)

Returns T if OPERATOR naming a definition form and its first argument is a function name to be defined.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Methods
Method: function-definition-operator-p (operator)
Generic Function: incompleted-declamation-applicable-p (declaration-name operator)

Returns true when DECLARATION-NAME is usable for OPERATOR.

Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Methods
Method: incompleted-declamation-applicable-p ((declaration-name (eql special)) operator)
Method: incompleted-declamation-applicable-p ((declaration-name (eql type)) operator)
Method: incompleted-declamation-applicable-p ((declaration-name (eql ftype)) operator)
Method: incompleted-declamation-applicable-p ((declaration-name (eql inline)) operator)
Method: incompleted-declamation-applicable-p ((declaration-name (eql notinline)) operator)
Method: incompleted-declamation-applicable-p (declaration-name operator)
Generic Function: operator-accept-docstring-p (operator)

Returns T if OPERATOR accepts docstring in its body.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Methods
Method: operator-accept-docstring-p (operator)
Generic Function: operator-body-location (operator)

When OPERATOR can be treated by our at-macros for declaration, returns an integer where its body locates.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Methods
Method: operator-body-location (operator)

See http://www.lispworks.com/documentation/HyperSpec/Body/s_declar.htm

Generic Function: operator-doc-type (operator)

Returns the doc-type (in ‘cl:documentation’) of OPERATOR.

Package

cl-annot-revisit-at-macro.

Source

documentation.lisp.

Methods
Method: operator-doc-type (operator)
Generic Function: resolve-at-syntax-alias (operator cl-annot-compatible-p)

This functions is for supporting ’:alias’ feature
of the original cl-annot. It was used for translating CL symbols to CL-ANNOT symbols implicitly.
(E.g. "@export" -> ‘cl:export’ -> ‘cl-annot.std:export*’)

By default, this function does nothing; returns OPERATOR as-is.

Package

cl-annot-revisit-at-syntax.

Source

defmethods.lisp.

Methods
Method: resolve-at-syntax-alias (operator cl-annot-compatible-p)
Generic Function: valid-proclamation-identifier-p (declaration-identifier)

Returns T if DECLARATION-IDENTIFIER can be used at a proclamation context.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Methods
Method: valid-proclamation-identifier-p (declaration-identifier)

See http://www.lispworks.com/documentation/HyperSpec/Body/f_procla.htm

Generic Function: variable-definition-operator-p (operator)

Returns T if OPERATOR naming a definition form and its first argument is a variable name to be defined.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Methods
Method: variable-definition-operator-p (operator)

6.1.5 Conditions

Condition: at-macro-condition

The root type of at-macro conditions.

Package

cl-annot-revisit.

Source

condition.lisp.

Direct superclasses

condition.

Direct subclasses
Direct slots
Slot: form
Package

cl-annot-revisit-at-macro.

Initargs

:form

Slot: message
Package

cl-annot-revisit-at-macro.

Initform

(quote nil)

Initargs

:message

Condition: at-macro-error

Raised if an error occured.

Package

cl-annot-revisit.

Source

condition.lisp.

Direct superclasses
Direct subclasses
Condition: at-macro-runtime-error

Some macros embed this to report errors at evaluation time.

Package

cl-annot-revisit.

Source

condition.lisp.

Direct superclasses

at-macro-error.

Direct subclasses
Condition: at-macro-style-warning

Signaled if some bad styles are found.

Package

cl-annot-revisit.

Source

condition.lisp.

Direct superclasses
Condition: at-macro-syntax-error

Raised when a syntactic error is found.

Package

cl-annot-revisit.

Source

condition.lisp.

Direct superclasses

at-macro-error.

Condition: at-required-precondition-error

Raised when :initform supplied for ‘cl-annot-revisit:required’ slot.

Package

cl-annot-revisit-at-macro.

Source

slot.lisp.

Direct superclasses

at-macro-runtime-error.

Direct methods

at-required-precondition-error-slot-name.

Direct slots
Slot: slot-name
Initform

(quote nil)

Initargs

:slot-name

Readers

at-required-precondition-error-slot-name.

Writers

This slot is read-only.

Condition: at-required-runtime-error

Raised when no value supplied for ‘cl-annot-revisit:required’ slot.

Package

cl-annot-revisit-at-macro.

Source

slot.lisp.

Direct superclasses

at-macro-runtime-error.

Direct methods
Direct slots
Slot: slot-name
Initform

(quote nil)

Initargs

:slot-name

Readers

at-required-runtime-error-slot-name.

Writers

This slot is read-only.

Slot: initarg
Initform

(quote nil)

Initargs

:initarg

Readers

at-required-runtime-error-initarg.

Writers

This slot is read-only.


6.2 Internals


6.2.1 Constants

Constant: +standard-definiton-form-list+
Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Constant: +standard-function-definiton-form-list+
Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Constant: +standard-operators-accept-docstring-in-body+
Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Constant: +standard-optimize-quality-symbols+
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Constant: +standard-variable-definiton-form-list+
Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.


6.2.2 Macros

Macro: add-declaration (decl-specifier &body body)

Used by at-macros of declarations for processing recursive expansion. If BODY is a form accepts declarations, adds a DECL-SPECIFIER into it. If not, wraps BODY with ‘locally’ containing DECL-SPECIFIER in it.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Macro: apply-incompleted-declamation (decl-specifier-head &body body)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Macro: macroexpand-convention ((original-form) &body body)

Executes BODY as like ‘progn’ and return the result as the first value. As the second value, returns a boolean whether the result is not same with ORIGINAL-FORM or not.
This macro is designed to follow the ‘macroexpand’ convention.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.

Macro: mv-cond-let-n (n (&rest vars) &body clauses)

Multiple value variant of the famous ’COND-LET’. It takes multiple values and see N-th value as a condition.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.

Macro: mv-cond-let2 ((&rest vars) &body clauses)

Uses ‘mv-cond-let-n’ to see the second value.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.


6.2.3 Ordinary functions

Function: %expand-ambiguous-declamation (decl-head names-or-form body name-p-function env)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: %expand-at-declaration (declaration-name name-or-names body)
Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: add-declaim-to-definiton-form (form decl-specifier)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: add-export (names form)
Package

cl-annot-revisit-at-macro.

Source

export.lisp.

Function: apply-at-macro-for-each-form (at-macro-form expander-function forms env)
Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Function: apply-at-macro-to-multiple-forms (at-macro-form forms)
Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Function: apply-at-macro-to-special-toplevel-form (at-macro-form form)

If form is a special form treated specially at top level (‘progn’, ‘locally’, ‘macrolet’, ‘symbol-macrolet’ and ‘eval-when’), expand FORM into AT-MACRO-FORM recursively.

Package

cl-annot-revisit-at-macro.

Source

form-traversal.lisp.

Function: common-lisp-package-p (package)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: complete-declaration-specifier (declaration-head first-form name-p-function env)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: declaration-argument-like-p (first-form name-p-function env)

Our macro for declamation is ambiguous when the first value is a list of names. Consider:

(cl-annot-revisit:inline
(defun foo nil) ; defining a function takes zero arguments and returns nil. (defun bar () t))

I think it should expanded to next:

(progn (declaim inline foo) (defun foo nil)
(declaim inline bar) (defun bar () t))

Not like:

(defun bar
(declare (inline defun foo nil))
t)

To distinguish a macro form from a list of names, I check the form is a macro-form or not.

Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: ensure-list-with (obj test)

Do like ‘ensure-list’, except this function returns (list OBJ) when (funcall TEST OBJ) results true.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.

Function: expand-doc-macro-to-assign (docstring form doc-type)
Package

cl-annot-revisit-at-macro.

Source

documentation.lisp.

Function: expand-export-class (form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: expand-to-declaim-form (declaration-specifier)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: function-name-p (x)

Return true when it is a function name.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.

Function: ignore-name-p (x)
Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: insert-declaration-to-body (form-body decl-specifier &key documentation whole)
Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: insert-declaration-to-nth-body (body-index form decl-specifier &key documentation)
Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: optimize-quality-p (qual)
Package

cl-annot-revisit-at-macro.

Source

declamation.lisp.

Function: parse-define-method-combination-long-form (define-method-combination-form)

Destructs ‘define-method-combination’ FORM to 5 parts;
1. its name, 2. lambda list, 3. list of method-group-specifiers, 4. options, 5. its body.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: parse-defmethod-form (defmethod-form)

Destructs ‘defmethod’ FORM to 4 parts;
1. its name, 2. list of method-qualifiers, 3. lambda list, 4. its body.

Package

cl-annot-revisit-at-macro.

Source

declaration.lisp.

Function: parse-defstruct-form (form)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Function: parse-defstruct-option (name-and-options)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Function: pick-defclass-options (defclass-form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: pick-defclass-slots (defclass-form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Function: pick-names-of-defstruct-form (form &optional kinds)
Package

cl-annot-revisit-at-macro.

Source

defstruct.lisp.

Function: raise-required-slot-error (slot-name initarg-name)
Package

cl-annot-revisit-at-macro.

Source

slot.lisp.

Function: read-at (stream char)

The reader-macro function of ’@’ char.

Package

cl-annot-revisit-at-syntax.

Source

reader.lisp.

Function: read-at-syntax (stream at-char arity)

The main reader of at-syntax. It reads the next symbol and collects arguments by ARITY or‘find-at-syntax-arity’, and creates a new form.
If arity is :infinite, this function tries to read until next ’)’ or EOF. This weird feature allows us to effect the whole file.

Package

cl-annot-revisit-at-syntax.

Source

reader.lisp.

Function: read-delimited-list-no-eof (char &optional stream recursive-p)

Reads until CHAR appearance or the end of stream.

Package

cl-annot-revisit-at-syntax.

Source

reader.lisp.

Function: read-new-value ()
Package

cl-annot-revisit-at-macro.

Source

slot.lisp.

Function: read-sharp-at (stream char n)

The reader-macro function of ’#@’ syntax.

Package

cl-annot-revisit-at-syntax.

Source

reader.lisp.

Function: split-list-at (n list)

Return first N elements and rests of LIST.

Package

cl-annot-revisit-at-macro.

Source

util.lisp.

Function: split-slot-specifier (slot-specifier)

Returns the slot name and slot options from SLOT-SPECIFIER.

Package

cl-annot-revisit-at-macro.

Source

slot.lisp.


6.2.4 Generic functions

Generic Function: expand-export-class-using-head (operator form)
Package

cl-annot-revisit-at-macro.

Source

defclass.lisp.

Methods
Method: expand-export-class-using-head (operator form)
Method: expand-export-class-using-head ((operator (eql defclass)) form)
Method: expand-export-class-using-head ((operator (eql define-condition)) form)

Appendix A Indexes


A.1 Concepts


A.2 Functions

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

%
%expand-ambiguous-declamation: Private ordinary functions
%expand-at-declaration: Private ordinary functions

A
add-declaim-to-definiton-form: Private ordinary functions
add-declaration: Private macros
add-export: Private ordinary functions
allow-macroexpand-internal-form-p: Public generic functions
allow-macroexpand-internal-form-p: Public generic functions
allow-macroexpand-internal-form-p: Public generic functions
apply-at-macro-for-each-form: Private ordinary functions
apply-at-macro-to-multiple-forms: Private ordinary functions
apply-at-macro-to-special-toplevel-form: Private ordinary functions
apply-incompleted-declamation: Private macros
at-required-precondition-error-slot-name: Public generic functions
at-required-precondition-error-slot-name: Public generic functions
at-required-runtime-error-initarg: Public generic functions
at-required-runtime-error-initarg: Public generic functions
at-required-runtime-error-slot-name: Public generic functions
at-required-runtime-error-slot-name: Public generic functions

C
common-lisp-package-p: Private ordinary functions
complete-declaration-specifier: Private ordinary functions
count-lambda-list-required-arguments: Public ordinary functions

D
declaration: Public macros
declaration-argument-like-p: Private ordinary functions
doc: Public macros
documentation: Public macros
dynamic-extent: Public macros

E
ensure-list-with: Private ordinary functions
eval-always: Public macros
eval-when-compile: Public macros
eval-when-execute: Public macros
eval-when-load: Public macros
expand-add-declaration: Public ordinary functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-add-declaration-using-head: Public generic functions
expand-at-read-time-p: Public generic functions
expand-at-read-time-p: Public generic functions
expand-doc-macro-to-assign: Private ordinary functions
expand-documentation: Public ordinary functions
expand-documentation-using-head: Public generic functions
expand-documentation-using-head: Public generic functions
expand-documentation-using-head: Public generic functions
expand-documentation-using-head: Public generic functions
expand-export-accessors: Public ordinary functions
expand-export-accessors-using-head: Public generic functions
expand-export-accessors-using-head: Public generic functions
expand-export-accessors-using-head: Public generic functions
expand-export-accessors-using-head: Public generic functions
expand-export-accessors-using-head: Public generic functions
expand-export-class: Private ordinary functions
expand-export-class-using-head: Private generic functions
expand-export-class-using-head: Private generic functions
expand-export-class-using-head: Private generic functions
expand-export-class-using-head: Private generic functions
expand-export-constructors: Public ordinary functions
expand-export-constructors-using-head: Public generic functions
expand-export-constructors-using-head: Public generic functions
expand-export-constructors-using-head: Public generic functions
expand-export-form: Public ordinary functions
expand-export-form-using-head: Public generic functions
expand-export-form-using-head: Public generic functions
expand-export-form-using-head: Public generic functions
expand-export-slots: Public ordinary functions
expand-export-slots-using-head: Public generic functions
expand-export-slots-using-head: Public generic functions
expand-export-slots-using-head: Public generic functions
expand-export-slots-using-head: Public generic functions
expand-export-structure: Public ordinary functions
expand-export-structure-using-head: Public generic functions
expand-export-structure-using-head: Public generic functions
expand-export-structure-using-head: Public generic functions
expand-incompleted-declamation: Public ordinary functions
expand-incompleted-declamation-using-head: Public generic functions
expand-incompleted-declamation-using-head: Public generic functions
expand-metaclass: Public ordinary functions
expand-metaclass-using-head: Public generic functions
expand-metaclass-using-head: Public generic functions
expand-metaclass-using-head: Public generic functions
expand-to-declaim-form: Private ordinary functions
export: Public macros
export-accessors: Public macros
export-class: Public macros
export-constructors: Public macros
export-slots: Public macros
export-structure: Public macros

F
find-at-syntax-arity: Public generic functions
find-at-syntax-arity: Public generic functions
find-at-syntax-arity: Public generic functions
find-at-syntax-arity: Public generic functions
find-at-syntax-arity: Public generic functions
find-name-to-be-defined: Public ordinary functions
find-name-to-be-defined-using-head: Public generic functions
find-name-to-be-defined-using-head: Public generic functions
find-name-to-be-defined-using-head: Public generic functions
find-name-to-be-defined-using-head: Public generic functions
ftype: Public macros
Function, %expand-ambiguous-declamation: Private ordinary functions
Function, %expand-at-declaration: Private ordinary functions
Function, add-declaim-to-definiton-form: Private ordinary functions
Function, add-export: Private ordinary functions
Function, apply-at-macro-for-each-form: Private ordinary functions
Function, apply-at-macro-to-multiple-forms: Private ordinary functions
Function, apply-at-macro-to-special-toplevel-form: Private ordinary functions
Function, common-lisp-package-p: Private ordinary functions
Function, complete-declaration-specifier: Private ordinary functions
Function, count-lambda-list-required-arguments: Public ordinary functions
Function, declaration-argument-like-p: Private ordinary functions
Function, ensure-list-with: Private ordinary functions
Function, expand-add-declaration: Public ordinary functions
Function, expand-doc-macro-to-assign: Private ordinary functions
Function, expand-documentation: Public ordinary functions
Function, expand-export-accessors: Public ordinary functions
Function, expand-export-class: Private ordinary functions
Function, expand-export-constructors: Public ordinary functions
Function, expand-export-form: Public ordinary functions
Function, expand-export-slots: Public ordinary functions
Function, expand-export-structure: Public ordinary functions
Function, expand-incompleted-declamation: Public ordinary functions
Function, expand-metaclass: Public ordinary functions
Function, expand-to-declaim-form: Private ordinary functions
Function, find-name-to-be-defined: Public ordinary functions
Function, function-name-p: Private ordinary functions
Function, ignore-name-p: Private ordinary functions
Function, insert-declaration-to-body: Private ordinary functions
Function, insert-declaration-to-nth-body: Private ordinary functions
Function, lambda-expression-p: Public ordinary functions
Function, optimize-quality-p: Private ordinary functions
Function, parse-define-method-combination-long-form: Private ordinary functions
Function, parse-defmethod-form: Private ordinary functions
Function, parse-defstruct-form: Private ordinary functions
Function, parse-defstruct-option: Private ordinary functions
Function, pick-defclass-options: Private ordinary functions
Function, pick-defclass-slots: Private ordinary functions
Function, pick-names-of-defstruct-form: Private ordinary functions
Function, raise-required-slot-error: Private ordinary functions
Function, read-at: Private ordinary functions
Function, read-at-syntax: Private ordinary functions
Function, read-delimited-list-no-eof: Private ordinary functions
Function, read-new-value: Private ordinary functions
Function, read-sharp-at: Private ordinary functions
Function, split-list-at: Private ordinary functions
Function, split-slot-specifier: Private ordinary functions
function-definition-operator-p: Public generic functions
function-definition-operator-p: Public generic functions
function-name-p: Private ordinary functions

G
Generic Function, allow-macroexpand-internal-form-p: Public generic functions
Generic Function, at-required-precondition-error-slot-name: Public generic functions
Generic Function, at-required-runtime-error-initarg: Public generic functions
Generic Function, at-required-runtime-error-slot-name: Public generic functions
Generic Function, expand-add-declaration-using-head: Public generic functions
Generic Function, expand-at-read-time-p: Public generic functions
Generic Function, expand-documentation-using-head: Public generic functions
Generic Function, expand-export-accessors-using-head: Public generic functions
Generic Function, expand-export-class-using-head: Private generic functions
Generic Function, expand-export-constructors-using-head: Public generic functions
Generic Function, expand-export-form-using-head: Public generic functions
Generic Function, expand-export-slots-using-head: Public generic functions
Generic Function, expand-export-structure-using-head: Public generic functions
Generic Function, expand-incompleted-declamation-using-head: Public generic functions
Generic Function, expand-metaclass-using-head: Public generic functions
Generic Function, find-at-syntax-arity: Public generic functions
Generic Function, find-name-to-be-defined-using-head: Public generic functions
Generic Function, function-definition-operator-p: Public generic functions
Generic Function, incompleted-declamation-applicable-p: Public generic functions
Generic Function, operator-accept-docstring-p: Public generic functions
Generic Function, operator-body-location: Public generic functions
Generic Function, operator-doc-type: Public generic functions
Generic Function, resolve-at-syntax-alias: Public generic functions
Generic Function, valid-proclamation-identifier-p: Public generic functions
Generic Function, variable-definition-operator-p: Public generic functions

I
ignorable: Public macros
ignore: Public macros
ignore-name-p: Private ordinary functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
incompleted-declamation-applicable-p: Public generic functions
inline: Public macros
insert-declaration-to-body: Private ordinary functions
insert-declaration-to-nth-body: Private ordinary functions

L
lambda-expression-p: Public ordinary functions

M
Macro, add-declaration: Private macros
Macro, apply-incompleted-declamation: Private macros
Macro, declaration: Public macros
Macro, doc: Public macros
Macro, documentation: Public macros
Macro, dynamic-extent: Public macros
Macro, eval-always: Public macros
Macro, eval-when-compile: Public macros
Macro, eval-when-execute: Public macros
Macro, eval-when-load: Public macros
Macro, export: Public macros
Macro, export-accessors: Public macros
Macro, export-class: Public macros
Macro, export-constructors: Public macros
Macro, export-slots: Public macros
Macro, export-structure: Public macros
Macro, ftype: Public macros
Macro, ignorable: Public macros
Macro, ignore: Public macros
Macro, inline: Public macros
Macro, macroexpand-convention: Private macros
Macro, metaclass: Public macros
Macro, mv-cond-let-n: Private macros
Macro, mv-cond-let2: Private macros
Macro, notinline: Public macros
Macro, optimize: Public macros
Macro, optional: Public macros
Macro, required: Public macros
Macro, special: Public macros
Macro, type: Public macros
macroexpand-convention: Private macros
metaclass: Public macros
Method, allow-macroexpand-internal-form-p: Public generic functions
Method, allow-macroexpand-internal-form-p: Public generic functions
Method, at-required-precondition-error-slot-name: Public generic functions
Method, at-required-runtime-error-initarg: Public generic functions
Method, at-required-runtime-error-slot-name: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-add-declaration-using-head: Public generic functions
Method, expand-at-read-time-p: Public generic functions
Method, expand-documentation-using-head: Public generic functions
Method, expand-documentation-using-head: Public generic functions
Method, expand-documentation-using-head: Public generic functions
Method, expand-export-accessors-using-head: Public generic functions
Method, expand-export-accessors-using-head: Public generic functions
Method, expand-export-accessors-using-head: Public generic functions
Method, expand-export-accessors-using-head: Public generic functions
Method, expand-export-class-using-head: Private generic functions
Method, expand-export-class-using-head: Private generic functions
Method, expand-export-class-using-head: Private generic functions
Method, expand-export-constructors-using-head: Public generic functions
Method, expand-export-constructors-using-head: Public generic functions
Method, expand-export-form-using-head: Public generic functions
Method, expand-export-form-using-head: Public generic functions
Method, expand-export-slots-using-head: Public generic functions
Method, expand-export-slots-using-head: Public generic functions
Method, expand-export-slots-using-head: Public generic functions
Method, expand-export-structure-using-head: Public generic functions
Method, expand-export-structure-using-head: Public generic functions
Method, expand-incompleted-declamation-using-head: Public generic functions
Method, expand-metaclass-using-head: Public generic functions
Method, expand-metaclass-using-head: Public generic functions
Method, find-at-syntax-arity: Public generic functions
Method, find-at-syntax-arity: Public generic functions
Method, find-at-syntax-arity: Public generic functions
Method, find-at-syntax-arity: Public generic functions
Method, find-name-to-be-defined-using-head: Public generic functions
Method, find-name-to-be-defined-using-head: Public generic functions
Method, find-name-to-be-defined-using-head: Public generic functions
Method, function-definition-operator-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, incompleted-declamation-applicable-p: Public generic functions
Method, operator-accept-docstring-p: Public generic functions
Method, operator-body-location: Public generic functions
Method, operator-doc-type: Public generic functions
Method, resolve-at-syntax-alias: Public generic functions
Method, valid-proclamation-identifier-p: Public generic functions
Method, variable-definition-operator-p: Public generic functions
mv-cond-let-n: Private macros
mv-cond-let2: Private macros

N
notinline: Public macros

O
operator-accept-docstring-p: Public generic functions
operator-accept-docstring-p: Public generic functions
operator-body-location: Public generic functions
operator-body-location: Public generic functions
operator-doc-type: Public generic functions
operator-doc-type: Public generic functions
optimize: Public macros
optimize-quality-p: Private ordinary functions
optional: Public macros

P
parse-define-method-combination-long-form: Private ordinary functions
parse-defmethod-form: Private ordinary functions
parse-defstruct-form: Private ordinary functions
parse-defstruct-option: Private ordinary functions
pick-defclass-options: Private ordinary functions
pick-defclass-slots: Private ordinary functions
pick-names-of-defstruct-form: Private ordinary functions

R
raise-required-slot-error: Private ordinary functions
read-at: Private ordinary functions
read-at-syntax: Private ordinary functions
read-delimited-list-no-eof: Private ordinary functions
read-new-value: Private ordinary functions
read-sharp-at: Private ordinary functions
required: Public macros
resolve-at-syntax-alias: Public generic functions
resolve-at-syntax-alias: Public generic functions

S
special: Public macros
split-list-at: Private ordinary functions
split-slot-specifier: Private ordinary functions

T
type: Public macros

V
valid-proclamation-identifier-p: Public generic functions
valid-proclamation-identifier-p: Public generic functions
variable-definition-operator-p: Public generic functions
variable-definition-operator-p: Public generic functions


A.3 Variables


A.4 Data types

Jump to:   A   C   D   E   F   M   P   R   S   U  
Index Entry  Section

A
at-macro: The cl-annot-revisit/at-macro module
at-macro-condition: Public conditions
at-macro-error: Public conditions
at-macro-runtime-error: Public conditions
at-macro-style-warning: Public conditions
at-macro-syntax-error: Public conditions
at-required-precondition-error: Public conditions
at-required-runtime-error: Public conditions
at-syntax: The cl-annot-revisit/at-syntax module

C
cl-annot-revisit: The cl-annot-revisit system
cl-annot-revisit: The cl-annot-revisit package
cl-annot-revisit-at-macro: The cl-annot-revisit-at-macro package
cl-annot-revisit-at-syntax: The cl-annot-revisit-at-syntax package
cl-annot-revisit.asd: The cl-annot-revisit/cl-annot-revisit․asd file
Condition, at-macro-condition: Public conditions
Condition, at-macro-error: Public conditions
Condition, at-macro-runtime-error: Public conditions
Condition, at-macro-style-warning: Public conditions
Condition, at-macro-syntax-error: Public conditions
Condition, at-required-precondition-error: Public conditions
Condition, at-required-runtime-error: Public conditions
condition.lisp: The cl-annot-revisit/at-macro/condition․lisp file

D
declamation.lisp: The cl-annot-revisit/at-macro/declamation․lisp file
declaration.lisp: The cl-annot-revisit/at-macro/declaration․lisp file
defclass.lisp: The cl-annot-revisit/at-macro/defclass․lisp file
defmethods.lisp: The cl-annot-revisit/at-syntax/defmethods․lisp file
defstruct.lisp: The cl-annot-revisit/at-macro/defstruct․lisp file
documentation.lisp: The cl-annot-revisit/at-macro/documentation․lisp file

E
eval-when.lisp: The cl-annot-revisit/at-macro/eval-when․lisp file
export.lisp: The cl-annot-revisit/at-macro/export․lisp file

F
File, cl-annot-revisit.asd: The cl-annot-revisit/cl-annot-revisit․asd file
File, condition.lisp: The cl-annot-revisit/at-macro/condition․lisp file
File, declamation.lisp: The cl-annot-revisit/at-macro/declamation․lisp file
File, declaration.lisp: The cl-annot-revisit/at-macro/declaration․lisp file
File, defclass.lisp: The cl-annot-revisit/at-macro/defclass․lisp file
File, defmethods.lisp: The cl-annot-revisit/at-syntax/defmethods․lisp file
File, defstruct.lisp: The cl-annot-revisit/at-macro/defstruct․lisp file
File, documentation.lisp: The cl-annot-revisit/at-macro/documentation․lisp file
File, eval-when.lisp: The cl-annot-revisit/at-macro/eval-when․lisp file
File, export.lisp: The cl-annot-revisit/at-macro/export․lisp file
File, form-traversal.lisp: The cl-annot-revisit/at-macro/form-traversal․lisp file
File, package.lisp: The cl-annot-revisit/package․lisp file
File, package.lisp: The cl-annot-revisit/at-macro/package․lisp file
File, package.lisp: The cl-annot-revisit/at-syntax/package․lisp file
File, reader.lisp: The cl-annot-revisit/at-syntax/reader․lisp file
File, slot.lisp: The cl-annot-revisit/at-macro/slot․lisp file
File, util.lisp: The cl-annot-revisit/at-macro/util․lisp file
form-traversal.lisp: The cl-annot-revisit/at-macro/form-traversal․lisp file

M
Module, at-macro: The cl-annot-revisit/at-macro module
Module, at-syntax: The cl-annot-revisit/at-syntax module

P
Package, cl-annot-revisit: The cl-annot-revisit package
Package, cl-annot-revisit-at-macro: The cl-annot-revisit-at-macro package
Package, cl-annot-revisit-at-syntax: The cl-annot-revisit-at-syntax package
package.lisp: The cl-annot-revisit/package․lisp file
package.lisp: The cl-annot-revisit/at-macro/package․lisp file
package.lisp: The cl-annot-revisit/at-syntax/package․lisp file

R
reader.lisp: The cl-annot-revisit/at-syntax/reader․lisp file

S
slot.lisp: The cl-annot-revisit/at-macro/slot․lisp file
System, cl-annot-revisit: The cl-annot-revisit system

U
util.lisp: The cl-annot-revisit/at-macro/util․lisp file