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

Enclose this message in an DeprecationWarning container

def error ( pos: SourcePosition ) : Error

Enclose this message in an Error container

Enclose this message in an Error container

def featureWarning ( pos: SourcePosition ) : FeatureWarning

Enclose this message in an FeatureWarning container

Enclose this message in an FeatureWarning container

def info ( pos: SourcePosition ) : Info

Enclose this message in an Info container

Enclose this message in an Info container

def migrationWarning ( pos: SourcePosition ) : MigrationWarning

Enclose this message in an MigrationWarning container

Enclose this message in an MigrationWarning container

private def toMessage : Message
def uncheckedWarning ( pos: SourcePosition ) : UncheckedWarning

Enclose this message in an UncheckedWarning container

Enclose this message in an UncheckedWarning container

def warning ( pos: SourcePosition ) : Warning

Enclose this message in an Warning container

Enclose this message in an Warning container