blob: 63c5104dff9f292233e928ea877fb72141181183 (
plain) (
tree)
|
|
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 {
/** Have we emitted any error ? */
boolean hasErrors();
/** Number of errors that have been emitted */
int errorCount();
/** Have we emitted any warning ? */
boolean hasWarnings();
/** Number of warnings that have been emitted */
int warningCount();
}
|