Sat, 07 Nov 2020 10:30:02 +0800
Added tag mips-jdk8u275-b01 for changeset eb6ee6a5f2fe
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * Copyright (c) 2010, 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 7006109 |
aoqi@0 | 27 | * @summary Add test library to simplify the task of writing automated type-system tests |
aoqi@0 | 28 | * @author mcimadamore |
aoqi@0 | 29 | * @library . |
aoqi@0 | 30 | * @run main CastTest |
aoqi@0 | 31 | */ |
aoqi@0 | 32 | |
aoqi@0 | 33 | import com.sun.tools.javac.code.Type; |
aoqi@0 | 34 | import com.sun.tools.javac.code.Type.*; |
aoqi@0 | 35 | import com.sun.tools.javac.code.Symbol.*; |
aoqi@0 | 36 | import java.lang.reflect.Array; |
aoqi@0 | 37 | |
aoqi@0 | 38 | import static com.sun.tools.javac.code.Flags.*; |
aoqi@0 | 39 | |
aoqi@0 | 40 | /** |
aoqi@0 | 41 | * Check invariants in cast conversion involving primitive types and arrays |
aoqi@0 | 42 | */ |
aoqi@0 | 43 | public class CastTest extends TypeHarness { |
aoqi@0 | 44 | |
aoqi@0 | 45 | Type[] types_no_boxing; |
aoqi@0 | 46 | Type[] types_boxing; |
aoqi@0 | 47 | |
aoqi@0 | 48 | static final boolean T = true; |
aoqi@0 | 49 | static final boolean F = false; |
aoqi@0 | 50 | |
aoqi@0 | 51 | boolean[][] cast_result_no_boxing = { |
aoqi@0 | 52 | //byte, short, int, long, float, double, char, bool, C, +C, I, T, byte[], short[], int[], long[], float[], double[], char[], bool[], C[], +C[], I[], T[] |
aoqi@0 | 53 | /*byte*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 54 | /*short*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 55 | /*int*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 56 | /*long*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 57 | /*float*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 58 | /*double*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 59 | /*char*/ { T , T , T , T , T , T , T , F , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 60 | /*bool*/ { F , F , F , F , F , F , F , T , F, F , F, F, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 61 | /*C*/ { F , F , F , F , F , F , F , F , T, F , T, T, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 62 | /*+C*/ { F , F , F , F , F , F , F , F , F, T , F, T, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 63 | /*I*/ { F , F , F , F , F , F , F , F , T, F , T, T, F , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 64 | /*T*/ { F , F , F , F , F , F , F , F , T, T , T, T, T , T , T , T , T , T , T , T , T , T , T , T }, |
aoqi@0 | 65 | /*byte[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, T , F , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 66 | /*short[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , T , F , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 67 | /*int[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , T , F , F , F , F , F , F , F , F , F }, |
aoqi@0 | 68 | /*long[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , T , F , F , F , F , F , F , F , F }, |
aoqi@0 | 69 | /*float[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , T , F , F , F , F , F , F , F }, |
aoqi@0 | 70 | /*double[]*/{ F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , T , F , F , F , F , F , F }, |
aoqi@0 | 71 | /*char[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , T , F , F , F , F , F }, |
aoqi@0 | 72 | /*bool[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , F , T , F , F , F , F }, |
aoqi@0 | 73 | /*C[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , F , F , T , F , T , T }, |
aoqi@0 | 74 | /*+C[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , F , F , F , T , F , T }, |
aoqi@0 | 75 | /*I[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , F , F , T , F , T , T }, |
aoqi@0 | 76 | /*T[]*/ { F , F , F , F , F , F , F , F , F, F , F, T, F , F , F , F , F , F , F , F , T , T , T , T }}; |
aoqi@0 | 77 | |
aoqi@0 | 78 | boolean[][] cast_result_boxing = { |
aoqi@0 | 79 | //byte, short, int, long, float, double, char, bool, Byte, Short, Integer, Long, Float, Double, Character, Boolean, Object |
aoqi@0 | 80 | /*byte*/ { T , T , T , T , T , T , T , F , T , F , F , F , F , F , F , F , T }, |
aoqi@0 | 81 | /*short*/ { T , T , T , T , T , T , T , F , F , T , F , F , F , F , F , F , T }, |
aoqi@0 | 82 | /*int*/ { T , T , T , T , T , T , T , F , F , F , T , F , F , F , F , F , T }, |
aoqi@0 | 83 | /*long*/ { T , T , T , T , T , T , T , F , F , F , F , T , F , F , F , F , T }, |
aoqi@0 | 84 | /*float*/ { T , T , T , T , T , T , T , F , F , F , F , F , T , F , F , F , T }, |
aoqi@0 | 85 | /*double*/ { T , T , T , T , T , T , T , F , F , F , F , F , F , T , F , F , T }, |
aoqi@0 | 86 | /*char*/ { T , T , T , T , T , T , T , F , F , F , F , F , F , F , T , F , T }, |
aoqi@0 | 87 | /*bool*/ { F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , T , T }, |
aoqi@0 | 88 | /*Byte*/ { T , T , T , T , T , T , F , F , T , F , F , F , F , F , F , F , T }, |
aoqi@0 | 89 | /*Short*/ { F , T , T , T , T , T , F , F , F , T , F , F , F , F , F , F , T }, |
aoqi@0 | 90 | /*Integer*/ { F , F , T , T , T , T , F , F , F , F , T , F , F , F , F , F , T }, |
aoqi@0 | 91 | /*Long*/ { F , F , F , T , T , T , F , F , F , F , F , T , F , F , F , F , T }, |
aoqi@0 | 92 | /*Float*/ { F , F , F , F , T , T , F , F , F , F , F , F , T , F , F , F , T }, |
aoqi@0 | 93 | /*Double*/ { F , F , F , F , F , T , F , F , F , F , F , F , F , T , F , F , T }, |
aoqi@0 | 94 | /*Character*/ { F , F , T , T , T , T , T , F , F , F , F , F , F , F , T , F , T }, |
aoqi@0 | 95 | /*Boolean*/ { F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , T , T }, |
aoqi@0 | 96 | /*Object*/ { T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T }}; |
aoqi@0 | 97 | CastTest() { |
aoqi@0 | 98 | Type[] primitiveTypes = { |
aoqi@0 | 99 | predef.byteType, |
aoqi@0 | 100 | predef.shortType, |
aoqi@0 | 101 | predef.intType, |
aoqi@0 | 102 | predef.longType, |
aoqi@0 | 103 | predef.floatType, |
aoqi@0 | 104 | predef.doubleType, |
aoqi@0 | 105 | predef.charType, |
aoqi@0 | 106 | predef.booleanType }; |
aoqi@0 | 107 | |
aoqi@0 | 108 | Type[] boxedTypes = new Type[primitiveTypes.length + 1]; |
aoqi@0 | 109 | for (int i = 0 ; i < primitiveTypes.length ; i++) { |
aoqi@0 | 110 | boxedTypes[i] = box(primitiveTypes[i]); |
aoqi@0 | 111 | } |
aoqi@0 | 112 | |
aoqi@0 | 113 | boxedTypes[primitiveTypes.length] = predef.objectType; |
aoqi@0 | 114 | |
aoqi@0 | 115 | types_boxing = join(Type.class, primitiveTypes, boxedTypes); |
aoqi@0 | 116 | |
aoqi@0 | 117 | Type[] referenceTypes = { |
aoqi@0 | 118 | fac.Class(), |
aoqi@0 | 119 | fac.Class(FINAL), |
aoqi@0 | 120 | fac.Interface(), |
aoqi@0 | 121 | fac.TypeVariable() }; |
aoqi@0 | 122 | |
aoqi@0 | 123 | Type[] arrayTypes = new Type[primitiveTypes.length + referenceTypes.length]; |
aoqi@0 | 124 | int idx = 0; |
aoqi@0 | 125 | for (Type t : join(Type.class, primitiveTypes, referenceTypes)) { |
aoqi@0 | 126 | arrayTypes[idx++] = fac.Array(t); |
aoqi@0 | 127 | } |
aoqi@0 | 128 | |
aoqi@0 | 129 | types_no_boxing = join(Type.class, primitiveTypes, referenceTypes, arrayTypes); |
aoqi@0 | 130 | } |
aoqi@0 | 131 | |
aoqi@0 | 132 | void test(Type[] all_types, boolean[][] cast_result) { |
aoqi@0 | 133 | for (int i = 0; i < all_types.length ; i++) { |
aoqi@0 | 134 | for (int j = 0; j < all_types.length ; j++) { |
aoqi@0 | 135 | assertCastable(all_types[i], all_types[j], cast_result[i][j]); |
aoqi@0 | 136 | } |
aoqi@0 | 137 | } |
aoqi@0 | 138 | } |
aoqi@0 | 139 | |
aoqi@0 | 140 | void runTests() { |
aoqi@0 | 141 | test(types_no_boxing, cast_result_no_boxing); |
aoqi@0 | 142 | test(types_boxing, cast_result_boxing); |
aoqi@0 | 143 | } |
aoqi@0 | 144 | |
aoqi@0 | 145 | @SuppressWarnings("unchecked") |
aoqi@0 | 146 | <T> T[] join(Class<T> type, T[]... args) { |
aoqi@0 | 147 | int totalLength = 0; |
aoqi@0 | 148 | for (T[] arr : args) { |
aoqi@0 | 149 | totalLength += arr.length; |
aoqi@0 | 150 | } |
aoqi@0 | 151 | T[] new_arr = (T[])Array.newInstance(type, totalLength); |
aoqi@0 | 152 | int idx = 0; |
aoqi@0 | 153 | for (T[] arr : args) { |
aoqi@0 | 154 | System.arraycopy(arr, 0, new_arr, idx, arr.length); |
aoqi@0 | 155 | idx += arr.length; |
aoqi@0 | 156 | } |
aoqi@0 | 157 | return new_arr; |
aoqi@0 | 158 | } |
aoqi@0 | 159 | |
aoqi@0 | 160 | public static void main(String[] args) { |
aoqi@0 | 161 | new CastTest().runTests(); |
aoqi@0 | 162 | } |
aoqi@0 | 163 | } |