Dotty Documentation

0.1.1-bin-SNAPSHOT

trait MessageRendering

[-] Constructors

[-] Members

[+] def columnMarker ( pos: SourcePosition , offset: Int ) ( implicit ctx: Context ) : String

The column markers aligned under the error

[+] def diagnosticLevel ( cont: MessageContainer ) : String
[+] def errorMsg ( pos: SourcePosition , msg: String , offset: Int ) ( implicit ctx: Context ) : String

The error message (msg) aligned under pos

[+] def explanation ( m: Message ) ( implicit ctx: Context ) : String

Explanation rendered under "Explanation" header

[+] def messageAndPos ( msg: Message , pos: SourcePosition , diagnosticLevel: String ) ( implicit ctx: Context ) : String

The whole message rendered from msg

[+] def outer ( pos: SourcePosition , prefix: String ) ( implicit ctx: Context ) : List [ String ]

When inlining a method call, if there's an error we'd like to get the outer context and the pos at which the call was inlined.

[+] def posStr ( pos: SourcePosition , diagnosticLevel: String , message: Message ) ( implicit ctx: Context ) : String

The separator between errors containing the source file and error type

[+] def sourceLines ( pos: SourcePosition ) ( implicit ctx: Context ) : ( List [ String ], List [ String ], Int )

Get the sourcelines before and after the position, as well as the offset for rendering line numbers

[+] def stripColor ( str: String ) : String

Remove ANSI coloring from str, useful for getting real length of strings