Dotty Documentation

0.5.0-bin-SNAPSHOT

class NoExplanation
extends Message

The fallback Message containing no explanation and having no kind

[-] Constructors

NoExplanation ( msg: String )

[-] Members

[+] val 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.

[+] val kind : String

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

[+] val msg : String

The msg contains the diagnostic message e.g:

expected: String found: Int

This message will be placed underneath the position given by the enclosing MessageContainer

[+] override def toString ( ) : String