⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 abstractreporter.scala

📁 JAVA 语言的函数式编程扩展
💻 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 + -