We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3219d84 commit 0701e5dCopy full SHA for 0701e5d
src/dotty/tools/dotc/reporting/ConsoleReporter.scala
@@ -14,10 +14,22 @@ import scala.reflect.internal.util._
14
* console.
15
*/
16
class ConsoleReporter(
17
- reader: BufferedReader = Console.in,
18
- writer: PrintWriter = new PrintWriter(Console.err, true))
+ reader: BufferedReader,
+ writer: PrintWriter)
19
extends Reporter with UniqueMessagePositions {
20
21
+ def this(writer: PrintWriter) = {
22
+ this(Console.in, writer)
23
+ }
24
+
25
+ def this(reader: BufferedReader) = {
26
+ this(reader, new PrintWriter(Console.err, true))
27
28
29
+ def this() = {
30
+ this(Console.in)
31
32
33
/** maximal number of error messages to be printed */
34
protected def ErrorLimit = 100
35
0 commit comments