Common Lisp Package: QUID-PRO-QUO-TEST

README:

FUNCTION

Private

Undocumented

ADD (&REST ADDENDS)

FAIL-INVARIANT (M)

GENERIC-FUNCTION

Public

Undocumented

TEST-QPQ (M N)

Private

Undocumented

TEST-QPQ-/ (ARG1 ARG2)

SLOT-ACCESSOR

Private

MY-SLOT (BAR)

requires: * T guarantees: * T

Undocumented

ANOTHER-SLOT (OBJECT)

SETFANOTHER-SLOT (NEW-VALUE OBJECT)

FOO (OBJECT)

SETFFOO (NEW-VALUE OBJECT)

SETFMY-SLOT (NEW-VALUE OBJECT)

SLOT1 (OBJECT)

SETFSLOT1 (NEW-VALUE OBJECT)

SLOT2 (OBJECT)

SETFSLOT2 (NEW-VALUE OBJECT)

YET-ANOTHER-SLOT (OBJECT)

SETFYET-ANOTHER-SLOT (NEW-VALUE OBJECT)

YOUR-SLOT (OBJECT)

SETFYOUR-SLOT (NEW-VALUE OBJECT)

CLASS

Private

BAR

contract: * T * T

BAR-2

contract: * T * T

FOO (OBJECT)

contract: * T

TEST-1

contract: * Invariant of test * (< (SLOT-VALUE INSTANCE 'MY-SLOT) 4)

TEST-2

contract: * Test-2 invariant * Invariant of test * (< (SLOT-VALUE INSTANCE 'MY-SLOT) 4)

Undocumented

CONTRACTED-SUBCLASS

FEATURE-TEST

FEATURE-TEST-2

FUNCTION-INVARIANT-TEST

NON-CONTRACTED-SUPERCLASS