The agnostic-lizard Reference Manual

Exported Definitions

*debugger-hooks-state* (special variable)
*local-debugger-hooks* (special variable)
debugger-hooks-active (method)
(setf debugger-hooks-active) (method)
debugger-hooks-alias (method)
(setf debugger-hooks-alias) (method)
debugger-hooks-assign (generic function)
debugger-hooks-assign (method)
debugger-hooks-callback (method)
(setf debugger-hooks-callback) (method)
debugger-hooks-command (method)
(setf debugger-hooks-command) (method)
debugger-hooks-state (class)
metaenv-clone (method)
metaenv-clone-args (method)
metaenv-macroexpand-all (method)
set-local-debugger-hook (function)
with-debugger-hook-calls (macro)
with-local-debugger-hook (macro)

Internal Definitions

*marker-counter* (special variable)
debugger-hook-call (function)
debugger-hook-walker-env (class)
debugger-hook-walker-function-marker (method)
(setf debugger-hook-walker-function-marker) (method)
debugger-hook-walker-lexenv-p (method)
(setf debugger-hook-walker-lexenv-p) (method)
debugger-hook-walker-pending-functions (method)
(setf debugger-hook-walker-pending-functions) (method)
debugger-hook-walker-pending-variables (method)
(setf debugger-hook-walker-pending-variables) (method)
debugger-hook-walker-replace-form (function)
debugger-hook-walker-result-var (method)
(setf debugger-hook-walker-result-var) (method)
default-debugger-hook-callback (function)
metaenv-add-function-like-entry (method)
metaenv-add-variable-like-entry (method)
metaenv-expand-lambda-expression (method)
metaenv-macroexpand-all-special-form-defun (method)
metaenv-wrap-form (method)

3.2 Static

3.2.1 `agnostic-lizard/README`

Parent: agnostic-lizard (system)
Location: README

3.2.2 `agnostic-lizard/AUTHORS`

Parent: agnostic-lizard (system)
Location: AUTHORS

3.2.3 `agnostic-lizard/COPYING`

Parent: agnostic-lizard (system)
Location: COPYING

3.2.4 `agnostic-lizard/gpl-3.0.txt`

Parent: agnostic-lizard (system)
Location: gpl-3.0.txt

3.2.5 `agnostic-lizard/examples.lisp`

Parent: agnostic-lizard (system)
Location: examples.lisp

4 Packages

Packages are listed by definition order.

4.1 `agnostic-lizard`

Source

package.lisp (file)

Use List

common-lisp

Used By List

agnostic-lizard-debugger-hooks
agnostic-lizard-lexenv-wrapper

Exported Definitions

function-information (class)
function-information-arglist (generic function)
function-information-arglist (method)
(setf function-information-arglist) (method)
(setf function-information-arglist) (generic function)
function-information-body (generic function)
function-information-body (method)
(setf function-information-body) (method)
(setf function-information-body) (generic function)
function-information-declarations (generic function)
function-information-declarations (method)
(setf function-information-declarations) (method)
(setf function-information-declarations) (generic function)
function-information-name (generic function)
function-information-name (method)
(setf function-information-name) (method)
(setf function-information-name) (generic function)
function-information-named (generic function)
function-information-named (method)
(setf function-information-named) (method)
(setf function-information-named) (generic function)
function-information-qualifiers (generic function)
function-information-qualifiers (method)
(setf function-information-qualifiers) (method)
(setf function-information-qualifiers) (generic function)
install-wrap-every-form-reader (function)
macro-macroexpand-all (macro)
macro-walk-form (macro)
macro-walker-metaenv (class)
macroexpand-all (function)
metaenv (class)
metaenv-blocks (generic function)
metaenv-blocks (method)
metaenv-blocks (method)
(setf metaenv-blocks) (generic function)
(setf metaenv-blocks) (method)
metaenv-clone (generic function)
metaenv-clone (method)
metaenv-clone (method)
metaenv-clone-args (generic function)
metaenv-clone-args (method)
metaenv-clone-args (method)
metaenv-clone-args (method)
metaenv-clone-args (method)
metaenv-ensure-name-from-environment (function)
metaenv-ensure-names-from-environment (function)
metaenv-function-like-entries (generic function)
metaenv-function-like-entries (method)
metaenv-function-like-entries (method)
(setf metaenv-function-like-entries) (generic function)
(setf metaenv-function-like-entries) (method)
metaenv-macro-macroexpand-all (macro)
metaenv-macroexpand-all (generic function)
metaenv-macroexpand-all (method)
metaenv-macroexpand-all (method)
metaenv-macroexpand-all (method)
metaenv-macroexpand-all (method)
metaenv-macroexpand-all (method)
metaenv-map-macroexpand-all (function)
metaenv-tags (generic function)
metaenv-tags (method)
metaenv-tags (method)
(setf metaenv-tags) (generic function)
(setf metaenv-tags) (method)
metaenv-toplevel (generic function)
metaenv-toplevel (method)
metaenv-toplevel (method)
(setf metaenv-toplevel) (generic function)
(setf metaenv-toplevel) (method)
metaenv-variable-like-entries (generic function)
metaenv-variable-like-entries (method)
metaenv-variable-like-entries (method)
(setf metaenv-variable-like-entries) (generic function)
(setf metaenv-variable-like-entries) (method)
separate-declarations (function)
separate-function-definition-parts (function)
separate-lambda-expression-parts (function)
walk-form (function)
walker-metaenv (class)
with-wrap-every-form-reader (macro)
wrap-every-form-reader (function)
wrap-rest-of-input (macro)

Internal Definitions

