r6298: convert .cvsignore to svn:ignore properties

[xlunit.git] / assert.lisp

diff --git a/assert.lisp b/assert.lisp
index 8307e2fbfd82cb68ab5824e4f81cdaffd7a3fcd7..e2d7356d537653937a544727bf1c4885ad2b8018 100644 (file)
--- a/assert.lisp
+++ b/assert.lisp
@@ -2,42 +2,77 @@
 ;;;; *************************************************************************
 ;;;; FILE IDENTIFICATION
 ;;;;
-;;;; Name:     assert.lisp
+;;;; ID:       $Id: assert.lisp,v 1.10 2003/08/10 07:39:33 kevin Exp $
 ;;;; Purpose:  Assert functions for XLUnit
-;;;; Author:   Kevin Rosenberg
 ;;;;
-;;;; $Id: assert.lisp,v 1.1 2003/08/04 12:01:54 kevin Exp $
 ;;;; *************************************************************************
 
 (in-package #:xlunit)
 
 
-;;; Assertions
-
-(define-condition test-failure-condition (simple-condition) 
-  ((msg :initform nil :initarg :msg :accessor msg))
+(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))))
 
-(defun failure (format-str &rest args)
+(defun failure-message (message &optional format-str &rest args)
   "Signal a test failure and exit the test."
-  (signal 'test-failure-condition
-         :format-control format-str
+  (signal 'assertion-failed :message message :format-control format-str
          :format-arguments args))
 
-(defmacro test-assert (test &optional msg)
-  `(unless ,test
-    (failure "Test assertion: ~s" ',test)))
+(defun failure (format-str &rest args)
+  "Signal a test failure and exit the test."
+  (apply #'failure-message nil format-str args))
 
-(defun assert-equal (v1 v2 &optional msg)
+(defun assert-equal (v1 v2 &optional message)
   (unless (equal v1 v2)
-    (failure "Test equal: ~s ~s" v1 v2)))
+    (failure-message message "Assert equal: ~S ~S" v1 v2)))
+
+(defun assert-eql (v1 v2 &optional message)
+  (unless (eql v1 v2)
+    (failure-message message "Assert equal: ~S ~S" v1 v2)))
+
+(defun assert-not-eql (v1 v2 &optional message)
+  (when (eql v1 v2)
+    (failure-message message "Assert not eql: ~S ~S" v1 v2)))
+
+(defmacro assert-true (v &optional message)
+  `(unless ,v
+    (failure-message ,message "Assert true: ~S" ',v)))
 
-(defun assert-true (v &optional msg)
-  (unless v
-    (failure "Test true: ~s [~A]" v (if msg msg ""))))
+(defmacro assert-false (v &optional message)
+  `(when ,v
+     (failure-message ,message "Assert false: ~S" ',v)))
 
-(defun assert-false (v &optional msg)
-  (when v
-    (failure "Test false ~A" (if msg msg ""))))
+(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))))))