4 | | (testeez |
5 | | "c3" |
6 | | (test/equal "Michele Simionato's example 1" |
7 | | (begin |
8 | | (define O <object>) |
9 | | (define-class F (O) ()) |
10 | | (define-class E (O) ()) |
11 | | (define-class D (O) ()) |
12 | | (define-class C (D F) ()) |
13 | | (define-class B (D E) ()) |
14 | | (define-class A (B C) ()) |
15 | | (class-cpl A)) |
16 | | (list A B C D E F <object> <top>)) |
17 | | (test/equal "Michele Simionato's example 2" |
18 | | (begin |
19 | | (define O <object>) |
20 | | (define-class F (O) ()) |
21 | | (define-class E (O) ()) |
22 | | (define-class D (O) ()) |
23 | | (define-class C (D F) ()) |
24 | | (define-class B (E D) ()) |
25 | | (define-class A (B C) ()) |
26 | | (class-cpl A)) |
27 | | (list A B E C D F <object> <top>)) |
28 | | (test/equal "Pedroni's example" |
29 | | (begin |
30 | | (define O <object>) |
31 | | (define-class A(O) ()) |
32 | | (define-class B(O) ()) |
33 | | (define-class C(O) ()) |
34 | | (define-class D(O) ()) |
35 | | (define-class E(O) ()) |
36 | | (define-class K1(A B C) ()) |
37 | | (define-class K2(D B E) ()) |
38 | | (define-class K3(D A) ()) |
39 | | (define-class Z(K1 K2 K3) ()) |
40 | | (class-cpl Z)) |
41 | | (list Z K1 K2 K3 D A B C E <object> <top>)) |
42 | | ) |
43 | | No newline at end of file |
| 11 | (test-begin "c3") |
| 12 | |
| 13 | (test "Michele Simionato's example 1" |
| 14 | (list A B C D E F <object> <top>) |
| 15 | (class-cpl A)) |
| 16 | |
| 17 | (define O <object>) |
| 18 | (define-class F (O) ()) |
| 19 | (define-class E (O) ()) |
| 20 | (define-class D (O) ()) |
| 21 | (define-class C (D F) ()) |
| 22 | (define-class B (E D) ()) |
| 23 | (define-class A (B C) ()) |
| 24 | |
| 25 | (test "Michele Simionato's example 2" |
| 26 | (list A B E C D F <object> <top>) |
| 27 | (class-cpl A)) |
| 28 | |
| 29 | (define O <object>) |
| 30 | (define-class A(O) ()) |
| 31 | (define-class B(O) ()) |
| 32 | (define-class C(O) ()) |
| 33 | (define-class D(O) ()) |
| 34 | (define-class E(O) ()) |
| 35 | (define-class K1(A B C) ()) |
| 36 | (define-class K2(D B E) ()) |
| 37 | (define-class K3(D A) ()) |
| 38 | (define-class Z(K1 K2 K3) ()) |
| 39 | |
| 40 | (test "Pedroni's example" |
| 41 | (list Z K1 K2 K3 D A B C E <object> <top>) |
| 42 | (class-cpl Z)) |
| 43 | |
| 44 | (test-end) |
| 45 | |
| 46 | (test-exit) |