*hardwired-operators* (special variable)
define-handle-nfunction (macro)
environment-entries-for-name (function)
eval-with-current-environment (macro)
flet-wrap (function)
go-tag-p (function)
lambda-list-variable-names (function)
let-wrap (function)
macrolet-code-wrap (function)
macrolet-wrap (function)
metaenv-add-block (generic function)
metaenv-add-block (method)
metaenv-add-block (method)
metaenv-add-function-like-entry (generic function)
metaenv-add-function-like-entry (method)
metaenv-add-function-like-entry (method)
metaenv-add-function-like-entry (method)
metaenv-add-tag (generic function)
metaenv-add-tag (method)
metaenv-add-tag (method)
metaenv-add-variable-like-entry (generic function)
metaenv-add-variable-like-entry (method)
metaenv-add-variable-like-entry (method)
metaenv-add-variable-like-entry (method)
metaenv-create-macro (generic function)
metaenv-create-macro (method)
(setf metaenv-create-macro) (method)
(setf metaenv-create-macro) (generic function)
metaenv-expand-lambda-expression (generic function)
metaenv-expand-lambda-expression (method)
metaenv-expand-lambda-expression (method)
metaenv-fallback-env (generic function)
metaenv-fallback-env (method)
metaenv-fallback-env (method)
(setf metaenv-fallback-env) (generic function)
(setf metaenv-fallback-env) (method)
metaenv-irrelevant-for-macroexpand (function)
metaenv-macro-macroexpand-all-wrapper (macro)
metaenv-macro-walker-turn-to-quoted (function)
metaenv-macroexpand (function)
metaenv-macroexpand-1 (generic function)
metaenv-macroexpand-1 (method)
metaenv-macroexpand-1 (method)
metaenv-macroexpand-all-special-form (generic function)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form (method)
metaenv-macroexpand-all-special-form-defun (generic function)
metaenv-macroexpand-all-special-form-defun (method)
metaenv-macroexpand-all-special-form-defun (method)
metaenv-macroexpand-all-special-form-flet (generic function)
metaenv-macroexpand-all-special-form-flet (method)
metaenv-macroexpand-all-special-form-function (generic function)
metaenv-macroexpand-all-special-form-function (method)
metaenv-macroexpand-all-special-form-let (generic function)
metaenv-macroexpand-all-special-form-let (method)
metaenv-macroexpand-all-special-form-macrolet (generic function)
metaenv-macroexpand-all-special-form-macrolet (method)
metaenv-macroexpand-all-special-form-progn (generic function)
metaenv-macroexpand-all-special-form-progn (method)
metaenv-macroexpand-all-special-form-the (generic function)
metaenv-macroexpand-all-special-form-the (method)
metaenv-macroexpand-lambdalist (generic function)
metaenv-macroexpand-lambdalist (method)
metaenv-map-macroexpand-all-after-declarations (function)
metaenv-never-pass-fallback-env (generic function)
metaenv-never-pass-fallback-env (method)
metaenv-never-pass-fallback-env (method)
(setf metaenv-never-pass-fallback-env) (generic function)
(setf metaenv-never-pass-fallback-env) (method)
metaenv-on-every-atom (generic function)
metaenv-on-every-atom (method)
(setf metaenv-on-every-atom) (method)
(setf metaenv-on-every-atom) (generic function)
metaenv-on-every-form (generic function)
metaenv-on-every-form (method)
(setf metaenv-on-every-form) (method)
(setf metaenv-on-every-form) (generic function)
metaenv-on-every-form-pre (generic function)
metaenv-on-every-form-pre (method)
(setf metaenv-on-every-form-pre) (method)
(setf metaenv-on-every-form-pre) (generic function)
metaenv-on-function-form (generic function)
metaenv-on-function-form (method)
(setf metaenv-on-function-form) (method)
(setf metaenv-on-function-form) (generic function)
metaenv-on-function-form-pre (generic function)
metaenv-on-function-form-pre (method)
(setf metaenv-on-function-form-pre) (method)
(setf metaenv-on-function-form-pre) (generic function)
metaenv-on-macro-walker-create-macro (generic function)
metaenv-on-macro-walker-create-macro (method)
(setf metaenv-on-macro-walker-create-macro) (method)
(setf metaenv-on-macro-walker-create-macro) (generic function)
metaenv-on-macroexpanded-form (generic function)
metaenv-on-macroexpanded-form (method)
(setf metaenv-on-macroexpanded-form) (method)
(setf metaenv-on-macroexpanded-form) (generic function)
metaenv-on-special-form (generic function)
metaenv-on-special-form (method)
(setf metaenv-on-special-form) (method)
(setf metaenv-on-special-form) (generic function)
metaenv-on-special-form-pre (generic function)
metaenv-on-special-form-pre (method)
(setf metaenv-on-special-form-pre) (method)
(setf metaenv-on-special-form-pre) (generic function)
metaenv-recursive-label (generic function)
metaenv-recursive-label (method)
metaenv-recursive-label (method)
(setf metaenv-recursive-label) (method)
(setf metaenv-recursive-label) (generic function)
metaenv-wrap-form (generic function)
metaenv-wrap-form (method)
metaenv-wrap-form (method)
symbol-macrolet-wrap (function)
with-metaenv-built-env (function)
wrap-block-env (function)
wrap-function-like-env (function)
wrap-tag-env (function)
wrap-variable-like-env (function)

4.2 `agnostic-lizard-lexenv-wrapper`

Source

local-variables.lisp (file)

Use List

common-lisp
agnostic-lizard

Exported Definitions

lexenv-cursor (function)
list-locfuncs (function)
list-locvars (function)
locfunc (macro)
locvar (macro)
pry (function)
with-saved-lexenvs (macro)

Internal Definitions

*saved-lexenv-cursor* (special variable)
*saved-lexenvs* (special variable)

4.3 `agnostic-lizard-debugger-hooks`

Source

Use List

agnostic-lizard
common-lisp

Exported Definitions

*debugger-hooks-state* (special variable)
*local-debugger-hooks* (special variable)
debugger-hooks-active (generic function)
debugger-hooks-active (method)
(setf debugger-hooks-active) (method)
(setf debugger-hooks-active) (generic function)
debugger-hooks-alias (generic function)
debugger-hooks-alias (method)
(setf debugger-hooks-alias) (method)
(setf debugger-hooks-alias) (generic function)
debugger-hooks-assign (generic function)
debugger-hooks-assign (method)
debugger-hooks-callback (generic function)
debugger-hooks-callback (method)
(setf debugger-hooks-callback) (method)
(setf debugger-hooks-callback) (generic function)
debugger-hooks-command (generic function)
debugger-hooks-command (method)
(setf debugger-hooks-command) (method)
(setf debugger-hooks-command) (generic function)
debugger-hooks-state (class)
set-local-debugger-hook (function)
with-debugger-hook-calls (macro)
with-local-debugger-hook (macro)

