791N/A/*
791N/A * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
791N/A * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
791N/A *
791N/A * This code is free software; you can redistribute it and/or modify it
791N/A * under the terms of the GNU General Public License version 2 only, as
791N/A * published by the Free Software Foundation.
791N/A *
791N/A * This code is distributed in the hope that it will be useful, but WITHOUT
791N/A * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
791N/A * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
791N/A * version 2 for more details (a copy is included in the LICENSE file that
791N/A * accompanied this code).
791N/A *
791N/A * You should have received a copy of the GNU General Public License version
791N/A * 2 along with this work; if not, write to the Free Software Foundation,
791N/A * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
791N/A *
791N/A * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
791N/A * or visit www.oracle.com if you need additional information or have any
791N/A * questions.
791N/A */
791N/A
791N/A/*
791N/A * @test
791N/A * @bug 7006109
791N/A * @summary Add test library to simplify the task of writing automated type-system tests
791N/A * @author mcimadamore
791N/A * @library .
791N/A * @run main PrimitiveConversionTest
791N/A */
791N/A
791N/Aimport com.sun.tools.javac.code.Type;
791N/Aimport com.sun.tools.javac.code.Type.*;
791N/Aimport com.sun.tools.javac.code.Symbol.*;
791N/Aimport java.lang.reflect.Array;
791N/Aimport java.util.EnumSet;
791N/A
791N/A/**
791N/A * Check invariants in assignment/method conversion involving primitive types and arrays
791N/A */
791N/Apublic class PrimitiveConversionTest extends TypeHarness {
791N/A
791N/A Type[] types1;
791N/A Type[] types2;
791N/A Type[] types3;
791N/A
791N/A enum Result {
791N/A OK_BOTH(true),
791N/A FAIL_BOTH(false),
791N/A OK_ASSIGN_ONLY(true);
791N/A
791N/A boolean value;
791N/A
791N/A Result(boolean value) {
791N/A this.value = value;
791N/A }
791N/A }
791N/A
791N/A enum ConversionKind {
791N/A ASSIGNMENT_CONVERSION(EnumSet.of(Result.OK_BOTH, Result.OK_ASSIGN_ONLY)) {
791N/A @Override
791N/A void check(TypeHarness harness, Type from, Type to, Result expected) {
791N/A harness.assertAssignable(from, to, resSet.contains(expected));
791N/A }
791N/A },
791N/A METHOD_CONVERSION(EnumSet.of(Result.OK_BOTH)) {
791N/A @Override
791N/A void check(TypeHarness harness, Type from, Type to, Result expected) {
791N/A harness.assertConvertible(from, to, resSet.contains(expected));
791N/A }
791N/A };
791N/A
791N/A EnumSet<Result> resSet;
791N/A
791N/A private ConversionKind(EnumSet<Result> resSet) {
791N/A this.resSet = resSet;
791N/A }
791N/A
791N/A abstract void check(TypeHarness harness, Type from, Type to, Result expected);
791N/A }
791N/A
791N/A enum TestKind {
791N/A SIMPLE {
791N/A @Override
791N/A Type[] getFromTypes(PrimitiveConversionTest harness) {
791N/A return harness.types1;
791N/A }
791N/A @Override
791N/A Type[] getToTypes(PrimitiveConversionTest harness) {
791N/A return harness.types1;
791N/A }
791N/A @Override
791N/A Result[][] getResults(PrimitiveConversionTest harness) {
791N/A return harness.results1;
791N/A }
791N/A },
791N/A CONSTANT_TYPES {
791N/A @Override
791N/A Type[] getFromTypes(PrimitiveConversionTest harness) {
791N/A return harness.types2;
791N/A }
791N/A @Override
791N/A Type[] getToTypes(PrimitiveConversionTest harness) {
791N/A return harness.types3;
791N/A }
791N/A @Override
791N/A Result[][] getResults(PrimitiveConversionTest harness) {
791N/A return harness.results2;
791N/A }
791N/A };
791N/A
791N/A abstract Type[] getFromTypes(PrimitiveConversionTest harness);
791N/A abstract Type[] getToTypes(PrimitiveConversionTest harness);
791N/A abstract Result[][] getResults(PrimitiveConversionTest harness);
791N/A }
791N/A
791N/A static final Result T = Result.OK_BOTH;
791N/A static final Result F = Result.FAIL_BOTH;
791N/A static final Result A = Result.OK_ASSIGN_ONLY;
791N/A
791N/A Result[][] results1 = {
791N/A //byte, short, int, long, float, double, char, bool, C1, C2, C3, T , byte[], short[], int[], long[], float[], double[], char[], bool[], C1[], C2[], C3[], T[]
791N/A /*byte*/ { T , T , T , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*short*/ { F , T , T , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*int*/ { F , F , T , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*long*/ { F , F , F , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*float*/ { F , F , F , F , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*double*/ { F , F , F , F , F , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*char*/ { F , F , T , T , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*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 },
791N/A /*C1*/ { F , F , F , F , F , F , F , F , T , F , T , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*C2*/ { F , F , F , F , F , F , F , F , T , T , T , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*C3*/ { F , F , F , F , F , F , F , F , T , F , T , F , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*T*/ { F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*byte[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , F , F , F , F },
791N/A /*short[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , F , F , F },
791N/A /*int[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , F , F },
791N/A /*long[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F , F },
791N/A /*float[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F , F },
791N/A /*double[]*/{ F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F , F },
791N/A /*char[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F , F },
791N/A /*bool[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , F , F , F },
791N/A /*C1[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , T , F },
791N/A /*C2[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , T , T , F },
791N/A /*C3[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T , F , T , F },
791N/A /*T[]*/ { F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , F , T }};
791N/A
791N/A Result[][] results2 = {
791N/A //byte, short, int, long, float, double, char, bool
791N/A /*byte*/ { T , T , T , T , T , T , F , F },
791N/A /*short*/ { F , T , T , T , T , T , F , F },
791N/A /*short1*/ { A , T , T , T , T , T , A , F },
791N/A /*short2*/ { F , T , T , T , T , T , A , F },
791N/A /*int*/ { F , F , T , T , T , T , F , F },
791N/A /*int1*/ { A , A , T , T , T , T , A , F },
791N/A /*int2*/ { F , A , T , T , T , T , A , F },
791N/A /*int4*/ { F , F , T , T , T , T , F , F },
791N/A /*long*/ { F , F , F , T , T , T , F , F },
791N/A /*long1*/ { F , F , F , T , T , T , F , F },
791N/A /*long2*/ { F , F , F , T , T , T , F , F },
791N/A /*long4*/ { F , F , F , T , T , T , F , F },
791N/A /*long8*/ { F , F , F , T , T , T , F , F },
791N/A /*float*/ { F , F , F , F , T , T , F , F },
791N/A /*float1*/ { F , F , F , F , T , T , F , F },
791N/A /*float2*/ { F , F , F , F , T , T , F , F },
791N/A /*float4*/ { F , F , F , F , T , T , F , F },
791N/A /*double*/ { F , F , F , F , F , T , F , F },
791N/A /*double1*/ { F , F , F , F , F , T , F , F },
791N/A /*double2*/ { F , F , F , F , F , T , F , F },
791N/A /*double4*/ { F , F , F , F , F , T , F , F },
791N/A /*double8*/ { F , F , F , F , F , T , F , F },
791N/A /*char*/ { F , F , T , T , T , T , T , F },
791N/A /*char1*/ { A , A , T , T , T , T , T , F },
791N/A /*char2*/ { F , A , T , T , T , T , T , F },
791N/A /*bool*/ { F , F , F , F , F , F , F , T }};
791N/A
791N/A PrimitiveConversionTest() {
791N/A Type[] primitiveTypes = new Type[] {
791N/A predef.byteType,
791N/A predef.shortType,
791N/A predef.intType,
791N/A predef.longType,
791N/A predef.floatType,
791N/A predef.doubleType,
791N/A predef.charType,
791N/A predef.booleanType };
791N/A
791N/A ClassType c1 = fac.Class(fac.TypeVariable());
791N/A ClassType c2 = fac.Class();
791N/A c2.supertype_field = subst(c1,
791N/A Mapping(c1.getTypeArguments().head, predef.stringType));
791N/A Type c3 = erasure(c1);
791N/A
791N/A Type[] referenceTypes = {
791N/A subst(c1,
791N/A Mapping(c1.getTypeArguments().head, predef.stringType)),
791N/A c2,
791N/A c3,
791N/A fac.TypeVariable() };
791N/A
791N/A Type[] arrayTypes = new Type[primitiveTypes.length + referenceTypes.length];
791N/A int idx = 0;
791N/A for (Type t : join(Type.class, primitiveTypes, referenceTypes)) {
791N/A arrayTypes[idx++] = fac.Array(t);
791N/A }
791N/A
791N/A types1 = join(Type.class, primitiveTypes, referenceTypes, arrayTypes);
791N/A
791N/A types2 = new Type[] {
791N/A predef.byteType,
791N/A predef.shortType,
791N/A fac.Constant((short)0x0001),
791N/A fac.Constant((short)0x0100),
791N/A predef.intType,
791N/A fac.Constant((int)0x0000_0001),
791N/A fac.Constant((int)0x0000_0100),
791N/A fac.Constant((int)0x0001_0000),
791N/A predef.longType,
791N/A fac.Constant((long)0x0000_0000_0000_0001L),
791N/A fac.Constant((long)0x0000_0000_0000_0100L),
791N/A fac.Constant((long)0x0000_0000_0001_0000L),
791N/A fac.Constant((long)0x0001_0000_0000_0000L),
791N/A predef.floatType,
791N/A fac.Constant((float)0x0000_0001),
791N/A fac.Constant((float)0x0000_0100),
791N/A fac.Constant((float)0x0001_0000),
791N/A predef.doubleType,
791N/A fac.Constant((double)0x0000_0000_0000_0001L),
791N/A fac.Constant((double)0x0000_0000_0000_0100L),
791N/A fac.Constant((double)0x0000_0000_0001_0000L),
791N/A fac.Constant((double)0x0001_0000_0000_0000L),
791N/A predef.charType,
791N/A fac.Constant((char)0x0001),
791N/A fac.Constant((char)0x0100),
791N/A predef.booleanType
791N/A };
791N/A
791N/A types3 = primitiveTypes;
791N/A }
791N/A
791N/A void testConversion(ConversionKind convKind, TestKind testKind) {
791N/A Type[] rows = testKind.getFromTypes(this);
791N/A Type[] cols = testKind.getToTypes(this);
791N/A for (int i = 0; i < rows.length ; i++) {
791N/A for (int j = 0; j < cols.length ; j++) {
791N/A convKind.check(this, rows[i], cols[j], testKind.getResults(this)[i][j]);
791N/A }
791N/A }
791N/A }
791N/A
791N/A @SuppressWarnings("unchecked")
791N/A <T> T[] join(Class<T> type, T[]... args) {
791N/A int totalLength = 0;
791N/A for (T[] arr : args) {
791N/A totalLength += arr.length;
791N/A }
791N/A T[] new_arr = (T[])Array.newInstance(type, totalLength);
791N/A int idx = 0;
791N/A for (T[] arr : args) {
791N/A System.arraycopy(arr, 0, new_arr, idx, arr.length);
791N/A idx += arr.length;
791N/A }
791N/A return new_arr;
791N/A }
791N/A
791N/A public static void main(String[] args) {
791N/A PrimitiveConversionTest harness = new PrimitiveConversionTest();
791N/A for (ConversionKind convKind : ConversionKind.values()) {
791N/A for (TestKind testKind : TestKind.values()) {
791N/A harness.testConversion(convKind, testKind);
791N/A }
791N/A }
791N/A }
791N/A}