Commit | Line | Data |
---|---|---|
b8ed3de3 LC |
1 | ;;;; srfi-35.test --- SRFI-35. -*- mode: scheme; coding: utf-8; -*- |
2 | ;;;; Ludovic Courtès <ludo@gnu.org> | |
c9de3d45 | 3 | ;;;; |
b8ed3de3 | 4 | ;;;; Copyright (C) 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
c9de3d45 | 5 | ;;;; |
53befeb7 NJ |
6 | ;;;; This library is free software; you can redistribute it and/or |
7 | ;;;; modify it under the terms of the GNU Lesser General Public | |
8 | ;;;; License as published by the Free Software Foundation; either | |
9 | ;;;; version 3 of the License, or (at your option) any later version. | |
10 | ;;;; | |
11 | ;;;; This library is distributed in the hope that it will be useful, | |
c9de3d45 | 12 | ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
53befeb7 NJ |
13 | ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
14 | ;;;; Lesser General Public License for more details. | |
15 | ;;;; | |
16 | ;;;; You should have received a copy of the GNU Lesser General Public | |
17 | ;;;; License along with this library; if not, write to the Free Software | |
18 | ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA | |
c9de3d45 LC |
19 | |
20 | (define-module (test-srfi-35) | |
21 | :use-module (test-suite lib) | |
22 | :use-module (srfi srfi-35)) | |
23 | ||
24 | \f | |
816e3edf LC |
25 | (with-test-prefix "cond-expand" |
26 | (pass-if "srfi-35" | |
27 | (cond-expand (srfi-35 #t) | |
28 | (else #f)))) | |
29 | ||
30 | \f | |
c9de3d45 LC |
31 | (with-test-prefix "condition types" |
32 | (pass-if "&condition" | |
33 | (condition-type? &condition)) | |
34 | ||
35 | (pass-if "make-condition-type" | |
5565279a LC |
36 | (condition-type? (make-condition-type 'foo &condition '(a b)))) |
37 | ||
38 | (pass-if "struct-vtable-name" | |
39 | (let ((ct (make-condition-type 'chbouib &condition '(a b)))) | |
40 | (eq? 'chbouib (struct-vtable-name ct))))) | |
c9de3d45 LC |
41 | |
42 | ||
43 | \f | |
44 | (with-test-prefix "conditions" | |
45 | ||
46 | (pass-if "&condition" | |
47 | (let ((c (make-condition &condition))) | |
48 | (and (condition? c) | |
49 | (condition-has-type? c &condition)))) | |
50 | ||
51 | (pass-if "simple condition" | |
52 | (let* ((ct (make-condition-type 'chbouib &condition '(a b))) | |
53 | (c (make-condition ct 'b 1 'a 0))) | |
54 | (and (condition? c) | |
55 | (condition-has-type? c ct)))) | |
56 | ||
57 | (pass-if "simple condition with inheritance" | |
58 | (let* ((top (make-condition-type 'foo &condition '(a b))) | |
59 | (ct (make-condition-type 'bar top '(c d))) | |
60 | (c (make-condition ct 'a 1 'b 2 'c 3 'd 4))) | |
61 | (and (condition? c) | |
62 | (condition-has-type? c ct) | |
63 | (condition-has-type? c top)))) | |
64 | ||
65 | (pass-if "condition-ref" | |
66 | (let* ((ct (make-condition-type 'chbouib &condition '(a b))) | |
67 | (c (make-condition ct 'b 1 'a 0))) | |
764246cf DH |
68 | (and (eqv? (condition-ref c 'a) 0) |
69 | (eqv? (condition-ref c 'b) 1)))) | |
c9de3d45 LC |
70 | |
71 | (pass-if "condition-ref with inheritance" | |
72 | (let* ((top (make-condition-type 'foo &condition '(a b))) | |
73 | (ct (make-condition-type 'bar top '(c d))) | |
74 | (c (make-condition ct 'b 1 'a 0 'd 3 'c 2))) | |
764246cf DH |
75 | (and (eqv? (condition-ref c 'a) 0) |
76 | (eqv? (condition-ref c 'b) 1) | |
77 | (eqv? (condition-ref c 'c) 2) | |
78 | (eqv? (condition-ref c 'd) 3)))) | |
c9de3d45 LC |
79 | |
80 | (pass-if "extract-condition" | |
81 | (let* ((ct (make-condition-type 'chbouib &condition '(a b))) | |
82 | (c (make-condition ct 'b 1 'a 0))) | |
83 | (equal? c (extract-condition c ct))))) | |
84 | ||
85 | \f | |
86 | (with-test-prefix "compound conditions" | |
87 | (pass-if "condition-has-type?" | |
88 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
89 | (t2 (make-condition-type 'bar &condition '(c d))) | |
90 | (c1 (make-condition t1 'a 0 'b 1)) | |
91 | (c2 (make-condition t2 'c 2 'd 3)) | |
92 | (c (make-compound-condition c1 c2))) | |
93 | (and (condition? c) | |
94 | (condition-has-type? c t1) | |
95 | (condition-has-type? c t2)))) | |
96 | ||
97 | (pass-if "condition-ref" | |
98 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
99 | (t2 (make-condition-type 'bar &condition '(c d))) | |
100 | (c1 (make-condition t1 'a 0 'b 1)) | |
101 | (c2 (make-condition t2 'c 2 'd 3)) | |
102 | (c (make-compound-condition c1 c2))) | |
103 | (equal? (map (lambda (field) | |
104 | (condition-ref c field)) | |
105 | '(a b c d)) | |
106 | '(0 1 2 3)))) | |
107 | ||
108 | (pass-if "condition-ref with same-named fields" | |
109 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
110 | (t2 (make-condition-type 'bar &condition '(a c d))) | |
111 | (c1 (make-condition t1 'a 0 'b 1)) | |
112 | (c2 (make-condition t2 'a -1 'c 2 'd 3)) | |
113 | (c (make-compound-condition c1 c2))) | |
114 | (equal? (map (lambda (field) | |
115 | (condition-ref c field)) | |
116 | '(a b c d)) | |
117 | '(0 1 2 3)))) | |
118 | ||
119 | (pass-if "extract-condition" | |
120 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
121 | (t2 (make-condition-type 'bar &condition '(c d))) | |
122 | (c1 (make-condition t1 'a 0 'b 1)) | |
123 | (c2 (make-condition t2 'c 2 'd 3)) | |
124 | (c (make-compound-condition c1 c2))) | |
125 | (and (equal? c1 (extract-condition c t1)) | |
126 | (equal? c2 (extract-condition c t2))))) | |
127 | ||
128 | (pass-if "extract-condition with same-named fields" | |
129 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
130 | (t2 (make-condition-type 'bar &condition '(a c))) | |
131 | (c1 (make-condition t1 'a 0 'b 1)) | |
132 | (c2 (make-condition t2 'a -1 'c 2)) | |
133 | (c (make-compound-condition c1 c2))) | |
134 | (and (equal? c1 (extract-condition c t1)) | |
135 | (equal? c2 (extract-condition c t2)))))) | |
136 | ||
137 | ||
138 | \f | |
139 | (with-test-prefix "syntax" | |
140 | (pass-if "define-condition-type" | |
141 | (let ((m (current-module))) | |
142 | (eval '(define-condition-type &chbouib &condition | |
143 | chbouib? | |
144 | (one chbouib-one) | |
145 | (two chbouib-two)) | |
146 | m) | |
147 | (eval '(and (condition-type? &chbouib) | |
148 | (procedure? chbouib?) | |
149 | (let ((c (make-condition &chbouib 'one 1 'two 2))) | |
150 | (and (condition? c) | |
151 | (chbouib? c) | |
764246cf DH |
152 | (eqv? (chbouib-one c) 1) |
153 | (eqv? (chbouib-two c) 2)))) | |
c9de3d45 LC |
154 | m))) |
155 | ||
156 | (pass-if "condition" | |
157 | (let* ((t (make-condition-type 'chbouib &condition '(a b))) | |
158 | (c (condition (t (b 2) (a 1))))) | |
159 | (and (condition? c) | |
160 | (condition-has-type? c t) | |
161 | (equal? (map (lambda (f) | |
162 | (condition-ref c f)) | |
163 | '(a b)) | |
164 | '(1 2))))) | |
165 | ||
166 | (pass-if-exception "condition with missing fields" | |
167 | exception:miscellaneous-error | |
168 | (let ((t (make-condition-type 'chbouib &condition '(a b c)))) | |
169 | (condition (t (a 1) (b 2))))) | |
170 | ||
171 | (pass-if "compound condition" | |
172 | (let* ((t1 (make-condition-type 'foo &condition '(a b))) | |
173 | (t2 (make-condition-type 'bar &condition '(c d))) | |
174 | (c1 (make-condition t1 'a 0 'b 1)) | |
175 | (c2 (make-condition t2 'c 2 'd 3)) | |
176 | (c (condition (t1 (a 0) (b 1)) | |
177 | (t2 (c 2) (d 3))))) | |
178 | (and (equal? c1 (extract-condition c t1)) | |
179 | (equal? c2 (extract-condition c t2)))))) | |
180 | ||
181 | \f | |
182 | ;;; | |
183 | ;;; Examples from the SRFI. | |
184 | ;;; | |
185 | ||
186 | (define-condition-type &c &condition | |
187 | c? | |
188 | (x c-x)) | |
189 | ||
190 | (define-condition-type &c1 &c | |
191 | c1? | |
192 | (a c1-a)) | |
193 | ||
194 | (define-condition-type &c2 &c | |
195 | c2? | |
196 | (b c2-b)) | |
197 | ||
198 | (define v1 | |
199 | (make-condition &c1 'x "V1" 'a "a1")) | |
200 | ||
201 | (define v2 | |
202 | (condition (&c2 (x "V2") (b "b2")))) | |
203 | ||
204 | (define v3 | |
205 | (condition (&c1 (x "V3/1") (a "a3")) | |
206 | (&c2 (b "b3")))) | |
207 | ||
208 | (define v4 | |
209 | (make-compound-condition v1 v2)) | |
210 | ||
211 | (define v5 | |
212 | (make-compound-condition v2 v3)) | |
213 | ||
214 | ||
215 | (with-test-prefix "examples" | |
216 | ||
217 | (pass-if "v1" | |
218 | (condition? v1)) | |
219 | ||
220 | (pass-if "(c? v1)" | |
221 | (c? v1)) | |
222 | ||
223 | (pass-if "(c1? v1)" | |
224 | (c1? v1)) | |
225 | ||
226 | (pass-if "(not (c2? v1))" | |
227 | (not (c2? v1))) | |
228 | ||
229 | (pass-if "(c-x v1)" | |
230 | (equal? (c-x v1) "V1")) | |
231 | ||
232 | (pass-if "(c1-a v1)" | |
233 | (equal? (c1-a v1) "a1")) | |
234 | ||
235 | ||
236 | (pass-if "v2" | |
237 | (condition? v2)) | |
238 | ||
239 | (pass-if "(c? v2)" | |
240 | (c? v2)) | |
241 | ||
242 | (pass-if "(c2? v2)" | |
243 | (c2? v2)) | |
244 | ||
245 | (pass-if "(not (c1? v2))" | |
246 | (not (c1? v2))) | |
247 | ||
248 | (pass-if "(c-x v2)" | |
249 | (equal? (c-x v2) "V2")) | |
250 | ||
251 | (pass-if "(c2-b v2)" | |
252 | (equal? (c2-b v2) "b2")) | |
253 | ||
254 | ||
255 | (pass-if "v3" | |
256 | (condition? v3)) | |
257 | ||
258 | (pass-if "(c? v3)" | |
259 | (c? v3)) | |
260 | ||
261 | (pass-if "(c1? v3)" | |
262 | (c1? v3)) | |
263 | ||
264 | (pass-if "(c2? v3)" | |
265 | (c2? v3)) | |
266 | ||
267 | (pass-if "(c-x v3)" | |
268 | (equal? (c-x v3) "V3/1")) | |
269 | ||
270 | (pass-if "(c1-a v3)" | |
271 | (equal? (c1-a v3) "a3")) | |
272 | ||
273 | (pass-if "(c2-b v3)" | |
274 | (equal? (c2-b v3) "b3")) | |
275 | ||
276 | ||
277 | (pass-if "v4" | |
278 | (condition? v4)) | |
279 | ||
280 | (pass-if "(c? v4)" | |
281 | (c? v4)) | |
282 | ||
283 | (pass-if "(c1? v4)" | |
284 | (c1? v4)) | |
285 | ||
286 | (pass-if "(c2? v4)" | |
287 | (c2? v4)) | |
288 | ||
289 | (pass-if "(c-x v4)" | |
290 | (equal? (c-x v4) "V1")) | |
291 | ||
292 | (pass-if "(c1-a v4)" | |
293 | (equal? (c1-a v4) "a1")) | |
294 | ||
295 | (pass-if "(c2-b v4)" | |
296 | (equal? (c2-b v4) "b2")) | |
297 | ||
298 | ||
299 | (pass-if "v5" | |
300 | (condition? v5)) | |
301 | ||
302 | (pass-if "(c? v5)" | |
303 | (c? v5)) | |
304 | ||
305 | (pass-if "(c1? v5)" | |
306 | (c1? v5)) | |
307 | ||
308 | (pass-if "(c2? v5)" | |
309 | (c2? v5)) | |
310 | ||
311 | (pass-if "(c-x v5)" | |
312 | (equal? (c-x v5) "V2")) | |
313 | ||
314 | (pass-if "(c1-a v5)" | |
315 | (equal? (c1-a v5) "a3")) | |
316 | ||
317 | (pass-if "(c2-b v5)" | |
318 | (equal? (c2-b v5) "b2"))) |