diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-28 10:39:12 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:36 +0200 |
| commit | 18d63fe71ebc80bc8e111dbb20b6b0ea1f3700af (patch) | |
| tree | f60e83757c308342d85f2a78ce985711f3328330 /interfaces/src/main/java | |
| parent | 7561db09c19bff7871cfd96c327f6f7882480ebd (diff) | |
| download | dotty-18d63fe71ebc80bc8e111dbb20b6b0ea1f3700af.tar.gz dotty-18d63fe71ebc80bc8e111dbb20b6b0ea1f3700af.tar.bz2 dotty-18d63fe71ebc80bc8e111dbb20b6b0ea1f3700af.zip | |
Get rid of `kind` in `MessageContainer`
Diffstat (limited to 'interfaces/src/main/java')
| -rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java | 3 |
1 files changed, 0 insertions, 3 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 index e62c1193e..f94b08e9b 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java @@ -14,9 +14,6 @@ public interface Diagnostic { 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(); |