| /* |
| * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. Oracle designates this |
| * particular file as subject to the "Classpath" exception as provided |
| * by Oracle in the LICENSE file that accompanied this code. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| package jdk.nashorn.api.tree; |
| |
| /** |
| * Interface for diagnostics from tools. A diagnostic usually reports |
| * a problem at a specific position in a source file. However, not |
| * all diagnostics are associated with a position or a file. |
| * |
| * <p>A position is a zero-based character offset from the beginning of |
| * a file. Negative values (except {@link #NOPOS}) are not valid |
| * positions. |
| * |
| * <p>Line and column numbers begin at 1. Negative values (except |
| * {@link #NOPOS}) and 0 are not valid line or column numbers. |
| * |
| * <p>Line terminator is as defined in ECMAScript specification which is one |
| * of { \u000A, \u000B, \u2028, \u2029 }. |
| * |
| * @since 9 |
| */ |
| public interface Diagnostic { |
| |
| /** |
| * Kinds of diagnostics, for example, error or warning. |
| * |
| * The kind of a diagnostic can be used to determine how the |
| * diagnostic should be presented to the user. For example, |
| * errors might be colored red or prefixed with the word "Error", |
| * while warnings might be colored yellow or prefixed with the |
| * word "Warning". There is no requirement that the Kind |
| * should imply any inherent semantic meaning to the message |
| * of the diagnostic: for example, a tool might provide an |
| * option to report all warnings as errors. |
| */ |
| enum Kind { |
| /** |
| * Problem which prevents the tool's normal completion. |
| */ |
| ERROR, |
| /** |
| * Problem which does not usually prevent the tool from |
| * completing normally. |
| */ |
| WARNING, |
| /** |
| * Problem similar to a warning, but is mandated by the tool's |
| * specification. For example, the Java™ Language |
| * Specification mandates warnings on certain |
| * unchecked operations and the use of deprecated methods. |
| */ |
| MANDATORY_WARNING, |
| /** |
| * Informative message from the tool. |
| */ |
| NOTE, |
| /** |
| * Diagnostic which does not fit within the other kinds. |
| */ |
| OTHER, |
| } |
| |
| /** |
| * Used to signal that no position is available. |
| */ |
| public final static long NOPOS = -1; |
| |
| /** |
| * Gets the kind of this diagnostic, for example, error or |
| * warning. |
| * @return the kind of this diagnostic |
| */ |
| Kind getKind(); |
| |
| /** |
| * Gets a character offset from the beginning of the source object |
| * associated with this diagnostic that indicates the location of |
| * the problem. In addition, the following must be true: |
| * |
| * <p>{@code getStartPostion() <= getPosition()} |
| * <p>{@code getPosition() <= getEndPosition()} |
| * |
| * @return character offset from beginning of source; {@link |
| * #NOPOS} if no location is suitable |
| */ |
| long getPosition(); |
| |
| /** |
| * Gets the source file name. |
| * |
| * @return the file name or null if not available |
| */ |
| String getFileName(); |
| |
| /** |
| * Gets the line number of the character offset returned by |
| * {@linkplain #getPosition()}. |
| * |
| * @return a line number or {@link #NOPOS} if and only if {@link |
| * #getPosition()} returns {@link #NOPOS} |
| */ |
| long getLineNumber(); |
| |
| /** |
| * Gets the column number of the character offset returned by |
| * {@linkplain #getPosition()}. |
| * |
| * @return a column number or {@link #NOPOS} if and only if {@link |
| * #getPosition()} returns {@link #NOPOS} |
| */ |
| long getColumnNumber(); |
| |
| /** |
| * Gets a diagnostic code indicating the type of diagnostic. The |
| * code is implementation-dependent and might be {@code null}. |
| * |
| * @return a diagnostic code |
| */ |
| String getCode(); |
| |
| /** |
| * Gets a message for this diagnostic. |
| * |
| * @return a message |
| */ |
| String getMessage(); |
| } |