method

translate_location

translate_location(spot, backtrace_location, source)
public

Translate an error location returned by ErrorHighlight to the correct source location inside the template.