JDK 11 jdk.javadoc.jmod - Java Document Tool

JDK 11 jdk.javadoc.jmod is the JMOD file for JDK 11 Java Document tool, which can be invoked by the "javadoc" command.

JDK 11 Java Document tool compiled class files are stored in \fyicenter\jdk-11.0.1\jmods\jdk.javadoc.jmod.

JDK 11 Java Document tool compiled class files are also linked and stored in the \fyicenter\jdk-11.0.1\lib\modules JImage file.

JDK 11 Java Document tool source code files are stored in \fyicenter\jdk-11.0.1\lib\src.zip\jdk.javadoc.

You can click and view the content of each source code file in the list below.

✍: FYIcenter

jdk/javadoc/doclet/Reporter.java

/*
 * Copyright (c) 1998, 2016, Oracle and/or its affiliates. All rights reserved.
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 */

package jdk.javadoc.doclet;

import javax.lang.model.element.Element;
import javax.tools.Diagnostic;

import com.sun.source.util.DocTreePath;

/**
 * This interface provides error, warning and notice reporting.
 *
 * @since 9
 */
public interface Reporter {

    /**
     * Print error message and increment error count.
     *
     * @param kind specify the diagnostic kind
     * @param msg message to print
     */
    void print(Diagnostic.Kind kind, String msg);

    /**
     * Print an error message and increment error count.
     *
     * @param kind specify the diagnostic kind
     * @param path the DocTreePath of item where the error occurs
     * @param msg message to print
     */
    void print(Diagnostic.Kind kind, DocTreePath path, String msg);

    /**
     * Print an error message and increment error count.
     *
     * @param kind specify the diagnostic kind
     * @param e the Element for which  the error occurs
     * @param msg message to print
     */
    void print(Diagnostic.Kind kind, Element e, String msg);
}

jdk/javadoc/doclet/Reporter.java

 

JDK 11 jdk.jcmd.jmod - JCmd Tool

JDK 11 jdk.jartool.jmod - JAR Tool

Download and Use JDK 11

⇑⇑ FAQ for JDK (Java Development Kit)

2020-07-22, 14366👍, 0💬