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