📄 abstractreporter.scala
字号:
/* NSC -- new Scala compiler * Copyright 2002-2008 LAMP/EPFL * @author Martin Odersky */// $Id: AbstractReporter.scala 13806 2008-01-24 15:09:09Z michelou $package scala.tools.nsc.reportersimport scala.collection.mutable.HashSetimport scala.tools.nsc.Settingsimport scala.tools.nsc.util.Position/** * This reporter implements filtering. */abstract class AbstractReporter extends Reporter { private val positions = new HashSet[Position]() override def reset = { super.reset positions.clear } val settings: Settings def display(pos: Position, msg: String, severity: Severity): Unit def displayPrompt: Unit protected def info0(pos: Position, msg: String, severity: Severity, force: Boolean) { severity match { case INFO => if (force || settings.verbose.value) display(pos, msg, severity) case WARNING => val hidden = testAndLog(pos) if (!settings.nowarnings.value) { if (!hidden || settings.prompt.value) display(pos, msg, severity) if (settings.prompt.value) displayPrompt } case ERROR => val hidden = testAndLog(pos) if (!hidden || settings.prompt.value) display(pos, msg, severity) if (settings.prompt.value) displayPrompt } } /** Logs a position and returns <code>true</code> if it was already logged. * * @param pos ... * @return <code>true</code> if <code>pos</code> was already logged. */ private def testAndLog(pos: Position): Boolean = { if (pos eq null) return false if (pos.offset.isEmpty) return false if (positions contains pos) return true positions += pos false }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -