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.

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