test/tools/javac/generics/rawOverride/7157798/Test1.java

Mon, 21 May 2012 16:10:14 -0700

author
jjh
date
Mon, 21 May 2012 16:10:14 -0700
changeset 1266
f5dbd6895994
parent 0
959103a6100f
permissions
-rw-r--r--

7157798: Add 6 test scenarios for testing inheritance of multiple same-name methods from mulitple interfaces
Reviewed-by: mcimadamore
Contributed-by: sue.wei@oracle.com

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2012, 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 7062745 7157798
aoqi@0 27 * @summary Test inheritance of same-name methods from mulitple interfaces
aoqi@0 28 when the methods have compatible return types
aoqi@0 29 * @compile Test1.java
aoqi@0 30 */
aoqi@0 31
aoqi@0 32 import java.util.*;
aoqi@0 33
aoqi@0 34 interface A { List<Number> getList(); }
aoqi@0 35 interface B { List getList(); }
aoqi@0 36
aoqi@0 37 interface AB extends A, B {} //return type: List<Number>
aoqi@0 38
aoqi@0 39 interface C<T> { List<T> getList(); }
aoqi@0 40
aoqi@0 41 interface BC<T> extends B, C<T> {} //return type: List<T>
aoqi@0 42
aoqi@0 43 interface D { Number m(); }
aoqi@0 44 interface E { Double m(); }
aoqi@0 45
aoqi@0 46 interface DE extends D, E {} //return type: Double
aoqi@0 47
aoqi@0 48 interface F { ArrayList getList(); }
aoqi@0 49 interface G { Collection getList(); }
aoqi@0 50
aoqi@0 51 interface AG extends A, G{}; //return type: List<Number>
aoqi@0 52
aoqi@0 53 interface CF<T> extends C<T>, F {} //return type: ArrayList
aoqi@0 54
aoqi@0 55 interface CG<T> extends C<T>, G {} //return type: List<T>
aoqi@0 56
aoqi@0 57 interface H<T> { Iterable<T> getList(); }
aoqi@0 58
aoqi@0 59 interface CH<T> extends C<T>, H<T> {} //return type: List<T>
aoqi@0 60
aoqi@0 61 interface CFGH<T> extends C<T>, F, G, H<T> {} //return type: ArrayList
aoqi@0 62
aoqi@0 63
aoqi@0 64 class Test1 {
aoqi@0 65
aoqi@0 66 //raw and typed return types:
aoqi@0 67 void test(AB ab) {
aoqi@0 68 Number n = ab.getList().get(1);
aoqi@0 69 }
aoqi@0 70
aoqi@0 71 void test(BC<String> bc) {
aoqi@0 72 String s = bc.getList().get(1);
aoqi@0 73 }
aoqi@0 74
aoqi@0 75 void testRaw(BC bc) {
aoqi@0 76 List list = bc.getList();
aoqi@0 77 }
aoqi@0 78
aoqi@0 79 void testWildCard(BC<?> bc) {
aoqi@0 80 List<?> list = bc.getList();
aoqi@0 81 }
aoqi@0 82
aoqi@0 83 <T> void testGeneric(BC<T> bc) {
aoqi@0 84 T t = bc.getList().get(1);
aoqi@0 85 }
aoqi@0 86
aoqi@0 87 //covariant return:
aoqi@0 88 void test(DE de) {
aoqi@0 89 Double d = de.m();
aoqi@0 90 }
aoqi@0 91
aoqi@0 92 //mixed:
aoqi@0 93 void test(AG ag) {
aoqi@0 94 Number n = ag.getList().get(0);
aoqi@0 95 }
aoqi@0 96
aoqi@0 97 void test(CF<Integer> cf) {
aoqi@0 98 ArrayList list = cf.getList();
aoqi@0 99 }
aoqi@0 100
aoqi@0 101 void test(CG<String> cg) {
aoqi@0 102 String s = cg.getList().get(0);
aoqi@0 103 }
aoqi@0 104
aoqi@0 105 void test(CH<String> ch) {
aoqi@0 106 String s = ch.getList().get(0);
aoqi@0 107 }
aoqi@0 108
aoqi@0 109 void test(CFGH<Double> cfgh) {
aoqi@0 110 ArrayList list = cfgh.getList();
aoqi@0 111 }
aoqi@0 112
aoqi@0 113 void testWildCard(CFGH<?> cfgh) {
aoqi@0 114 ArrayList list = cfgh.getList();
aoqi@0 115 }
aoqi@0 116 }

mercurial