aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-11-02 11:08:28 +0100
committerGuillaume Martres <smarter@ubuntu.com>2016-11-22 01:35:07 +0100
commit8a61ff432543a29234193cd1f7c14abd3f3d31a0 (patch)
treea8147561d307af862c295cfc8100d271063bb0dd /compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala
parent6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f (diff)
downloaddotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.tar.gz
dotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.tar.bz2
dotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.zip
Move compiler and compiler tests to compiler dir
Diffstat (limited to 'compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala')
-rw-r--r--compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala32
1 files changed, 32 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala b/compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala
new file mode 100644
index 000000000..6fd971c2a
--- /dev/null
+++ b/compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala
@@ -0,0 +1,32 @@
+package dotty.tools
+package dotc
+package reporting
+
+import scala.collection.mutable
+import util.{SourcePosition, SourceFile}
+import core.Contexts.Context
+import diagnostic.MessageContainer
+
+/** This trait implements `isHidden` so that multiple messages per position
+ * are suppressed, unless they are of increasing severity. */
+trait UniqueMessagePositions extends Reporter {
+
+ private val positions = new mutable.HashMap[(SourceFile, Int), Int]
+
+ /** Logs a position and returns true if it was already logged.
+ * @note Two positions are considered identical for logging if they have the same point.
+ */
+ override def isHidden(m: MessageContainer)(implicit ctx: Context): Boolean =
+ super.isHidden(m) || {
+ m.pos.exists && {
+ var shouldHide = false
+ for (pos <- m.pos.start to m.pos.end) {
+ positions get (ctx.source, pos) match {
+ case Some(level) if level >= m.level => shouldHide = true
+ case _ => positions((ctx.source, pos)) = m.level
+ }
+ }
+ shouldHide
+ }
+ }
+}