dotty.tools.dotc.interfaces.ReporterResult Maven / Gradle / Ivy
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();
}