src/share/classes/com/sun/tools/javadoc/ClassDocImpl.java

Wed, 17 Jul 2013 14:16:25 +0100

author
mcimadamore
date
Wed, 17 Jul 2013 14:16:25 +0100
changeset 1902
fae8f309ff80
parent 1706
95d29b99e5b3
child 1987
9c0e192c0926
permissions
-rw-r--r--

8016640: compiler hangs if the generics arity of a base class is wrong
Summary: Check.checkCompatibleConcretes hang when javac creates synthetic supertypes for 269 model API
Reviewed-by: jjg

duke@1 1 /*
jjg@1521 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
ohair@554 7 * published by the Free Software Foundation. Oracle designates this
duke@1 8 * particular file as subject to the "Classpath" exception as provided
ohair@554 9 * by Oracle in the LICENSE file that accompanied this code.
duke@1 10 *
duke@1 11 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 14 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 15 * accompanied this code).
duke@1 16 *
duke@1 17 * You should have received a copy of the GNU General Public License version
duke@1 18 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 20 *
ohair@554 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554 22 * or visit www.oracle.com if you need additional information or have any
ohair@554 23 * questions.
duke@1 24 */
duke@1 25
duke@1 26 package com.sun.tools.javadoc;
duke@1 27
jjg@197 28 import java.io.File;
jjg@197 29 import java.io.IOException;
jjg@197 30 import java.lang.reflect.Modifier;
jjg@197 31 import java.net.URI;
jjg@197 32 import java.util.HashSet;
jjg@197 33 import java.util.Set;
jjg@1443 34
jjg@197 35 import javax.tools.FileObject;
jjg@197 36 import javax.tools.JavaFileManager.Location;
jjg@197 37 import javax.tools.StandardJavaFileManager;
jjg@197 38 import javax.tools.StandardLocation;
jjg@197 39
duke@1 40 import com.sun.javadoc.*;
jjg@1443 41 import com.sun.source.util.TreePath;
duke@1 42 import com.sun.tools.javac.code.Flags;
duke@1 43 import com.sun.tools.javac.code.Kinds;
duke@1 44 import com.sun.tools.javac.code.Scope;
duke@1 45 import com.sun.tools.javac.code.Symbol;
duke@1 46 import com.sun.tools.javac.code.Symbol.*;
jjg@197 47 import com.sun.tools.javac.code.Type;
jjg@197 48 import com.sun.tools.javac.code.Type.ClassType;
mcimadamore@1902 49 import com.sun.tools.javac.code.TypeTag;
duke@1 50 import com.sun.tools.javac.comp.AttrContext;
duke@1 51 import com.sun.tools.javac.comp.Env;
duke@1 52 import com.sun.tools.javac.tree.JCTree;
duke@1 53 import com.sun.tools.javac.tree.JCTree.JCFieldAccess;
duke@1 54 import com.sun.tools.javac.tree.JCTree.JCImport;
duke@1 55 import com.sun.tools.javac.tree.TreeInfo;
jjg@197 56 import com.sun.tools.javac.util.List;
jjg@197 57 import com.sun.tools.javac.util.ListBuffer;
jjg@197 58 import com.sun.tools.javac.util.Name;
jjg@113 59 import com.sun.tools.javac.util.Names;
jjg@197 60 import com.sun.tools.javac.util.Position;
duke@1 61 import static com.sun.tools.javac.code.Kinds.*;
jjg@1374 62 import static com.sun.tools.javac.code.TypeTag.CLASS;
jjg@1127 63 import static com.sun.tools.javac.tree.JCTree.Tag.*;
duke@1 64
duke@1 65 /**
duke@1 66 * Represents a java class and provides access to information
duke@1 67 * about the class, the class' comment and tags, and the
duke@1 68 * members of the class. A ClassDocImpl only exists if it was
duke@1 69 * processed in this run of javadoc. References to classes
duke@1 70 * which may or may not have been processed in this run are
duke@1 71 * referred to using Type (which can be converted to ClassDocImpl,
duke@1 72 * if possible).
duke@1 73 *
jjg@1359 74 * <p><b>This is NOT part of any supported API.
jjg@1359 75 * If you write code that depends on this, you do so at your own risk.
jjg@1359 76 * This code and its internal interfaces are subject to change or
jjg@1359 77 * deletion without notice.</b>
jjg@1359 78 *
duke@1 79 * @see Type
duke@1 80 *
duke@1 81 * @since 1.2
duke@1 82 * @author Robert Field
duke@1 83 * @author Neal Gafter (rewrite)
duke@1 84 * @author Scott Seligman (generics, enums, annotations)
duke@1 85 */
duke@1 86
duke@1 87 public class ClassDocImpl extends ProgramElementDocImpl implements ClassDoc {
duke@1 88
duke@1 89 public final ClassType type; // protected->public for debugging
duke@1 90 protected final ClassSymbol tsym;
duke@1 91
duke@1 92 boolean isIncluded = false; // Set in RootDocImpl
duke@1 93
duke@1 94 private SerializedForm serializedForm;
duke@1 95
duke@1 96 /**
duke@1 97 * Constructor
duke@1 98 */
duke@1 99 public ClassDocImpl(DocEnv env, ClassSymbol sym) {
jjg@1443 100 this(env, sym, null);
duke@1 101 }
duke@1 102
duke@1 103 /**
duke@1 104 * Constructor
duke@1 105 */
jjg@1443 106 public ClassDocImpl(DocEnv env, ClassSymbol sym, TreePath treePath) {
jjg@1443 107 super(env, sym, treePath);
duke@1 108 this.type = (ClassType)sym.type;
duke@1 109 this.tsym = sym;
duke@1 110 }
duke@1 111
bpatel@1691 112 public com.sun.javadoc.Type getElementType() {
bpatel@1691 113 return null;
bpatel@1691 114 }
bpatel@1691 115
duke@1 116 /**
duke@1 117 * Returns the flags in terms of javac's flags
duke@1 118 */
duke@1 119 protected long getFlags() {
duke@1 120 return getFlags(tsym);
duke@1 121 }
duke@1 122
duke@1 123 /**
duke@1 124 * Returns the flags of a ClassSymbol in terms of javac's flags
duke@1 125 */
duke@1 126 static long getFlags(ClassSymbol clazz) {
duke@1 127 while (true) {
duke@1 128 try {
duke@1 129 return clazz.flags();
duke@1 130 } catch (CompletionFailure ex) {
duke@1 131 // quietly ignore completion failures
duke@1 132 }
duke@1 133 }
duke@1 134 }
duke@1 135
duke@1 136 /**
duke@1 137 * Is a ClassSymbol an annotation type?
duke@1 138 */
duke@1 139 static boolean isAnnotationType(ClassSymbol clazz) {
duke@1 140 return (getFlags(clazz) & Flags.ANNOTATION) != 0;
duke@1 141 }
duke@1 142
duke@1 143 /**
duke@1 144 * Identify the containing class
duke@1 145 */
duke@1 146 protected ClassSymbol getContainingClass() {
duke@1 147 return tsym.owner.enclClass();
duke@1 148 }
duke@1 149
duke@1 150 /**
duke@1 151 * Return true if this is a class, not an interface.
duke@1 152 */
jjg@910 153 @Override
duke@1 154 public boolean isClass() {
duke@1 155 return !Modifier.isInterface(getModifiers());
duke@1 156 }
duke@1 157
duke@1 158 /**
duke@1 159 * Return true if this is a ordinary class,
duke@1 160 * not an enumeration, exception, an error, or an interface.
duke@1 161 */
jjg@910 162 @Override
duke@1 163 public boolean isOrdinaryClass() {
duke@1 164 if (isEnum() || isInterface() || isAnnotationType()) {
duke@1 165 return false;
duke@1 166 }
jjg@1374 167 for (Type t = type; t.hasTag(CLASS); t = env.types.supertype(t)) {
duke@1 168 if (t.tsym == env.syms.errorType.tsym ||
duke@1 169 t.tsym == env.syms.exceptionType.tsym) {
duke@1 170 return false;
duke@1 171 }
duke@1 172 }
duke@1 173 return true;
duke@1 174 }
duke@1 175
duke@1 176 /**
duke@1 177 * Return true if this is an enumeration.
duke@1 178 * (For legacy doclets, return false.)
duke@1 179 */
jjg@910 180 @Override
duke@1 181 public boolean isEnum() {
duke@1 182 return (getFlags() & Flags.ENUM) != 0
duke@1 183 &&
duke@1 184 !env.legacyDoclet;
duke@1 185 }
duke@1 186
duke@1 187 /**
duke@1 188 * Return true if this is an interface, but not an annotation type.
duke@1 189 * Overridden by AnnotationTypeDocImpl.
duke@1 190 */
jjg@910 191 @Override
duke@1 192 public boolean isInterface() {
duke@1 193 return Modifier.isInterface(getModifiers());
duke@1 194 }
duke@1 195
duke@1 196 /**
duke@1 197 * Return true if this is an exception class
duke@1 198 */
jjg@910 199 @Override
duke@1 200 public boolean isException() {
duke@1 201 if (isEnum() || isInterface() || isAnnotationType()) {
duke@1 202 return false;
duke@1 203 }
jjg@1374 204 for (Type t = type; t.hasTag(CLASS); t = env.types.supertype(t)) {
duke@1 205 if (t.tsym == env.syms.exceptionType.tsym) {
duke@1 206 return true;
duke@1 207 }
duke@1 208 }
duke@1 209 return false;
duke@1 210 }
duke@1 211
duke@1 212 /**
duke@1 213 * Return true if this is an error class
duke@1 214 */
jjg@910 215 @Override
duke@1 216 public boolean isError() {
duke@1 217 if (isEnum() || isInterface() || isAnnotationType()) {
duke@1 218 return false;
duke@1 219 }
jjg@1374 220 for (Type t = type; t.hasTag(CLASS); t = env.types.supertype(t)) {
duke@1 221 if (t.tsym == env.syms.errorType.tsym) {
duke@1 222 return true;
duke@1 223 }
duke@1 224 }
duke@1 225 return false;
duke@1 226 }
duke@1 227
duke@1 228 /**
duke@1 229 * Return true if this is a throwable class
duke@1 230 */
duke@1 231 public boolean isThrowable() {
duke@1 232 if (isEnum() || isInterface() || isAnnotationType()) {
duke@1 233 return false;
duke@1 234 }
jjg@1374 235 for (Type t = type; t.hasTag(CLASS); t = env.types.supertype(t)) {
duke@1 236 if (t.tsym == env.syms.throwableType.tsym) {
duke@1 237 return true;
duke@1 238 }
duke@1 239 }
duke@1 240 return false;
duke@1 241 }
duke@1 242
duke@1 243 /**
duke@1 244 * Return true if this class is abstract
duke@1 245 */
duke@1 246 public boolean isAbstract() {
duke@1 247 return Modifier.isAbstract(getModifiers());
duke@1 248 }
duke@1 249
duke@1 250 /**
duke@1 251 * Returns true if this class was synthesized by the compiler.
duke@1 252 */
duke@1 253 public boolean isSynthetic() {
duke@1 254 return (getFlags() & Flags.SYNTHETIC) != 0;
duke@1 255 }
duke@1 256
duke@1 257 /**
duke@1 258 * Return true if this class is included in the active set.
duke@1 259 * A ClassDoc is included iff either it is specified on the
duke@1 260 * commandline, or if it's containing package is specified
duke@1 261 * on the command line, or if it is a member class of an
duke@1 262 * included class.
duke@1 263 */
duke@1 264
duke@1 265 public boolean isIncluded() {
duke@1 266 if (isIncluded) {
duke@1 267 return true;
duke@1 268 }
duke@1 269 if (env.shouldDocument(tsym)) {
duke@1 270 // Class is nameable from top-level and
duke@1 271 // the class and all enclosing classes
duke@1 272 // pass the modifier filter.
duke@1 273 if (containingPackage().isIncluded()) {
duke@1 274 return isIncluded=true;
duke@1 275 }
duke@1 276 ClassDoc outer = containingClass();
duke@1 277 if (outer != null && outer.isIncluded()) {
duke@1 278 return isIncluded=true;
duke@1 279 }
duke@1 280 }
duke@1 281 return false;
duke@1 282 }
duke@1 283
vromero@1454 284 public boolean isFunctionalInterface() {
vromero@1454 285 return env.types.isFunctionalInterface(tsym);
vromero@1454 286 }
vromero@1454 287
duke@1 288 /**
duke@1 289 * Return the package that this class is contained in.
duke@1 290 */
jjg@910 291 @Override
duke@1 292 public PackageDoc containingPackage() {
duke@1 293 PackageDocImpl p = env.getPackageDoc(tsym.packge());
jjg@197 294 if (p.setDocPath == false) {
jjg@197 295 FileObject docPath;
jjg@197 296 try {
jjg@197 297 Location location = env.fileManager.hasLocation(StandardLocation.SOURCE_PATH)
jjg@197 298 ? StandardLocation.SOURCE_PATH : StandardLocation.CLASS_PATH;
jjg@197 299
jjg@197 300 docPath = env.fileManager.getFileForInput(
jjg@197 301 location, p.qualifiedName(), "package.html");
jjg@197 302 } catch (IOException e) {
jjg@197 303 docPath = null;
duke@1 304 }
jjg@197 305
jjg@197 306 if (docPath == null) {
jjg@197 307 // fall back on older semantics of looking in same directory as
jjg@197 308 // source file for this class
jjg@197 309 SourcePosition po = position();
jjg@197 310 if (env.fileManager instanceof StandardJavaFileManager &&
jjg@197 311 po instanceof SourcePositionImpl) {
jjg@197 312 URI uri = ((SourcePositionImpl) po).filename.toUri();
jjg@197 313 if ("file".equals(uri.getScheme())) {
jjg@400 314 File f = new File(uri);
jjg@197 315 File dir = f.getParentFile();
jjg@197 316 if (dir != null) {
jjg@197 317 File pf = new File(dir, "package.html");
jjg@197 318 if (pf.exists()) {
jjg@197 319 StandardJavaFileManager sfm = (StandardJavaFileManager) env.fileManager;
jjg@197 320 docPath = sfm.getJavaFileObjects(pf).iterator().next();
jjg@197 321 }
jjg@197 322 }
jjg@197 323
jjg@197 324 }
jjg@197 325 }
jjg@197 326 }
jjg@197 327
jjg@197 328 p.setDocPath(docPath);
duke@1 329 }
duke@1 330 return p;
duke@1 331 }
duke@1 332
duke@1 333 /**
duke@1 334 * Return the class name without package qualifier - but with
duke@1 335 * enclosing class qualifier - as a String.
duke@1 336 * <pre>
duke@1 337 * Examples:
duke@1 338 * for java.util.Hashtable
duke@1 339 * return Hashtable
duke@1 340 * for java.util.Map.Entry
duke@1 341 * return Map.Entry
duke@1 342 * </pre>
duke@1 343 */
duke@1 344 public String name() {
jjg@1706 345 if (name == null) {
jjg@1706 346 name = getClassName(tsym, false);
jjg@1706 347 }
jjg@1706 348 return name;
duke@1 349 }
duke@1 350
jjg@1706 351 private String name;
jjg@1706 352
duke@1 353 /**
duke@1 354 * Return the qualified class name as a String.
duke@1 355 * <pre>
duke@1 356 * Example:
duke@1 357 * for java.util.Hashtable
duke@1 358 * return java.util.Hashtable
duke@1 359 * if no qualifier, just return flat name
duke@1 360 * </pre>
duke@1 361 */
duke@1 362 public String qualifiedName() {
jjg@1706 363 if (qualifiedName == null) {
jjg@1706 364 qualifiedName = getClassName(tsym, true);
jjg@1706 365 }
jjg@1706 366 return qualifiedName;
duke@1 367 }
duke@1 368
jjg@1706 369 private String qualifiedName;
jjg@1706 370
duke@1 371 /**
duke@1 372 * Return unqualified name of type excluding any dimension information.
duke@1 373 * <p>
duke@1 374 * For example, a two dimensional array of String returns 'String'.
duke@1 375 */
duke@1 376 public String typeName() {
duke@1 377 return name();
duke@1 378 }
duke@1 379
duke@1 380 /**
duke@1 381 * Return qualified name of type excluding any dimension information.
duke@1 382 *<p>
duke@1 383 * For example, a two dimensional array of String
duke@1 384 * returns 'java.lang.String'.
duke@1 385 */
duke@1 386 public String qualifiedTypeName() {
duke@1 387 return qualifiedName();
duke@1 388 }
duke@1 389
duke@1 390 /**
duke@1 391 * Return the simple name of this type.
duke@1 392 */
duke@1 393 public String simpleTypeName() {
jjg@1706 394 if (simpleTypeName == null) {
jjg@1706 395 simpleTypeName = tsym.name.toString();
jjg@1706 396 }
jjg@1706 397 return simpleTypeName;
duke@1 398 }
duke@1 399
jjg@1706 400 private String simpleTypeName;
jjg@1706 401
duke@1 402 /**
duke@1 403 * Return the qualified name and any type parameters.
duke@1 404 * Each parameter is a type variable with optional bounds.
duke@1 405 */
jjg@910 406 @Override
duke@1 407 public String toString() {
duke@1 408 return classToString(env, tsym, true);
duke@1 409 }
duke@1 410
duke@1 411 /**
duke@1 412 * Return the class name as a string. If "full" is true the name is
duke@1 413 * qualified, otherwise it is qualified by its enclosing class(es) only.
duke@1 414 */
duke@1 415 static String getClassName(ClassSymbol c, boolean full) {
duke@1 416 if (full) {
duke@1 417 return c.getQualifiedName().toString();
duke@1 418 } else {
duke@1 419 String n = "";
duke@1 420 for ( ; c != null; c = c.owner.enclClass()) {
duke@1 421 n = c.name + (n.equals("") ? "" : ".") + n;
duke@1 422 }
duke@1 423 return n;
duke@1 424 }
duke@1 425 }
duke@1 426
duke@1 427 /**
duke@1 428 * Return the class name with any type parameters as a string.
duke@1 429 * Each parameter is a type variable with optional bounds.
duke@1 430 * If "full" is true all names are qualified, otherwise they are
duke@1 431 * qualified by their enclosing class(es) only.
duke@1 432 */
duke@1 433 static String classToString(DocEnv env, ClassSymbol c, boolean full) {
jjg@910 434 StringBuilder s = new StringBuilder();
duke@1 435 if (!c.isInner()) { // if c is not an inner class
duke@1 436 s.append(getClassName(c, full));
duke@1 437 } else {
duke@1 438 // c is an inner class, so include type params of outer.
duke@1 439 ClassSymbol encl = c.owner.enclClass();
duke@1 440 s.append(classToString(env, encl, full))
duke@1 441 .append('.')
duke@1 442 .append(c.name);
duke@1 443 }
duke@1 444 s.append(TypeMaker.typeParametersString(env, c, full));
duke@1 445 return s.toString();
duke@1 446 }
duke@1 447
duke@1 448 /**
duke@1 449 * Is this class (or any enclosing class) generic? That is, does
duke@1 450 * it have type parameters?
duke@1 451 */
duke@1 452 static boolean isGeneric(ClassSymbol c) {
duke@1 453 return c.type.allparams().nonEmpty();
duke@1 454 }
duke@1 455
duke@1 456 /**
duke@1 457 * Return the formal type parameters of this class or interface.
duke@1 458 * Return an empty array if there are none.
duke@1 459 */
duke@1 460 public TypeVariable[] typeParameters() {
duke@1 461 if (env.legacyDoclet) {
duke@1 462 return new TypeVariable[0];
duke@1 463 }
duke@1 464 TypeVariable res[] = new TypeVariable[type.getTypeArguments().length()];
duke@1 465 TypeMaker.getTypes(env, type.getTypeArguments(), res);
duke@1 466 return res;
duke@1 467 }
duke@1 468
duke@1 469 /**
duke@1 470 * Return the type parameter tags of this class or interface.
duke@1 471 */
duke@1 472 public ParamTag[] typeParamTags() {
duke@1 473 return (env.legacyDoclet)
duke@1 474 ? new ParamTag[0]
duke@1 475 : comment().typeParamTags();
duke@1 476 }
duke@1 477
duke@1 478 /**
duke@1 479 * Return the modifier string for this class. If it's an interface
duke@1 480 * exclude 'abstract' keyword from the modifier string
duke@1 481 */
jjg@910 482 @Override
duke@1 483 public String modifiers() {
duke@1 484 return Modifier.toString(modifierSpecifier());
duke@1 485 }
duke@1 486
jjg@910 487 @Override
duke@1 488 public int modifierSpecifier() {
duke@1 489 int modifiers = getModifiers();
duke@1 490 return (isInterface() || isAnnotationType())
duke@1 491 ? modifiers & ~Modifier.ABSTRACT
duke@1 492 : modifiers;
duke@1 493 }
duke@1 494
duke@1 495 /**
duke@1 496 * Return the superclass of this class
duke@1 497 *
duke@1 498 * @return the ClassDocImpl for the superclass of this class, null
duke@1 499 * if there is no superclass.
duke@1 500 */
duke@1 501 public ClassDoc superclass() {
duke@1 502 if (isInterface() || isAnnotationType()) return null;
duke@1 503 if (tsym == env.syms.objectType.tsym) return null;
duke@1 504 ClassSymbol c = (ClassSymbol)env.types.supertype(type).tsym;
duke@1 505 if (c == null || c == tsym) c = (ClassSymbol)env.syms.objectType.tsym;
duke@1 506 return env.getClassDoc(c);
duke@1 507 }
duke@1 508
duke@1 509 /**
duke@1 510 * Return the superclass of this class. Return null if this is an
duke@1 511 * interface. A superclass is represented by either a
duke@1 512 * <code>ClassDoc</code> or a <code>ParameterizedType</code>.
duke@1 513 */
duke@1 514 public com.sun.javadoc.Type superclassType() {
duke@1 515 if (isInterface() || isAnnotationType() ||
duke@1 516 (tsym == env.syms.objectType.tsym))
duke@1 517 return null;
duke@1 518 Type sup = env.types.supertype(type);
duke@1 519 return TypeMaker.getType(env,
mcimadamore@1902 520 (sup.hasTag(TypeTag.NONE)) ? env.syms.objectType : sup);
duke@1 521 }
duke@1 522
duke@1 523 /**
duke@1 524 * Test whether this class is a subclass of the specified class.
duke@1 525 *
duke@1 526 * @param cd the candidate superclass.
duke@1 527 * @return true if cd is a superclass of this class.
duke@1 528 */
duke@1 529 public boolean subclassOf(ClassDoc cd) {
duke@1 530 return tsym.isSubClass(((ClassDocImpl)cd).tsym, env.types);
duke@1 531 }
duke@1 532
duke@1 533 /**
duke@1 534 * Return interfaces implemented by this class or interfaces
duke@1 535 * extended by this interface.
duke@1 536 *
duke@1 537 * @return An array of ClassDocImpl representing the interfaces.
duke@1 538 * Return an empty array if there are no interfaces.
duke@1 539 */
duke@1 540 public ClassDoc[] interfaces() {
duke@1 541 ListBuffer<ClassDocImpl> ta = new ListBuffer<ClassDocImpl>();
duke@1 542 for (Type t : env.types.interfaces(type)) {
duke@1 543 ta.append(env.getClassDoc((ClassSymbol)t.tsym));
duke@1 544 }
duke@1 545 //### Cache ta here?
duke@1 546 return ta.toArray(new ClassDocImpl[ta.length()]);
duke@1 547 }
duke@1 548
duke@1 549 /**
duke@1 550 * Return interfaces implemented by this class or interfaces extended
duke@1 551 * by this interface. Includes only directly-declared interfaces, not
duke@1 552 * inherited interfaces.
duke@1 553 * Return an empty array if there are no interfaces.
duke@1 554 */
duke@1 555 public com.sun.javadoc.Type[] interfaceTypes() {
duke@1 556 //### Cache result here?
duke@1 557 return TypeMaker.getTypes(env, env.types.interfaces(type));
duke@1 558 }
duke@1 559
duke@1 560 /**
duke@1 561 * Return fields in class.
duke@1 562 * @param filter include only the included fields if filter==true
duke@1 563 */
duke@1 564 public FieldDoc[] fields(boolean filter) {
duke@1 565 return fields(filter, false);
duke@1 566 }
duke@1 567
duke@1 568 /**
duke@1 569 * Return included fields in class.
duke@1 570 */
duke@1 571 public FieldDoc[] fields() {
duke@1 572 return fields(true, false);
duke@1 573 }
duke@1 574
duke@1 575 /**
duke@1 576 * Return the enum constants if this is an enum type.
duke@1 577 */
duke@1 578 public FieldDoc[] enumConstants() {
duke@1 579 return fields(false, true);
duke@1 580 }
duke@1 581
duke@1 582 /**
duke@1 583 * Return fields in class.
duke@1 584 * @param filter if true, return only the included fields
duke@1 585 * @param enumConstants if true, return the enum constants instead
duke@1 586 */
duke@1 587 private FieldDoc[] fields(boolean filter, boolean enumConstants) {
duke@1 588 List<FieldDocImpl> fields = List.nil();
duke@1 589 for (Scope.Entry e = tsym.members().elems; e != null; e = e.sibling) {
duke@1 590 if (e.sym != null && e.sym.kind == VAR) {
duke@1 591 VarSymbol s = (VarSymbol)e.sym;
duke@1 592 boolean isEnum = ((s.flags() & Flags.ENUM) != 0) &&
duke@1 593 !env.legacyDoclet;
duke@1 594 if (isEnum == enumConstants &&
duke@1 595 (!filter || env.shouldDocument(s))) {
duke@1 596 fields = fields.prepend(env.getFieldDoc(s));
duke@1 597 }
duke@1 598 }
duke@1 599 }
duke@1 600 return fields.toArray(new FieldDocImpl[fields.length()]);
duke@1 601 }
duke@1 602
duke@1 603 /**
duke@1 604 * Return methods in class.
duke@1 605 * This method is overridden by AnnotationTypeDocImpl.
duke@1 606 *
duke@1 607 * @param filter include only the included methods if filter==true
duke@1 608 * @return an array of MethodDocImpl for representing the visible
duke@1 609 * methods in this class. Does not include constructors.
duke@1 610 */
duke@1 611 public MethodDoc[] methods(boolean filter) {
jjg@113 612 Names names = tsym.name.table.names;
duke@1 613 List<MethodDocImpl> methods = List.nil();
duke@1 614 for (Scope.Entry e = tsym.members().elems; e != null; e = e.sibling) {
duke@1 615 if (e.sym != null &&
duke@1 616 e.sym.kind == Kinds.MTH && e.sym.name != names.init) {
duke@1 617 MethodSymbol s = (MethodSymbol)e.sym;
duke@1 618 if (!filter || env.shouldDocument(s)) {
duke@1 619 methods = methods.prepend(env.getMethodDoc(s));
duke@1 620 }
duke@1 621 }
duke@1 622 }
duke@1 623 //### Cache methods here?
duke@1 624 return methods.toArray(new MethodDocImpl[methods.length()]);
duke@1 625 }
duke@1 626
duke@1 627 /**
duke@1 628 * Return included methods in class.
duke@1 629 *
duke@1 630 * @return an array of MethodDocImpl for representing the visible
duke@1 631 * methods in this class. Does not include constructors.
duke@1 632 */
duke@1 633 public MethodDoc[] methods() {
duke@1 634 return methods(true);
duke@1 635 }
duke@1 636
duke@1 637 /**
duke@1 638 * Return constructors in class.
duke@1 639 *
duke@1 640 * @param filter include only the included constructors if filter==true
duke@1 641 * @return an array of ConstructorDocImpl for representing the visible
duke@1 642 * constructors in this class.
duke@1 643 */
duke@1 644 public ConstructorDoc[] constructors(boolean filter) {
jjg@113 645 Names names = tsym.name.table.names;
duke@1 646 List<ConstructorDocImpl> constructors = List.nil();
duke@1 647 for (Scope.Entry e = tsym.members().elems; e != null; e = e.sibling) {
duke@1 648 if (e.sym != null &&
duke@1 649 e.sym.kind == Kinds.MTH && e.sym.name == names.init) {
duke@1 650 MethodSymbol s = (MethodSymbol)e.sym;
duke@1 651 if (!filter || env.shouldDocument(s)) {
duke@1 652 constructors = constructors.prepend(env.getConstructorDoc(s));
duke@1 653 }
duke@1 654 }
duke@1 655 }
duke@1 656 //### Cache constructors here?
duke@1 657 return constructors.toArray(new ConstructorDocImpl[constructors.length()]);
duke@1 658 }
duke@1 659
duke@1 660 /**
duke@1 661 * Return included constructors in class.
duke@1 662 *
duke@1 663 * @return an array of ConstructorDocImpl for representing the visible
duke@1 664 * constructors in this class.
duke@1 665 */
duke@1 666 public ConstructorDoc[] constructors() {
duke@1 667 return constructors(true);
duke@1 668 }
duke@1 669
duke@1 670 /**
duke@1 671 * Adds all inner classes of this class, and their
duke@1 672 * inner classes recursively, to the list l.
duke@1 673 */
duke@1 674 void addAllClasses(ListBuffer<ClassDocImpl> l, boolean filtered) {
duke@1 675 try {
duke@1 676 if (isSynthetic()) return;
duke@1 677 // sometimes synthetic classes are not marked synthetic
duke@1 678 if (!JavadocTool.isValidClassName(tsym.name.toString())) return;
duke@1 679 if (filtered && !env.shouldDocument(tsym)) return;
duke@1 680 if (l.contains(this)) return;
duke@1 681 l.append(this);
duke@1 682 List<ClassDocImpl> more = List.nil();
duke@1 683 for (Scope.Entry e = tsym.members().elems; e != null;
duke@1 684 e = e.sibling) {
duke@1 685 if (e.sym != null && e.sym.kind == Kinds.TYP) {
duke@1 686 ClassSymbol s = (ClassSymbol)e.sym;
duke@1 687 ClassDocImpl c = env.getClassDoc(s);
duke@1 688 if (c.isSynthetic()) continue;
duke@1 689 if (c != null) more = more.prepend(c);
duke@1 690 }
duke@1 691 }
duke@1 692 // this extra step preserves the ordering from oldjavadoc
duke@1 693 for (; more.nonEmpty(); more=more.tail) {
duke@1 694 more.head.addAllClasses(l, filtered);
duke@1 695 }
duke@1 696 } catch (CompletionFailure e) {
duke@1 697 // quietly ignore completion failures
duke@1 698 }
duke@1 699 }
duke@1 700
duke@1 701 /**
duke@1 702 * Return inner classes within this class.
duke@1 703 *
duke@1 704 * @param filter include only the included inner classes if filter==true.
duke@1 705 * @return an array of ClassDocImpl for representing the visible
duke@1 706 * classes defined in this class. Anonymous and local classes
duke@1 707 * are not included.
duke@1 708 */
duke@1 709 public ClassDoc[] innerClasses(boolean filter) {
duke@1 710 ListBuffer<ClassDocImpl> innerClasses = new ListBuffer<ClassDocImpl>();
duke@1 711 for (Scope.Entry e = tsym.members().elems; e != null; e = e.sibling) {
duke@1 712 if (e.sym != null && e.sym.kind == Kinds.TYP) {
duke@1 713 ClassSymbol s = (ClassSymbol)e.sym;
duke@1 714 if ((s.flags_field & Flags.SYNTHETIC) != 0) continue;
duke@1 715 if (!filter || env.isVisible(s)) {
duke@1 716 innerClasses.prepend(env.getClassDoc(s));
duke@1 717 }
duke@1 718 }
duke@1 719 }
duke@1 720 //### Cache classes here?
duke@1 721 return innerClasses.toArray(new ClassDocImpl[innerClasses.length()]);
duke@1 722 }
duke@1 723
duke@1 724 /**
duke@1 725 * Return included inner classes within this class.
duke@1 726 *
duke@1 727 * @return an array of ClassDocImpl for representing the visible
duke@1 728 * classes defined in this class. Anonymous and local classes
duke@1 729 * are not included.
duke@1 730 */
duke@1 731 public ClassDoc[] innerClasses() {
duke@1 732 return innerClasses(true);
duke@1 733 }
duke@1 734
duke@1 735 /**
duke@1 736 * Find a class within the context of this class.
duke@1 737 * Search order: qualified name, in this class (inner),
duke@1 738 * in this package, in the class imports, in the package
duke@1 739 * imports.
duke@1 740 * Return the ClassDocImpl if found, null if not found.
duke@1 741 */
duke@1 742 //### The specified search order is not the normal rule the
duke@1 743 //### compiler would use. Leave as specified or change it?
duke@1 744 public ClassDoc findClass(String className) {
duke@1 745 ClassDoc searchResult = searchClass(className);
duke@1 746 if (searchResult == null) {
duke@1 747 ClassDocImpl enclosingClass = (ClassDocImpl)containingClass();
duke@1 748 //Expand search space to include enclosing class.
duke@1 749 while (enclosingClass != null && enclosingClass.containingClass() != null) {
duke@1 750 enclosingClass = (ClassDocImpl)enclosingClass.containingClass();
duke@1 751 }
duke@1 752 searchResult = enclosingClass == null ?
duke@1 753 null : enclosingClass.searchClass(className);
duke@1 754 }
duke@1 755 return searchResult;
duke@1 756 }
duke@1 757
duke@1 758 private ClassDoc searchClass(String className) {
jjg@113 759 Names names = tsym.name.table.names;
duke@1 760
duke@1 761 // search by qualified name first
duke@1 762 ClassDoc cd = env.lookupClass(className);
duke@1 763 if (cd != null) {
duke@1 764 return cd;
duke@1 765 }
duke@1 766
duke@1 767 // search inner classes
duke@1 768 //### Add private entry point to avoid creating array?
duke@1 769 //### Replicate code in innerClasses here to avoid consing?
ksrini@1065 770 for (ClassDoc icd : innerClasses()) {
ksrini@1065 771 if (icd.name().equals(className) ||
ksrini@1065 772 //### This is from original javadoc but it looks suspicious to me...
ksrini@1065 773 //### I believe it is attempting to compensate for the confused
ksrini@1065 774 //### convention of including the nested class qualifiers in the
ksrini@1065 775 //### 'name' of the inner class, rather than the true simple name.
ksrini@1065 776 icd.name().endsWith("." + className)) {
ksrini@1065 777 return icd;
duke@1 778 } else {
ksrini@1065 779 ClassDoc innercd = ((ClassDocImpl) icd).searchClass(className);
duke@1 780 if (innercd != null) {
duke@1 781 return innercd;
duke@1 782 }
duke@1 783 }
duke@1 784 }
duke@1 785
duke@1 786 // check in this package
duke@1 787 cd = containingPackage().findClass(className);
duke@1 788 if (cd != null) {
duke@1 789 return cd;
duke@1 790 }
duke@1 791
duke@1 792 // make sure that this symbol has been completed
duke@1 793 if (tsym.completer != null) {
duke@1 794 tsym.complete();
duke@1 795 }
duke@1 796
duke@1 797 // search imports
duke@1 798
duke@1 799 if (tsym.sourcefile != null) {
duke@1 800
duke@1 801 //### This information is available only for source classes.
duke@1 802
duke@1 803 Env<AttrContext> compenv = env.enter.getEnv(tsym);
duke@1 804 if (compenv == null) return null;
duke@1 805
duke@1 806 Scope s = compenv.toplevel.namedImportScope;
duke@1 807 for (Scope.Entry e = s.lookup(names.fromString(className)); e.scope != null; e = e.next()) {
duke@1 808 if (e.sym.kind == Kinds.TYP) {
duke@1 809 ClassDoc c = env.getClassDoc((ClassSymbol)e.sym);
duke@1 810 return c;
duke@1 811 }
duke@1 812 }
duke@1 813
duke@1 814 s = compenv.toplevel.starImportScope;
duke@1 815 for (Scope.Entry e = s.lookup(names.fromString(className)); e.scope != null; e = e.next()) {
duke@1 816 if (e.sym.kind == Kinds.TYP) {
duke@1 817 ClassDoc c = env.getClassDoc((ClassSymbol)e.sym);
duke@1 818 return c;
duke@1 819 }
duke@1 820 }
duke@1 821 }
duke@1 822
duke@1 823 return null; // not found
duke@1 824 }
duke@1 825
duke@1 826
duke@1 827 private boolean hasParameterTypes(MethodSymbol method, String[] argTypes) {
duke@1 828
duke@1 829 if (argTypes == null) {
duke@1 830 // wildcard
duke@1 831 return true;
duke@1 832 }
duke@1 833
duke@1 834 int i = 0;
duke@1 835 List<Type> types = method.type.getParameterTypes();
duke@1 836
duke@1 837 if (argTypes.length != types.length()) {
duke@1 838 return false;
duke@1 839 }
duke@1 840
duke@1 841 for (Type t : types) {
duke@1 842 String argType = argTypes[i++];
duke@1 843 // For vararg method, "T..." matches type T[].
duke@1 844 if (i == argTypes.length) {
duke@1 845 argType = argType.replace("...", "[]");
duke@1 846 }
duke@1 847 if (!hasTypeName(env.types.erasure(t), argType)) { //###(gj)
duke@1 848 return false;
duke@1 849 }
duke@1 850 }
duke@1 851 return true;
duke@1 852 }
duke@1 853 // where
duke@1 854 private boolean hasTypeName(Type t, String name) {
duke@1 855 return
duke@1 856 name.equals(TypeMaker.getTypeName(t, true))
duke@1 857 ||
duke@1 858 name.equals(TypeMaker.getTypeName(t, false))
duke@1 859 ||
duke@1 860 (qualifiedName() + "." + name).equals(TypeMaker.getTypeName(t, true));
duke@1 861 }
duke@1 862
duke@1 863
duke@1 864
duke@1 865 /**
duke@1 866 * Find a method in this class scope.
duke@1 867 * Search order: this class, interfaces, superclasses, outerclasses.
duke@1 868 * Note that this is not necessarily what the compiler would do!
duke@1 869 *
duke@1 870 * @param methodName the unqualified name to search for.
jjg@1358 871 * @param paramTypes the array of Strings for method parameter types.
duke@1 872 * @return the first MethodDocImpl which matches, null if not found.
duke@1 873 */
duke@1 874 public MethodDocImpl findMethod(String methodName, String[] paramTypes) {
duke@1 875 // Use hash table 'searched' to avoid searching same class twice.
duke@1 876 //### It is not clear how this could happen.
duke@1 877 return searchMethod(methodName, paramTypes, new HashSet<ClassDocImpl>());
duke@1 878 }
duke@1 879
duke@1 880 private MethodDocImpl searchMethod(String methodName,
duke@1 881 String[] paramTypes, Set<ClassDocImpl> searched) {
duke@1 882 //### Note that this search is not necessarily what the compiler would do!
duke@1 883
sundar@721 884 Names names = tsym.name.table.names;
sundar@721 885 // do not match constructors
sundar@721 886 if (names.init.contentEquals(methodName)) {
sundar@721 887 return null;
sundar@721 888 }
sundar@721 889
duke@1 890 ClassDocImpl cdi;
duke@1 891 MethodDocImpl mdi;
duke@1 892
duke@1 893 if (searched.contains(this)) {
duke@1 894 return null;
duke@1 895 }
duke@1 896 searched.add(this);
duke@1 897
duke@1 898 //DEBUG
duke@1 899 /*---------------------------------*
duke@1 900 System.out.print("searching " + this + " for " + methodName);
duke@1 901 if (paramTypes == null) {
duke@1 902 System.out.println("()");
duke@1 903 } else {
duke@1 904 System.out.print("(");
duke@1 905 for (int k=0; k < paramTypes.length; k++) {
duke@1 906 System.out.print(paramTypes[k]);
duke@1 907 if ((k + 1) < paramTypes.length) {
duke@1 908 System.out.print(", ");
duke@1 909 }
duke@1 910 }
duke@1 911 System.out.println(")");
duke@1 912 }
duke@1 913 *---------------------------------*/
duke@1 914
duke@1 915 // search current class
duke@1 916 Scope.Entry e = tsym.members().lookup(names.fromString(methodName));
duke@1 917
duke@1 918 //### Using modifier filter here isn't really correct,
duke@1 919 //### but emulates the old behavior. Instead, we should
duke@1 920 //### apply the normal rules of visibility and inheritance.
duke@1 921
duke@1 922 if (paramTypes == null) {
duke@1 923 // If no parameters specified, we are allowed to return
duke@1 924 // any method with a matching name. In practice, the old
duke@1 925 // code returned the first method, which is now the last!
duke@1 926 // In order to provide textually identical results, we
duke@1 927 // attempt to emulate the old behavior.
duke@1 928 MethodSymbol lastFound = null;
duke@1 929 for (; e.scope != null; e = e.next()) {
duke@1 930 if (e.sym.kind == Kinds.MTH) {
duke@1 931 //### Should intern methodName as Name.
duke@1 932 if (e.sym.name.toString().equals(methodName)) {
duke@1 933 lastFound = (MethodSymbol)e.sym;
duke@1 934 }
duke@1 935 }
duke@1 936 }
duke@1 937 if (lastFound != null) {
duke@1 938 return env.getMethodDoc(lastFound);
duke@1 939 }
duke@1 940 } else {
duke@1 941 for (; e.scope != null; e = e.next()) {
duke@1 942 if (e.sym != null &&
duke@1 943 e.sym.kind == Kinds.MTH) {
duke@1 944 //### Should intern methodName as Name.
duke@1 945 if (hasParameterTypes((MethodSymbol)e.sym, paramTypes)) {
duke@1 946 return env.getMethodDoc((MethodSymbol)e.sym);
duke@1 947 }
duke@1 948 }
duke@1 949 }
duke@1 950 }
duke@1 951
duke@1 952 //### If we found a MethodDoc above, but which did not pass
duke@1 953 //### the modifier filter, we should return failure here!
duke@1 954
duke@1 955 // search superclass
duke@1 956 cdi = (ClassDocImpl)superclass();
duke@1 957 if (cdi != null) {
duke@1 958 mdi = cdi.searchMethod(methodName, paramTypes, searched);
duke@1 959 if (mdi != null) {
duke@1 960 return mdi;
duke@1 961 }
duke@1 962 }
duke@1 963
duke@1 964 // search interfaces
duke@1 965 ClassDoc intf[] = interfaces();
duke@1 966 for (int i = 0; i < intf.length; i++) {
duke@1 967 cdi = (ClassDocImpl)intf[i];
duke@1 968 mdi = cdi.searchMethod(methodName, paramTypes, searched);
duke@1 969 if (mdi != null) {
duke@1 970 return mdi;
duke@1 971 }
duke@1 972 }
duke@1 973
duke@1 974 // search enclosing class
duke@1 975 cdi = (ClassDocImpl)containingClass();
duke@1 976 if (cdi != null) {
duke@1 977 mdi = cdi.searchMethod(methodName, paramTypes, searched);
duke@1 978 if (mdi != null) {
duke@1 979 return mdi;
duke@1 980 }
duke@1 981 }
duke@1 982
duke@1 983 //###(gj) As a temporary measure until type variables are better
duke@1 984 //### handled, try again without the parameter types.
duke@1 985 //### This should most often find the right method, and occassionally
duke@1 986 //### find the wrong one.
duke@1 987 //if (paramTypes != null) {
duke@1 988 // return findMethod(methodName, null);
duke@1 989 //}
duke@1 990
duke@1 991 return null;
duke@1 992 }
duke@1 993
duke@1 994 /**
duke@1 995 * Find constructor in this class.
duke@1 996 *
duke@1 997 * @param constrName the unqualified name to search for.
jjg@1358 998 * @param paramTypes the array of Strings for constructor parameters.
duke@1 999 * @return the first ConstructorDocImpl which matches, null if not found.
duke@1 1000 */
duke@1 1001 public ConstructorDoc findConstructor(String constrName,
duke@1 1002 String[] paramTypes) {
jjg@113 1003 Names names = tsym.name.table.names;
duke@1 1004 for (Scope.Entry e = tsym.members().lookup(names.fromString("<init>")); e.scope != null; e = e.next()) {
duke@1 1005 if (e.sym.kind == Kinds.MTH) {
duke@1 1006 if (hasParameterTypes((MethodSymbol)e.sym, paramTypes)) {
duke@1 1007 return env.getConstructorDoc((MethodSymbol)e.sym);
duke@1 1008 }
duke@1 1009 }
duke@1 1010 }
duke@1 1011
duke@1 1012 //###(gj) As a temporary measure until type variables are better
duke@1 1013 //### handled, try again without the parameter types.
duke@1 1014 //### This will often find the right constructor, and occassionally
duke@1 1015 //### find the wrong one.
duke@1 1016 //if (paramTypes != null) {
duke@1 1017 // return findConstructor(constrName, null);
duke@1 1018 //}
duke@1 1019
duke@1 1020 return null;
duke@1 1021 }
duke@1 1022
duke@1 1023 /**
duke@1 1024 * Find a field in this class scope.
duke@1 1025 * Search order: this class, outerclasses, interfaces,
duke@1 1026 * superclasses. IMP: If see tag is defined in an inner class,
duke@1 1027 * which extends a super class and if outerclass and the super
duke@1 1028 * class have a visible field in common then Java compiler cribs
duke@1 1029 * about the ambiguity, but the following code will search in the
duke@1 1030 * above given search order.
duke@1 1031 *
duke@1 1032 * @param fieldName the unqualified name to search for.
duke@1 1033 * @return the first FieldDocImpl which matches, null if not found.
duke@1 1034 */
duke@1 1035 public FieldDoc findField(String fieldName) {
duke@1 1036 return searchField(fieldName, new HashSet<ClassDocImpl>());
duke@1 1037 }
duke@1 1038
duke@1 1039 private FieldDocImpl searchField(String fieldName, Set<ClassDocImpl> searched) {
jjg@113 1040 Names names = tsym.name.table.names;
duke@1 1041 if (searched.contains(this)) {
duke@1 1042 return null;
duke@1 1043 }
duke@1 1044 searched.add(this);
duke@1 1045
duke@1 1046 for (Scope.Entry e = tsym.members().lookup(names.fromString(fieldName)); e.scope != null; e = e.next()) {
duke@1 1047 if (e.sym.kind == Kinds.VAR) {
duke@1 1048 //### Should intern fieldName as Name.
duke@1 1049 return env.getFieldDoc((VarSymbol)e.sym);
duke@1 1050 }
duke@1 1051 }
duke@1 1052
duke@1 1053 //### If we found a FieldDoc above, but which did not pass
duke@1 1054 //### the modifier filter, we should return failure here!
duke@1 1055
duke@1 1056 ClassDocImpl cdi = (ClassDocImpl)containingClass();
duke@1 1057 if (cdi != null) {
duke@1 1058 FieldDocImpl fdi = cdi.searchField(fieldName, searched);
duke@1 1059 if (fdi != null) {
duke@1 1060 return fdi;
duke@1 1061 }
duke@1 1062 }
duke@1 1063
duke@1 1064 // search superclass
duke@1 1065 cdi = (ClassDocImpl)superclass();
duke@1 1066 if (cdi != null) {
duke@1 1067 FieldDocImpl fdi = cdi.searchField(fieldName, searched);
duke@1 1068 if (fdi != null) {
duke@1 1069 return fdi;
duke@1 1070 }
duke@1 1071 }
duke@1 1072
duke@1 1073 // search interfaces
duke@1 1074 ClassDoc intf[] = interfaces();
duke@1 1075 for (int i = 0; i < intf.length; i++) {
duke@1 1076 cdi = (ClassDocImpl)intf[i];
duke@1 1077 FieldDocImpl fdi = cdi.searchField(fieldName, searched);
duke@1 1078 if (fdi != null) {
duke@1 1079 return fdi;
duke@1 1080 }
duke@1 1081 }
duke@1 1082
duke@1 1083 return null;
duke@1 1084 }
duke@1 1085
duke@1 1086 /**
duke@1 1087 * Get the list of classes declared as imported.
duke@1 1088 * These are called "single-type-import declarations" in the JLS.
duke@1 1089 * This method is deprecated in the ClassDoc interface.
duke@1 1090 *
duke@1 1091 * @return an array of ClassDocImpl representing the imported classes.
duke@1 1092 *
duke@1 1093 * @deprecated Import declarations are implementation details that
duke@1 1094 * should not be exposed here. In addition, not all imported
duke@1 1095 * classes are imported through single-type-import declarations.
duke@1 1096 */
duke@1 1097 @Deprecated
duke@1 1098 public ClassDoc[] importedClasses() {
duke@1 1099 // information is not available for binary classfiles
duke@1 1100 if (tsym.sourcefile == null) return new ClassDoc[0];
duke@1 1101
duke@1 1102 ListBuffer<ClassDocImpl> importedClasses = new ListBuffer<ClassDocImpl>();
duke@1 1103
duke@1 1104 Env<AttrContext> compenv = env.enter.getEnv(tsym);
duke@1 1105 if (compenv == null) return new ClassDocImpl[0];
duke@1 1106
jjg@113 1107 Name asterisk = tsym.name.table.names.asterisk;
duke@1 1108 for (JCTree t : compenv.toplevel.defs) {
jjg@1127 1109 if (t.hasTag(IMPORT)) {
duke@1 1110 JCTree imp = ((JCImport) t).qualid;
duke@1 1111 if ((TreeInfo.name(imp) != asterisk) &&
duke@1 1112 (imp.type.tsym.kind & Kinds.TYP) != 0) {
duke@1 1113 importedClasses.append(
duke@1 1114 env.getClassDoc((ClassSymbol)imp.type.tsym));
duke@1 1115 }
duke@1 1116 }
duke@1 1117 }
duke@1 1118
duke@1 1119 return importedClasses.toArray(new ClassDocImpl[importedClasses.length()]);
duke@1 1120 }
duke@1 1121
duke@1 1122 /**
duke@1 1123 * Get the list of packages declared as imported.
duke@1 1124 * These are called "type-import-on-demand declarations" in the JLS.
duke@1 1125 * This method is deprecated in the ClassDoc interface.
duke@1 1126 *
duke@1 1127 * @return an array of PackageDocImpl representing the imported packages.
duke@1 1128 *
duke@1 1129 * ###NOTE: the syntax supports importing all inner classes from a class as well.
duke@1 1130 * @deprecated Import declarations are implementation details that
duke@1 1131 * should not be exposed here. In addition, this method's
duke@1 1132 * return type does not allow for all type-import-on-demand
duke@1 1133 * declarations to be returned.
duke@1 1134 */
duke@1 1135 @Deprecated
duke@1 1136 public PackageDoc[] importedPackages() {
duke@1 1137 // information is not available for binary classfiles
duke@1 1138 if (tsym.sourcefile == null) return new PackageDoc[0];
duke@1 1139
duke@1 1140 ListBuffer<PackageDocImpl> importedPackages = new ListBuffer<PackageDocImpl>();
duke@1 1141
duke@1 1142 //### Add the implicit "import java.lang.*" to the result
jjg@113 1143 Names names = tsym.name.table.names;
duke@1 1144 importedPackages.append(env.getPackageDoc(env.reader.enterPackage(names.java_lang)));
duke@1 1145
duke@1 1146 Env<AttrContext> compenv = env.enter.getEnv(tsym);
duke@1 1147 if (compenv == null) return new PackageDocImpl[0];
duke@1 1148
duke@1 1149 for (JCTree t : compenv.toplevel.defs) {
jjg@1127 1150 if (t.hasTag(IMPORT)) {
duke@1 1151 JCTree imp = ((JCImport) t).qualid;
duke@1 1152 if (TreeInfo.name(imp) == names.asterisk) {
duke@1 1153 JCFieldAccess sel = (JCFieldAccess)imp;
duke@1 1154 Symbol s = sel.selected.type.tsym;
duke@1 1155 PackageDocImpl pdoc = env.getPackageDoc(s.packge());
duke@1 1156 if (!importedPackages.contains(pdoc))
duke@1 1157 importedPackages.append(pdoc);
duke@1 1158 }
duke@1 1159 }
duke@1 1160 }
duke@1 1161
duke@1 1162 return importedPackages.toArray(new PackageDocImpl[importedPackages.length()]);
duke@1 1163 }
duke@1 1164
duke@1 1165 /**
duke@1 1166 * Return the type's dimension information.
duke@1 1167 * Always return "", as this is not an array type.
duke@1 1168 */
duke@1 1169 public String dimension() {
duke@1 1170 return "";
duke@1 1171 }
duke@1 1172
duke@1 1173 /**
duke@1 1174 * Return this type as a class, which it already is.
duke@1 1175 */
duke@1 1176 public ClassDoc asClassDoc() {
duke@1 1177 return this;
duke@1 1178 }
duke@1 1179
duke@1 1180 /**
duke@1 1181 * Return null (unless overridden), as this is not an annotation type.
duke@1 1182 */
duke@1 1183 public AnnotationTypeDoc asAnnotationTypeDoc() {
duke@1 1184 return null;
duke@1 1185 }
duke@1 1186
duke@1 1187 /**
duke@1 1188 * Return null, as this is not a class instantiation.
duke@1 1189 */
duke@1 1190 public ParameterizedType asParameterizedType() {
duke@1 1191 return null;
duke@1 1192 }
duke@1 1193
duke@1 1194 /**
duke@1 1195 * Return null, as this is not a type variable.
duke@1 1196 */
duke@1 1197 public TypeVariable asTypeVariable() {
duke@1 1198 return null;
duke@1 1199 }
duke@1 1200
duke@1 1201 /**
duke@1 1202 * Return null, as this is not a wildcard type.
duke@1 1203 */
duke@1 1204 public WildcardType asWildcardType() {
duke@1 1205 return null;
duke@1 1206 }
duke@1 1207
duke@1 1208 /**
jjg@1521 1209 * Returns null, as this is not an annotated type.
jjg@1521 1210 */
jjg@1521 1211 public AnnotatedType asAnnotatedType() {
jjg@1521 1212 return null;
jjg@1521 1213 }
jjg@1521 1214
jjg@1521 1215 /**
duke@1 1216 * Return false, as this is not a primitive type.
duke@1 1217 */
duke@1 1218 public boolean isPrimitive() {
duke@1 1219 return false;
duke@1 1220 }
duke@1 1221
duke@1 1222 //--- Serialization ---
duke@1 1223
duke@1 1224 //### These methods ignore modifier filter.
duke@1 1225
duke@1 1226 /**
duke@1 1227 * Return true if this class implements <code>java.io.Serializable</code>.
duke@1 1228 *
duke@1 1229 * Since <code>java.io.Externalizable</code> extends
duke@1 1230 * <code>java.io.Serializable</code>,
duke@1 1231 * Externalizable objects are also Serializable.
duke@1 1232 */
duke@1 1233 public boolean isSerializable() {
duke@1 1234 try {
duke@1 1235 return env.types.isSubtype(type, env.syms.serializableType);
duke@1 1236 } catch (CompletionFailure ex) {
duke@1 1237 // quietly ignore completion failures
duke@1 1238 return false;
duke@1 1239 }
duke@1 1240 }
duke@1 1241
duke@1 1242 /**
duke@1 1243 * Return true if this class implements
duke@1 1244 * <code>java.io.Externalizable</code>.
duke@1 1245 */
duke@1 1246 public boolean isExternalizable() {
duke@1 1247 try {
duke@1 1248 return env.types.isSubtype(type, env.externalizableSym.type);
duke@1 1249 } catch (CompletionFailure ex) {
duke@1 1250 // quietly ignore completion failures
duke@1 1251 return false;
duke@1 1252 }
duke@1 1253 }
duke@1 1254
duke@1 1255 /**
duke@1 1256 * Return the serialization methods for this class.
duke@1 1257 *
duke@1 1258 * @return an array of <code>MethodDocImpl</code> that represents
duke@1 1259 * the serialization methods for this class.
duke@1 1260 */
duke@1 1261 public MethodDoc[] serializationMethods() {
duke@1 1262 if (serializedForm == null) {
duke@1 1263 serializedForm = new SerializedForm(env, tsym, this);
duke@1 1264 }
duke@1 1265 //### Clone this?
duke@1 1266 return serializedForm.methods();
duke@1 1267 }
duke@1 1268
duke@1 1269 /**
duke@1 1270 * Return the Serializable fields of class.<p>
duke@1 1271 *
duke@1 1272 * Return either a list of default fields documented by
duke@1 1273 * <code>serial</code> tag<br>
duke@1 1274 * or return a single <code>FieldDoc</code> for
duke@1 1275 * <code>serialPersistentField</code> member.
duke@1 1276 * There should be a <code>serialField</code> tag for
duke@1 1277 * each Serializable field defined by an <code>ObjectStreamField</code>
duke@1 1278 * array component of <code>serialPersistentField</code>.
duke@1 1279 *
duke@1 1280 * @returns an array of <code>FieldDoc</code> for the Serializable fields
duke@1 1281 * of this class.
duke@1 1282 *
duke@1 1283 * @see #definesSerializableFields()
duke@1 1284 * @see SerialFieldTagImpl
duke@1 1285 */
duke@1 1286 public FieldDoc[] serializableFields() {
duke@1 1287 if (serializedForm == null) {
duke@1 1288 serializedForm = new SerializedForm(env, tsym, this);
duke@1 1289 }
duke@1 1290 //### Clone this?
duke@1 1291 return serializedForm.fields();
duke@1 1292 }
duke@1 1293
duke@1 1294 /**
duke@1 1295 * Return true if Serializable fields are explicitly defined with
duke@1 1296 * the special class member <code>serialPersistentFields</code>.
duke@1 1297 *
duke@1 1298 * @see #serializableFields()
duke@1 1299 * @see SerialFieldTagImpl
duke@1 1300 */
duke@1 1301 public boolean definesSerializableFields() {
duke@1 1302 if (!isSerializable() || isExternalizable()) {
duke@1 1303 return false;
duke@1 1304 } else {
duke@1 1305 if (serializedForm == null) {
duke@1 1306 serializedForm = new SerializedForm(env, tsym, this);
duke@1 1307 }
duke@1 1308 //### Clone this?
duke@1 1309 return serializedForm.definesSerializableFields();
duke@1 1310 }
duke@1 1311 }
duke@1 1312
duke@1 1313 /**
duke@1 1314 * Determine if a class is a RuntimeException.
duke@1 1315 * <p>
duke@1 1316 * Used only by ThrowsTagImpl.
duke@1 1317 */
duke@1 1318 boolean isRuntimeException() {
duke@1 1319 return tsym.isSubClass(env.syms.runtimeExceptionType.tsym, env.types);
duke@1 1320 }
duke@1 1321
duke@1 1322 /**
duke@1 1323 * Return the source position of the entity, or null if
duke@1 1324 * no position is available.
duke@1 1325 */
jjg@910 1326 @Override
duke@1 1327 public SourcePosition position() {
duke@1 1328 if (tsym.sourcefile == null) return null;
jjg@197 1329 return SourcePositionImpl.make(tsym.sourcefile,
duke@1 1330 (tree==null) ? Position.NOPOS : tree.pos,
duke@1 1331 lineMap);
duke@1 1332 }
duke@1 1333 }

mercurial