diff options
Diffstat (limited to 'interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java')
-rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java index 872448583..f4c80c0cf 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SimpleReporter.java @@ -8,6 +8,8 @@ package dotty.tools.dotc.interfaces; * See the method `process` of `dotty.tools.dotc.Driver` for more information. */ public interface SimpleReporter { - /** Report a diagnostic. */ + /** Report a diagnostic. + * @param diag the diagnostic message to report + */ void report(Diagnostic diag); } |