Common Lisp Package: DEFCONTRACT

DefContract API enforcement system

README:

FUNCTION

Private

Undocumented

GENERATE-CONSEQUENCE (OPTIONS STRING-OR-CLASS &REST ARGS)

MACRO

Public

Undocumented

APPLY-CONTRACT (NAME &REST KEYVALS &KEY &ALLOW-OTHER-KEYS)

DEF-CONTRACT ((NAME &REST ARG-SPECS) OPTIONS &BODY FORMS)

Private

Undocumented

NAMED-FUNCTION (NAME LAMBDA-EXPRESSION)

GENERIC-FUNCTION

Private

Undocumented

GENERATE-CLAUSE-CODE (TAG CLAUSE-ARGS KEYARG-DEFS CONTRACT-OPTS)

RUN-CONTRACT-ENFORCEMENT (CONTRACT &ALLOW-OTHER-KEYS)