Internal Definitions

*marker-counter* (special variable)
debugger-hook-call (function)
debugger-hook-walker-env (class)
debugger-hook-walker-function-marker (generic function)
debugger-hook-walker-function-marker (method)
(setf debugger-hook-walker-function-marker) (method)
(setf debugger-hook-walker-function-marker) (generic function)
debugger-hook-walker-lexenv-p (generic function)
debugger-hook-walker-lexenv-p (method)
(setf debugger-hook-walker-lexenv-p) (method)
(setf debugger-hook-walker-lexenv-p) (generic function)
debugger-hook-walker-pending-functions (generic function)
debugger-hook-walker-pending-functions (method)
(setf debugger-hook-walker-pending-functions) (method)
(setf debugger-hook-walker-pending-functions) (generic function)
debugger-hook-walker-pending-variables (generic function)
debugger-hook-walker-pending-variables (method)
(setf debugger-hook-walker-pending-variables) (method)
(setf debugger-hook-walker-pending-variables) (generic function)
debugger-hook-walker-replace-form (function)
debugger-hook-walker-result-var (generic function)
debugger-hook-walker-result-var (method)
(setf debugger-hook-walker-result-var) (method)
(setf debugger-hook-walker-result-var) (generic function)
default-debugger-hook-callback (function)

5 Definitions

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

5.1 Exported definitions

5.1.1 Special variables

Special Variable: *debugger-hooks-state*

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Special Variable: *local-debugger-hooks*

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

5.1.2 Macros

Macro: locfunc NAME &rest ARGS

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Macro: locvar NAME &optional VALUE

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Macro: macro-macroexpand-all FORM &rest HANDLER-DEFINITIONS &key ON-EVERY-FORM ON-MACRO-WALKER-CREATE-MACRO

Produce code returning the full macroexpansion of the form in the current lexical environment.
Optionally, run handlers. :on-every-form will be run before quoting and wrapping in environment handling helpers.

Package: agnostic-lizard
Source: macro-based-walking.lisp (file)

Macro: macro-walk-form FORM &rest HANDLER-DEFINITIONS

Walk the form inside the current lexical environment using the handlers from handler-definitions. See walk-form for details about handlers.
The resulting form after walking is returned as the macroexpansion.

Package: agnostic-lizard
Source: macro-based-walking.lisp (file)

Macro: metaenv-macro-macroexpand-all FORM &optional EXTRA-ENV

A helper macro for recapturing environment

Package: agnostic-lizard
Source: macro-based-walking.lisp (file)

Macro: with-debugger-hook-calls TOP-LEVEL-FORM &key LEXENVP

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Macro: with-local-debugger-hook (NAME &key ACTIVE CALLBACK CLASS) &body BODY

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Macro: with-saved-lexenvs FORM

Walk the form wrapping each expression into saving of the lexical environment

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Macro: with-wrap-every-form-reader CALLBACK &body BODY

Execute body using a modified readtable so that every top-level form read by the reader is modified using the callback

Package: agnostic-lizard
Source: wrapping-reader.lisp (file)

Macro: wrap-rest-of-input CALLBACK

Modify each top-level form in the rest of the current file with the callback

Package: agnostic-lizard
Source: wrapping-reader.lisp (file)

5.1.3 Functions

Function: install-wrap-every-form-reader CALLBACK

Add an entry to the readtable that reads top-level forms normally, then applies the callback to each form

Package: agnostic-lizard
Source: wrapping-reader.lisp (file)

Function: lexenv-cursor &optional N REL

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Function: list-locfuncs &optional N

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Function: list-locvars &optional N

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Function: macroexpand-all FORM &optional ENV &key NAMES NEVER-PASS-FALLBACK-ENV

Recursively expand all macro calls in form with initial environment described by env

Package: agnostic-lizard
Source: pure-expansion.lisp (file)

Function: metaenv-ensure-name-from-environment METAENV NAME ENVIRONMENT

Package: agnostic-lizard
Source: lexenv.lisp (file)

Function: metaenv-ensure-names-from-environment METAENV NAMES ENVIRONMENT

Package: agnostic-lizard
Source: lexenv.lisp (file)

Function: metaenv-map-macroexpand-all FORMS ENV

Apply metaenv-macroexpand-all to all the forms using the same env

Package: agnostic-lizard
Source: pure-expansion.lisp (file)

Function: pry &key REASON

Launch an interactive debugging session

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Function: separate-declarations ENTRIES &key ENABLE-DOCSTRING

Separate a list of entries into declarations and forms, with a possible docstring, if enabled

Package: agnostic-lizard
Source: utils.lisp (file)

Function: separate-function-definition-parts FORM ENV

Package: agnostic-lizard
Source: utils.lisp (file)

Function: separate-lambda-expression-parts FORM ENV

Package: agnostic-lizard
Source: utils.lisp (file)

Function: set-local-debugger-hook NAME &rest ARGS

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Function: walk-form FORM ENV &rest HANDLER-DEFINITIONS

Walk the form inside the environment described by env using the handlers from handler-definitions.
Handlers get a form and a walker-metaenv environment description.
The return value of a handler is used instead of the form passed to the handler during further processing.

Handlers can be:
:on-every-form-pre — called before processing each form in an executable position
:on-macroexpanded-form — called for each form after macroexpanding its top operation; hardwired macros are passed unexpanded :on-special-form-pre — called before processing a special form or a hardwired macro
:on-function-form-pre — called before processing a function call
:on-special-form — called after processing a special form or a hardwired macro
:on-every-atom — called after processing a form expanded to an atom
:on-function-form — called after processing a function call
:on-every-form — called after expanding each form in an executable position

env can be metaenv or walker-metaenv

