scala.reflect.internal.transform.Transforms.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of scala-reflect Show documentation
Show all versions of scala-reflect Show documentation
Reflection Library for the Scala Programming Language
/*
* Scala (https://www.scala-lang.org)
*
* Copyright EPFL and Lightbend, Inc.
*
* Licensed under Apache License 2.0
* (http://www.apache.org/licenses/LICENSE-2.0).
*
* See the NOTICE file distributed with this work for
* additional information regarding copyright ownership.
*/
package scala
package reflect
package internal
package transform
import scala.language.existentials
trait Transforms { self: SymbolTable =>
/** We need to encode laziness by hand here because the three components refChecks, uncurry and erasure
* are overwritten by objects in Global.
* It would be best of objects could override lazy values. See scala/bug#5187.
* In the absence of this, the Lazy functionality should probably be somewhere
* in the standard library. Or is it already?
*/
private class Lazy[T](op: => T) {
private[this] var value: T = _
private[this] var _isDefined = false
def isDefined = _isDefined
def force: T = {
if (!isDefined) { value = op; _isDefined = true }
value
}
}
private[this] val uncurryLazy = new Lazy(new { val global: Transforms.this.type = self } with UnCurry)
private[this] val erasureLazy = new Lazy(new { val global: Transforms.this.type = self } with Erasure)
private[this] val postErasureLazy = new Lazy(new { val global: Transforms.this.type = self } with PostErasure)
def uncurry = uncurryLazy.force
def erasure = erasureLazy.force
def postErasure = postErasureLazy.force
def transformedType(sym: Symbol) =
postErasure.transformInfo(sym,
erasure.transformInfo(sym,
uncurry.transformInfo(sym, sym.info)))
def transformedType(tpe: Type) = {
val symbol = tpe.widen.typeSymbol
val erasureMap = if (symbol.isScala3Defined) erasure.scala3Erasure else erasure.scalaErasure
postErasure.elimErasedValueType(erasureMap(uncurry.uncurry(tpe)))
}
}