126 |
(deftest vector.type.30 |
(deftest vector.type.30 |
127 |
(typep "abcde" '(vector t *)) |
(typep "abcde" '(vector t *)) |
128 |
nil) |
nil) |
129 |
|
|
130 |
|
(deftest vector.type.31 |
131 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
132 |
|
(notnot-mv (typep s '(vector base-char)))) |
133 |
|
t) |
134 |
|
|
135 |
|
(deftest vector.type.32 |
136 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
137 |
|
(notnot-mv (typep s '(vector base-char 3)))) |
138 |
|
t) |
139 |
|
|
140 |
|
(deftest vector.type.33 |
141 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
142 |
|
(typep s '(vector base-char 2))) |
143 |
|
nil) |
144 |
|
|
145 |
|
(deftest vector.type.34 |
146 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
147 |
|
(typep s '(vector base-char 4))) |
148 |
|
nil) |
149 |
|
|
150 |
|
(deftest vector.type.35 |
151 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
152 |
|
(notnot-mv (typep s 'vector))) |
153 |
|
t) |
154 |
|
|
155 |
|
(deftest vector.type.36 |
156 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
157 |
|
(notnot-mv (typep s '(vector *)))) |
158 |
|
t) |
159 |
|
|
160 |
|
(deftest vector.type.37 |
161 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
162 |
|
(notnot-mv (typep s '(vector * 3)))) |
163 |
|
t) |
164 |
|
|
165 |
|
(deftest vector.type.38 |
166 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
167 |
|
(notnot-mv (typep s '(vector * *)))) |
168 |
|
t) |
169 |
|
|
170 |
|
(deftest vector.type.39 |
171 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
172 |
|
(typep s '(vector t))) |
173 |
|
nil) |
174 |
|
|
175 |
|
(deftest vector.type.40 |
176 |
|
(let ((s (coerce "abc" 'simple-base-string))) |
177 |
|
(typep s '(vector t *))) |
178 |
|
nil) |
179 |
|
|
180 |
|
;;;; Tests of the function VECTOR |
181 |
|
|
182 |
|
(deftest vector.1 |
183 |
|
(vector) |
184 |
|
#()) |
185 |
|
|
186 |
|
(deftest vector.2 |
187 |
|
(vector 1 2 3) |
188 |
|
#(1 2 3)) |
189 |
|
|
190 |
|
(deftest vector.3 |
191 |
|
(let* ((len (min 1000 (1- call-arguments-limit))) |
192 |
|
(args (make-int-list len)) |
193 |
|
(v (apply #'vector args))) |
194 |
|
(and |
195 |
|
(typep v '(vector t)) |
196 |
|
(typep v '(vector t *)) |
197 |
|
(typep v `(vector t ,len)) |
198 |
|
(typep v 'simple-vector) |
199 |
|
(typep v `(simple-vector ,len)) |
200 |
|
(eql (length v) len) |
201 |
|
(loop for i from 0 |
202 |
|
for e across v |
203 |
|
always (eql i e)) |
204 |
|
t)) |
205 |
|
t) |
206 |
|
|
207 |
|
(deftest vector.4 |
208 |
|
(notnot-mv (typep (vector) '(vector t 0))) |
209 |
|
t) |
210 |
|
|
211 |
|
(deftest vector.5 |
212 |
|
(notnot-mv (typep (vector) 'simple-vector)) |
213 |
|
t) |
214 |
|
|
215 |
|
(deftest vector.6 |
216 |
|
(notnot-mv (typep (vector) '(simple-vector 0))) |
217 |
|
t) |
218 |
|
|
219 |
|
(deftest vector.7 |
220 |
|
(notnot-mv (typep (vector 1 2 3) 'simple-vector)) |
221 |
|
t) |
222 |
|
|
223 |
|
(deftest vector.8 |
224 |
|
(notnot-mv (typep (vector 1 2 3) '(simple-vector 3))) |
225 |
|
t) |
226 |
|
|
227 |
|
(deftest vector.9 |
228 |
|
(typep (vector #\a #\b #\c) 'string) |
229 |
|
nil) |