jdk8-mips64-public/langtools: test/tools/javac/types/TypeHarness.java@0ff2bbd38f10 (annotated)

test/tools/javac/types/TypeHarness.java@0ff2bbd38f10 (annotated)

test/tools/javac/types/TypeHarness.java

Wed, 06 Apr 2011 20:33:44 -0700

author: ohair
date: Wed, 06 Apr 2011 20:33:44 -0700
changeset 962: 0ff2bbd38f10
parent 821: c8d312dd17bc
child 1689: 137994c189e5
permissions: -rw-r--r--

7033660: Update copyright year to 2011 on any files changed in 2011
Reviewed-by: dholmes

 /*
  * Copyright (c) 2010, 2011, 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.
  */
 import com.sun.tools.javac.code.BoundKind;
 import com.sun.tools.javac.code.Flags;
 import com.sun.tools.javac.util.Context;
 import com.sun.tools.javac.code.Types;
 import com.sun.tools.javac.code.Symtab;
 import com.sun.tools.javac.code.Type;
 import com.sun.tools.javac.code.Type.*;
 import com.sun.tools.javac.code.Symbol.*;
 import com.sun.tools.javac.comp.Check;
 import com.sun.tools.javac.util.List;
 import com.sun.tools.javac.util.ListBuffer;
 import com.sun.tools.javac.util.Name;
 import com.sun.tools.javac.util.Names;
 import com.sun.tools.javac.file.JavacFileManager;
 /**
  * Test harness whose goal is to simplify the task of writing type-system
  * regression test. It provides functionalities to build custom types as well
  * as to access the underlying javac's symbol table in order to retrieve
  * predefined types. Among the features supported by the harness are: type
  * substitution, type containment, subtyping, cast-conversion, assigment
  * conversion.
  *
  * This class is meant to be a common super class for all concrete type test
  * classes. A subclass can access the type-factory and the test methods so as
  * to write compact tests. An example is reported below:
  *
  * <pre>
  * Type X = fac.TypeVariable();
  * Type Y = fac.TypeVariable();
  * Type A_X_Y = fac.Class(0, X, Y);
  * Type A_Obj_Obj = fac.Class(0,
  *           predef.objectType,
  *           predef.objectType);
  * checkSameType(A_Obj_Obj, subst(A_X_Y,
  *           Mapping(X, predef.objectType),
  *           Mapping(Y, predef.objectType)));
  * </pre>
  *
  * The above code is used to create two class types, namely {@code A<X,Y>} and
  * {@code A<Object,Object>} where both {@code X} and {@code Y} are type-variables.
  * The code then verifies that {@code [X:=Object,Y:=Object]A<X,Y> == A<Object,Object>}.
  *
  * @author mcimadamore
  */
 public class TypeHarness {
     protected Types types;
     protected Check chk;
     protected Symtab predef;
     protected Names names;
     protected Factory fac;
     protected TypeHarness() {
         Context ctx = new Context();
         JavacFileManager.preRegister(ctx);
         types = Types.instance(ctx);
         chk = Check.instance(ctx);
         predef = Symtab.instance(ctx);
         names = Names.instance(ctx);
         fac = new Factory();
     }
     // <editor-fold defaultstate="collapsed" desc="type assertions">
     /** assert that 's' is a subtype of 't' */
     public void assertSubtype(Type s, Type t) {
         assertSubtype(s, t, true);
     }
     /** assert that 's' is/is not a subtype of 't' */
     public void assertSubtype(Type s, Type t, boolean expected) {
         if (types.isSubtype(s, t) != expected) {
             String msg = expected ?
                 " is not a subtype of " :
                 " is a subtype of ";
             error(s + msg + t);
         }
     }
     /** assert that 's' is the same type as 't' */
     public void assertSameType(Type s, Type t) {
         assertSameType(s, t, true);
     }
     /** assert that 's' is/is not the same type as 't' */
     public void assertSameType(Type s, Type t, boolean expected) {
         if (types.isSameType(s, t) != expected) {
             String msg = expected ?
                 " is not the same type as " :
                 " is the same type as ";
             error(s + msg + t);
         }
     }
     /** assert that 's' is castable to 't' */
     public void assertCastable(Type s, Type t) {
         assertCastable(s, t, true);
     }
     /** assert that 's' is/is not castable to 't' */
     public void assertCastable(Type s, Type t, boolean expected) {
         if (types.isCastable(s, t) != expected) {
             String msg = expected ?
                 " is not castable to " :
                 " is castable to ";
             error(s + msg + t);
         }
     }
     /** assert that 's' is convertible (method invocation conversion) to 't' */
     public void assertConvertible(Type s, Type t) {
         assertCastable(s, t, true);
     }
     /** assert that 's' is/is not convertible (method invocation conversion) to 't' */
     public void assertConvertible(Type s, Type t, boolean expected) {
         if (types.isConvertible(s, t) != expected) {
             String msg = expected ?
                 " is not convertible to " :
                 " is convertible to ";
             error(s + msg + t);
         }
     }
     /** assert that 's' is assignable to 't' */
     public void assertAssignable(Type s, Type t) {
         assertCastable(s, t, true);
     }
     /** assert that 's' is/is not assignable to 't' */
     public void assertAssignable(Type s, Type t, boolean expected) {
         if (types.isAssignable(s, t) != expected) {
             String msg = expected ?
                 " is not assignable to " :
                 " is assignable to ";
             error(s + msg + t);
         }
     }
     /** assert that generic type 't' is well-formed */
     public void assertValidGenericType(Type t) {
         assertValidGenericType(t, true);
     }
     /** assert that 's' is/is not assignable to 't' */
     public void assertValidGenericType(Type t, boolean expected) {
         if (chk.checkValidGenericType(t) != expected) {
             String msg = expected ?
                 " is not a valid generic type" :
                 " is a valid generic type";
             error(t + msg + "   " + t.tsym.type);
         }
     }
     // </editor-fold>
     private void error(String msg) {
         throw new AssertionError("Unexpected result: " + msg);
     }
     // <editor-fold defaultstate="collapsed" desc="type functions">
     /** compute the erasure of a type 't' */
     public Type erasure(Type t) {
         return types.erasure(t);
     }
     /** compute the capture of a type 't' */
     public Type capture(Type t) {
         return types.capture(t);
     }
     /** compute the boxed type associated with 't' */
     public Type box(Type t) {
         if (!t.isPrimitive()) {
             throw new AssertionError("Cannot box non-primitive type: " + t);
         }
         return types.boxedClass(t).type;
     }
     /** compute the unboxed type associated with 't' */
     public Type unbox(Type t) {
         Type u = types.unboxedType(t);
         if (t == null) {
             throw new AssertionError("Cannot unbox reference type: " + t);
         } else {
             return u;
         }
     }
     /** compute a type substitution on 't' given a list of type mappings */
     public Type subst(Type t, Mapping... maps) {
         ListBuffer<Type> from = ListBuffer.lb();
         ListBuffer<Type> to = ListBuffer.lb();
         for (Mapping tm : maps) {
             from.append(tm.from);
             to.append(tm.to);
         }
         return types.subst(t, from.toList(), to.toList());
     }
     /** create a fresh type mapping from a type to another */
     public Mapping Mapping(Type from, Type to) {
         return new Mapping(from, to);
     }
     public static class Mapping {
         Type from;
         Type to;
         private Mapping(Type from, Type to) {
             this.from = from;
             this.to = to;
         }
     }
     // </editor-fold>
     // <editor-fold defaultstate="collapsed" desc="type factory">
     /**
      * This class is used to create Java types in a simple way. All main
      * kinds of type are supported: primitive, reference, non-denotable. The
      * factory also supports creation of constant types (used by the compiler
      * to represent the type of a literal).
      */
     public class Factory {
         private int synthNameCount = 0;
         private Name syntheticName() {
             return names.fromString("A$" + synthNameCount++);
         }
         public ClassType Class(long flags, Type... typeArgs) {
             ClassSymbol csym = new ClassSymbol(flags, syntheticName(), predef.noSymbol);
             csym.type = new ClassType(Type.noType, List.from(typeArgs), csym);
             ((ClassType)csym.type).supertype_field = predef.objectType;
             return (ClassType)csym.type;
         }
         public ClassType Class(Type... typeArgs) {
             return Class(0, typeArgs);
         }
         public ClassType Interface(Type... typeArgs) {
             return Class(Flags.INTERFACE, typeArgs);
         }
         public ClassType Interface(long flags, Type... typeArgs) {
             return Class(Flags.INTERFACE | flags, typeArgs);
         }
         public Type Constant(byte b) {
             return predef.byteType.constType(b);
         }
         public Type Constant(short s) {
             return predef.shortType.constType(s);
         }
         public Type Constant(int i) {
             return predef.intType.constType(i);
         }
         public Type Constant(long l) {
             return predef.longType.constType(l);
         }
         public Type Constant(float f) {
             return predef.floatType.constType(f);
         }
         public Type Constant(double d) {
             return predef.doubleType.constType(d);
         }
         public Type Constant(char c) {
             return predef.charType.constType(c + 0);
         }
         public ArrayType Array(Type elemType) {
             return new ArrayType(elemType, predef.arrayClass);
         }
         public TypeVar TypeVariable() {
             return TypeVariable(predef.objectType);
         }
         public TypeVar TypeVariable(Type bound) {
             TypeSymbol tvsym = new TypeSymbol(0, syntheticName(), null, predef.noSymbol);
             tvsym.type = new TypeVar(tvsym, bound, null);
             return (TypeVar)tvsym.type;
         }
         public WildcardType Wildcard(BoundKind bk, Type bound) {
             return new WildcardType(bound, bk, predef.boundClass);
         }
         public CapturedType CapturedVariable(Type upper, Type lower) {
             return new CapturedType(syntheticName(), predef.noSymbol, upper, lower, null);
         }
         public ClassType Intersection(Type classBound, Type... intfBounds) {
             ClassType ct = Class(Flags.COMPOUND);
             ct.supertype_field = classBound;
             ct.interfaces_field = List.from(intfBounds);
             return ct;
         }
     }
     // </editor-fold>
 }

Mercurial > jdk8-mips64-public > langtools / annotate

test/tools/javac/types/TypeHarness.java@0ff2bbd38f10 (annotated)

test/tools/javac/types/TypeHarness.java