+ # Return source link for a given location
+ fun get_source(l: Location): String
+ do
+ var s = opt_source.value
+ if s == null then
+ return l.file.filename.simplify_path
+ else
+ # THIS IS JUST UGLY ! (but there is no replace yet)
+ var x = s.split_with("%f")
+ s = x.join(l.file.filename.simplify_path)
+ x = s.split_with("%l")
+ s = x.join(l.line_start.to_s)
+ x = s.split_with("%L")
+ s = x.join(l.line_end.to_s)
+ return s
+ end
+ end
+