blob: ed1c37b1c2c2305b4ded1b6a04db81f1b8f25c07 (
plain) (
tree)
|
|
package dotty.tools.dotc.interfaces;
import java.util.Optional;
/** A diagnostic is a message emitted during the compilation process.
*
* It can either be an error, a warning or an information.
*
* User code should not implement this interface, but it may have to
* manipulate objects of this type.
*/
public interface Diagnostic {
public static final int ERROR = 2;
public static final int WARNING = 1;
public static final int INFO = 0;
/** @return The kind of message being reported */
String kind();
/** @return The message to report */
String message();
/** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */
int level();
/** @return The position in a source file of the code that caused this diagnostic
* to be emitted. */
Optional<SourcePosition> position();
}
|