test/tools/javac/types/CastTest.java

changeset 792
2199365892b1
child 1007
95fc7fd39be2
equal deleted inserted replaced
791:dd9b5f767559 792:2199365892b1
1 /*
2 * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 /*
25 * @test
26 * @bug 7006109
27 * @summary Add test library to simplify the task of writing automated type-system tests
28 * @author mcimadamore
29 * @library .
30 * @run main CastTest
31 */
32
33 import com.sun.tools.javac.code.Type;
34 import com.sun.tools.javac.code.Type.*;
35 import com.sun.tools.javac.code.Symbol.*;
36 import java.lang.reflect.Array;
37
38 import static com.sun.tools.javac.code.Flags.*;
39
40 /**
41 * Check invariants in cast conversion involving primitive types and arrays
42 */
43 public class CastTest extends TypeHarness {
44
45 Type[] allTypes;
46
47 static final boolean T = true;
48 static final boolean F = false;
49
50 boolean[][] cast_result = {
51 //byte, short, int, long, float, double, char, bool, C, +C, I, T, byte[], short[], int[], long[], float[], double[], char[], bool[], C[], +C[], I[], T[]
52 /*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 },
53 /*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 },
54 /*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 },
55 /*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 },
56 /*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 },
57 /*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 },
58 /*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 },
59 /*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 },
60 /*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 },
61 /*+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 },
62 /*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 },
63 /*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 },
64 /*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 },
65 /*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 },
66 /*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 },
67 /*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 },
68 /*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 },
69 /*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 },
70 /*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 },
71 /*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 },
72 /*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 },
73 /*+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 },
74 /*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 },
75 /*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 }};
76
77 CastTest() {
78 Type[] primitiveTypes = {
79 predef.byteType,
80 predef.shortType,
81 predef.intType,
82 predef.longType,
83 predef.floatType,
84 predef.doubleType,
85 predef.charType,
86 predef.booleanType };
87
88 Type[] referenceTypes = {
89 fac.Class(),
90 fac.Class(FINAL),
91 fac.Interface(),
92 fac.TypeVariable() };
93
94 Type[] arrayTypes = new Type[primitiveTypes.length + referenceTypes.length];
95 int idx = 0;
96 for (Type t : join(Type.class, primitiveTypes, referenceTypes)) {
97 arrayTypes[idx++] = fac.Array(t);
98 }
99
100 allTypes = join(Type.class, primitiveTypes, referenceTypes, arrayTypes);
101 }
102
103 void test() {
104 for (int i = 0; i < allTypes.length ; i++) {
105 for (int j = 0; j < allTypes.length ; j++) {
106 assertCastable(allTypes[i], allTypes[j], cast_result[i][j]);
107 }
108 }
109 }
110
111 @SuppressWarnings("unchecked")
112 <T> T[] join(Class<T> type, T[]... args) {
113 int totalLength = 0;
114 for (T[] arr : args) {
115 totalLength += arr.length;
116 }
117 T[] new_arr = (T[])Array.newInstance(type, totalLength);
118 int idx = 0;
119 for (T[] arr : args) {
120 System.arraycopy(arr, 0, new_arr, idx, arr.length);
121 idx += arr.length;
122 }
123 return new_arr;
124 }
125
126 public static void main(String[] args) {
127 new CastTest().test();
128 }
129 }

mercurial