scala3-compiler-bootstrapped
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.reporting/MessageFilter/MessageID

MessageID

dotty.tools.dotc.reporting.MessageFilter$.MessageID
final case class MessageID(errorId: ErrorMessageID)

Members list

Concise view

Value members

Inherited methods

def matches(message: Diagnostic): Boolean

Attributes

Inherited from:
MessageFilter
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL