All Downloads are FREE. Search and download functionalities are using the official Maven repository.

dotty.tools.dotc.reporting.ThrowingReporter.scala Maven / Gradle / Ivy

The newest version!
package dotty.tools
package dotc
package reporting

import core.Contexts.Context
import diagnostic.MessageContainer
import diagnostic.messages.Error

/**
 * This class implements a Reporter that throws all errors and sends warnings and other
 * info to the underlying reporter.
 */
class ThrowingReporter(reportInfo: Reporter) extends Reporter {
  def doReport(m: MessageContainer)(implicit ctx: Context): Unit = m match {
    case _: Error => throw m
    case _ => reportInfo.doReport(m)
  }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy