/[gcl]/gcl/ansi-tests/notany.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/notany.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.8 by pfdietz, Sat Jan 17 20:04:52 2004 UTC revision 1.9 by pfdietz, Sat Aug 28 20:52:38 2004 UTC
# Line 79  Line 79 
79    (notany 'null '(1 2 3 nil 5))    (notany 'null '(1 2 3 nil 5))
80    nil)    nil)
81    
82    ;;; Other specialized sequences
83    
84    (deftest notany.17
85      (let ((v (make-array '(10) :initial-contents '(0 0 0 0 1 2 3 4 5 6)
86                           :fill-pointer 4)))
87        (loop for j from 0 to 9
88              do (setf (fill-pointer v) j)
89              collect (not (notany #'plusp v))))
90      (nil nil nil nil nil t t t t t))
91    
92    (deftest notany.18
93      (loop for i from 1 to 40
94            for type = `(unsigned-byte ,i)
95            unless
96            (let ((v (make-array '(10) :initial-contents (loop for j in '(0 0 0 0 1 2 3 4 5 6)
97                                                               collect (mod j (ash 1 i)))
98                                 :element-type type
99                                 :fill-pointer 4)))
100              (equal (loop for j from 0 to 9
101                           do (setf (fill-pointer v) j)
102                           collect (not (notany #'plusp v)))
103                     '(nil nil nil nil nil t t t t t)))
104            collect i)
105      nil)
106    
107    (deftest notany.19
108      (loop for i from 1 to 40
109            for type = `(signed-byte ,i)
110            unless
111            (let ((v (make-array '(10) :initial-contents '(0 0 0 0 -1 -1 -1 -1 -1 -1)
112                                 :element-type type
113                                 :fill-pointer 4)))
114              (equal (loop for j from 0 to 9
115                           do (setf (fill-pointer v) j)
116                           collect (not (notany #'minusp v)))
117                     '(nil nil nil nil nil t t t t t)))
118            collect i)
119      nil)
120    
121    (deftest notany.20
122      (let ((v (make-array '(10) :initial-contents "abcd012345"
123                           :element-type 'character
124                           :fill-pointer 4)))
125        (loop for j from 0 to 9
126              do (setf (fill-pointer v) j)
127              collect (not (notany #'digit-char-p v))))
128      (nil nil nil nil nil t t t t t))
129    
130    (deftest notany.21
131      (let ((v (make-array '(10) :initial-contents "abcd012345"
132                           :element-type 'base-char
133                           :fill-pointer 4)))
134        (loop for j from 0 to 9
135              do (setf (fill-pointer v) j)
136              collect (not (notany #'digit-char-p v))))
137      (nil nil nil nil nil t t t t t))
138    
139    (deftest notany.22
140      (let ((v (make-array '(5) :initial-contents "abcde"
141                           :element-type 'base-char)))
142        (values
143         (notnot (notany #'digit-char-p v))
144         (setf (aref v 2) #\0)
145         (notany #'digit-char-p v)))
146      t #\0 nil)
147    
148    (deftest notany.23
149      (loop for type in '(short-float single-float double-float long-float)
150            for v = (make-array '(9)
151                                :element-type type
152                                :initial-contents
153                                (mapcar #'(lambda (x) (coerce x type)) '(1 2 3 4 5 6 0 8 3)))
154            when (notany #'zerop v)
155            collect (list type v))
156      nil)
157    
158    (deftest notany.24
159      (loop for type in '(short-float single-float double-float long-float)
160            for v = (make-array '(9)
161                                :element-type type
162                                :fill-pointer 6
163                                :initial-contents
164                                (mapcar #'(lambda (x) (coerce x type)) '(1 2 3 4 5 6 0 8 3)))
165            unless (notany #'zerop v)
166            collect (list type v))
167      nil)
168    
169    (deftest notany.25
170      (loop for type in '(short-float single-float double-float long-float)
171            for ctype = `(complex ,type)
172            for v = (make-array '(6)
173                                :element-type ctype
174                                :initial-contents
175                                (mapcar #'(lambda (x) (complex x (coerce x type))) '(1 2 3 4 5 6)))
176            unless (notany (complement #'complexp) v)
177            collect (list type v))
178      nil)
179    
180    ;;; Displaced vectors
181    
182    (deftest notany.26
183      (let* ((v1 (make-array '(10) :initial-contents '(1 3 2 4 6 8 5 7 9 1)))
184             (v2 (make-array '(4) :displaced-to v1
185                             :displaced-index-offset 2)))
186        (values
187         (notany #'oddp v1)
188         (notnot (notany #'oddp v2))))
189      nil t)
190    
191    (deftest notany.27
192      (loop for i from 1 to 40
193            for type = `(unsigned-byte ,i)
194            unless
195            (let* ((v1 (make-array '(10) :initial-contents '(1 1 0 0 0 0 1 1 1 1)
196                                   :element-type type))
197                   (v2 (make-array '(4) :displaced-to v1
198                                   :displaced-index-offset 2
199                                   :element-type type)))
200              (and (not (notany 'oddp v1))
201                   (notany #'oddp v2)))
202            collect i)
203      nil)
204    
205    (deftest notany.28
206      (loop for i from 1 to 40
207            for type = `(signed-byte ,i)
208            unless
209            (let* ((v1 (make-array '(10) :initial-contents '(-1 -1 0 0 0 0 -1 -1 -1 -1)
210                                   :element-type type))
211                   (v2 (make-array '(4) :displaced-to v1
212                                   :displaced-index-offset 2
213                                   :element-type type)))
214              (and (not (notany 'oddp v1))
215                   (notany #'oddp v2)))
216            collect i)
217      nil)
218    
219    (deftest notany.29
220      (let* ((s1 (make-array '(8) :initial-contents "12abc345" :element-type 'character)))
221        (loop for i from 0 to 6
222              for s2 = (make-array '(2) :element-type 'character
223                                   :displaced-to s1
224                                   :displaced-index-offset i)
225              collect (not (notany 'digit-char-p s2))))
226      (t t nil nil t t t))
227    
228    (deftest notany.30
229      (let* ((s1 (make-array '(8) :initial-contents "12abc345" :element-type 'base-char)))
230        (loop for i from 0 to 6
231              for s2 = (make-array '(2) :element-type 'base-char
232                                   :displaced-to s1
233                                   :displaced-index-offset i)
234              collect (not (notany 'digit-char-p s2))))
235      (t t nil nil t t t))
236    
237    (deftest notany.31
238      (let ((v (make-array '(10) :initial-contents '(1 2 3 4 5 6 7 8 9 10)
239                           :adjustable t)))
240        (values
241         (notnot (notany #'minusp v))
242         (progn
243           (adjust-array v '(11) :initial-element -1)
244           (notany #'minusp v))))
245      t nil)
246    
247    (deftest notany.32
248      (let ((v (make-array '(10) :initial-contents '(1 2 3 4 5 6 7 8 9 10)
249                           :fill-pointer 10
250                           :adjustable t)))
251        (values
252         (notnot (notany #'minusp v))
253         (progn
254           (adjust-array v '(11) :initial-element -1)
255           (notnot (notany #'minusp v)))))
256      t t)
257    
258    
259  (deftest notany.order.1  (deftest notany.order.1
260    (let ((i 0) a b)    (let ((i 0) a b)
261      (values      (values

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26