Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/lambda/TargetType76.java@866c87c01285 (annotated)
test/tools/javac/lambda/TargetType76.java
Wed, 17 Jul 2013 14:09:46 +0100
- author
- mcimadamore
- date
- Wed, 17 Jul 2013 14:09:46 +0100
- changeset 1897
- 866c87c01285
- parent 0
- 959103a6100f
- permissions
- -rw-r--r--
8016175: Add bottom-up type-checking support for unambiguous method references
Summary: Type-checking of non-overloaded method references should be independent from target-type
Reviewed-by: jjg, vromero
| aoqi@0 | 1 | /* |
| aoqi@0 | 2 | * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. |
| aoqi@0 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| aoqi@0 | 4 | * |
| aoqi@0 | 5 | * This code is free software; you can redistribute it and/or modify it |
| aoqi@0 | 6 | * under the terms of the GNU General Public License version 2 only, as |
| aoqi@0 | 7 | * published by the Free Software Foundation. |
| aoqi@0 | 8 | * |
| aoqi@0 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
| aoqi@0 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| aoqi@0 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| aoqi@0 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
| aoqi@0 | 13 | * accompanied this code). |
| aoqi@0 | 14 | * |
| aoqi@0 | 15 | * You should have received a copy of the GNU General Public License version |
| aoqi@0 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
| aoqi@0 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| aoqi@0 | 18 | * |
| aoqi@0 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| aoqi@0 | 20 | * or visit www.oracle.com if you need additional information or have any |
| aoqi@0 | 21 | * questions. |
| aoqi@0 | 22 | */ |
| aoqi@0 | 23 | |
| aoqi@0 | 24 | /* |
| aoqi@0 | 25 | * @test |
| aoqi@0 | 26 | * @bug 8016175 |
| aoqi@0 | 27 | * @summary Add bottom-up type-checking support for unambiguous method references |
| aoqi@0 | 28 | * @compile TargetType76.java |
| aoqi@0 | 29 | */ |
| aoqi@0 | 30 | class TargetType76 { |
| aoqi@0 | 31 | |
| aoqi@0 | 32 | interface Function<X, Y> { |
| aoqi@0 | 33 | Y m(X x); |
| aoqi@0 | 34 | } |
| aoqi@0 | 35 | |
| aoqi@0 | 36 | interface OfRef<T> { } |
| aoqi@0 | 37 | |
| aoqi@0 | 38 | interface Supplier<X> { |
| aoqi@0 | 39 | X make(); |
| aoqi@0 | 40 | } |
| aoqi@0 | 41 | |
| aoqi@0 | 42 | interface Stream<X> { } |
| aoqi@0 | 43 | |
| aoqi@0 | 44 | interface Node<E> { |
| aoqi@0 | 45 | Spliterator<E> spliterator(); |
| aoqi@0 | 46 | } |
| aoqi@0 | 47 | |
| aoqi@0 | 48 | interface Spliterator<X> { |
| aoqi@0 | 49 | Spliterator<X> spliterator(); |
| aoqi@0 | 50 | } |
| aoqi@0 | 51 | |
| aoqi@0 | 52 | class RefTestData<T, I> implements OfRef<T> { |
| aoqi@0 | 53 | RefTestData(I state, |
| aoqi@0 | 54 | Function<I, Stream<T>> streamFn, |
| aoqi@0 | 55 | Function<I, Spliterator<T>> splitrFn) { } |
| aoqi@0 | 56 | } |
| aoqi@0 | 57 | |
| aoqi@0 | 58 | <O> OfRef<O> ofCollection(Node<O> collection) { |
| aoqi@0 | 59 | return new RefTestData<>(collection, |
| aoqi@0 | 60 | x->stream(x::spliterator), |
| aoqi@0 | 61 | Node::spliterator); |
| aoqi@0 | 62 | } |
| aoqi@0 | 63 | |
| aoqi@0 | 64 | <S> Stream<S> stream(Supplier<? extends Spliterator<S>> supplier) { return null; } |
| aoqi@0 | 65 | } |
