Release 1.0

[fiveam.git] / t / tests.lisp

diff --git a/t/tests.lisp b/t/tests.lisp
index ac2a606..a5fec51 100644 (file)
--- a/t/tests.lisp
+++ b/t/tests.lisp
@@ -1,8 +1,8 @@
-;;;; -*- lisp -*-
+;;;; -*- Mode: Lisp; indent-tabs-mode: nil -*-
 
-(in-package :it.bese.FiveAM)
+(in-package :it.bese.fiveam)
 
-(in-suite :it.bese.FiveAM)
+(in-suite :it.bese.fiveam)
 
 (def-suite test-suite :description "Suite for tests which should fail.")
 
@@ -10,6 +10,10 @@
   `(let ((,results (with-*test-dribble* nil (run ',test-name))))
      ,@body))
 
+(rem-fixture 'null-fixture)
+(def-fixture null-fixture ()
+  `(progn ,@(&body)))
+
 ;;;; Test the checks
 
 (test (is1 :suite test-suite)
@@ -20,7 +24,7 @@
   (is-true t)
   (is-false nil))
 
-(test (is2 :suite test-suite)
+(test (is2 :suite test-suite :fixture null-fixture)
   (is (plusp 0))
   (is (< 0 -1))
   (is (not (plusp 1)))
@@ -28,7 +32,7 @@
   (is-true nil)
   (is-false t))
 
-(test is
+(test (is :profile t)
   (with-test-results (results is1)
     (is (= 6 (length results)))
     (is (every #'test-passed-p results)))
@@ -145,3 +149,109 @@
     (run 'circular-1))
   (signals circular-dependency
     (run 'circular-2)))
+
+
+(def-suite before-test-suite :description "Suite for before test")
+
+(test (before-0 :suite before-test-suite)
+  (pass))
+
+(test (before-1 :depends-on (:before before-0)
+                :suite before-test-suite)
+  (fail))
+
+(def-suite before-test-suite-2 :description "Suite for before test")
+
+(test (before-2 :depends-on (:before before-3)
+                :suite before-test-suite-2)
+  (pass))
+
+(test (before-3 :suite before-test-suite-2)
+  (pass))
+
+(test before
+  (with-test-results (results before-test-suite)
+    (is (some #'test-skipped-p results)))
+  
+  (with-test-results (results before-test-suite-2)
+    (is (every #'test-passed-p results))))
+
+
+;;;; dependencies with symbol
+(test (dep-with-symbol-first :suite test-suite)
+  (pass))
+
+(test (dep-with-symbol-dependencies-not-met :depends-on (not dep-with-symbol-first)
+                                            :suite test-suite)
+  (fail "Error in the test of the test, this should not ever happen"))
+
+(test (dep-with-symbol-depends-on-ok :depends-on dep-with-symbol-first :suite test-suite)
+  (pass))
+
+(test (dep-with-symbol-depends-on-failed-dependency :depends-on dep-with-symbol-dependencies-not-met
+                                                    :suite test-suite)
+  (fail "No, I should not be tested becuase I depend on a test that in its turn has a failed dependecy."))
+
+(test dependencies-with-symbol
+  (with-test-results (results dep-with-symbol-first)
+    (is (some #'test-passed-p results)))
+
+  (with-test-results (results dep-with-symbol-depends-on-ok)
+    (is (some #'test-passed-p results)))
+
+  (with-test-results (results dep-with-symbol-dependencies-not-met)
+    (is (some #'test-skipped-p results)))
+
+  ;; No failure here, because it means the test was run.
+  (with-test-results (results dep-with-symbol-depends-on-failed-dependency)
+    (is (not (some #'test-failure-p results)))))
+
+
+;;;; test for-all
+
+(test gen-integer
+  (for-all ((a (gen-integer)))
+    (is (integerp a))))
+
+(test for-all-guarded
+  (for-all ((less (gen-integer))
+            (more (gen-integer) (< less more)))
+    (is (< less more))))
+
+(test gen-float
+  (macrolet ((test-gen-float (type)
+               `(for-all ((unbounded (gen-float :type ',type))
+                          (bounded   (gen-float :type ',type :bound 42)))
+                  (is (typep unbounded ',type))
+                  (is (typep bounded ',type))
+                  (is (<= (abs bounded) 42)))))
+    (test-gen-float single-float)
+    (test-gen-float short-float)
+    (test-gen-float double-float)
+    (test-gen-float long-float)))
+
+(test gen-character
+  (for-all ((c (gen-character)))
+    (is (characterp c)))
+  (for-all ((c (gen-character :code (gen-integer :min 32 :max 40))))
+    (is (characterp c))
+    (member c (list #\Space #\! #\" #\# #\$ #\% #\& #\' #\())))
+
+(test gen-string
+  (for-all ((s (gen-string)))
+    (is (stringp s)))
+  (for-all ((s (gen-string :length (gen-integer :min 0 :max 2))))
+    (is (<= (length s) 2)))
+  (for-all ((s (gen-string :elements (gen-character :code (gen-integer :min 0 :max 0))
+                           :length (constantly 2))))
+    (is (= 2 (length s)))
+    (is (every (curry #'char= #\Null) s))))
+
+(defun dummy-mv-generator ()
+  (lambda ()
+    (list 1 1)))
+
+(test for-all-destructuring-bind
+  (for-all (((a b) (dummy-mv-generator)))
+    (is (= 1 a))
+    (is (= 1 b))))