|
Scala example source code file (Analyzer.scala)
The Analyzer.scala Scala example source code/* NSC -- new Scala compiler * Copyright 2005-2013 LAMP/EPFL * @author Martin Odersky */ package scala.tools.nsc package typechecker import scala.reflect.internal.util.Statistics /** The main attribution phase. */ trait Analyzer extends AnyRef with Contexts with Namers with Typers with Infer with Implicits with EtaExpansion with SyntheticMethods with Unapplies with Macros with NamesDefaults with TypeDiagnostics with ContextErrors with StdAttachments with AnalyzerPlugins { val global : Global import global._ object namerFactory extends { val global: Analyzer.this.global.type = Analyzer.this.global } with SubComponent { val phaseName = "namer" val runsAfter = List[String]("parser") val runsRightAfter = None def newPhase(_prev: Phase): StdPhase = new StdPhase(_prev) { override val checkable = false override def keepsTypeParams = false def apply(unit: CompilationUnit) { newNamer(rootContext(unit)).enterSym(unit.body) } } } object packageObjects extends { val global: Analyzer.this.global.type = Analyzer.this.global } with SubComponent { val phaseName = "packageobjects" val runsAfter = List[String]() val runsRightAfter= Some("namer") def newPhase(_prev: Phase): StdPhase = new StdPhase(_prev) { override val checkable = false import global._ val openPackageObjectsTraverser = new Traverser { override def traverse(tree: Tree): Unit = tree match { case ModuleDef(_, _, _) => if (tree.symbol.name == nme.PACKAGEkw) { openPackageModule(tree.symbol, tree.symbol.owner) } case ClassDef(_, _, _, _) => () // make it fast case _ => super.traverse(tree) } } def apply(unit: CompilationUnit) { openPackageObjectsTraverser(unit.body) } } } object typerFactory extends { val global: Analyzer.this.global.type = Analyzer.this.global } with SubComponent { import scala.reflect.internal.TypesStats.typerNanos val phaseName = "typer" val runsAfter = List[String]() val runsRightAfter = Some("packageobjects") def newPhase(_prev: Phase): StdPhase = new StdPhase(_prev) { override def keepsTypeParams = false resetTyper() // the log accumulates entries over time, even though it should not (Adriaan, Martin said so). // Lacking a better fix, we clear it here (before the phase is created, meaning for each // compiler run). This is good enough for the resident compiler, which was the most affected. undoLog.clear() override def run() { val start = if (Statistics.canEnable) Statistics.startTimer(typerNanos) else null global.echoPhaseSummary(this) for (unit <- currentRun.units) { applyPhase(unit) undoLog.clear() } if (Statistics.canEnable) Statistics.stopTimer(typerNanos, start) } def apply(unit: CompilationUnit) { try { val typer = newTyper(rootContext(unit)) unit.body = typer.typed(unit.body) if (global.settings.Yrangepos && !global.reporter.hasErrors) global.validatePositions(unit.body) for (workItem <- unit.toCheck) workItem() if (settings.warnUnusedImport) warnUnusedImports(unit) if (settings.warnUnused) typer checkUnused unit } finally { unit.toCheck.clear() } } } } } Other Scala source code examplesHere is a short list of links related to this Scala Analyzer.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.