diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-02 11:08:28 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
commit | 8a61ff432543a29234193cd1f7c14abd3f3d31a0 (patch) | |
tree | a8147561d307af862c295cfc8100d271063bb0dd /compiler/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala | |
parent | 6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f (diff) | |
download | dotty-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.scala | 32 |
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 + } + } +} |