samples/erasure/src-api1.0/api/Erasure.java
changeset 380 a2e90b86638a
parent 379 b632733724a8
child 390 a72eecb99952
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/erasure/src-api1.0/api/Erasure.java	Tue Oct 18 07:10:23 2011 +0200
     1.3 @@ -0,0 +1,19 @@
     1.4 +package api;
     1.5 +
     1.6 +import java.util.Set;
     1.7 +
     1.8 +public class Erasure {
     1.9 +    private Erasure() {
    1.10 +    }
    1.11 +
    1.12 +    // BEGIN: variance.erasure.v1
    1.13 +    public static boolean arePositive(Set<? extends Integer> numbers) {
    1.14 +        for (Integer n : numbers) {
    1.15 +            if (n <= 0) {
    1.16 +                return false;
    1.17 +            }
    1.18 +        }
    1.19 +        return true;
    1.20 +    }
    1.21 +    // END: variance.erasure.v1
    1.22 +}