blob: d44a08fb60a1ee7285d009814fc3be2e75d1f1a2 (
plain) (
tree)
|
|
package dotty.tools
package dotc
package reporting
import core.Contexts.Context
import collection.mutable
import Reporter._
/**
* This class implements a Reporter that stores all messages
*/
class ThrowingReporter(reportInfo: Reporter) extends Reporter {
protected def doReport(d: Diagnostic)(implicit ctx: Context): Unit =
if (d.severity == ERROR) throw d else reportInfo.report(d)
}
|