Package: agnostic-lizard
Source: generic-walking.lisp (file)

Function: wrap-every-form-reader CALLBACK NORMAL-READTABLE

Prepare a special reader for the readtable that reads every top-level form using normal-readtable, then applies the callback to the form

Package: agnostic-lizard
Source: wrapping-reader.lisp (file)

5.1.4 Generic functions

Generic Function: debugger-hooks-active OBJECT

Generic Function: (setf debugger-hooks-active) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hooks-active (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hooks-active) NEW-VALUE (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hooks-alias OBJECT

Generic Function: (setf debugger-hooks-alias) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hooks-alias (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hooks-alias) NEW-VALUE (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hooks-assign OBJECT &key ACTIVE CALLBACK COMMAND

Package

Source

Methods

Method: debugger-hooks-assign (OBJECT debugger-hooks-state) &key ACTIVE CALLBACK COMMAND

Generic Function: debugger-hooks-callback OBJECT

Generic Function: (setf debugger-hooks-callback) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hooks-callback (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hooks-callback) NEW-VALUE (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hooks-command OBJECT

Generic Function: (setf debugger-hooks-command) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hooks-command (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hooks-command) NEW-VALUE (DEBUGGER-HOOKS-STATE debugger-hooks-state)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: function-information-arglist OBJECT

Generic Function: (setf function-information-arglist) NEW-VALUE OBJECT

Package

Methods

Method: function-information-arglist (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-arglist) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: function-information-body OBJECT

Generic Function: (setf function-information-body) NEW-VALUE OBJECT

Package

Methods

Method: function-information-body (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-body) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: function-information-declarations OBJECT

Generic Function: (setf function-information-declarations) NEW-VALUE OBJECT

Package

Methods

Method: function-information-declarations (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-declarations) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: function-information-name OBJECT

Generic Function: (setf function-information-name) NEW-VALUE OBJECT

Package

Methods

Method: function-information-name (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-name) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: function-information-named OBJECT

Generic Function: (setf function-information-named) NEW-VALUE OBJECT

Package

Methods

Method: function-information-named (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-named) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: function-information-qualifiers OBJECT

Generic Function: (setf function-information-qualifiers) NEW-VALUE OBJECT

Package

Methods

Method: function-information-qualifiers (FUNCTION-INFORMATION function-information)

automatically generated reader method

Source: utils.lisp (file)

Method: (setf function-information-qualifiers) NEW-VALUE (FUNCTION-INFORMATION function-information)

automatically generated writer method

Source: utils.lisp (file)

Generic Function: metaenv-blocks OBJ

Query the list of defined blocks from a metaenv object

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-blocks) (generic function)

Methods

Method: metaenv-blocks (METAENV metaenv): automatically generated reader method

Method: metaenv-blocks OBJ

Generic Function: (setf metaenv-blocks) NEW-VALUE OBJECT

Package

Reader

metaenv-blocks (generic function)

Methods

Method: (setf metaenv-blocks) NEW-VALUE (METAENV metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-clone OBJ &optional OVERRIDES

Create a copy of a metaenv-related object

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-clone (OBJ debugger-hook-walker-env) &optional OVERRIDES

Source: debugger-hooks.lisp (file)

Method: metaenv-clone (OBJ metaenv) &optional OVERRIDES

Generic Function: metaenv-clone-args OBJ

The needed initargs for copying a metaenv-related object

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-clone-args (ENV debugger-hook-walker-env)

Source: debugger-hooks.lisp (file)

Method: metaenv-clone-args (OBJ macro-walker-metaenv) around

Method: metaenv-clone-args (OBJ walker-metaenv) around

Method: metaenv-clone-args (OBJ metaenv)

Generic Function: metaenv-function-like-entries OBJ

Query the list of function-like entries from a metaenv object

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-function-like-entries) (generic function)

Methods

Method: metaenv-function-like-entries (METAENV metaenv): automatically generated reader method

Method: metaenv-function-like-entries OBJ

Generic Function: (setf metaenv-function-like-entries) NEW-VALUE OBJECT

Package

Reader

metaenv-function-like-entries (generic function)

Methods

Method: (setf metaenv-function-like-entries) NEW-VALUE (METAENV metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-macroexpand-all FORM ENV

Expand all macros on all levels of form in the environment env

Package

Source

pure-expansion.lisp (file)

Methods

Method: metaenv-macroexpand-all FORM (ENV debugger-hook-walker-env)

Source: debugger-hooks.lisp (file)

Method: metaenv-macroexpand-all FORM (ENV macro-walker-metaenv) around

Source: macro-based-walking.lisp (file)

Method: metaenv-macroexpand-all FORM (ENV walker-metaenv)

Source: generic-walking.lisp (file)

Method: metaenv-macroexpand-all FORM (ENV metaenv)

Method: metaenv-macroexpand-all FORM (ENV (eql nil))

Generic Function: metaenv-tags OBJ

Query the list of defined tags from a metaenv object

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-tags) (generic function)

Methods

Method: metaenv-tags (METAENV metaenv): automatically generated reader method

Method: metaenv-tags OBJ

Generic Function: (setf metaenv-tags) NEW-VALUE OBJECT

Package

Reader

metaenv-tags (generic function)

Methods

Method: (setf metaenv-tags) NEW-VALUE (METAENV metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-toplevel OBJ

Query if a metaenv object represents toplevel environment

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-toplevel) (generic function)

Methods

Method: metaenv-toplevel (METAENV metaenv): automatically generated reader method

Method: metaenv-toplevel OBJ

Generic Function: (setf metaenv-toplevel) NEW-VALUE OBJECT

Package

Reader

metaenv-toplevel (generic function)

Methods

Method: (setf metaenv-toplevel) NEW-VALUE (METAENV metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-variable-like-entries OBJ

Query the list of variable-like entries from a metaenv object

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-variable-like-entries) (generic function)

Methods

Method: metaenv-variable-like-entries (METAENV metaenv): automatically generated reader method

Method: metaenv-variable-like-entries OBJ

Generic Function: (setf metaenv-variable-like-entries) NEW-VALUE OBJECT

Package

Reader

metaenv-variable-like-entries (generic function)

Methods

Method: (setf metaenv-variable-like-entries) NEW-VALUE (METAENV metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

5.1.5 Classes

Class: debugger-hooks-state ()

Package

Source

Direct superclasses

standard-object (class)

Direct methods

debugger-hooks-assign (method)
debugger-hooks-command (method)
debugger-hooks-command (method)
debugger-hooks-alias (method)
debugger-hooks-alias (method)
debugger-hooks-callback (method)
debugger-hooks-callback (method)
debugger-hooks-active (method)
debugger-hooks-active (method)

Direct slots

Slot: debugger-hooks-active

Initargs: :active
Readers: debugger-hooks-active (generic function)
Writers: (setf debugger-hooks-active) (generic function)

Slot: debugger-hooks-callback

Initargs: :callback
Readers: debugger-hooks-callback (generic function)
Writers: (setf debugger-hooks-callback) (generic function)

Slot: debugger-hooks-alias

Initargs: :alias
Readers: debugger-hooks-alias (generic function)
Writers: (setf debugger-hooks-alias) (generic function)

Slot: debugger-hooks-command

Initargs: :command
Readers: debugger-hooks-command (generic function)
Writers: (setf debugger-hooks-command) (generic function)

Class: function-information ()

Package

Source

utils.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

function-information-body (method)
function-information-body (method)
function-information-declarations (method)
function-information-declarations (method)
function-information-arglist (method)
function-information-arglist (method)
function-information-qualifiers (method)
function-information-qualifiers (method)
function-information-named (method)
function-information-named (method)
function-information-name (method)
function-information-name (method)

Direct slots

Slot: name

Initargs: :name
Readers: function-information-name (generic function)
Writers: (setf function-information-name) (generic function)

Slot: named

Initargs: :named
Readers: function-information-named (generic function)
Writers: (setf function-information-named) (generic function)

Slot: qualifiers

Initargs: :qualifiers
Readers: function-information-qualifiers (generic function)
Writers: (setf function-information-qualifiers) (generic function)

Slot: arglist

Initargs: :arglist
Readers: function-information-arglist (generic function)
Writers: (setf function-information-arglist) (generic function)

Slot: declarations

Initargs: :declarations
Readers: function-information-declarations (generic function)
Writers: (setf function-information-declarations) (generic function)

Slot: body

Initargs: :body
Readers: function-information-body (generic function)
Writers: (setf function-information-body) (generic function)

Class: macro-walker-metaenv ()

A version of walker-metaenv that can store additional information for expanding to a form with macro calls. This approach allows to use Common Lisp implementation’s own handling of environment.
We still keep track of environment just for portable access to the list of discovered lexical environment entries.

Package

Source

metaenv.lisp (file)

Direct superclasses

walker-metaenv (class)

Direct methods

metaenv-macroexpand-1 (method)
metaenv-macroexpand-all (method)
metaenv-clone-args (method)
metaenv-on-macro-walker-create-macro (method)
metaenv-on-macro-walker-create-macro (method)
metaenv-recursive-label (method)
metaenv-recursive-label (method)
metaenv-create-macro (method)
metaenv-create-macro (method)

Direct slots

Slot: create-macro

Whether to do expansion or just create a macro call that will be able to get proper environment

Initargs: :create-macro
Initform: t
Readers: metaenv-create-macro (generic function)
Writers: (setf metaenv-create-macro) (generic function)

Slot: recursive-label

A label to distinguish the forms freshly created in relation to the current environment.

Initargs: :recursive-label
Initform: (gensym)
Readers: metaenv-recursive-label (generic function)
Writers: (setf metaenv-recursive-label) (generic function)

Slot: on-macro-walker-create-macro

A handler invoked when macro-walker creates a new macro

Initargs: :on-macro-walker-create-macro
Initform: (quote values)
Readers: metaenv-on-macro-walker-create-macro (generic function)
Writers: (setf metaenv-on-macro-walker-create-macro) (generic function)

Class: metaenv ()

The basic object holding the lexical environment data for macroexpansion

Package

Source

metaenv.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

walker-metaenv (class)

Direct methods

metaenv-macroexpand-all (method)
metaenv-wrap-form (method)
print-object (method)
metaenv-clone (method)
metaenv-clone-args (method)
metaenv-add-tag (method)
metaenv-add-block (method)
metaenv-add-variable-like-entry (method)
metaenv-add-function-like-entry (method)
(setf metaenv-never-pass-fallback-env) (method)
metaenv-never-pass-fallback-env (method)
(setf metaenv-fallback-env) (method)
metaenv-fallback-env (method)
(setf metaenv-toplevel) (method)
metaenv-toplevel (method)
(setf metaenv-tags) (method)
metaenv-tags (method)
(setf metaenv-blocks) (method)
metaenv-blocks (method)
(setf metaenv-variable-like-entries) (method)
metaenv-variable-like-entries (method)
(setf metaenv-function-like-entries) (method)
metaenv-function-like-entries (method)

Direct slots

Slot: function-like

Initargs: :fn, :fun, :func, :function-like
Readers: metaenv-function-like-entries (generic function)
Writers: (setf metaenv-function-like-entries) (generic function)

Slot: variable-like

Initargs: :var, :variable-like
Readers: metaenv-variable-like-entries (generic function)
Writers: (setf metaenv-variable-like-entries) (generic function)

Slot: blocks

Initargs: :block, :blocks
Readers: metaenv-blocks (generic function)
Writers: (setf metaenv-blocks) (generic function)

Slot: tags

Initargs: :tag, :tags
Readers: metaenv-tags (generic function)
Writers: (setf metaenv-tags) (generic function)

Slot: toplevel

Initargs: :toplevel
Readers: metaenv-toplevel (generic function)
Writers: (setf metaenv-toplevel) (generic function)

Slot: fallback-env

A slot for storing environment obtained via an &environment parameter

Initargs: :env, :fallback-env
Readers: metaenv-fallback-env (generic function)
Writers: (setf metaenv-fallback-env) (generic function)

Slot: never-pass-fallback-env

A slot storing the policy switch for never passing the fallback env to macroexpand-1

Initargs: :never-pass-fallback-env
Readers: metaenv-never-pass-fallback-env (generic function)
Writers: (setf metaenv-never-pass-fallback-env) (generic function)

Class: walker-metaenv ()

An extended walker environment object.
Here we keep a few handlers to allow transformations of the code during walking.

Package

Source

metaenv.lisp (file)

Direct superclasses

metaenv (class)

Direct subclasses

macro-walker-metaenv (class)
debugger-hook-walker-env (class)

Direct methods

metaenv-macroexpand-all (method)
metaenv-clone-args (method)
metaenv-on-macroexpanded-form (method)
metaenv-on-macroexpanded-form (method)
metaenv-on-special-form (method)
metaenv-on-special-form (method)
metaenv-on-special-form-pre (method)
metaenv-on-special-form-pre (method)
metaenv-on-every-form-pre (method)
metaenv-on-every-form-pre (method)
metaenv-on-every-form (method)
metaenv-on-every-form (method)
metaenv-on-every-atom (method)
metaenv-on-every-atom (method)
metaenv-on-function-form-pre (method)
metaenv-on-function-form-pre (method)
metaenv-on-function-form (method)
metaenv-on-function-form (method)

Direct slots

Slot: on-function-form

Initargs: :on-function-form
Initform: (function values)
Readers: metaenv-on-function-form (generic function)
Writers: (setf metaenv-on-function-form) (generic function)

Slot: on-function-form-pre

Initargs: :on-function-form-pre
Initform: (function values)
Readers: metaenv-on-function-form-pre (generic function)
Writers: (setf metaenv-on-function-form-pre) (generic function)

Slot: on-every-atom

Initargs: :on-every-atom
Initform: (function values)
Readers: metaenv-on-every-atom (generic function)
Writers: (setf metaenv-on-every-atom) (generic function)

Slot: on-every-form

Initargs: :on-every-form
Initform: (function values)
Readers: metaenv-on-every-form (generic function)
Writers: (setf metaenv-on-every-form) (generic function)

Slot: on-every-form-pre

Initargs: :on-every-form-pre
Initform: (function values)
Readers: metaenv-on-every-form-pre (generic function)
Writers: (setf metaenv-on-every-form-pre) (generic function)

Slot: on-special-form-pre

Initargs: :on-special-form-pre
Initform: (function values)
Readers: metaenv-on-special-form-pre (generic function)
Writers: (setf metaenv-on-special-form-pre) (generic function)

Slot: on-special-form

Initargs: :on-special-form
Initform: (function values)
Readers: metaenv-on-special-form (generic function)
Writers: (setf metaenv-on-special-form) (generic function)

Slot: on-macroexpanded-form

Initargs: :on-macroexpanded-form
Initform: (function values)
Readers: metaenv-on-macroexpanded-form (generic function)
Writers: (setf metaenv-on-macroexpanded-form) (generic function)

5.2 Internal definitions

5.2.1 Special variables

Special Variable: *hardwired-operators*

The list of hardwired macros; they are code-walked without macroexpansion

Package: agnostic-lizard
Source: pure-expansion.lisp (file)

Special Variable: *marker-counter*

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Special Variable: *saved-lexenv-cursor*

The current position on the lexenv stack

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

Special Variable: *saved-lexenvs*

A stack of saved lexical environments

Package: agnostic-lizard-lexenv-wrapper
Source: local-variables.lisp (file)

5.2.2 Macros

Macro: define-handle-nfunction ()

Package: agnostic-lizard
Source: special-form-handlers.lisp (file)

Macro: eval-with-current-environment (VAR) &body CODE

Evaluate code in a lexical environment where var is bound to the lexical environment object corresponding to the macro call position

Package: agnostic-lizard
Source: utils.lisp (file)

Macro: metaenv-macro-macroexpand-all-wrapper FORM ENV

This wrapper does nothing but protects form from metaenv-macro-walker-turn-to-quoted

Package: agnostic-lizard
Source: macro-based-walking.lisp (file)

5.2.3 Functions

Function: debugger-hook-call &key FORM ENV POSITION RESULT MARKER FUNCTION EXPANDED-FORM

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Function: debugger-hook-walker-replace-form FORM ENV EXPANDED-FORM

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Function: default-debugger-hook-callback &key RESULT

Package: agnostic-lizard-debugger-hooks
Source: debugger-hooks.lisp (file)

Function: environment-entries-for-name NAME ENVIRONMENT

Create metaenv entries corresponding to environment for name.

Returns a list: variable-like entry, function-like entry.

Package: agnostic-lizard
Source: lexenv.lisp (file)

Function: flet-wrap NAME BODY

Wrap a chunk of code with a pseudo-flet;
it is for macroexpansion only, so there is no body

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: go-tag-p X

Package: agnostic-lizard
Source: utils.lisp (file)

Function: lambda-list-variable-names L

Package: agnostic-lizard
Source: utils.lisp (file)

Function: let-wrap NAME BODY

Wrap a chunk of code with a pseudo-let;
it is for macroexpansion only, so there is no body;
some globals don’t like to ever be bound to nil, so try a global value first

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: macrolet-code-wrap NAME CODE BODY

Wrap a chunk of code with a macrolet given a literal macrolet definition

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: macrolet-wrap NAME FUNCTION BODY

Wrap a chunk of code with a macrolet defined by a macro-function

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: metaenv-irrelevant-for-macroexpand OBJ

Check if the metaenv obj is the same as the fallback environment for macroexpand-1

Package: agnostic-lizard
Source: metaenv.lisp (file)

Function: metaenv-macro-walker-turn-to-quoted FORM ENV &optional CDR-BRANCH

Convert a partially walked form into code producing the expansion of the form after the walk is completed

Package: agnostic-lizard
Source: macro-based-walking.lisp (file)

Function: metaenv-macroexpand FORM ENV

Perform full macroexpansion of the top level of the form in the environment env

Package: agnostic-lizard
Source: pure-expansion.lisp (file)

Function: metaenv-map-macroexpand-all-after-declarations ENTRIES ENV ENABLE-DOCSTRING

Apply metaenv-map-macroexpand-all to all the forms among the entries, but use the declarations as-is

Package: agnostic-lizard
Source: pure-expansion.lisp (file)

Function: symbol-macrolet-wrap NAME EXPANSION BODY

Wrap a chunk of code with a symbol-macrolet

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: with-metaenv-built-env OBJ VAR CODE

Evaluate code in the lexical environment where var is bound to the lexical environment object described by obj

Package: agnostic-lizard
Source: metaenv.lisp (file)

Function: wrap-block-env ENTRIES FORM

Wrap a form to make sure all the blocks listed in entries are defined

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: wrap-function-like-env ENTRIES FORM

Wrap a form using the function-like entries.
An entry can be:
(name nil) — not defined in this environment
(name (:plain)) — an flet
(name (:macro macro-function)) — a macrolet, defined by a macro-function
(name (:macro-from environment)) — a macrolet that should be copied from an environment object (name (:macro-code)) — a macrolet, defined by literal macrolet code
(name (:macro-function-code)) — a macrolet, defined by the code to define the macro-function

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: wrap-tag-env ENTRIES FORM

Wrap a form to make sure all the tags listed in entries are defined

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

Function: wrap-variable-like-env ENTRIES FORM

Wrap a form using variable-like entries.
An entry can be:
(name nil) — not defined in this environment
(name (:plain)) — a let
(name (:macro expansion)) — a symbol-macro, defined by the expansion
(name (:macro-from environment)) — a symbol-macro to be copied from an environment

Package: agnostic-lizard
Source: env-wrappers.lisp (file)

5.2.4 Generic functions

Generic Function: debugger-hook-walker-function-marker OBJECT

Generic Function: (setf debugger-hook-walker-function-marker) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hook-walker-function-marker (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hook-walker-function-marker) NEW-VALUE (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hook-walker-lexenv-p OBJECT

Generic Function: (setf debugger-hook-walker-lexenv-p) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hook-walker-lexenv-p (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hook-walker-lexenv-p) NEW-VALUE (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hook-walker-pending-functions OBJECT

Generic Function: (setf debugger-hook-walker-pending-functions) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hook-walker-pending-functions (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hook-walker-pending-functions) NEW-VALUE (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hook-walker-pending-variables OBJECT

Generic Function: (setf debugger-hook-walker-pending-variables) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hook-walker-pending-variables (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hook-walker-pending-variables) NEW-VALUE (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: debugger-hook-walker-result-var OBJECT

Generic Function: (setf debugger-hook-walker-result-var) NEW-VALUE OBJECT

Package

Methods

Method: debugger-hook-walker-result-var (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated reader method

Source: debugger-hooks.lisp (file)

Method: (setf debugger-hook-walker-result-var) NEW-VALUE (DEBUGGER-HOOK-WALKER-ENV debugger-hook-walker-env)

automatically generated writer method

Source: debugger-hooks.lisp (file)

Generic Function: metaenv-add-block OBJ NAME

Add a block into the metaenv object.

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-add-block (OBJ metaenv) NAME

Method: metaenv-add-block OBJ NAME

Generic Function: metaenv-add-function-like-entry OBJ ENTRY

Add a function-like entry into the metaenv object.
The entry should follow the format described in wrap-function-like-env. The entry will shadow previously available entries with the same name.

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-add-function-like-entry (OBJ debugger-hook-walker-env) ENTRY

Source: debugger-hooks.lisp (file)

Method: metaenv-add-function-like-entry (OBJ metaenv) ENTRY

Method: metaenv-add-function-like-entry OBJ ENTRY

Generic Function: metaenv-add-tag OBJ NAME

Add a tag into the metaenv object.

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-add-tag (OBJ metaenv) NAME

Method: metaenv-add-tag OBJ NAME

Generic Function: metaenv-add-variable-like-entry OBJ ENTRY

Add a variable-like entry into the metaenv object.
The entry should follow the format described in wrap-variable-like-env. The entry will shadow previously available entries with the same name.

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-add-variable-like-entry (OBJ debugger-hook-walker-env) ENTRY

Source: debugger-hooks.lisp (file)

Method: metaenv-add-variable-like-entry (OBJ metaenv) ENTRY

Method: metaenv-add-variable-like-entry OBJ ENTRY

Generic Function: metaenv-create-macro OBJECT

Generic Function: (setf metaenv-create-macro) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-create-macro (MACRO-WALKER-METAENV macro-walker-metaenv)

Method: (setf metaenv-create-macro) NEW-VALUE (MACRO-WALKER-METAENV macro-walker-metaenv)

Whether to do expansion or just create a macro call that will be able to get proper environment

Source: metaenv.lisp (file)

Generic Function: metaenv-expand-lambda-expression DESIGNATOR ENV

Expand a lambda expression or a named-lambda expression

Package

Source

Methods

Method: metaenv-expand-lambda-expression DESIGNATOR (ENV debugger-hook-walker-env)

Source: debugger-hooks.lisp (file)

Method: metaenv-expand-lambda-expression DESIGNATOR ENV

Generic Function: metaenv-fallback-env OBJ

Query the fallback environment object from a metaenv object

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-fallback-env) (generic function)

Methods

Method: metaenv-fallback-env (METAENV metaenv): A slot for storing environment obtained via an &environment parameter

Method: metaenv-fallback-env OBJ

Generic Function: (setf metaenv-fallback-env) NEW-VALUE OBJECT

Package

Reader

metaenv-fallback-env (generic function)

Methods

Method: (setf metaenv-fallback-env) NEW-VALUE (METAENV metaenv)

A slot for storing environment obtained via an &environment parameter

Source: metaenv.lisp (file)

Generic Function: metaenv-macroexpand-1 FORM ENV

Do a single step of macroexpansion on the top level of form in the environment env

Package

Source

pure-expansion.lisp (file)

Methods

Method: metaenv-macroexpand-1 FORM (ENV macro-walker-metaenv)

Source: macro-based-walking.lisp (file)

Method: metaenv-macroexpand-1 X ENV

Generic Function: metaenv-macroexpand-all-special-form OPERATOR FORM ENV

A handler for dispatching macroexpand-all handling of special forms and some macros

Package

Source

pure-expansion.lisp (file)

Methods

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql cond)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql multiple-value-bind)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql handler-bind)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql labels)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql defmethod)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql defun)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql defmacro)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql flet)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql symbol-macrolet)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql macrolet)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql progv)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql load-time-value)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql locally)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql function)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql eval-when)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql the)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql return-from)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql go)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql quote)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql unwind-protect)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql multiple-value-call)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql multiple-value-prog1)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql catch)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql throw)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql progn)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql if)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql tagbody)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql setq)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql let*)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql let)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form (OPERATOR (eql block)) FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form OPERATOR FORM ENV

