1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
package dotty.tools
package dotc
package reporting
import scala.collection.mutable
import util.SourcePosition
import core.Contexts._
import Reporter.Severity.{Value => Severity, _}
import java.io.{ BufferedReader, IOException, PrintWriter }
import scala.reflect.internal.util._
/**
* This class implements a Reporter that displays messages on a text
* console.
*/
class ConsoleReporter(
reader: BufferedReader = Console.in,
writer: PrintWriter = new PrintWriter(Console.err, true))(ctx: Context)
extends Reporter(ctx) with UniqueMessagePositions {
/** Whether a short file name should be displayed before errors */
protected def shortName: Boolean = false
/** maximal number of error messages to be printed */
protected def ErrorLimit = 100
def printSourceLine(pos: SourcePosition) =
printMessage(pos.lineContents.stripLineEnd)
def printColumnMarker(pos: SourcePosition) =
if (pos.exists) { printMessage(" " * (pos.column - 1) + "^") }
/** Prints the message. */
def printMessage(msg: String) { writer.print(msg + "\n"); writer.flush() }
/** Prints the message with the given position indication. */
def printMessage(msg: String, pos: SourcePosition)(implicit ctx: Context) {
printMessage(s"${if (pos.exists) s"$pos: " else ""}$msg")
if (pos.exists) {
printSourceLine(pos)
printColumnMarker(pos)
}
}
def printMessage(msg: String, severity: Severity, pos: SourcePosition)(implicit ctx: Context) {
printMessage(label(severity) + msg, pos)
}
override def report(msg: String, severity: Severity, pos: SourcePosition)(implicit ctx: Context) {
if (severity != ERROR || count(severity) <= ErrorLimit)
printMessage(msg, severity, pos)
if (severity != INFO && ctx.settings.prompt.value) displayPrompt()
}
def displayPrompt(): Unit = {
writer.print("\na)bort, s)tack, r)esume: ")
writer.flush()
if (reader != null) {
val response = reader.read().asInstanceOf[Char].toLower
if (response == 'a' || response == 's') {
(new Exception).printStackTrace()
if (response == 'a')
sys exit 1
writer.print("\n")
writer.flush()
}
}
}
override def flush() { writer.flush() }
}
|
