1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/contravariance/src-impl/test/ContravarianceTest.java	Tue Oct 18 06:55:12 2011 +0200
     1.3 @@ -0,0 +1,15 @@
     1.4 +package test;
     1.5 +
     1.6 +import api.Contravariance;
     1.7 +
     1.8 +public class ContravarianceTest {
     1.9 +    // BEGIN: variance.contravariance.test
    1.10 +    public static void main(String[] args) {
    1.11 +        boolean positive = Contravariance.isPositive(10);
    1.12 +        boolean negative = Contravariance.isPositive(-5);
    1.13 +        System.err.println("positive = " + positive + " negative = " + negative);
    1.14 +        assert positive : "10 is positive";
    1.15 +        assert !negative : "-5 is negative";
    1.16 +    }
    1.17 +    // END: variance.contravariance.test
    1.18 +}