Message

abstract def explanation: String

The explanation should provide a detailed description of why the error occurred and use examples from the user's own code to illustrate how to avoid these errors.

abstract def kind: String

The kind of the error message is something like "Syntax" or "Type Mismatch"

abstract def msg: String

The msg contains the diagnostic message e.g:

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def deprecationWarning(pos: SourcePosition): DeprecationWarning

Enclose this message in an DeprecationWarning container

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error(pos: SourcePosition): Error

Enclose this message in an Error container

val errorId: Int

a unique number identifying the message, this will later be used to reference documentation online

def featureWarning(pos: SourcePosition): FeatureWarning

Enclose this message in an FeatureWarning container

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def info(pos: SourcePosition): Info

Enclose this message in an Info container

final def isInstanceOf[T0]: Boolean

def mapMsg(f: (String) ⇒ String): Message { ... /* 3 definitions in type refinement */ }

It is possible to map msg to add details, this is at the loss of precision since the type of the resulting Message won't be original extending class

def migrationWarning(pos: SourcePosition): MigrationWarning

Enclose this message in an MigrationWarning container

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def uncheckedWarning(pos: SourcePosition): UncheckedWarning

Enclose this message in an UncheckedWarning container

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def warning(pos: SourcePosition): Warning

Enclose this message in an Warning container