duke@1: /* jjg@910: * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved. duke@1: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@1: * duke@1: * This code is free software; you can redistribute it and/or modify it duke@1: * under the terms of the GNU General Public License version 2 only, as ohair@554: * published by the Free Software Foundation. Oracle designates this duke@1: * particular file as subject to the "Classpath" exception as provided ohair@554: * by Oracle in the LICENSE file that accompanied this code. duke@1: * duke@1: * This code is distributed in the hope that it will be useful, but WITHOUT duke@1: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@1: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@1: * version 2 for more details (a copy is included in the LICENSE file that duke@1: * accompanied this code). duke@1: * duke@1: * You should have received a copy of the GNU General Public License version duke@1: * 2 along with this work; if not, write to the Free Software Foundation, duke@1: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@1: * ohair@554: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA ohair@554: * or visit www.oracle.com if you need additional information or have any ohair@554: * questions. duke@1: */ duke@1: duke@1: package com.sun.tools.javadoc; duke@1: duke@1: import com.sun.javadoc.*; duke@1: duke@1: import com.sun.tools.javac.code.Symbol; duke@1: import com.sun.tools.javac.code.Symbol.ClassSymbol; duke@1: import com.sun.tools.javac.code.Type; duke@1: import com.sun.tools.javac.code.Type.ClassType; duke@1: import com.sun.tools.javac.code.Type.TypeVar; duke@1: import com.sun.tools.javac.code.Type.ArrayType; duke@1: import com.sun.tools.javac.util.List; duke@1: duke@1: import static com.sun.tools.javac.code.TypeTags.*; duke@1: duke@1: duke@1: public class TypeMaker { duke@1: duke@1: public static com.sun.javadoc.Type getType(DocEnv env, Type t) { duke@1: return getType(env, t, true); duke@1: } duke@1: duke@1: /** duke@1: * @param errToClassDoc if true, ERROR type results in a ClassDoc; duke@1: * false preserves legacy behavior duke@1: */ jjg@198: @SuppressWarnings("fallthrough") duke@1: public static com.sun.javadoc.Type getType(DocEnv env, Type t, duke@1: boolean errToClassDoc) { duke@1: if (env.legacyDoclet) { duke@1: t = env.types.erasure(t); duke@1: } duke@1: switch (t.tag) { duke@1: case CLASS: duke@1: if (ClassDocImpl.isGeneric((ClassSymbol)t.tsym)) { duke@1: return env.getParameterizedType((ClassType)t); duke@1: } else { duke@1: return env.getClassDoc((ClassSymbol)t.tsym); duke@1: } duke@1: case WILDCARD: duke@1: Type.WildcardType a = (Type.WildcardType)t; duke@1: return new WildcardTypeImpl(env, a); duke@1: case TYPEVAR: return new TypeVariableImpl(env, (TypeVar)t); duke@1: case ARRAY: return new ArrayTypeImpl(env, t); duke@1: case BYTE: return PrimitiveType.byteType; duke@1: case CHAR: return PrimitiveType.charType; duke@1: case SHORT: return PrimitiveType.shortType; duke@1: case INT: return PrimitiveType.intType; duke@1: case LONG: return PrimitiveType.longType; duke@1: case FLOAT: return PrimitiveType.floatType; duke@1: case DOUBLE: return PrimitiveType.doubleType; duke@1: case BOOLEAN: return PrimitiveType.booleanType; duke@1: case VOID: return PrimitiveType.voidType; duke@1: case ERROR: duke@1: if (errToClassDoc) duke@1: return env.getClassDoc((ClassSymbol)t.tsym); duke@1: // FALLTHRU duke@1: default: duke@1: return new PrimitiveType(t.tsym.getQualifiedName().toString()); duke@1: } duke@1: } duke@1: duke@1: /** duke@1: * Convert a list of javac types into an array of javadoc types. duke@1: */ duke@1: public static com.sun.javadoc.Type[] getTypes(DocEnv env, List ts) { duke@1: return getTypes(env, ts, new com.sun.javadoc.Type[ts.length()]); duke@1: } duke@1: duke@1: /** duke@1: * Like the above version, but use and return the array given. duke@1: */ duke@1: public static com.sun.javadoc.Type[] getTypes(DocEnv env, List ts, duke@1: com.sun.javadoc.Type res[]) { duke@1: int i = 0; duke@1: for (Type t : ts) { duke@1: res[i++] = getType(env, t); duke@1: } duke@1: return res; duke@1: } duke@1: duke@1: public static String getTypeName(Type t, boolean full) { duke@1: switch (t.tag) { duke@1: case ARRAY: jjg@910: StringBuilder s = new StringBuilder(); duke@1: while (t.tag == ARRAY) { jjg@910: s.append("[]"); duke@1: t = ((ArrayType)t).elemtype; duke@1: } jjg@910: s.insert(0, getTypeName(t, full)); jjg@910: return s.toString(); duke@1: case CLASS: duke@1: return ClassDocImpl.getClassName((ClassSymbol)t.tsym, full); duke@1: default: duke@1: return t.tsym.getQualifiedName().toString(); duke@1: } duke@1: } duke@1: duke@1: /** duke@1: * Return the string representation of a type use. Bounds of type duke@1: * variables are not included; bounds of wildcard types are. duke@1: * Class names are qualified if "full" is true. duke@1: */ duke@1: static String getTypeString(DocEnv env, Type t, boolean full) { duke@1: switch (t.tag) { duke@1: case ARRAY: jjg@910: StringBuilder s = new StringBuilder(); duke@1: while (t.tag == ARRAY) { jjg@910: s.append("[]"); duke@1: t = env.types.elemtype(t); duke@1: } jjg@910: s.insert(0, getTypeString(env, t, full)); jjg@910: return s.toString(); duke@1: case CLASS: duke@1: return ParameterizedTypeImpl. duke@1: parameterizedTypeToString(env, (ClassType)t, full); duke@1: case WILDCARD: duke@1: Type.WildcardType a = (Type.WildcardType)t; duke@1: return WildcardTypeImpl.wildcardTypeToString(env, a, full); duke@1: default: duke@1: return t.tsym.getQualifiedName().toString(); duke@1: } duke@1: } duke@1: duke@1: /** duke@1: * Return the formal type parameters of a class or method as an duke@1: * angle-bracketed string. Each parameter is a type variable with duke@1: * optional bounds. Class names are qualified if "full" is true. duke@1: * Return "" if there are no type parameters or we're hiding generics. duke@1: */ duke@1: static String typeParametersString(DocEnv env, Symbol sym, boolean full) { duke@1: if (env.legacyDoclet || sym.type.getTypeArguments().isEmpty()) { duke@1: return ""; duke@1: } jjg@910: StringBuilder s = new StringBuilder(); duke@1: for (Type t : sym.type.getTypeArguments()) { duke@1: s.append(s.length() == 0 ? "<" : ", "); duke@1: s.append(TypeVariableImpl.typeVarToString(env, (TypeVar)t, full)); duke@1: } duke@1: s.append(">"); duke@1: return s.toString(); duke@1: } duke@1: duke@1: /** duke@1: * Return the actual type arguments of a parameterized type as an duke@1: * angle-bracketed string. Class name are qualified if "full" is true. duke@1: * Return "" if there are no type arguments or we're hiding generics. duke@1: */ duke@1: static String typeArgumentsString(DocEnv env, ClassType cl, boolean full) { duke@1: if (env.legacyDoclet || cl.getTypeArguments().isEmpty()) { duke@1: return ""; duke@1: } jjg@910: StringBuilder s = new StringBuilder(); duke@1: for (Type t : cl.getTypeArguments()) { duke@1: s.append(s.length() == 0 ? "<" : ", "); duke@1: s.append(getTypeString(env, t, full)); duke@1: } duke@1: s.append(">"); duke@1: return s.toString(); duke@1: } duke@1: duke@1: duke@1: private static class ArrayTypeImpl implements com.sun.javadoc.Type { duke@1: duke@1: Type arrayType; duke@1: duke@1: DocEnv env; duke@1: duke@1: ArrayTypeImpl(DocEnv env, Type arrayType) { duke@1: this.env = env; duke@1: this.arrayType = arrayType; duke@1: } duke@1: duke@1: private com.sun.javadoc.Type skipArraysCache = null; duke@1: duke@1: private com.sun.javadoc.Type skipArrays() { duke@1: if (skipArraysCache == null) { duke@1: Type t; duke@1: for (t = arrayType; t.tag == ARRAY; t = env.types.elemtype(t)) { } duke@1: skipArraysCache = TypeMaker.getType(env, t); duke@1: } duke@1: return skipArraysCache; duke@1: } duke@1: duke@1: /** duke@1: * Return the type's dimension information, as a string. duke@1: *

duke@1: * For example, a two dimensional array of String returns '[][]'. duke@1: */ duke@1: public String dimension() { jjg@910: StringBuilder dimension = new StringBuilder(); duke@1: for (Type t = arrayType; t.tag == ARRAY; t = env.types.elemtype(t)) { jjg@910: dimension.append("[]"); duke@1: } duke@1: return dimension.toString(); duke@1: } duke@1: duke@1: /** duke@1: * Return unqualified name of type excluding any dimension information. duke@1: *

duke@1: * For example, a two dimensional array of String returns 'String'. duke@1: */ duke@1: public String typeName() { duke@1: return skipArrays().typeName(); duke@1: } duke@1: duke@1: /** duke@1: * Return qualified name of type excluding any dimension information. duke@1: *

duke@1: * For example, a two dimensional array of String duke@1: * returns 'java.lang.String'. duke@1: */ duke@1: public String qualifiedTypeName() { duke@1: return skipArrays().qualifiedTypeName(); duke@1: } duke@1: duke@1: /** duke@1: * Return the simple name of this type excluding any dimension information. duke@1: */ duke@1: public String simpleTypeName() { duke@1: return skipArrays().simpleTypeName(); duke@1: } duke@1: duke@1: /** duke@1: * Return this type as a class. Array dimensions are ignored. duke@1: * duke@1: * @return a ClassDocImpl if the type is a Class. duke@1: * Return null if it is a primitive type.. duke@1: */ duke@1: public ClassDoc asClassDoc() { duke@1: return skipArrays().asClassDoc(); duke@1: } duke@1: duke@1: /** duke@1: * Return this type as a ParameterizedType if it duke@1: * represents a parameterized type. Array dimensions are ignored. duke@1: */ duke@1: public ParameterizedType asParameterizedType() { duke@1: return skipArrays().asParameterizedType(); duke@1: } duke@1: duke@1: /** duke@1: * Return this type as a TypeVariable if it represents duke@1: * a type variable. Array dimensions are ignored. duke@1: */ duke@1: public TypeVariable asTypeVariable() { duke@1: return skipArrays().asTypeVariable(); duke@1: } duke@1: duke@1: /** duke@1: * Return null, as there are no arrays of wildcard types. duke@1: */ duke@1: public WildcardType asWildcardType() { duke@1: return null; duke@1: } duke@1: duke@1: /** duke@1: * Return this type as an AnnotationTypeDoc if it duke@1: * represents an annotation type. Array dimensions are ignored. duke@1: */ duke@1: public AnnotationTypeDoc asAnnotationTypeDoc() { duke@1: return skipArrays().asAnnotationTypeDoc(); duke@1: } duke@1: duke@1: /** duke@1: * Return true if this is an array of a primitive type. duke@1: */ duke@1: public boolean isPrimitive() { duke@1: return skipArrays().isPrimitive(); duke@1: } duke@1: duke@1: /** duke@1: * Return a string representation of the type. duke@1: * duke@1: * Return name of type including any dimension information. duke@1: *

duke@1: * For example, a two dimensional array of String returns duke@1: * String[][]. duke@1: * duke@1: * @return name of type including any dimension information. duke@1: */ jjg@910: @Override duke@1: public String toString() { duke@1: return qualifiedTypeName() + dimension(); duke@1: } duke@1: } duke@1: }