blob: 0a72a29b44561d72ed1b17475ecbaecf22d83bf6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
;; Copyright (c) Frantisek Sodomka. All rights reserved. The use and
;; distribution terms for this software are covered by the Eclipse Public
;; License 1.0 (http://opensource.org/licenses/eclipse-1.0.php) which can
;; be found in the file epl-v10.html at the root of this distribution. By
;; using this software in any fashion, you are agreeing to be bound by the
;; terms of this license. You must not remove this notice, or any other,
;; from this software.
;;
;; Created 1/28/2009
(ns clojure.contrib.test-clojure.predicates
(:use clojure.contrib.test-is))
;; *** Type predicates ***
(def myvar 42)
(def sample-data {
:nil nil
:bool-true true
:bool-false false
:byte (byte 7)
:short (short 7)
:int (int 7)
:long (long 7)
:bigint (bigint 7)
:float (float 7)
:double (double 7)
:bigdec (bigdec 7)
:ratio 2/3
:character \a
:symbol 'abc
:keyword :kw
:empty-string ""
:empty-regex #""
:empty-list ()
:empty-vector []
:empty-map {}
:empty-set #{}
:empty-array (into-array [])
:string "abc"
:regex #"a*b"
:list '(1 2 3)
:vector [1 2 3]
:map {:a 1 :b 2 :c 3}
:set #{1 2 3}
:array (into-array [1 2 3])
:fn (fn [x] (* 2 x))
:class java.util.Date
:object (new java.util.Date)
:var (var myvar)
:delay (delay (+ 1 2))
})
(def type-preds {
nil? [:nil]
true? [:bool-true]
false? [:bool-false]
; boolean?
integer? [:byte :short :int :long :bigint]
float? [:float :double]
decimal? [:bigdec]
ratio? [:ratio]
rational? [:byte :short :int :long :bigint :ratio :bigdec]
number? [:byte :short :int :long :bigint :ratio :bigdec :float :double]
; character?
symbol? [:symbol]
keyword? [:keyword]
string? [:empty-string :string]
; regex?
list? [:empty-list :list]
vector? [:empty-vector :vector]
map? [:empty-map :map]
set? [:empty-set :set]
coll? [:empty-list :list
:empty-vector :vector
:empty-map :map
:empty-set :set]
seq? [:list]
; array?
fn? [:fn]
ifn? [:fn
:empty-vector :vector :empty-map :map :empty-set :set
:keyword :symbol :var]
class? [:class]
var? [:var]
delay? [:delay]
})
;; Test all type predicates against all data types
;;
(deftest test-type-preds
(doseq [tp type-preds]
(doseq [dt sample-data]
(if (some #(= % (first dt)) (second tp))
(is ((first tp) (second dt))
(pr-str (list (first tp) (second dt))))
(is (not ((first tp) (second dt)))
(pr-str (list 'not (list (first tp) (second dt)))))))))
;; Additional tests:
;; http://groups.google.com/group/clojure/browse_thread/thread/537761a06edb4b06/bfd4f0705b746a38
;;
(deftest test-string?-more
(are (not (string? _))
(new java.lang.StringBuilder "abc")
(new java.lang.StringBuffer "xyz")))
|
