# The one-based column index of the last character.
var column_end: Int = 1 is writable
- redef fun to_s: String do
+ redef fun to_s do
+ var path = path
var file_part = "/dev/null:"
- if path != null and path.length > 0 then file_part = "{path.as(not null)}:"
+ if path != null and path.length > 0 then file_part = "{path}:"
return "{file_part}{line_start},{column_start}--{line_end},{column_end}"
end