From 9ae3feebbea74829b0de2c464bd34c16fe4e9d20 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Tue, 12 Apr 2011 21:20:14 -0400 Subject: [PATCH] Moved the change log to its own file and added an entry mentioning its move to github. --- ChangeLog | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ dbc.lisp | 56 ------------------------------------------------------- 2 files changed, 55 insertions(+), 56 deletions(-) create mode 100644 ChangeLog diff --git a/ChangeLog b/ChangeLog new file mode 100644 index 0000000..906ff9d --- /dev/null +++ b/ChangeLog @@ -0,0 +1,55 @@ +2011-04-12 Greg Pfeil + * Moved project to github. All new changes can be seen in the revision history. + +1999-08-03 Matthias Hoelzl + * Removed the possibility to add a contract-specification-string + to pre- and postconditions for acl5 compatibility. + * Improved the output for pre- and postconditions without + descriptions. + +1998-10-14 Matthias Hoelzl + * Fixed the qualifiers to use dotted lists as required by the + standard (thanks to Douglas Thomas Crosher for setting me + straight on this). + * Disabled the keyword arguments for PCL based implementations + so that the code compiles on them. + +1998-10-13 Matthias Hoelzl + * Contract checks can now be disabled for each generic function + with the keyword arguments :precondition-check, + :postcondition-check and :invariant-check to the + :method-combination argument. Unfortunately this breaks on + PCL-based implementations. + +1998-10-12 Matthias Hoelzl + * Defined error classes so that contract violations can be + recognized and caught. + * Changed method combination type to allow descriptions + of the contract which are stored in the condition that + is signalled when the contract is violated. + * Changed defclass to allow :invariant functions to be + preceeded by a descriptive string. + * Features :dbc-precondition-checks, :dbc-postcondition-checks + and :dbc-invariant-checks must be present for the checks to + be enabled at compile time. + * `define-slot-accessor-invariants' takes additional + description argument. + * `getf-and-remove' now returns the cdar of the found pair as + first argument and not the cadar. + +1998-10-11 Matthias Hoelzl + * Added default method for `check-invariant'. + * Removed `(ensure-generic-function 'check-invariant)' from + `define-check-invariant-method'. + * Changed method combination type of `check-invariant' to + standard method combination. + +1998-10-11 Rainer Joswig + * Added package definition. + * Added MCL patches. + +1998-10-07 Matthias Hoelzl + * Initial version. + * Changed handling of pre-/postconditions and invariants to + match Eiffel's behavior more closely. Errors are now signalled + by the method combination. diff --git a/dbc.lisp b/dbc.lisp index d89c7e8..2a57633 100644 --- a/dbc.lisp +++ b/dbc.lisp @@ -82,62 +82,6 @@ ;;; Have fun, ;;; Matthias - -;;; Change Log. -;;; ========== -;;; -;;; 1999-08-03 Matthias Hoelzl -;;; * Removed the possibility to add a contract-specification-string -;;; to pre- and postconditions for acl5 compatibility. -;;; * Improved the output for pre- and postconditions without -;;; descriptions. -;;; 1998-10-14 Matthias Hoelzl -;;; * Fixed the qualifiers to use dotted lists as required by the -;;; standard (thanks to Douglas Thomas Crosher for setting me -;;; straight on this). -;;; * Disabled the keyword arguments for PCL based implementations -;;; so that the code compiles on them. -;;; -;;; 1998-10-13 Matthias Hoelzl -;;; * Contract checks can now be disabled for each generic function -;;; with the keyword arguments :precondition-check, -;;; :postcondition-check and :invariant-check to the -;;; :method-combination argument. Unfortunately this breaks on -;;; PCL-based implementations. -;;; -;;; 1998-10-12 Matthias Hoelzl -;;; * Defined error classes so that contract violations can be -;;; recognized and caught. -;;; * Changed method combination type to allow descriptions -;;; of the contract which are stored in the condition that -;;; is signalled when the contract is violated. -;;; * Changed defclass to allow :invariant functions to be -;;; preceeded by a descriptive string. -;;; * Features :dbc-precondition-checks, :dbc-postcondition-checks -;;; and :dbc-invariant-checks must be present for the checks to -;;; be enabled at compile time. -;;; * `define-slot-accessor-invariants' takes additional -;;; description argument. -;;; * `getf-and-remove' now returns the cdar of the found pair as -;;; first argument and not the cadar. -;;; -;;; 1998-10-11 Matthias Hoelzl -;;; * Added default method for `check-invariant'. -;;; * Removed `(ensure-generic-function 'check-invariant)' from -;;; `define-check-invariant-method'. -;;; * Changed method combination type of `check-invariant' to -;;; standard method combination. -;;; -;;; 1998-10-11 Rainer Joswig -;;; * Added package definition. -;;; * Added MCL patches. -;;; -;;; 1998-10-07 Matthias Hoelzl -;;; * Initial version. -;;; * Changed handling of pre-/postconditions and invariants to -;;; match Eiffel's behavior more closely. Errors are now signalled -;;; by the method combination. - (cl:defpackage "DESIGN-BY-CONTRACT" (:use "COMMON-LISP") (:nicknames "DBC")