Dotty Documentation

0.4.0-bin-SNAPSHOT

trait UniqueMessagePositions
extends Reporter

This trait implements isHidden so that multiple messages per position are suppressed, unless they are of increasing severity.

[-] Constructors

[-] Members

[+] private val positions : HashMap [ ( SourceFile, Int ), Int ]
[+] override def isHidden ( m: MessageContainer ) ( implicit ctx: Context ) : Boolean

Logs a position and returns true if it was already logged.