1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
/*
* Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/**
* @test
* @bug 7062745 7157798
* @summary Test inheritance of same-name methods from mulitple interfaces
when the methods have compatible return types
* @compile Test1.java
*/
import java.util.*;
interface A { List<Number> getList(); }
interface B { List getList(); }
interface AB extends A, B {} //return type: List<Number>
interface C<T> { List<T> getList(); }
interface BC<T> extends B, C<T> {} //return type: List<T>
interface D { Number m(); }
interface E { Double m(); }
interface DE extends D, E {} //return type: Double
interface F { ArrayList getList(); }
interface G { Collection getList(); }
interface AG extends A, G{}; //return type: List<Number>
interface CF<T> extends C<T>, F {} //return type: ArrayList
interface CG<T> extends C<T>, G {} //return type: List<T>
interface H<T> { Iterable<T> getList(); }
interface CH<T> extends C<T>, H<T> {} //return type: List<T>
interface CFGH<T> extends C<T>, F, G, H<T> {} //return type: ArrayList
class Test1 {
//raw and typed return types:
void test(AB ab) {
Number n = ab.getList().get(1);
}
void test(BC<String> bc) {
String s = bc.getList().get(1);
}
void testRaw(BC bc) {
List list = bc.getList();
}
void testWildCard(BC<?> bc) {
List<?> list = bc.getList();
}
<T> void testGeneric(BC<T> bc) {
T t = bc.getList().get(1);
}
//covariant return:
void test(DE de) {
Double d = de.m();
}
//mixed:
void test(AG ag) {
Number n = ag.getList().get(0);
}
void test(CF<Integer> cf) {
ArrayList list = cf.getList();
}
void test(CG<String> cg) {
String s = cg.getList().get(0);
}
void test(CH<String> ch) {
String s = ch.getList().get(0);
}
void test(CFGH<Double> cfgh) {
ArrayList list = cfgh.getList();
}
void testWildCard(CFGH<?> cfgh) {
ArrayList list = cfgh.getList();
}
}
|
