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
|
/* NSC -- new Scala compiler
* Copyright 2002-2009 LAMP/EPFL
* @author Martin Odersky
*/
// $Id$
package scala.tools.nsc.reporters
import scala.collection.mutable.HashMap
import scala.tools.nsc.Settings
import scala.tools.nsc.util.Position
/**
* This reporter implements filtering.
*/
abstract class AbstractReporter extends Reporter {
private val positions = new HashMap[Position, Severity]
override def reset = {
super.reset
positions.clear
}
val settings: Settings
def display(pos: Position, msg: String, severity: Severity): Unit
def displayPrompt: Unit
protected def info0(pos: Position, msg: String, severity: Severity, force: Boolean) {
severity match {
case INFO =>
if (force || settings.verbose.value) display(pos, msg, severity)
case WARNING =>
val hidden = testAndLog(pos, severity)
if (!settings.nowarnings.value) {
if (!hidden || settings.prompt.value) display(pos, msg, severity)
if (settings.prompt.value) displayPrompt
}
case ERROR =>
val hidden = testAndLog(pos, severity)
if (!hidden || settings.prompt.value) display(pos, msg, severity)
if (settings.prompt.value) displayPrompt
}
}
/** Logs a position and returns <code>true</code> if it was already logged.
*
* @param pos ...
* @return <code>true</code> if <code>pos</code> was already logged.
*/
private def testAndLog(pos: Position, severity: Severity): Boolean = {
if (pos eq null) return false
if (pos.offset.isEmpty) return false
if ((positions contains pos) && positions(pos) >= severity) return true
positions += (pos -> severity)
false
}
}
|