Next: , Previous: build-declarations, Up: API

check-declaration-env

Syntax

— Macro: check-declaration-env place &key unknown-allowed warn-only ⇒ declaration-env

Arguments and Values

place
A place which contains a declaration-env.
unknown-allowed
A boolean.
warn-only
A boolean.
declaration-env
A declaration-env.

Description

Checks that place is a declaration-env with certain properties.

If unknown-allowed is NIL, and declaration-env contains unknown declaration specifiers, an continuable error is signalled. If the CONTINUE restart is invoked, place is set to an declaration-env with all the unknown declaration specifiers filtered away.

If warn-only is true, warnings instead of errors are signalled, and check-declaration-env behaves as if the CONTINUE restart was invoked.

Exceptional Situations

Signals an error of type TYPE-ERROR if declaration-env is not a declaration-env.

Signals continuable errors, or warnings, under the circumstances described above.

See Also

filter-declaration-env