Dotty Documentation

0.1.1-bin-SNAPSHOT

class ExtendMessage

An extended message keeps the contained message from being evaluated, while allowing for extension for the msg string

This is useful when we need to add additional information to an existing message.

[-] Constructors

ExtendMessage ( _msg: () => Message )
ExtendMessage ( f: String => String )

[-] Members

[+] private val _msg : () => Message
[+] lazy val errorId : ErrorMessageID
[+] lazy val explanation : String
[+] private val f : String => String
[+] lazy val kind : String
[+] lazy val msg : R
[+] def deprecationWarning ( pos: SourcePosition ) : DeprecationWarning

Enclose this message in an DeprecationWarning container

[+] def error ( pos: SourcePosition ) : Error

Enclose this message in an Error container

[+] def featureWarning ( pos: SourcePosition ) : FeatureWarning

Enclose this message in an FeatureWarning container

[+] def info ( pos: SourcePosition ) : Info

Enclose this message in an Info container

[+] def migrationWarning ( pos: SourcePosition ) : MigrationWarning

Enclose this message in an MigrationWarning container

[+] private def toMessage : Message
[+] def uncheckedWarning ( pos: SourcePosition ) : UncheckedWarning

Enclose this message in an UncheckedWarning container

[+] def warning ( pos: SourcePosition ) : Warning

Enclose this message in an Warning container