X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=assert.lisp;h=ec82b4c13353947dd9bf61cb0f0203c51a370454;hb=397f109a8555632fc0ff777d6be05b171d1e3c22;hp=25db1e5e3ca93d8ab70392aeef29e8e4f4a6d237;hpb=3d99efdf0959b199cc4b2e020c7692f650094f73;p=xlunit.git diff --git a/assert.lisp b/assert.lisp index 25db1e5..ec82b4c 100644 --- a/assert.lisp +++ b/assert.lisp @@ -2,7 +2,7 @@ ;;;; ************************************************************************* ;;;; FILE IDENTIFICATION ;;;; -;;;; ID: $Id: assert.lisp,v 1.6 2003/08/05 22:56:25 kevin Exp $ +;;;; ID: $Id$ ;;;; Purpose: Assert functions for XLUnit ;;;; ;;;; ************************************************************************* @@ -10,19 +10,19 @@ (in-package #:xlunit) -(define-condition assertion-failed (simple-condition) +(define-condition assertion-failed (simple-condition) ((message :initform nil :initarg :message :accessor message)) (:documentation "Base class for all test failures.")) (defmethod print-object ((obj assertion-failed) stream) (print-unreadable-object (obj stream :type t :identity nil) (apply #'format stream (simple-condition-format-control obj) - (simple-condition-format-arguments obj)))) + (simple-condition-format-arguments obj)))) (defun failure-message (message &optional format-str &rest args) "Signal a test failure and exit the test." (signal 'assertion-failed :message message :format-control format-str - :format-arguments args)) + :format-arguments args)) (defun failure (format-str &rest args) "Signal a test failure and exit the test." @@ -34,7 +34,7 @@ (defun assert-eql (v1 v2 &optional message) (unless (eql v1 v2) - (failure-message message "Assert eql: ~S ~S" v1 v2))) + (failure-message message "Assert equal: ~S ~S" v1 v2))) (defun assert-not-eql (v1 v2 &optional message) (when (eql v1 v2) @@ -47,3 +47,32 @@ (defmacro assert-false (v &optional message) `(when ,v (failure-message ,message "Assert false: ~S" ',v))) + +(defmacro assert-condition (condition form &optional message) + (let ((cond (gensym "COND-"))) + `(handler-case + (progn + ,form + (values)) + (t (,cond) + (when (and (typep ,cond 'serious-condition) + (not (typep ,cond ,condition))) + (failure-message + ,message + "Assert condition ~A, but signaled condition ~A" + ,condition ,cond))) + (:no-error () + (failure-message ,message + "Assert condition ~A, but no condition signaled" + ,condition))))) + +(defmacro assert-not-condition (condition form &optional message) + (let ((cond (gensym "COND-"))) + `(handler-case + (progn + ,form + (values)) + (serious-condition (,cond) + (unless (typep ,cond ,condition) + (failure-message ,message "Assert not condition ~A" + ,condition))))))