langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/api/JavadocTool.java
changeset 42498 ceaf5bafa1b5
parent 41252 058d83c9b1c7
equal deleted inserted replaced
42497:b1efbf109ded 42498:ceaf5bafa1b5
    60  * If you write code that depends on this, you do so at your own
    60  * If you write code that depends on this, you do so at your own
    61  * risk.  This code and its internal interfaces are subject to change
    61  * risk.  This code and its internal interfaces are subject to change
    62  * or deletion without notice.</b></p>
    62  * or deletion without notice.</b></p>
    63  */
    63  */
    64 public class JavadocTool implements DocumentationTool {
    64 public class JavadocTool implements DocumentationTool {
       
    65     // @Override // can't add @Override until bootstrap JDK provides Tool.name()
       
    66     public String name() {
       
    67         return "javadoc";
       
    68     }
       
    69 
    65     @Override
    70     @Override
    66     public DocumentationTask getTask(
    71     public DocumentationTask getTask(
    67             Writer out,
    72             Writer out,
    68             JavaFileManager fileManager,
    73             JavaFileManager fileManager,
    69             DiagnosticListener<? super JavaFileObject> diagnosticListener,
    74             DiagnosticListener<? super JavaFileObject> diagnosticListener,