1 USING: kernel tools.test generic generic.standard classes math
2 accessors classes.intersection slots math.order ;
3 IN: classes.intersection.tests
6 TUPLE: a1 < a ; TUPLE: a2 < a ; TUPLE: a3 < a2 ;
10 INTERSECTION: c a2 b ;
17 [ a ] [ T{ a } x ] unit-test
18 [ a ] [ T{ a1 } x ] unit-test
19 [ a ] [ T{ a2 } x ] unit-test
21 [ t ] [ T{ a3 } c? ] unit-test
22 [ t ] [ T{ a3 } \ x effective-method M\ c x eq? nip ] unit-test
23 [ c ] [ T{ a3 } x ] unit-test
27 TUPLE: t2 < t1 ; TUPLE: t3 < t1 ;
28 TUPLE: t4 < t2 ; TUPLE: t5 < t2 ;
31 INTERSECTION: i t2 m ;
38 [ t4 ] [ T{ t4 } g ] unit-test
39 [ i ] [ T{ t5 } g ] unit-test
41 PREDICATE: odd-integer < integer odd? ;
43 ! [ TUPLE: omg { a intersection{ fixnum odd-integer } initial: 2 } ;" eval( -- ) ]
44 ! [ bad-initial-value? ] must-fail-with
46 TUPLE: omg { a intersection{ fixnum odd-integer } initial: 1 } ;
48 [ 1 ] [ omg new a>> ] unit-test
49 [ 3 ] [ omg new 3 >>a a>> ] unit-test
50 [ omg new 1.2 >>a a>> ] [ bad-slot-value? ] must-fail-with
52 PREDICATE: odd/float-between-10-20 < union{ odd-integer float }
55 [ t ] [ 17 odd/float-between-10-20? ] unit-test
56 [ t ] [ 17.4 odd/float-between-10-20? ] unit-test
57 [ f ] [ 18 odd/float-between-10-20? ] unit-test
58 [ f ] [ 5 odd/float-between-10-20? ] unit-test
59 [ f ] [ 5.75 odd/float-between-10-20? ] unit-test