diff options
Diffstat (limited to 'interfaces/src/main/java/dotty')
-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(); |