diff options
Diffstat (limited to 'interfaces/src/dotty/tools/dotc/interfaces/ReporterResult.java')
-rw-r--r-- | interfaces/src/dotty/tools/dotc/interfaces/ReporterResult.java | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/interfaces/src/dotty/tools/dotc/interfaces/ReporterResult.java b/interfaces/src/dotty/tools/dotc/interfaces/ReporterResult.java new file mode 100644 index 000000000..f75519db2 --- /dev/null +++ b/interfaces/src/dotty/tools/dotc/interfaces/ReporterResult.java @@ -0,0 +1,18 @@ +package dotty.tools.dotc.interfaces; + +/** Summary of the diagnostics emitted by a Reporter. + * + * User code should not implement this interface, but it may have to + * manipulate objects of this type. + */ +public interface ReporterResult { + /** @return Have we emitted any error? */ + boolean hasErrors(); + /** @return Number of errors that have been emitted */ + int errorCount(); + + /** @return Have we emitted any warning ? */ + boolean hasWarnings(); + /** @return Number of warnings that have been emitted */ + int warningCount(); +} |