From: Thomas M. Hermann <thomas.m.hermann@odonata-research.com>
Date: Fri, 14 Dec 2012 23:09:47 +0000 (-0600)
Subject: Examples of using tags.
X-Git-Tag: 0.9.4~7
X-Git-Url: https://repo.or.cz/w/lisp-unit.git/commitdiff_plain/74c0e3ed82d8d90087a0b9060636fab62fc2b9f4

Examples of using tags.
---

diff --git a/internal-test/example-tests.lisp b/internal-test/example-tests.lisp
index 1bb1f37..448c1f4 100644
--- a/internal-test/example-tests.lisp
+++ b/internal-test/example-tests.lisp
@@ -56,3 +56,83 @@
 (define-test my-sqrt
   (dotimes (i 5)
     (assert-equal i (my-sqrt (* i i)) i)))
+
+;;; Tags
+
+(defun add-integer (integer1 integer2)
+  "Add 2 integer numbers"
+  (check-type integer1 integer)
+  (check-type integer2 integer)
+  (+ integer1 integer2))
+
+(defun subtract-integer (integer1 integer2)
+  "Subtract 2 integer numbers"
+  (check-type integer1 integer)
+  (check-type integer2 integer)
+  (- integer1 integer2))
+
+(define-test add-integer
+  "Test add-integer for values and errors."
+  (:tag :add :integer)
+  (assert-eql 3 (add-integer 1 2))
+  (assert-error 'type-error (add-integer 1.0 2))
+  (assert-error 'type-error (add-integer 1 2.0)))
+
+(define-test subtract-integer
+  "Test subtract-integer for values and errors."
+  (:tag :subtract :integer)
+  (assert-eql 1 (subtract-integer 3 2))
+  (assert-error 'type-error (subtract-integer 3.0 2))
+  (assert-error 'type-error (subtract-integer 2 3.0)))
+
+(defun add-float (float1 float2)
+  "Add 2 floating point numbers"
+  (check-type float1 float)
+  (check-type float2 float)
+  (+ float1 float2))
+
+(defun subtract-float (float1 float2)
+  "Subtract 2 floating point numbers"
+  (check-type float1 float)
+  (check-type float2 float)
+  (- float1 float2))
+
+(define-test add-float
+  "Test add-float for values and errors."
+  (:tag :add :float)
+  (assert-eql 3.0 (add-float 1.0 2.0))
+  (assert-error 'type-error (add-float 1.0 2))
+  (assert-error 'type-error (add-float 1 2.0)))
+
+(define-test subtract-float
+  "Test subtract-float for values and errors."
+  (:tag :subtract :float)
+  (assert-eql 1.0 (subtract-float 3.0 2.0))
+  (assert-error 'type-error (subtract-float 3.0 2))
+  (assert-error 'type-error (subtract-float 2 3.0)))
+
+(defun add-complex (complex1 complex2)
+  "Add 2 complex numbers"
+  (check-type complex1 complex)
+  (check-type complex2 complex)
+  (+ complex1 complex2))
+
+(defun subtract-complex (complex1 complex2)
+  "Subtract 2 complex numbers"
+  (check-type complex1 complex)
+  (check-type complex2 complex)
+  (- complex1 complex2))
+
+(define-test add-complex
+  "Test add-complex for values and errors."
+  (:tag :add :complex)
+  (assert-eql #C(3 5) (add-complex #C(1 2) #C(2 3)))
+  (assert-error 'type-error (add-integer #C(1 2) 3))
+  (assert-error 'type-error (add-integer 1 #C(2 3))))
+
+(define-test subtract-complex
+  "Test subtract-complex for values and errors."
+  (:tag :subtract :complex)
+  (assert-eql #C(1 2) (subtract-complex #C(3 5) #C(2 3)))
+  (assert-error 'type-error (subtract-integer #C(3 5) 2))
+  (assert-error 'type-error (subtract-integer 2 #C(2 3))))