test/tools/javac/lambda/TargetType45.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 1415
01c9d4161882
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@1415 1 /*
mcimadamore@1415 2 * @test /nodynamiccopyright/
mcimadamore@1415 3 * @bug 8003280
mcimadamore@1415 4 * @summary Add lambda tests
mcimadamore@1415 5 * compiler crashes during flow analysis as it fails to report diagnostics during attribution
mcimadamore@1510 6 * @compile TargetType45.java
mcimadamore@1415 7 */
mcimadamore@1415 8 class TargetType45 {
mcimadamore@1415 9
mcimadamore@1415 10 interface Predicate<X> {
mcimadamore@1415 11 boolean apply(X x);
mcimadamore@1415 12 }
mcimadamore@1415 13
mcimadamore@1415 14 interface Mapper<X, Y> {
mcimadamore@1415 15 Y apply(X x);
mcimadamore@1415 16 }
mcimadamore@1415 17
mcimadamore@1415 18 class Foo<X> {
mcimadamore@1415 19 Foo<X> filter(Predicate<? super X> p) { return null; }
mcimadamore@1415 20 }
mcimadamore@1415 21
mcimadamore@1415 22 static <U, V> Predicate<U> compose(Predicate<? super V> pi, Mapper<? super U, ? extends V> m) { return null; }
mcimadamore@1415 23
mcimadamore@1415 24 static Predicate<Integer> isOdd = i -> i % 2 != 0;
mcimadamore@1415 25
mcimadamore@1415 26 void top10Counties(Foo<String> foos) {
mcimadamore@1415 27 foos.filter(compose(isOdd, (String e) -> e.length()));
mcimadamore@1415 28 }
mcimadamore@1415 29 }

mercurial