blob: 3feadcd9b2e6d9cda2f8202cb5320cf741cf3d75 (
plain) (
tree)
|
|
/* NSC -- new Scala compiler
* Copyright 2005-2013 LAMP/EPFL
* @author Martin Odersky
*/
package scala.tools.nsc
package transform
/** A base class for transforms.
* A transform contains a compiler phase which applies a tree transformer.
*/
trait TypingTransformers {
val global: Global
import global._
abstract class TypingTransformer(unit: CompilationUnit) extends Transformer {
var localTyper: analyzer.Typer =
if (phase.erasedTypes)
erasure.newTyper(erasure.rootContext(unit, EmptyTree, erasedTypes = true)).asInstanceOf[analyzer.Typer]
else
analyzer.newTyper(analyzer.rootContext(unit, EmptyTree, true))
protected var curTree: Tree = _
override final def atOwner[A](owner: Symbol)(trans: => A): A = atOwner(curTree, owner)(trans)
def atOwner[A](tree: Tree, owner: Symbol)(trans: => A): A = {
val savedLocalTyper = localTyper
localTyper = localTyper.atOwner(tree, if (owner.isModule) owner.moduleClass else owner)
val result = super.atOwner(owner)(trans)
localTyper = savedLocalTyper
result
}
override def transform(tree: Tree): Tree = {
curTree = tree
tree match {
case Template(_, _, _) =>
// enter template into context chain
atOwner(currentOwner) { super.transform(tree) }
case PackageDef(_, _) =>
atOwner(tree.symbol) { super.transform(tree) }
case _ =>
super.transform(tree)
}
}
}
}
|