scala3-compiler-bootstrapped/dotty.tools.dotc.reporting/MessageFilter

MessageFilter

enum MessageFilter
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries

case Any extends MessageFilter
case Feature extends MessageFilter
case MessageID(errorId: ErrorMessageID)
case MessagePattern(pattern: Regex)
case None extends MessageFilter