Dotty Documentation

0.11.0-bin-SNAPSHOT

object Reporter
extends Object

[-] Constructors

[-] Members

[+] @sharable object NoReporter

A reporter that ignores reports, and doesn't record errors

[+] def fromSimpleReporter ( simple: SimpleReporter ) : Reporter

Convert a SimpleReporter into a real Reporter