trait MessageRendering

Constructors

Members

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

The column markers aligned under the error

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

The error message (msg) aligned under pos

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

Explanation rendered under "Explanation" header

Explanation rendered under "Explanation" header

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

The whole message rendered from msg

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.

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

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

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

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