MessageRendering

dotty.tools.dotc.reporting.MessageRendering

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def explanation(m: Message)(using Context): String

Explanation rendered under "Explanation" header

Explanation rendered under "Explanation" header

Attributes

List of all the inline calls that surround the position

List of all the inline calls that surround the position

Attributes

The whole message rendered from msg

The whole message rendered from msg

Attributes

protected def posFileStr(pos: SourcePosition): String

The source file path, line and column numbers from the given SourcePosition

The source file path, line and column numbers from the given SourcePosition

Attributes

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

Attributes

Returns

string stripped of ANSI escape codes