diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-20 00:02:50 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:08 +0100 |
commit | c3eb841ce8ae349d9820dbf6c18884955e74254e (patch) | |
tree | 5e82e22a6f0e8245c11a6db81cb9647106a14bde /interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java | |
parent | da1bfe392c638fc03181e0d6b51eb41dbdcce548 (diff) | |
download | dotty-c3eb841ce8ae349d9820dbf6c18884955e74254e.tar.gz dotty-c3eb841ce8ae349d9820dbf6c18884955e74254e.tar.bz2 dotty-c3eb841ce8ae349d9820dbf6c18884955e74254e.zip |
Make every project use the new directory structure
Diffstat (limited to 'interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java')
-rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java deleted file mode 100644 index c46360afa..000000000 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ /dev/null @@ -1,26 +0,0 @@ -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 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(); -} |