2
;;;; Author: Paul Dietz
3
;;;; Created: Sun Jan 26 13:03:22 2003
4
;;;; Contains: Tests of type BIT-VECTOR
9
(notnot-mv (find-class 'bit-vector))
13
(notnot-mv (typep #* 'bit-vector))
17
(notnot-mv (typep #*00101 'bit-vector))
21
(typep #(0 1 1 1 0 0) 'bit-vector)
25
(typep "011100" 'bit-vector)
37
(typep nil 'bit-vector)
41
(typep 'x 'bit-vector)
44
(deftest bit-vector.10
45
(typep '(0 1 1 0) 'bit-vector)
48
(deftest bit-vector.11
49
(typep (make-array '(2 2) :element-type 'bit
54
(deftest bit-vector.12
55
(notnot-mv (typep #* '(bit-vector *)))
58
(deftest bit-vector.13
59
(notnot-mv (typep #*01101 '(bit-vector *)))
62
(deftest bit-vector.14
63
(notnot-mv (typep #* '(bit-vector 0)))
66
(deftest bit-vector.15
67
(typep #*01101 '(bit-vector 0))
70
(deftest bit-vector.16
71
(typep #* '(bit-vector 5))
74
(deftest bit-vector.17
75
(notnot-mv (typep #*01101 '(bit-vector 5)))
79
;;; Tests of typep on the class named bit-vector
81
(deftest bit-vector.class.2
82
(notnot-mv (typep #* (find-class 'bit-vector)))
85
(deftest bit-vector.class.3
86
(notnot-mv (typep #*00101 (find-class 'bit-vector)))
89
(deftest bit-vector.class.4
90
(typep #(0 1 1 1 0 0) (find-class 'bit-vector))
93
(deftest bit-vector.class.5
94
(typep "011100" (find-class 'bit-vector))
97
(deftest bit-vector.class.6
98
(typep 0 (find-class 'bit-vector))
101
(deftest bit-vector.class.7
102
(typep 1 (find-class 'bit-vector))
105
(deftest bit-vector.class.8
106
(typep nil (find-class 'bit-vector))
109
(deftest bit-vector.class.9
110
(typep 'x (find-class 'bit-vector))
113
(deftest bit-vector.class.10
114
(typep '(0 1 1 0) (find-class 'bit-vector))
117
(deftest bit-vector.class.11
118
(typep (make-array '(2 2) :element-type 'bit
120
(find-class 'bit-vector))