aboutsummaryrefslogtreecommitdiff
path: root/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
diff options
context:
space:
mode:
authorGuillaume Martres <smarter@ubuntu.com>2016-11-20 00:02:50 +0100
committerGuillaume Martres <smarter@ubuntu.com>2016-11-22 01:35:08 +0100
commitc3eb841ce8ae349d9820dbf6c18884955e74254e (patch)
tree5e82e22a6f0e8245c11a6db81cb9647106a14bde /interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
parentda1bfe392c638fc03181e0d6b51eb41dbdcce548 (diff)
downloaddotty-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.java26
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();
-}