Source: special-form-handlers.lisp (file)

Method: metaenv-macroexpand-all-special-form OPERATOR FORM (ENV (eql nil))

Generic Function: metaenv-macroexpand-all-special-form-defun OPERATOR FORM ENV

Expand a form that is similar to defun

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-defun OPERATOR FORM (ENV debugger-hook-walker-env)

Source: debugger-hooks.lisp (file)

Method: metaenv-macroexpand-all-special-form-defun OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-flet OPERATOR FORM ENV

Expand a form similar to flet

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-flet OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-function OPERATOR FORM ENV

Expand a form similar to function

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-function OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-let OPERATOR FORM ENV

Expand a form that is similar to let

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-let OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-macrolet OPERATOR FORM ENV

Expand a form similar to macrolet

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-macrolet OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-progn OPERATOR FORM ENV

Expand a form similar to a funcall or to a progn

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-progn OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-all-special-form-the OPERATOR FORM ENV

Expand a special form similar to the

Package

Source

Methods

Method: metaenv-macroexpand-all-special-form-the OPERATOR FORM ENV

Generic Function: metaenv-macroexpand-lambdalist ENTRIES ENV SELF-VISIBLE WAIT-FOR-KEYWORD

Macroexpand assignments/default values in entries and destructively add the names to env

