diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-15 22:28:30 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:33 +0200 |
| commit | f8456fc71e0fba8c92eb2069a7abc872a59c2567 (patch) | |
| tree | 15011455f12c1be921305dc73ee9a6ed6dce0731 /interfaces | |
| parent | 15db5f6053badd49aae62a699aa59745288c932d (diff) | |
| download | dotty-f8456fc71e0fba8c92eb2069a7abc872a59c2567.tar.gz dotty-f8456fc71e0fba8c92eb2069a7abc872a59c2567.tar.bz2 dotty-f8456fc71e0fba8c92eb2069a7abc872a59c2567.zip | |
Add error kind to diagnostic
Diffstat (limited to 'interfaces')
| -rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java | 3 |
1 files changed, 3 insertions, 0 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 c46360afa..ed1c37b1c 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java @@ -14,6 +14,9 @@ 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(); |