| /* |
| * Copyright (c) 2010, 2016, 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 7006109 |
| * @summary Add test library to simplify the task of writing automated type-system tests |
| * @author mcimadamore |
| * @library /tools/lib/types |
| * @modules jdk.compiler/com.sun.tools.javac.code |
| * jdk.compiler/com.sun.tools.javac.comp |
| * jdk.compiler/com.sun.tools.javac.file |
| * jdk.compiler/com.sun.tools.javac.util |
| * jdk.compiler/com.sun.tools.javac.main |
| * jdk.compiler/com.sun.tools.javac.tree |
| * @build TypeHarness |
| * @run main CastTest |
| */ |
| |
| import com.sun.tools.javac.code.Type; |
| import java.lang.reflect.Array; |
| |
| import static com.sun.tools.javac.code.Flags.*; |
| |
| /** |
| * Check invariants in cast conversion involving primitive types and arrays |
| */ |
| public class CastTest extends TypeHarness { |
| |
| Type[] types_no_boxing; |
| Type[] types_boxing; |
| |
| static final boolean T = true; |
| static final boolean F = false; |
| |
| boolean[][] cast_result_no_boxing = { |
| //byte, short, int, long, float, double, char, bool, C, +C, I, T, byte[], short[], int[], long[], float[], double[], char[], bool[], C[], +C[], I[], T[] |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*+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 }, |
| /*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 }, |
| /*T*/ { T , T , T , T , T , T , T , T , T, T , T, T, T , T , T , T , T , T , T , T , T , T , T , T }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*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 }, |
| /*+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 }, |
| /*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 }, |
| /*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 }}; |
| |
| boolean[][] cast_result_boxing = { |
| //byte, short, int, long, float, double, char, bool, Byte, Short, Integer, Long, Float, Double, Character, Boolean, Object |
| /*byte*/ { T , T , T , T , T , T , T , F , T , F , F , F , F , F , F , F , T }, |
| /*short*/ { T , T , T , T , T , T , T , F , F , T , F , F , F , F , F , F , T }, |
| /*int*/ { T , T , T , T , T , T , T , F , F , F , T , F , F , F , F , F , T }, |
| /*long*/ { T , T , T , T , T , T , T , F , F , F , F , T , F , F , F , F , T }, |
| /*float*/ { T , T , T , T , T , T , T , F , F , F , F , F , T , F , F , F , T }, |
| /*double*/ { T , T , T , T , T , T , T , F , F , F , F , F , F , T , F , F , T }, |
| /*char*/ { T , T , T , T , T , T , T , F , F , F , F , F , F , F , T , F , T }, |
| /*bool*/ { F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , T , T }, |
| /*Byte*/ { T , T , T , T , T , T , F , F , T , F , F , F , F , F , F , F , T }, |
| /*Short*/ { F , T , T , T , T , T , F , F , F , T , F , F , F , F , F , F , T }, |
| /*Integer*/ { F , F , T , T , T , T , F , F , F , F , T , F , F , F , F , F , T }, |
| /*Long*/ { F , F , F , T , T , T , F , F , F , F , F , T , F , F , F , F , T }, |
| /*Float*/ { F , F , F , F , T , T , F , F , F , F , F , F , T , F , F , F , T }, |
| /*Double*/ { F , F , F , F , F , T , F , F , F , F , F , F , F , T , F , F , T }, |
| /*Character*/ { F , F , T , T , T , T , T , F , F , F , F , F , F , F , T , F , T }, |
| /*Boolean*/ { F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , T , T }, |
| /*Object*/ { T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T }}; |
| CastTest() { |
| Type[] primitiveTypes = { |
| predef.byteType, |
| predef.shortType, |
| predef.intType, |
| predef.longType, |
| predef.floatType, |
| predef.doubleType, |
| predef.charType, |
| predef.booleanType }; |
| |
| Type[] boxedTypes = new Type[primitiveTypes.length + 1]; |
| for (int i = 0 ; i < primitiveTypes.length ; i++) { |
| boxedTypes[i] = box(primitiveTypes[i]); |
| } |
| |
| boxedTypes[primitiveTypes.length] = predef.objectType; |
| |
| types_boxing = join(Type.class, primitiveTypes, boxedTypes); |
| |
| Type[] referenceTypes = { |
| fac.Class(), |
| fac.Class(FINAL), |
| fac.Interface(), |
| fac.TypeVariable() }; |
| |
| Type[] arrayTypes = new Type[primitiveTypes.length + referenceTypes.length]; |
| int idx = 0; |
| for (Type t : join(Type.class, primitiveTypes, referenceTypes)) { |
| arrayTypes[idx++] = fac.Array(t); |
| } |
| |
| types_no_boxing = join(Type.class, primitiveTypes, referenceTypes, arrayTypes); |
| } |
| |
| void test(Type[] all_types, boolean[][] cast_result) { |
| for (int i = 0; i < all_types.length ; i++) { |
| for (int j = 0; j < all_types.length ; j++) { |
| assertCastable(all_types[i], all_types[j], cast_result[i][j]); |
| } |
| } |
| } |
| |
| void runTests() { |
| test(types_no_boxing, cast_result_no_boxing); |
| test(types_boxing, cast_result_boxing); |
| } |
| |
| @SuppressWarnings("unchecked") |
| <T> T[] join(Class<T> type, T[]... args) { |
| int totalLength = 0; |
| for (T[] arr : args) { |
| totalLength += arr.length; |
| } |
| T[] new_arr = (T[])Array.newInstance(type, totalLength); |
| int idx = 0; |
| for (T[] arr : args) { |
| System.arraycopy(arr, 0, new_arr, idx, arr.length); |
| idx += arr.length; |
| } |
| return new_arr; |
| } |
| |
| public static void main(String[] args) { |
| new CastTest().runTests(); |
| } |
| } |
