test/tools/apt/mirror/type/WildcardTyp.java

Tue, 25 May 2010 15:54:51 -0700

author
ohair
date
Tue, 25 May 2010 15:54:51 -0700
changeset 554
9d9f26857129
parent 174
fdfed22db054
permissions
-rw-r--r--

6943119: Rebrand source copyright notices
Reviewed-by: darcy

duke@1 1 /*
ohair@554 2 * Copyright (c) 2004, 2008, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
duke@1 7 * published by the Free Software Foundation.
duke@1 8 *
duke@1 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 13 * accompanied this code).
duke@1 14 *
duke@1 15 * You should have received a copy of the GNU General Public License version
duke@1 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 18 *
ohair@554 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554 20 * or visit www.oracle.com if you need additional information or have any
ohair@554 21 * questions.
duke@1 22 */
duke@1 23
duke@1 24
duke@1 25 /*
duke@1 26 * @test
duke@1 27 * @bug 4853450 5009396 5010636 5031156
duke@1 28 * @summary WildcardType tests
duke@1 29 * @library ../../lib
duke@1 30 * @compile -source 1.5 WildcardTyp.java
jjg@132 31 * @run main/othervm WildcardTyp
duke@1 32 */
duke@1 33
duke@1 34
duke@1 35 import java.util.*;
duke@1 36 import com.sun.mirror.declaration.*;
duke@1 37 import com.sun.mirror.type.*;
duke@1 38 import com.sun.mirror.util.*;
duke@1 39
duke@1 40
duke@1 41 public class WildcardTyp extends Tester {
duke@1 42
duke@1 43 public static void main(String[] args) {
duke@1 44 (new WildcardTyp()).run();
duke@1 45 }
duke@1 46
duke@1 47
duke@1 48 // Declarations to use for testing
duke@1 49
duke@1 50 interface G<T> {
duke@1 51 }
duke@1 52
duke@1 53 interface G1<N extends Number & Runnable> {
duke@1 54 }
duke@1 55
duke@1 56 interface G2<T extends G2<T>> {
duke@1 57 }
duke@1 58
duke@1 59 // Some wildcard types to test.
duke@1 60 private G<?> f0; // unbound
duke@1 61 private G<? extends Number> f1; // covariant
duke@1 62 private G<? super Number> f2; // contravariant
duke@1 63 private G<? extends Object> f3; // <sigh>
duke@1 64 private G1<?> f4; // "true" upper bound is an intersection type
duke@1 65 private G2<?> f5; // 'true" upper bound is a recursive F-bound and
duke@1 66 // not expressible
duke@1 67 private static final int NUMTYPES = 6;
duke@1 68
duke@1 69 // Type mirrors corresponding to the wildcard types of the above fields
duke@1 70 private WildcardType[] t = new WildcardType[NUMTYPES];
duke@1 71
duke@1 72
duke@1 73 protected void init() {
duke@1 74 for (int i = 0; i < t.length; i++) {
duke@1 75 DeclaredType type = (DeclaredType) getField("f"+i).getType();
duke@1 76 t[i] = (WildcardType)
duke@1 77 type.getActualTypeArguments().iterator().next();
duke@1 78 }
duke@1 79 }
duke@1 80
duke@1 81 private WildcardType wildcardFor(String field) {
duke@1 82 DeclaredType d = (DeclaredType) getField(field).getType();
duke@1 83 return (WildcardType) d.getActualTypeArguments().iterator().next();
duke@1 84 }
duke@1 85
duke@1 86
duke@1 87 // TypeMirror methods
duke@1 88
duke@1 89 @Test(result="wild thing")
duke@1 90 Collection<String> accept() {
duke@1 91 final Collection<String> res = new ArrayList<String>();
duke@1 92
duke@1 93 t[0].accept(new SimpleTypeVisitor() {
duke@1 94 public void visitTypeMirror(TypeMirror t) {
duke@1 95 res.add("type");
duke@1 96 }
duke@1 97 public void visitReferenceType(ReferenceType t) {
duke@1 98 res.add("ref type");
duke@1 99 }
duke@1 100 public void visitWildcardType(WildcardType t) {
duke@1 101 res.add("wild thing");
duke@1 102 }
duke@1 103 });
duke@1 104 return res;
duke@1 105 }
duke@1 106
duke@1 107 @Test(result={
duke@1 108 "?",
duke@1 109 "? extends java.lang.Number",
duke@1 110 "? super java.lang.Number",
duke@1 111 "? extends java.lang.Object",
duke@1 112 "?",
duke@1 113 "?"
duke@1 114 },
duke@1 115 ordered=true)
duke@1 116 Collection<String> toStringTests() {
duke@1 117 Collection<String> res = new ArrayList<String>();
duke@1 118 for (WildcardType w : t) {
duke@1 119 res.add(w.toString());
duke@1 120 }
duke@1 121 return res;
duke@1 122 }
duke@1 123
duke@1 124
duke@1 125 // WildcardType methods
duke@1 126
duke@1 127 @Test(result={
duke@1 128 "null",
duke@1 129 "null",
duke@1 130 "java.lang.Number",
duke@1 131 "null",
duke@1 132 "null",
duke@1 133 "null"
duke@1 134 },
duke@1 135 ordered=true)
duke@1 136 Collection<ReferenceType> getLowerBounds() {
duke@1 137 Collection<ReferenceType> res = new ArrayList<ReferenceType>();
duke@1 138 for (WildcardType w : t) {
duke@1 139 Collection<ReferenceType> bounds = w.getLowerBounds();
duke@1 140 int num = bounds.size();
duke@1 141 if (num > 1) {
duke@1 142 throw new AssertionError("Bounds abound");
duke@1 143 }
duke@1 144 res.add((num > 0) ? bounds.iterator().next() : null);
duke@1 145 }
duke@1 146 return res;
duke@1 147 }
duke@1 148
duke@1 149 @Test(result={
duke@1 150 "null",
duke@1 151 "java.lang.Number",
duke@1 152 "null",
duke@1 153 "java.lang.Object",
duke@1 154 "null",
duke@1 155 "null"
duke@1 156 },
duke@1 157 ordered=true)
duke@1 158 Collection<ReferenceType> getUpperBounds() {
duke@1 159 Collection<ReferenceType> res = new ArrayList<ReferenceType>();
duke@1 160 for (WildcardType w : t) {
duke@1 161 Collection<ReferenceType> bounds = w.getUpperBounds();
duke@1 162 int num = bounds.size();
duke@1 163 if (num > 1) {
duke@1 164 throw new AssertionError("Bounds abound");
duke@1 165 }
duke@1 166 res.add((num > 0) ? bounds.iterator().next() : null);
duke@1 167 }
duke@1 168 return res;
duke@1 169 }
duke@1 170 }

mercurial