Helpers
Class methods
stream_file_to_html(io : IO, filepath : String, begin_line : Int32, begin_column : Int32, end_line : Int32, end_column : Int32) : Nil
Streams the file from the given filepath into the io.
The method first skips most code before the errorneous code as it is irrelevant for the report. Then, the
The method is written in a quite low-level manner and could be hard to understand.