The strict-function Reference Manual

3.1.1 strict-function/strict-function.asd

Source

strict-function.asd.

Parent Component

strict-function (system).

ASDF Systems

strict-function.

---

3.1.2 strict-function/strict-function.lisp

Source

strict-function.asd.

Parent Component

strict-function (system).

Packages

strict-function.

Public Interface

• clear-unexpected-conditions (function).
• collect-unexpected-conditions (function).
• define-strict-function (macro).
• strict-function-error (condition).
• strict-invalid-input (condition).
• strict-invalid-multivalued-number (condition).
• strict-invalid-output (condition).
• strict-unexpected-condition-error-actual-condition (reader method).
• strict-unexpected-condition-error-expected-conditions (reader method).
• strict-unexpected-condition-error-expected-function-name (reader method).

Internals

• *unexpected-condition-error-occurred-functions* (special variable).
• concreate-check-types (function).
• construct-body (function).
• construct-check-conditions-form (function).
• construct-check-outputs (function).
• construct-rebind-parameters (function).
• lambda-list-keyword-p (function).
• make-nth-functions (function).
• mapping-lambda-list-parameters-to-types (function).
• parse-inputs (function).
• parse-param (function).
• reform-lambda-list (function).
• strict-invalid-input-var (reader method).
• strict-invalid-multivalued-number-actual-values (reader method).
• strict-invalid-multivalued-number-expected-nth-values (reader method).
• strict-type-error (condition).
• strict-type-error-expected-type (reader method).
• strict-type-error-value (reader method).
• strict-unexpected-condition-error (condition).
• validate-conditions (function).
• validate-input (function).
• validate-multiple-outputs (macro).
• validate-number-of-outputs (function).
• validate-outputs (function).

---

5.1.1 Macros

Macro: define-strict-function (function-name (&key inputs outputs conditions use-supplied-vars) &body body) ¶

Package

strict-function.

Source

strict-function.lisp.

---

5.1.2 Ordinary functions

Function: clear-unexpected-conditions () ¶

Package

strict-function.

Source

strict-function.lisp.

Function: collect-unexpected-conditions (&optional function-name) ¶

Package

strict-function.

Source

strict-function.lisp.

---

5.1.3 Generic functions

Generic Reader: strict-unexpected-condition-error-actual-condition (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-unexpected-condition-error-actual-condition ((condition strict-unexpected-condition-error)) ¶

Source

strict-function.lisp.

Target Slot

actual-condition.

Generic Reader: strict-unexpected-condition-error-expected-conditions (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-unexpected-condition-error-expected-conditions ((condition strict-unexpected-condition-error)) ¶

Source

strict-function.lisp.

Target Slot

expected-conditions.

Generic Reader: strict-unexpected-condition-error-expected-function-name (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-unexpected-condition-error-expected-function-name ((condition strict-unexpected-condition-error)) ¶

Source

strict-function.lisp.

Target Slot

function-name.

---

5.1.4 Conditions

Condition: strict-function-error ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

simple-error.

Direct subclasses

• strict-invalid-multivalued-number.
• strict-type-error.
• strict-unexpected-condition-error.

Condition: strict-invalid-input ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

strict-type-error.

Direct methods

strict-invalid-input-var.

Direct slots

Slot: var ¶

Initargs

:var

Readers

strict-invalid-input-var.

Writers

This slot is read-only.

Condition: strict-invalid-multivalued-number ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

strict-function-error.

Direct methods

• strict-invalid-multivalued-number-actual-values.
• strict-invalid-multivalued-number-expected-nth-values.

Direct slots

Slot: expected-nth-values ¶

Initargs

:expected-nth-values

Readers

strict-invalid-multivalued-number-expected-nth-values.

Writers

This slot is read-only.

Slot: actual-values ¶

Initargs

:actual-values

Readers

strict-invalid-multivalued-number-actual-values.

Writers

This slot is read-only.

Condition: strict-invalid-output ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

strict-type-error.

---

5.2.1 Special variables

Special Variable: *unexpected-condition-error-occurred-functions* ¶

Package

strict-function.

Source

strict-function.lisp.

---

5.2.2 Macros

Macro: validate-multiple-outputs (body types) ¶

Package

strict-function.

Source

strict-function.lisp.

---

5.2.3 Ordinary functions

Function: concreate-check-types (param-type-pairs supplied-pairs) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: construct-body (function-name param-type-pairs body-decls body outputs outputs-specified-p conditions) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: construct-check-conditions-form (conditions body function-name) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: construct-check-outputs (body outputs outputs-specified-p) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: construct-rebind-parameters (param-type-pairs body-decls body) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: lambda-list-keyword-p (x) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: make-nth-functions (n) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: mapping-lambda-list-parameters-to-types (lambda-list param-types) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: parse-inputs (inputs) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: parse-param (param) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: reform-lambda-list (lambda-list use-supplied-vars) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: validate-conditions (actual-condition expected-conditions function-name) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: validate-input (var value type) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: validate-number-of-outputs (values n) ¶

Package

strict-function.

Source

strict-function.lisp.

Function: validate-outputs (result outputs) ¶

Package

strict-function.

Source

strict-function.lisp.

---

5.2.4 Generic functions

Generic Reader: strict-invalid-input-var (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-invalid-input-var ((condition strict-invalid-input)) ¶

Source

strict-function.lisp.

Target Slot

var.

Generic Reader: strict-invalid-multivalued-number-actual-values (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-invalid-multivalued-number-actual-values ((condition strict-invalid-multivalued-number)) ¶

Source

strict-function.lisp.

Target Slot

actual-values.

Generic Reader: strict-invalid-multivalued-number-expected-nth-values (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-invalid-multivalued-number-expected-nth-values ((condition strict-invalid-multivalued-number)) ¶

Source

strict-function.lisp.

Target Slot

expected-nth-values.

Generic Reader: strict-type-error-expected-type (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-type-error-expected-type ((condition strict-type-error)) ¶

Source

strict-function.lisp.

Target Slot

expected-type.

Generic Reader: strict-type-error-value (condition) ¶

Package

strict-function.

Methods

Reader Method: strict-type-error-value ((condition strict-type-error)) ¶

Source

strict-function.lisp.

Target Slot

value.

---

5.2.5 Conditions

Condition: strict-type-error ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

strict-function-error.

Direct subclasses

• strict-invalid-input.
• strict-invalid-output.

Direct methods

• strict-type-error-expected-type.
• strict-type-error-value.

Direct slots

Slot: expected-type ¶

Initargs

:expected-type

Readers

strict-type-error-expected-type.

Writers

This slot is read-only.

Slot: value ¶

Initargs

:value

Readers

strict-type-error-value.

Writers

This slot is read-only.

Condition: strict-unexpected-condition-error ¶

Package

strict-function.

Source

strict-function.lisp.

Direct superclasses

strict-function-error.

Direct methods

• strict-unexpected-condition-error-actual-condition.
• strict-unexpected-condition-error-expected-conditions.
• strict-unexpected-condition-error-expected-function-name.

Direct slots

Slot: function-name ¶

Initargs

:function-name

Readers

strict-unexpected-condition-error-expected-function-name.

Writers

This slot is read-only.

Slot: expected-conditions ¶

Initargs

:expected-conditions

Readers

strict-unexpected-condition-error-expected-conditions.

Writers

This slot is read-only.

Slot: actual-condition ¶

Initargs

:actual-condition

Readers

strict-unexpected-condition-error-actual-condition.

Writers

This slot is read-only.

Slot: backtrace ¶

Initargs

:backtrace

---