Package

Source

Methods

Method: metaenv-macroexpand-lambdalist (ENTRIES list) ENV SELF-VISIBLE WAIT-FOR-KEYWORD

Generic Function: metaenv-never-pass-fallback-env OBJ

Query whether the fallback environment object should never be passed to macroexpand-1

Package

Source

metaenv.lisp (file)

Writer

(setf metaenv-never-pass-fallback-env) (generic function)

Methods

Method: metaenv-never-pass-fallback-env (METAENV metaenv): A slot storing the policy switch for never passing the fallback env to macroexpand-1

Method: metaenv-never-pass-fallback-env OBJ

Generic Function: (setf metaenv-never-pass-fallback-env) NEW-VALUE OBJECT

Package

Reader

metaenv-never-pass-fallback-env (generic function)

Methods

Method: (setf metaenv-never-pass-fallback-env) NEW-VALUE (METAENV metaenv)

A slot storing the policy switch for never passing the fallback env to macroexpand-1

Source: metaenv.lisp (file)

Generic Function: metaenv-on-every-atom OBJECT

Generic Function: (setf metaenv-on-every-atom) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-every-atom (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-every-atom) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-every-form OBJECT

Generic Function: (setf metaenv-on-every-form) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-every-form (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-every-form) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-every-form-pre OBJECT

