Thu, 12 Jan 2012 15:28:34 +0000
7123100: javac fails with java.lang.StackOverflowError
Summary: Inference of under-constrained type-variables creates erroneous recursive wildcard types
Reviewed-by: jjg
duke@1 | 1 | /* |
jjg@912 | 2 | * Copyright (c) 1997, 2011, 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 | |
duke@1 | 28 | import java.io.IOException; |
jjg@197 | 29 | import java.util.Locale; |
jjg@197 | 30 | import javax.tools.JavaFileObject; |
jjg@197 | 31 | import javax.tools.StandardJavaFileManager; |
duke@1 | 32 | |
duke@1 | 33 | import com.sun.javadoc.*; |
duke@1 | 34 | |
duke@1 | 35 | import com.sun.tools.javac.tree.JCTree.JCClassDecl; |
duke@1 | 36 | import com.sun.tools.javac.util.List; |
duke@1 | 37 | import com.sun.tools.javac.util.ListBuffer; |
duke@1 | 38 | import com.sun.tools.javac.util.Position; |
duke@1 | 39 | |
duke@1 | 40 | /** |
duke@1 | 41 | * This class holds the information from one run of javadoc. |
duke@1 | 42 | * Particularly the packages, classes and options specified |
duke@1 | 43 | * by the user.. |
duke@1 | 44 | * |
duke@1 | 45 | * @since 1.2 |
duke@1 | 46 | * @author Robert Field |
duke@1 | 47 | * @author Atul M Dambalkar |
duke@1 | 48 | * @author Neal Gafter (rewrite) |
duke@1 | 49 | */ |
duke@1 | 50 | public class RootDocImpl extends DocImpl implements RootDoc { |
duke@1 | 51 | |
duke@1 | 52 | /** |
duke@1 | 53 | * list of classes specified on the command line. |
duke@1 | 54 | */ |
duke@1 | 55 | private List<ClassDocImpl> cmdLineClasses; |
duke@1 | 56 | |
duke@1 | 57 | /** |
duke@1 | 58 | * list of packages specified on the command line. |
duke@1 | 59 | */ |
duke@1 | 60 | private List<PackageDocImpl> cmdLinePackages; |
duke@1 | 61 | |
duke@1 | 62 | /** |
duke@1 | 63 | * a collection of all options. |
duke@1 | 64 | */ |
duke@1 | 65 | private List<String[]> options; |
duke@1 | 66 | |
duke@1 | 67 | /** |
duke@1 | 68 | * Constructor used when reading source files. |
duke@1 | 69 | * |
duke@1 | 70 | * @param env the documentation environment, state for this javadoc run |
duke@1 | 71 | * @param classes list of classes specified on the commandline |
duke@1 | 72 | * @param packages list of package names specified on the commandline |
duke@1 | 73 | * @param options list of options |
duke@1 | 74 | */ |
duke@1 | 75 | public RootDocImpl(DocEnv env, List<JCClassDecl> classes, List<String> packages, List<String[]> options) { |
duke@1 | 76 | super(env, null); |
duke@1 | 77 | this.options = options; |
duke@1 | 78 | setPackages(env, packages); |
duke@1 | 79 | setClasses(env, classes); |
duke@1 | 80 | } |
duke@1 | 81 | |
duke@1 | 82 | /** |
duke@1 | 83 | * Constructor used when reading class files. |
duke@1 | 84 | * |
duke@1 | 85 | * @param env the documentation environment, state for this javadoc run |
duke@1 | 86 | * @param classes list of class names specified on the commandline |
duke@1 | 87 | * @param options list of options |
duke@1 | 88 | */ |
duke@1 | 89 | public RootDocImpl(DocEnv env, List<String> classes, List<String[]> options) { |
duke@1 | 90 | super(env, null); |
duke@1 | 91 | this.options = options; |
duke@1 | 92 | cmdLinePackages = List.nil(); |
duke@1 | 93 | ListBuffer<ClassDocImpl> classList = new ListBuffer<ClassDocImpl>(); |
duke@1 | 94 | for (String className : classes) { |
duke@1 | 95 | ClassDocImpl c = env.loadClass(className); |
duke@1 | 96 | if (c == null) |
duke@1 | 97 | env.error(null, "javadoc.class_not_found", className); |
duke@1 | 98 | else |
duke@1 | 99 | classList = classList.append(c); |
duke@1 | 100 | } |
duke@1 | 101 | cmdLineClasses = classList.toList(); |
duke@1 | 102 | } |
duke@1 | 103 | |
duke@1 | 104 | /** |
duke@1 | 105 | * Initialize classes information. Those classes are input from |
duke@1 | 106 | * command line. |
duke@1 | 107 | * |
duke@1 | 108 | * @param env the compilation environment |
duke@1 | 109 | * @param classes a list of ClassDeclaration |
duke@1 | 110 | */ |
duke@1 | 111 | private void setClasses(DocEnv env, List<JCClassDecl> classes) { |
duke@1 | 112 | ListBuffer<ClassDocImpl> result = new ListBuffer<ClassDocImpl>(); |
duke@1 | 113 | for (JCClassDecl def : classes) { |
duke@1 | 114 | //### Do we want modifier check here? |
duke@1 | 115 | if (env.shouldDocument(def.sym)) { |
duke@1 | 116 | ClassDocImpl cd = env.getClassDoc(def.sym); |
duke@1 | 117 | if (cd != null) { |
duke@1 | 118 | cd.isIncluded = true; |
duke@1 | 119 | result.append(cd); |
duke@1 | 120 | } //else System.out.println(" (classdoc is null)");//DEBUG |
duke@1 | 121 | } //else System.out.println(" (env.shouldDocument() returned false)");//DEBUG |
duke@1 | 122 | } |
duke@1 | 123 | cmdLineClasses = result.toList(); |
duke@1 | 124 | } |
duke@1 | 125 | |
duke@1 | 126 | /** |
duke@1 | 127 | * Initialize packages information. |
duke@1 | 128 | * |
duke@1 | 129 | * @param env the compilation environment |
duke@1 | 130 | * @param packages a list of package names (String) |
duke@1 | 131 | */ |
duke@1 | 132 | private void setPackages(DocEnv env, List<String> packages) { |
duke@1 | 133 | ListBuffer<PackageDocImpl> packlist = new ListBuffer<PackageDocImpl>(); |
duke@1 | 134 | for (String name : packages) { |
duke@1 | 135 | PackageDocImpl pkg = env.lookupPackage(name); |
duke@1 | 136 | if (pkg != null) { |
duke@1 | 137 | pkg.isIncluded = true; |
duke@1 | 138 | packlist.append(pkg); |
duke@1 | 139 | } else { |
duke@1 | 140 | env.warning(null, "main.no_source_files_for_package", name); |
duke@1 | 141 | } |
duke@1 | 142 | } |
duke@1 | 143 | cmdLinePackages = packlist.toList(); |
duke@1 | 144 | } |
duke@1 | 145 | |
duke@1 | 146 | /** |
duke@1 | 147 | * Command line options. |
duke@1 | 148 | * |
duke@1 | 149 | * <pre> |
duke@1 | 150 | * For example, given: |
duke@1 | 151 | * javadoc -foo this that -bar other ... |
duke@1 | 152 | * |
duke@1 | 153 | * This method will return: |
duke@1 | 154 | * options()[0][0] = "-foo" |
duke@1 | 155 | * options()[0][1] = "this" |
duke@1 | 156 | * options()[0][2] = "that" |
duke@1 | 157 | * options()[1][0] = "-bar" |
duke@1 | 158 | * options()[1][1] = "other" |
duke@1 | 159 | * </pre> |
duke@1 | 160 | * |
duke@1 | 161 | * @return an array of arrays of String. |
duke@1 | 162 | */ |
duke@1 | 163 | public String[][] options() { |
duke@1 | 164 | return options.toArray(new String[options.length()][]); |
duke@1 | 165 | } |
duke@1 | 166 | |
duke@1 | 167 | /** |
duke@1 | 168 | * Packages specified on the command line. |
duke@1 | 169 | */ |
duke@1 | 170 | public PackageDoc[] specifiedPackages() { |
duke@1 | 171 | return (PackageDoc[])cmdLinePackages |
duke@1 | 172 | .toArray(new PackageDocImpl[cmdLinePackages.length()]); |
duke@1 | 173 | } |
duke@1 | 174 | |
duke@1 | 175 | /** |
duke@1 | 176 | * Classes and interfaces specified on the command line. |
duke@1 | 177 | */ |
duke@1 | 178 | public ClassDoc[] specifiedClasses() { |
duke@1 | 179 | ListBuffer<ClassDocImpl> classesToDocument = new ListBuffer<ClassDocImpl>(); |
duke@1 | 180 | for (ClassDocImpl cd : cmdLineClasses) { |
duke@1 | 181 | cd.addAllClasses(classesToDocument, true); |
duke@1 | 182 | } |
duke@1 | 183 | return (ClassDoc[])classesToDocument.toArray(new ClassDocImpl[classesToDocument.length()]); |
duke@1 | 184 | } |
duke@1 | 185 | |
duke@1 | 186 | /** |
duke@1 | 187 | * Return all classes and interfaces (including those inside |
duke@1 | 188 | * packages) to be documented. |
duke@1 | 189 | */ |
duke@1 | 190 | public ClassDoc[] classes() { |
duke@1 | 191 | ListBuffer<ClassDocImpl> classesToDocument = new ListBuffer<ClassDocImpl>(); |
duke@1 | 192 | for (ClassDocImpl cd : cmdLineClasses) { |
duke@1 | 193 | cd.addAllClasses(classesToDocument, true); |
duke@1 | 194 | } |
duke@1 | 195 | for (PackageDocImpl pd : cmdLinePackages) { |
duke@1 | 196 | pd.addAllClassesTo(classesToDocument); |
duke@1 | 197 | } |
duke@1 | 198 | return classesToDocument.toArray(new ClassDocImpl[classesToDocument.length()]); |
duke@1 | 199 | } |
duke@1 | 200 | |
duke@1 | 201 | /** |
duke@1 | 202 | * Return a ClassDoc for the specified class/interface name |
duke@1 | 203 | * |
duke@1 | 204 | * @param qualifiedName qualified class name |
duke@1 | 205 | * (i.e. includes package name). |
duke@1 | 206 | * |
duke@1 | 207 | * @return a ClassDocImpl holding the specified class, null if |
duke@1 | 208 | * this class is not referenced. |
duke@1 | 209 | */ |
duke@1 | 210 | public ClassDoc classNamed(String qualifiedName) { |
duke@1 | 211 | return env.lookupClass(qualifiedName); |
duke@1 | 212 | } |
duke@1 | 213 | |
duke@1 | 214 | /** |
duke@1 | 215 | * Return a PackageDoc for the specified package name |
duke@1 | 216 | * |
duke@1 | 217 | * @param name package name |
duke@1 | 218 | * |
duke@1 | 219 | * @return a PackageDoc holding the specified package, null if |
duke@1 | 220 | * this package is not referenced. |
duke@1 | 221 | */ |
duke@1 | 222 | public PackageDoc packageNamed(String name) { |
duke@1 | 223 | return env.lookupPackage(name); |
duke@1 | 224 | } |
duke@1 | 225 | |
duke@1 | 226 | /** |
duke@1 | 227 | * Return the name of this Doc item. |
duke@1 | 228 | * |
duke@1 | 229 | * @return the string <code>"*RootDocImpl*"</code>. |
duke@1 | 230 | */ |
duke@1 | 231 | public String name() { |
duke@1 | 232 | return "*RootDocImpl*"; |
duke@1 | 233 | } |
duke@1 | 234 | |
duke@1 | 235 | /** |
duke@1 | 236 | * Return the name of this Doc item. |
duke@1 | 237 | * |
duke@1 | 238 | * @return the string <code>"*RootDocImpl*"</code>. |
duke@1 | 239 | */ |
duke@1 | 240 | public String qualifiedName() { |
duke@1 | 241 | return "*RootDocImpl*"; |
duke@1 | 242 | } |
duke@1 | 243 | |
duke@1 | 244 | /** |
duke@1 | 245 | * Return true if this Doc is include in the active set. |
duke@1 | 246 | * RootDocImpl isn't even a program entity so it is always false. |
duke@1 | 247 | */ |
duke@1 | 248 | public boolean isIncluded() { |
duke@1 | 249 | return false; |
duke@1 | 250 | } |
duke@1 | 251 | |
duke@1 | 252 | /** |
duke@1 | 253 | * Print error message, increment error count. |
duke@1 | 254 | * |
duke@1 | 255 | * @param msg message to print |
duke@1 | 256 | */ |
duke@1 | 257 | public void printError(String msg) { |
duke@1 | 258 | env.printError(msg); |
duke@1 | 259 | } |
duke@1 | 260 | |
duke@1 | 261 | /** |
duke@1 | 262 | * Print error message, increment error count. |
duke@1 | 263 | * |
duke@1 | 264 | * @param msg message to print |
duke@1 | 265 | */ |
duke@1 | 266 | public void printError(SourcePosition pos, String msg) { |
duke@1 | 267 | env.printError(pos, msg); |
duke@1 | 268 | } |
duke@1 | 269 | |
duke@1 | 270 | /** |
duke@1 | 271 | * Print warning message, increment warning count. |
duke@1 | 272 | * |
duke@1 | 273 | * @param msg message to print |
duke@1 | 274 | */ |
duke@1 | 275 | public void printWarning(String msg) { |
duke@1 | 276 | env.printWarning(msg); |
duke@1 | 277 | } |
duke@1 | 278 | |
duke@1 | 279 | /** |
duke@1 | 280 | * Print warning message, increment warning count. |
duke@1 | 281 | * |
duke@1 | 282 | * @param msg message to print |
duke@1 | 283 | */ |
duke@1 | 284 | public void printWarning(SourcePosition pos, String msg) { |
duke@1 | 285 | env.printWarning(pos, msg); |
duke@1 | 286 | } |
duke@1 | 287 | |
duke@1 | 288 | /** |
duke@1 | 289 | * Print a message. |
duke@1 | 290 | * |
duke@1 | 291 | * @param msg message to print |
duke@1 | 292 | */ |
duke@1 | 293 | public void printNotice(String msg) { |
duke@1 | 294 | env.printNotice(msg); |
duke@1 | 295 | } |
duke@1 | 296 | |
duke@1 | 297 | /** |
duke@1 | 298 | * Print a message. |
duke@1 | 299 | * |
duke@1 | 300 | * @param msg message to print |
duke@1 | 301 | */ |
duke@1 | 302 | public void printNotice(SourcePosition pos, String msg) { |
duke@1 | 303 | env.printNotice(pos, msg); |
duke@1 | 304 | } |
duke@1 | 305 | |
duke@1 | 306 | /** |
duke@1 | 307 | * Return the path of the overview file and null if it does not exist. |
duke@1 | 308 | * @return the path of the overview file and null if it does not exist. |
duke@1 | 309 | */ |
jjg@197 | 310 | private JavaFileObject getOverviewPath() { |
duke@1 | 311 | for (String[] opt : options) { |
duke@1 | 312 | if (opt[0].equals("-overview")) { |
jjg@197 | 313 | if (env.fileManager instanceof StandardJavaFileManager) { |
jjg@197 | 314 | StandardJavaFileManager fm = (StandardJavaFileManager) env.fileManager; |
jjg@197 | 315 | return fm.getJavaFileObjects(opt[1]).iterator().next(); |
jjg@197 | 316 | } |
duke@1 | 317 | } |
duke@1 | 318 | } |
duke@1 | 319 | return null; |
duke@1 | 320 | } |
duke@1 | 321 | |
duke@1 | 322 | /** |
duke@1 | 323 | * Do lazy initialization of "documentation" string. |
duke@1 | 324 | */ |
jjg@912 | 325 | @Override |
duke@1 | 326 | protected String documentation() { |
duke@1 | 327 | if (documentation == null) { |
duke@1 | 328 | int cnt = options.length(); |
jjg@197 | 329 | JavaFileObject overviewPath = getOverviewPath(); |
duke@1 | 330 | if (overviewPath == null) { |
duke@1 | 331 | // no doc file to be had |
duke@1 | 332 | documentation = ""; |
duke@1 | 333 | } else { |
duke@1 | 334 | // read from file |
duke@1 | 335 | try { |
duke@1 | 336 | documentation = readHTMLDocumentation( |
jjg@197 | 337 | overviewPath.openInputStream(), |
duke@1 | 338 | overviewPath); |
duke@1 | 339 | } catch (IOException exc) { |
duke@1 | 340 | documentation = ""; |
jjg@197 | 341 | env.error(null, "javadoc.File_Read_Error", overviewPath.getName()); |
duke@1 | 342 | } |
duke@1 | 343 | } |
duke@1 | 344 | } |
duke@1 | 345 | return documentation; |
duke@1 | 346 | } |
duke@1 | 347 | |
duke@1 | 348 | /** |
duke@1 | 349 | * Return the source position of the entity, or null if |
duke@1 | 350 | * no position is available. |
duke@1 | 351 | */ |
jjg@912 | 352 | @Override |
duke@1 | 353 | public SourcePosition position() { |
jjg@197 | 354 | JavaFileObject path; |
duke@1 | 355 | return ((path = getOverviewPath()) == null) ? |
duke@1 | 356 | null : |
duke@1 | 357 | SourcePositionImpl.make(path, Position.NOPOS, null); |
duke@1 | 358 | } |
bpatel@191 | 359 | |
bpatel@191 | 360 | /** |
bpatel@191 | 361 | * Return the locale provided by the user or the default locale value. |
bpatel@191 | 362 | */ |
bpatel@191 | 363 | public Locale getLocale() { |
bpatel@191 | 364 | return env.doclocale.locale; |
bpatel@191 | 365 | } |
duke@1 | 366 | } |