dotty.tools.dotc.reporting.UniqueMessagePositions.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scala3-compiler_3 Show documentation

scala3-compiler-bootstrapped

There is a newer version: 3.6.4-RC1-bin-20241220-0bfa1af-NIGHTLY

package dotty.tools
package dotc
package reporting

import scala.collection.mutable
import util.SourceFile
import core.Contexts.*

/** 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, Integer), Diagnostic]

  extension (dia1: Diagnostic)
    private def hides(dia2: Diagnostic)(using Context): Boolean =
      if dia2.msg.showAlways then dia1.msg.getClass == dia2.msg.getClass
      else dia1.level >= dia2.level

  /** 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(dia: Diagnostic)(using Context): Boolean =
    super.isHidden(dia)
    ||
      dia.pos.exists
      && !ctx.settings.YshowSuppressedErrors.value
      && (dia.pos.start to dia.pos.end).exists: offset =>
            positions.get((ctx.source, offset)).exists(_.hides(dia))

  override def markReported(dia: Diagnostic)(using Context): Unit =
    if dia.pos.exists then
      for offset <- dia.pos.start to dia.pos.end do
        positions.get((ctx.source, offset)) match
          case Some(dia1) if dia1.hides(dia) =>
          case _ => positions((ctx.source, offset)) = dia
    super.markReported(dia)
}