plt/check-info-test.ss
;;;
;;; <check-util-test.ss> ---- Tests for check-util
;;; Time-stamp: <2007-04-04 11:28:59 noel>
;;;
;;; Copyright (C) 2003 by Noel Welsh.
;;;
;;; This file is part of SchemeUnit.

;;; SchemeUnit is free software; you can redistribute it and/or
;;; modify it under the terms of the GNU Lesser General Public
;;; License as published by the Free Software Foundation; either
;;; version 2.1 of the License, or (at your option) any later version.

;;; SchemeUnitis distributed in the hope that it will be useful,
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
;;; Lesser General Public License for more details.

;;; You should have received a copy of the GNU Lesser General Public
;;; License along with SchemeUnit; if not, write to the Free Software
;;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307  USA

;;; Author: Noel Welsh <noelwelsh@yahoo.com>
;;
;;
;; Commentary:

(module check-info-test mzscheme

  (require "test.ss"
           "check-info.ss")

  (provide check-info-tests)

  (define check-info-tests
    (test-suite "All check-info tests"
      (test-case
       "with-check-info stores value in lexical order"
       (let ((stack (with-check-info
                     (('1 1)
                      ('2 2)
                      ('3 3))
                     (check-stack))))
         (for-each (lambda (actual expected)
                     (check-eq? (check-info-name actual)
                                 expected))
                   stack
                   (list '1 '2 '3))))

      (test-case
       "Nested uses of with-check-info store values in lexical order"
       (let ((stack (with-check-info
                     (('1 1)
                      ('2 2)
                      ('3 3))
                     (with-check-info
                      (('4 4)
                       ('5 5)
                       ('6 6))
                      (check-stack)))))
         (for-each (lambda (actual expected)
                     (check-eq? (check-info-name actual)
                                 expected))
                   stack
                   (list '1 '2 '3 '4 '5 '6))))

      (test-case
       "check-actual? and check-expected? work"
       (check-true (check-actual? (make-check-actual 1)))
       (check-true (check-expected? (make-check-expected 1)))
       (check-false (check-expected? (make-check-actual 1)))
       (check-false (check-expected? (make-check-actual 1))))

      (test-case
       "make-check-actual and make-check-expected store param"
       (check-equal? (check-info-value (make-check-actual 1)) 1)
       (check-equal? (check-info-value (make-check-expected 2)) 2))
      
      ))
  
  )

;;; check-util-test.ss ends here