! Copyright (C) 2009 Daniel Ehrenberg. ! See http://factorcode.org/license.txt for BSD license. USING: tools.test interval-sets math grouping sequences accessors combinators.short-circuit literals ; IN: interval-sets.tests [ f ] [ 0 T{ interval-set } in? ] unit-test [ f ] [ 2 T{ interval-set } in? ] unit-test CONSTANT: i1 $[ { { 3 4 } } ] [ f ] [ 2 i1 in? ] unit-test [ t ] [ 3 i1 in? ] unit-test [ t ] [ 4 i1 in? ] unit-test [ f ] [ 5 i1 in? ] unit-test CONSTANT: i2 $[ { { 3 4 } } 0x10FFFF ] ! unicode-max [ t ] [ 2 i2 in? ] unit-test [ f ] [ 3 i2 in? ] unit-test [ f ] [ 4 i2 in? ] unit-test [ t ] [ 5 i2 in? ] unit-test CONSTANT: i3 $[ { { 2 4 } } { { 6 8 } } ] [ f ] [ 1 i3 in? ] unit-test [ t ] [ 2 i3 in? ] unit-test [ t ] [ 3 i3 in? ] unit-test [ t ] [ 4 i3 in? ] unit-test [ f ] [ 5 i3 in? ] unit-test [ t ] [ 6 i3 in? ] unit-test [ t ] [ 7 i3 in? ] unit-test [ t ] [ 8 i3 in? ] unit-test [ f ] [ 9 i3 in? ] unit-test CONSTANT: i4 $[ { { 2 4 } } { { 6 8 } } ] [ f ] [ 1 i4 in? ] unit-test [ f ] [ 2 i4 in? ] unit-test [ f ] [ 3 i4 in? ] unit-test [ f ] [ 4 i4 in? ] unit-test [ f ] [ 5 i4 in? ] unit-test [ f ] [ 6 i4 in? ] unit-test [ f ] [ 7 i4 in? ] unit-test [ f ] [ 8 i4 in? ] unit-test [ f ] [ 9 i4 in? ] unit-test CONSTANT: i5 $[ { { 2 5 } } { { 4 8 } } ] [ f ] [ 1 i5 in? ] unit-test [ t ] [ 2 i5 in? ] unit-test [ t ] [ 3 i5 in? ] unit-test [ t ] [ 4 i5 in? ] unit-test [ t ] [ 5 i5 in? ] unit-test [ t ] [ 6 i5 in? ] unit-test [ t ] [ 7 i5 in? ] unit-test [ t ] [ 8 i5 in? ] unit-test [ f ] [ 9 i5 in? ] unit-test CONSTANT: i6 $[ { { 2 5 } } { { 4 8 } } ] [ f ] [ 1 i6 in? ] unit-test [ f ] [ 2 i6 in? ] unit-test [ f ] [ 3 i6 in? ] unit-test [ t ] [ 4 i6 in? ] unit-test [ t ] [ 5 i6 in? ] unit-test [ f ] [ 6 i6 in? ] unit-test [ f ] [ 7 i6 in? ] unit-test [ f ] [ 8 i6 in? ] unit-test [ f ] [ 9 i6 in? ] unit-test : criterion ( interval-set -- ? ) array>> { [ [ < ] monotonic? ] [ length even? ] } 1&& ; [ t ] [ i1 criterion ] unit-test [ t ] [ i2 criterion ] unit-test [ t ] [ i3 criterion ] unit-test [ t ] [ i4 criterion ] unit-test [ t ] [ i5 criterion ] unit-test [ t ] [ i6 criterion ] unit-test