Skip to content
Snippets Groups Projects

No longer cache file content

Merged Viktor Kuncak requested to merge no-file-cache into master
1 file
+ 3
15
Compare changes
  • Side-by-side
  • Inline
@@ -141,22 +141,10 @@ class DefaultReporter(debugSections: Set[DebugSection]) extends Reporter(debugSe
printLineContent(msg.position)
}
protected var linesOf = Map[java.io.File, List[String]]()
def getLine(pos: Position): Option[String] = {
val lines = linesOf.get(pos.file) match {
case Some(lines) =>
lines
case None =>
val lines = if (pos == NoPosition) {
Nil
} else {
scala.io.Source.fromFile(pos.file).getLines.toList
}
linesOf += pos.file -> lines
lines
}
val lines =
if (pos == NoPosition) Nil
else scala.io.Source.fromFile(pos.file).getLines.toList
if (lines.size >= pos.line && pos.line > 0) {
Some(lines(pos.line - 1))
Loading