-class Message
- super Comparable
- redef type OTHER: Message
-
- readable var _location: nullable Location
- readable var _text: String
-
- redef fun <(other: OTHER): Bool do
- if location == null then return true
- if other.location == null then return false
-
- return location.as(not null) < other.location.as(not null)
- end
-
- redef fun to_s: String
- do
- var l = location
- if l == null then
- return text
- else
- return "{l}: {text}"
- end
- end
-
- fun to_color_string: String
- do
- var esc = 27.ascii
- var red = "{esc}[0;31m"
- var bred = "{esc}[1;31m"
- var green = "{esc}[0;32m"
- var yellow = "{esc}[0;33m"
- var def = "{esc}[0m"
-
- var l = location
- if l == null then
- return text
- else if l.file == null then
- return "{yellow}{l}{def}: {text}"
- else
- var i = location.line_start
- var line_start = l.file.line_starts[i-1]
- var line_end = line_start
- var string = l.file.string
- while line_end+1 < string.length and string[line_end+1] != '\n' and string[line_end+1] != '\r' do
- line_end += 1
- end
- var lstart = string.substring(line_start, location.column_start - 1)
- var cend
- if i != location.line_end then
- cend = line_end - line_start + 1
- else
- cend = location.column_end
- end
- var lmid = string.substring(line_start + location.column_start - 1, cend - location.column_start + 1)
- var lend = string.substring(line_start + cend, line_end - line_start - cend + 1)
- var indent = new Buffer
- for j in [line_start..line_start+location.column_start-1[ do
- if string[j] == '\t' then
- indent.add '\t'
- else
- indent.add ' '
- end
- end
- return "{yellow}{l}{def}: {text}\n\t{lstart}{bred}{lmid}{def}{lend}\n\t{indent}^"
- end
- end
-end
-
-# Global context for tools
-class ToolContext