Generic Function: (setf metaenv-on-every-form-pre) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-every-form-pre (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-every-form-pre) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-function-form OBJECT

Generic Function: (setf metaenv-on-function-form) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-function-form (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-function-form) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-function-form-pre OBJECT

Generic Function: (setf metaenv-on-function-form-pre) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-function-form-pre (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-function-form-pre) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-macro-walker-create-macro OBJECT

Generic Function: (setf metaenv-on-macro-walker-create-macro) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-macro-walker-create-macro (MACRO-WALKER-METAENV macro-walker-metaenv)

Method: (setf metaenv-on-macro-walker-create-macro) NEW-VALUE (MACRO-WALKER-METAENV macro-walker-metaenv)

A handler invoked when macro-walker creates a new macro

Source: metaenv.lisp (file)

Generic Function: metaenv-on-macroexpanded-form OBJECT

Generic Function: (setf metaenv-on-macroexpanded-form) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-macroexpanded-form (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-macroexpanded-form) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-special-form OBJECT

Generic Function: (setf metaenv-on-special-form) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-special-form (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-special-form) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-on-special-form-pre OBJECT

Generic Function: (setf metaenv-on-special-form-pre) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-on-special-form-pre (WALKER-METAENV walker-metaenv)

automatically generated reader method

Source: metaenv.lisp (file)

Method: (setf metaenv-on-special-form-pre) NEW-VALUE (WALKER-METAENV walker-metaenv)

automatically generated writer method

Source: metaenv.lisp (file)

Generic Function: metaenv-recursive-label OBJECT

Generic Function: (setf metaenv-recursive-label) NEW-VALUE OBJECT

Package

Methods

Method: metaenv-recursive-label OBJ

Source: metaenv.lisp (file)

Method: metaenv-recursive-label (MACRO-WALKER-METAENV macro-walker-metaenv)

Method: (setf metaenv-recursive-label) NEW-VALUE (MACRO-WALKER-METAENV macro-walker-metaenv)

A label to distinguish the forms freshly created in relation to the current environment.

Source: metaenv.lisp (file)

Generic Function: metaenv-wrap-form OBJ FORM

Wrap the form into environment-setting wrappers corresponding to all the entries of obj.

Package

Source

metaenv.lisp (file)

Methods

Method: metaenv-wrap-form (OBJ debugger-hook-walker-env) FORM

Source: debugger-hooks.lisp (file)

Method: metaenv-wrap-form (OBJ metaenv) FORM

5.2.5 Classes

Class: debugger-hook-walker-env ()

Package

Source