assert.lisp

   1 ;;;; -*- Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
   2 ;;;; *************************************************************************
   3 ;;;; FILE IDENTIFICATION
   4 ;;;;
   5 ;;;; ID:       $Id$
   6 ;;;; Purpose:  Assert functions for XLUnit
   7 ;;;;
   8 ;;;; *************************************************************************
   9
  10 (in-package #:xlunit)
  11
  12
  13 (define-condition assertion-failed (simple-condition)
  14   ((message :initform nil :initarg :message :accessor message))
  15   (:documentation "Base class for all test failures."))
  16
  17 (defmethod print-object ((obj assertion-failed) stream)
  18   (print-unreadable-object (obj stream :type t :identity nil)
  19     (apply #'format stream (simple-condition-format-control obj)
  20            (simple-condition-format-arguments obj))))
  21
  22 (defun failure-message (message &optional format-str &rest args)
  23   "Signal a test failure and exit the test."
  24   (signal 'assertion-failed :message message :format-control format-str
  25           :format-arguments args))
  26
  27 (defun failure (format-str &rest args)
  28   "Signal a test failure and exit the test."
  29   (apply #'failure-message nil format-str args))
  30
  31 (defun assert-equal (v1 v2 &optional message)
  32   (unless (equal v1 v2)
  33     (failure-message message "Assert equal: ~S ~S" v1 v2)))
  34
  35 (defun assert-eql (v1 v2 &optional message)
  36   (unless (eql v1 v2)
  37     (failure-message message "Assert equal: ~S ~S" v1 v2)))
  38
  39 (defun assert-not-eql (v1 v2 &optional message)
  40   (when (eql v1 v2)
  41     (failure-message message "Assert not eql: ~S ~S" v1 v2)))
  42
  43 (defmacro assert-true (v &optional message)
  44   `(unless ,v
  45     (failure-message ,message "Assert true: ~S" ',v)))
  46
  47 (defmacro assert-false (v &optional message)
  48   `(when ,v
  49      (failure-message ,message "Assert false: ~S" ',v)))
  50
  51 (defmacro assert-condition (condition form &optional message)
  52   (let ((cond (gensym "COND-")))
  53     `(handler-case
  54          (progn
  55            ,form
  56            (values))
  57        (t (,cond)
  58          (when (and (typep ,cond 'serious-condition)
  59                     (not (typep ,cond ,condition)))
  60            (failure-message
  61             ,message
  62             "Assert condition ~A, but signaled condition ~A"
  63             ,condition ,cond)))
  64        (:no-error ()
  65          (failure-message ,message
  66                           "Assert condition ~A, but no condition signaled"
  67                           ,condition)))))
  68
  69 (defmacro assert-not-condition (condition form &optional message)
  70   (let ((cond (gensym "COND-")))
  71     `(handler-case
  72          (progn
  73            ,form
  74            (values))
  75        (serious-condition (,cond)
  76          (unless (typep ,cond ,condition)
  77            (failure-message ,message "Assert not condition ~A"
  78                             ,condition))))))