/[gcl]/gcl/ansi-tests/random-type-prop-tests-08.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/random-type-prop-tests-08.lsp

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

revision 1.1 by pfdietz, Mon Mar 14 03:46:11 2005 UTC revision 1.2 by pfdietz, Wed Apr 27 12:25:26 2005 UTC
# Line 11  Line 11 
11                                     #'(lambda (x) (let ((len (length x)))                                     #'(lambda (x) (let ((len (length x)))
12                                                     (and (> len 0) `(integer 0 (,len))))))                                                     (and (> len 0) `(integer 0 (,len))))))
13    2)    2)
14    
15    (defmacro rfill (x y &rest other-args)
16      `(fill ,y ,x ,@other-args))
17    
18    (def-type-prop-test fill.1 'rfill
19      (list t #'make-random-sequence-type-containing)
20      2 :replicate '(nil t))
21    
22    (def-type-prop-test fill.2 'rfill
23      (list 'integer #'make-random-sequence-type-containing)
24      2 :replicate '(nil t))
25    
26    (def-type-prop-test fill.3 'rfill
27      (list 'character #'make-random-sequence-type-containing)
28      2 :replicate '(nil t))
29    
30    (def-type-prop-test fill.4 'rfill
31      (list t #'make-random-sequence-type-containing
32            '(eql :start)
33            #'(lambda (v s k1) (declare (ignore v k1))
34                (let ((len (length s)))
35                  `(integer 0 ,len))))
36      4 :replicate '(nil t nil nil))
37    
38    (def-type-prop-test fill.5 'rfill
39      (list t #'make-random-sequence-type-containing
40            '(eql :end)
41            #'(lambda (v s k1) (declare (ignore v k1))
42                (let ((len (length s)))
43                  `(integer 0 ,len))))
44      4 :replicate '(nil t nil nil))
45    
46    (def-type-prop-test fill.6 'rfill
47      (list t #'make-random-sequence-type-containing
48            '(eql :start)
49            #'(lambda (v s k1) (declare (ignore v k1))
50                (let ((len (length s)))
51                  `(integer 0 ,len)))
52            '(eql :end)
53            #'(lambda (v s k1 start k2)
54                (declare (ignore v k1 k2))
55                (let ((len (length s)))
56                  `(integer ,start ,len))))
57      6 :replicate '(nil t nil nil nil nil))
58    
59    ;;; make-sequence tests here
60    
61    (def-type-prop-test subseq.1 'subseq
62      (list 'sequence #'(lambda (s) `(integer 0 ,(length s))))
63      2)
64    
65    (def-type-prop-test subseq.2 'subseq
66      (list 'sequence #'(lambda (s) `(integer 0 ,(length s)))
67            #'(lambda (s start) `(integer ,start ,(length s))))
68      3)
69    
70    ;;; map tests here
71    ;;; map-into tests here
72    ;;; reduce tests here
73    
74    (def-type-prop-test count.1 'count '(t sequence) 2)
75    (def-type-prop-test count.2 'count
76      (list t #'make-random-sequence-type-containing)
77      2)
78    (def-type-prop-test count.3 'count
79      (list t #'make-random-sequence-type-containing
80            '(eql :start)
81            #'(lambda (x s k1) (declare (ignore x k1))
82                `(integer 0 ,(length s))))
83      4)
84    (def-type-prop-test count.4 'count
85      (list t #'make-random-sequence-type-containing
86            '(eql :end)
87            #'(lambda (x s k1) (declare (ignore x k1))
88                `(integer 0 ,(length s))))
89      4)
90    (def-type-prop-test count.5 'count
91      (list t #'make-random-sequence-type-containing
92            '(eql :start)
93            #'(lambda (x s k1) (declare (ignore x k1))
94                `(integer 0 ,(length s)))
95            '(eql :end)
96            #'(lambda (x s k1 start k2) (declare (ignore x k1 k2))
97                `(integer ,start ,(length s))))
98      6)
99    
100    ;;; count-if, count-if-not tests here
101    
102    (def-type-prop-test length.1 'length '(sequence) 1)
103    
104    (def-type-prop-test reverse.1 'reverse '(sequence) 1)
105    (def-type-prop-test nreverse.1 'nreverse '(sequence) 1 :replicate '(t))
106    
107    (def-type-prop-test sort.1 'sort
108      `((vector bit) (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=)) 2
109      :replicate '(t nil))
110    
111    (def-type-prop-test sort.2 'sort
112      `((or (vector (unsigned-byte 2))
113            (vector (unsigned-byte 3))
114            (vector (unsigned-byte 4))
115            (vector (unsigned-byte 5))
116            (vector (unsigned-byte 6))
117            (vector (unsigned-byte 7))
118            (vector (unsigned-byte 8)))
119        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
120      2 :replicate '(t nil))
121        
122    (def-type-prop-test sort.3 'sort
123      `((or (vector (unsigned-byte 10))
124            (vector (unsigned-byte 13))
125            (vector (unsigned-byte 15))
126            (vector (unsigned-byte 16)))
127        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
128      2 :replicate '(t nil))
129    
130    (def-type-prop-test sort.4 'sort
131      `((or (vector (unsigned-byte 20))
132            (vector (unsigned-byte 24))
133            (vector (unsigned-byte 28))
134            (vector (unsigned-byte 31))
135            (vector (unsigned-byte 32)))
136        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
137      2 :replicate '(t nil))
138    
139    (def-type-prop-test sort.5 'sort
140      `((or (vector (signed-byte 2))
141            (vector (signed-byte 3))
142            (vector (signed-byte 4))
143            (vector (signed-byte 5))
144            (vector (signed-byte 6))
145            (vector (signed-byte 7))
146            (vector (signed-byte 8)))
147        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
148      2 :replicate '(t nil))
149    
150    (def-type-prop-test sort.6 'sort
151      `((or (vector (signed-byte 10))
152            (vector (signed-byte 13))
153            (vector (signed-byte 15))
154            (vector (signed-byte 16)))
155        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
156      2 :replicate '(t nil))
157    
158    (def-type-prop-test sort.7 'sort
159      `((or (vector (signed-byte 20))
160            (vector (signed-byte 24))
161            (vector (signed-byte 28))
162            (vector (signed-byte 31))
163            (vector (signed-byte 32)))
164        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
165      2 :replicate '(t nil))
166    
167    (def-type-prop-test sort.8 'sort
168      `((or (vector short-float)
169            (vector single-float)
170            (vector double-float)
171            (vector long-float))
172        (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
173      2 :replicate '(t nil))
174    
175    
176    

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