blob: c4aa973dab94baf8ace032ef85d0e82b22b8a811 (
plain) (
blame)
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
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
package scala.tools.nsc.reporters;
import scala.tools.nsc.util.Position;
import scala.collection.mutable.HashSet;
import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
import java.io.PrintWriter;
/**
* This class implements a Reporter that displays messages on a text
* console.
*/
class StoreReporter extends Reporter {
class Info(val pos: Position, val msg: String, val severity: Severity);
val infos = new HashSet[Info];
protected def info0(pos : Position, msg : String, severity : Severity, force : Boolean) : Unit = if (!force) {
infos += new Info(pos, msg, severity);
incr(severity);
}
override def reset = {
super.reset;
infos.clear;
}
}
|