• Home
• ch.epfl.lamp
• dotty-interfaces
• 0.2.0-bin-20170611-0311967-NIGHTLY
• source code
• ReporterResult.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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();
}