diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-16 13:56:59 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:33 +0200 |
| commit | 2b2cfe71aacb50e91d6956f0d4ee7d555537698a (patch) | |
| tree | 039b512880367adc61d0b287f75d0c453946967c /interfaces | |
| parent | 18a69f7bd230bc06696e41be53a6735aa6e94ccc (diff) | |
| download | dotty-2b2cfe71aacb50e91d6956f0d4ee7d555537698a.tar.gz dotty-2b2cfe71aacb50e91d6956f0d4ee7d555537698a.tar.bz2 dotty-2b2cfe71aacb50e91d6956f0d4ee7d555537698a.zip | |
Refactor common error messages to `diagnostic.basic`
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 ed1c37b1c..e62c1193e 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java @@ -20,6 +20,9 @@ public interface Diagnostic { /** @return The message to report */ String message(); + /** @return The explanation behind the message */ + String explanation(); + /** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */ int level(); |