/[gcl]/gcl/ansi-tests/string-comparisons.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/string-comparisons.lsp

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

revision 1.1 by pfdietz, Sat Oct 5 17:09:24 2002 UTC revision 1.2 by pfdietz, Sat Feb 15 05:11:12 2003 UTC
# Line 75  Line 75 
75          collect (not (string= "ab" "xyab" :start2 i :end2 nil)))          collect (not (string= "ab" "xyab" :start2 i :end2 nil)))
76    (t t nil t))    (t t nil t))
77    
78    ;;; Order of evaluation
79    
80    (deftest string=.order.1
81      (let ((i 0) x y)
82        (values
83         (string= (progn (setf x (incf i)) "abc")
84                  (progn (setf y (incf i)) "abd"))
85         i x y))
86      nil 2 1 2)
87    
88    (deftest string=.order.2
89      (let ((i 0) a b c d e f)
90        (values
91         (string= (progn (setf a (incf i)) "abc")
92                  (progn (setf b (incf i)) "abd")
93                  :start1 (progn (setf c (incf i)) 0)
94                  :start2 (progn (setf d (incf i)) 0)
95                  :end1 (progn (setf e (incf i)) nil)
96                  :end2 (progn (setf f (incf i)) nil)
97                  )
98         i a b c d e f))
99      nil 6 1 2 3 4 5 6)
100    
101    (deftest string=.order.3
102      (let ((i 0) a b c d e f)
103        (values
104         (string= (progn (setf a (incf i)) "abc")
105                  (progn (setf b (incf i)) "abd")
106                  :end2 (progn (setf c (incf i)) nil)
107                  :end1 (progn (setf d (incf i)) nil)
108                  :start2 (progn (setf e (incf i)) 0)
109                  :start1 (progn (setf f (incf i)) 0)
110                  )
111         i a b c d e f))
112      nil 6 1 2 3 4 5 6)
113    
114    (deftest string<=.order.1
115      (let ((i 0) x y)
116        (values
117         (string<= (progn (setf x (incf i)) "abf")
118                   (progn (setf y (incf i)) "abd"))
119         i x y))
120      nil 2 1 2)
121    
122    (deftest string<=.order.2
123      (let ((i 0) a b c d e f)
124        (values
125         (string<= (progn (setf a (incf i)) "abf")
126                   (progn (setf b (incf i)) "abd")
127                   :start1 (progn (setf c (incf i)) 0)
128                   :start2 (progn (setf d (incf i)) 0)
129                   :end1 (progn (setf e (incf i)) nil)
130                   :end2 (progn (setf f (incf i)) nil)
131                   )
132         i a b c d e f))
133      nil 6 1 2 3 4 5 6)
134    
135    (deftest string<=.order.3
136      (let ((i 0) a b c d e f)
137        (values
138         (string<= (progn (setf a (incf i)) "abf")
139                   (progn (setf b (incf i)) "abd")
140                   :end2 (progn (setf c (incf i)) nil)
141                   :end1 (progn (setf d (incf i)) nil)
142                   :start2 (progn (setf e (incf i)) 0)
143                   :start1 (progn (setf f (incf i)) 0)
144                   )
145         i a b c d e f))
146      nil 6 1 2 3 4 5 6)
147    
148    (deftest string<.order.1
149      (let ((i 0) x y)
150        (values
151         (string< (progn (setf x (incf i)) "abf")
152                  (progn (setf y (incf i)) "abd"))
153         i x y))
154      nil 2 1 2)
155    
156    (deftest string<.order.2
157      (let ((i 0) a b c d e f)
158        (values
159         (string< (progn (setf a (incf i)) "abf")
160                  (progn (setf b (incf i)) "abd")
161                  :start1 (progn (setf c (incf i)) 0)
162                  :start2 (progn (setf d (incf i)) 0)
163                  :end1 (progn (setf e (incf i)) nil)
164                  :end2 (progn (setf f (incf i)) nil)
165                  )
166         i a b c d e f))
167      nil 6 1 2 3 4 5 6)
168    
169    (deftest string<.order.3
170      (let ((i 0) a b c d e f)
171        (values
172         (string< (progn (setf a (incf i)) "abf")
173                  (progn (setf b (incf i)) "abd")
174                  :end2 (progn (setf c (incf i)) nil)
175                  :end1 (progn (setf d (incf i)) nil)
176                  :start2 (progn (setf e (incf i)) 0)
177                  :start1 (progn (setf f (incf i)) 0)
178                  )
179         i a b c d e f))
180      nil 6 1 2 3 4 5 6)
181    
182    
183    (deftest string/=.order.1
184      (let ((i 0) x y)
185        (values
186         (string/= (progn (setf x (incf i)) "abc")
187                   (progn (setf y (incf i)) "abc"))
188         i x y))
189      nil 2 1 2)
190    
191    (deftest string/=.order.2
192      (let ((i 0) a b c d e f)
193        (values
194         (string/= (progn (setf a (incf i)) "abc")
195                   (progn (setf b (incf i)) "abc")
196                   :start1 (progn (setf c (incf i)) 0)
197                   :start2 (progn (setf d (incf i)) 0)
198                   :end1 (progn (setf e (incf i)) nil)
199                   :end2 (progn (setf f (incf i)) nil)
200                   )
201         i a b c d e f))
202      nil 6 1 2 3 4 5 6)
203    
204    (deftest string/=.order.3
205      (let ((i 0) a b c d e f)
206        (values
207         (string/= (progn (setf a (incf i)) "abc")
208                   (progn (setf b (incf i)) "abc")
209                   :end2 (progn (setf c (incf i)) nil)
210                   :end1 (progn (setf d (incf i)) nil)
211                   :start2 (progn (setf e (incf i)) 0)
212                   :start1 (progn (setf f (incf i)) 0)
213                   )
214         i a b c d e f))
215      nil 6 1 2 3 4 5 6)
216    
217    (deftest string>=.order.1
218      (let ((i 0) x y)
219        (values
220         (string<= (progn (setf x (incf i)) "abf")
221                   (progn (setf y (incf i)) "abd"))
222         i x y))
223      nil 2 1 2)
224    
225    (deftest string>=.order.2
226      (let ((i 0) a b c d e f)
227        (values
228         (string>= (progn (setf a (incf i)) "abc")
229                   (progn (setf b (incf i)) "abd")
230                   :start1 (progn (setf c (incf i)) 0)
231                   :start2 (progn (setf d (incf i)) 0)
232                   :end1 (progn (setf e (incf i)) nil)
233                   :end2 (progn (setf f (incf i)) nil)
234                   )
235         i a b c d e f))
236      nil 6 1 2 3 4 5 6)
237    
238    (deftest string>=.order.3
239      (let ((i 0) a b c d e f)
240        (values
241         (string>= (progn (setf a (incf i)) "abc")
242                   (progn (setf b (incf i)) "abd")
243                   :end2 (progn (setf c (incf i)) nil)
244                   :end1 (progn (setf d (incf i)) nil)
245                   :start2 (progn (setf e (incf i)) 0)
246                   :start1 (progn (setf f (incf i)) 0)
247                   )
248         i a b c d e f))
249      nil 6 1 2 3 4 5 6)
250    
251    (deftest string>.order.1
252      (let ((i 0) x y)
253        (values
254         (string> (progn (setf x (incf i)) "abc")
255                  (progn (setf y (incf i)) "abd"))
256         i x y))
257      nil 2 1 2)
258    
259    (deftest string>.order.2
260      (let ((i 0) a b c d e f)
261        (values
262         (string> (progn (setf a (incf i)) "abc")
263                  (progn (setf b (incf i)) "abd")
264                  :start1 (progn (setf c (incf i)) 0)
265                  :start2 (progn (setf d (incf i)) 0)
266                  :end1 (progn (setf e (incf i)) nil)
267                  :end2 (progn (setf f (incf i)) nil)
268                  )
269         i a b c d e f))
270      nil 6 1 2 3 4 5 6)
271    
272    (deftest string>.order.3
273      (let ((i 0) a b c d e f)
274        (values
275         (string> (progn (setf a (incf i)) "abc")
276                  (progn (setf b (incf i)) "abd")
277                  :end2 (progn (setf c (incf i)) nil)
278                  :end1 (progn (setf d (incf i)) nil)
279                  :start2 (progn (setf e (incf i)) 0)
280                  :start1 (progn (setf f (incf i)) 0)
281                  )
282         i a b c d e f))
283      nil 6 1 2 3 4 5 6)
284    
285    
286    (deftest string-equal.order.1
287      (let ((i 0) x y)
288        (values
289         (string-equal (progn (setf x (incf i)) "abc")
290                  (progn (setf y (incf i)) "abd"))
291         i x y))
292      nil 2 1 2)
293    
294    (deftest string-equal.order.2
295      (let ((i 0) a b c d e f)
296        (values
297         (string-equal (progn (setf a (incf i)) "abc")
298                  (progn (setf b (incf i)) "abd")
299                  :start1 (progn (setf c (incf i)) 0)
300                  :start2 (progn (setf d (incf i)) 0)
301                  :end1 (progn (setf e (incf i)) nil)
302                  :end2 (progn (setf f (incf i)) nil)
303                  )
304         i a b c d e f))
305      nil 6 1 2 3 4 5 6)
306    
307    (deftest string-equal.order.3
308      (let ((i 0) a b c d e f)
309        (values
310         (string-equal (progn (setf a (incf i)) "abc")
311                  (progn (setf b (incf i)) "abd")
312                  :end2 (progn (setf c (incf i)) nil)
313                  :end1 (progn (setf d (incf i)) nil)
314                  :start2 (progn (setf e (incf i)) 0)
315                  :start1 (progn (setf f (incf i)) 0)
316                  )
317         i a b c d e f))
318      nil 6 1 2 3 4 5 6)
319    
320    (deftest string-not-greaterp.order.1
321      (let ((i 0) x y)
322        (values
323         (string-not-greaterp (progn (setf x (incf i)) "abf")
324                           (progn (setf y (incf i)) "abd"))
325         i x y))
326      nil 2 1 2)
327    
328    (deftest string-not-greaterp.order.2
329      (let ((i 0) a b c d e f)
330        (values
331         (string-not-greaterp (progn (setf a (incf i)) "abf")
332                   (progn (setf b (incf i)) "abd")
333                   :start1 (progn (setf c (incf i)) 0)
334                   :start2 (progn (setf d (incf i)) 0)
335                   :end1 (progn (setf e (incf i)) nil)
336                   :end2 (progn (setf f (incf i)) nil)
337                   )
338         i a b c d e f))
339      nil 6 1 2 3 4 5 6)
340    
341    (deftest string-not-greaterp.order.3
342      (let ((i 0) a b c d e f)
343        (values
344         (string-not-greaterp (progn (setf a (incf i)) "abf")
345                   (progn (setf b (incf i)) "abd")
346                   :end2 (progn (setf c (incf i)) nil)
347                   :end1 (progn (setf d (incf i)) nil)
348                   :start2 (progn (setf e (incf i)) 0)
349                   :start1 (progn (setf f (incf i)) 0)
350                   )
351         i a b c d e f))
352      nil 6 1 2 3 4 5 6)
353    
354    (deftest string-lessp.order.1
355      (let ((i 0) x y)
356        (values
357         (string-lessp (progn (setf x (incf i)) "abf")
358                  (progn (setf y (incf i)) "abd"))
359         i x y))
360      nil 2 1 2)
361    
362    (deftest string-lessp.order.2
363      (let ((i 0) a b c d e f)
364        (values
365         (string-lessp (progn (setf a (incf i)) "abf")
366                  (progn (setf b (incf i)) "abd")
367                  :start1 (progn (setf c (incf i)) 0)
368                  :start2 (progn (setf d (incf i)) 0)
369                  :end1 (progn (setf e (incf i)) nil)
370                  :end2 (progn (setf f (incf i)) nil)
371                  )
372         i a b c d e f))
373      nil 6 1 2 3 4 5 6)
374    
375    (deftest string-lessp.order.3
376      (let ((i 0) a b c d e f)
377        (values
378         (string-lessp (progn (setf a (incf i)) "abf")
379                  (progn (setf b (incf i)) "abd")
380                  :end2 (progn (setf c (incf i)) nil)
381                  :end1 (progn (setf d (incf i)) nil)
382                  :start2 (progn (setf e (incf i)) 0)
383                  :start1 (progn (setf f (incf i)) 0)
384                  )
385         i a b c d e f))
386      nil 6 1 2 3 4 5 6)
387    
388    
389    (deftest string-not-equal.order.1
390      (let ((i 0) x y)
391        (values
392         (string-not-equal (progn (setf x (incf i)) "abc")
393                   (progn (setf y (incf i)) "abc"))
394         i x y))
395      nil 2 1 2)
396    
397    (deftest string-not-equal.order.2
398      (let ((i 0) a b c d e f)
399        (values
400         (string-not-equal (progn (setf a (incf i)) "abc")
401                   (progn (setf b (incf i)) "abc")
402                   :start1 (progn (setf c (incf i)) 0)
403                   :start2 (progn (setf d (incf i)) 0)
404                   :end1 (progn (setf e (incf i)) nil)
405                   :end2 (progn (setf f (incf i)) nil)
406                   )
407         i a b c d e f))
408      nil 6 1 2 3 4 5 6)
409    
410    (deftest string-not-equal.order.3
411      (let ((i 0) a b c d e f)
412        (values
413         (string-not-equal (progn (setf a (incf i)) "abc")
414                   (progn (setf b (incf i)) "abc")
415                   :end2 (progn (setf c (incf i)) nil)
416                   :end1 (progn (setf d (incf i)) nil)
417                   :start2 (progn (setf e (incf i)) 0)
418                   :start1 (progn (setf f (incf i)) 0)
419                   )
420         i a b c d e f))
421      nil 6 1 2 3 4 5 6)
422    
423    (deftest string-not-lessp.order.1
424      (let ((i 0) x y)
425        (values
426         (string-not-lessp (progn (setf x (incf i)) "abc")
427                           (progn (setf y (incf i)) "abd"))
428         i x y))
429      nil 2 1 2)
430    
431    (deftest string-not-lessp.order.2
432      (let ((i 0) a b c d e f)
433        (values
434         (string-not-lessp (progn (setf a (incf i)) "abc")
435                   (progn (setf b (incf i)) "abd")
436                   :start1 (progn (setf c (incf i)) 0)
437                   :start2 (progn (setf d (incf i)) 0)
438                   :end1 (progn (setf e (incf i)) nil)
439                   :end2 (progn (setf f (incf i)) nil)
440                   )
441         i a b c d e f))
442      nil 6 1 2 3 4 5 6)
443    
444    (deftest string-not-lessp.order.3
445      (let ((i 0) a b c d e f)
446        (values
447         (string-not-lessp (progn (setf a (incf i)) "abc")
448                   (progn (setf b (incf i)) "abd")
449                   :end2 (progn (setf c (incf i)) nil)
450                   :end1 (progn (setf d (incf i)) nil)
451                   :start2 (progn (setf e (incf i)) 0)
452                   :start1 (progn (setf f (incf i)) 0)
453                   )
454         i a b c d e f))
455      nil 6 1 2 3 4 5 6)
456    
457    (deftest string-greaterp.order.1
458      (let ((i 0) x y)
459        (values
460         (string-greaterp (progn (setf x (incf i)) "abc")
461                  (progn (setf y (incf i)) "abd"))
462         i x y))
463      nil 2 1 2)
464    
465    (deftest string-greaterp.order.2
466      (let ((i 0) a b c d e f)
467        (values
468         (string-greaterp (progn (setf a (incf i)) "abc")
469                  (progn (setf b (incf i)) "abd")
470                  :start1 (progn (setf c (incf i)) 0)
471                  :start2 (progn (setf d (incf i)) 0)
472                  :end1 (progn (setf e (incf i)) nil)
473                  :end2 (progn (setf f (incf i)) nil)
474                  )
475         i a b c d e f))
476      nil 6 1 2 3 4 5 6)
477    
478    (deftest string-greaterp.order.3
479      (let ((i 0) a b c d e f)
480        (values
481         (string-greaterp (progn (setf a (incf i)) "abc")
482                  (progn (setf b (incf i)) "abd")
483                  :end2 (progn (setf c (incf i)) nil)
484                  :end1 (progn (setf d (incf i)) nil)
485                  :start2 (progn (setf e (incf i)) 0)
486                  :start1 (progn (setf f (incf i)) 0)
487                  )
488         i a b c d e f))
489      nil 6 1 2 3 4 5 6)
490    
491    
492  ;;; Random tests (of all the string comparson functions)  ;;; Random tests (of all the string comparson functions)
493    
494  (deftest random-string-comparison-tests  (deftest random-string-comparison-tests

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

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