PreTyperComponent

This jspretyper phase prepares a fix for issue SI-9487 in the case of anonymous classes that extend js.Any.

During typer, due to a bug (SI-9487), Scalac transfroms some public method definitions of a quite specific syntactic form of anonymous classes into private methods. This affects both methods and field accessors. This phase identifies any anonymous class and adds a @WasPublicBeforeTyper annotation on its public methods and fields. After the typer in jsinterop the anonymous classes are fixed if they extend js.Any using the annotations as reference.

As an example:

class $anon extends ... {
  val foo = ???
  var bar = ???
  def baz = ???
  private val foo2 = ???
  private var bar2 = ???
  private def baz2 = ???
}

Would become:

class $anon extends ... {
  @WasPublicBeforeTyper val foo = ???
  @WasPublicBeforeTyper var bar = ???
  @WasPublicBeforeTyper def baz = ???
  private val foo2 = ???
  private var bar2 = ???
  private def baz2 = ???
}

And after typer (if has SI-9487) will be:

class $anon extends ... {
  @WasPublicBeforeTyper private[this] var foo = ???
  private <stable> <accessor> def foo = ??? // Needs fix

  @WasPublicBeforeTyper private[this] var bar = ???
  private <accessor> def bar = ??? // Needs fix
  private <accessor> def bar_=(...) = ??? // Needs fix

  @WasPublicBeforeTyper private def baz = ??? // Needs fix
  ...
}

Linear Supertypes

PluginComponent210Compat, Compat210Component, Transform, PluginComponent, SubComponent, AnyRef, Any

Known Subclasses

PreTyperComponentComponent

Instance Constructors

new PreTyperComponent(global: Global)

Type Members

implicit final class ErasedValueTypeCompat extends AnyRef

Definition Classes
Compat210Component
implicit final class GlobalCompat extends AnyRef

Definition Classes
Compat210Component
implicit class OverridingPairsCursor2Iterable extends AnyRef

Definition Classes
Compat210Component
class Phase extends scala.tools.nsc.transform.Transform.StdPhase

Definition Classes
Transform
class PreTyperTransformer extends scala.tools.nsc.Global.Transformer
implicit final class RunCompat extends AnyRef

Definition Classes
Compat210Component
type SAMFunctionCompat = SAMFunction

Definition Classes
Compat210Component
implicit final class SAMFunctionCompatOps extends AnyRef

Definition Classes
Compat210Component
abstract class StdPhase extends GlobalPhase

Definition Classes
SubComponent
implicit final class StdTermNamesCompat extends AnyRef

Definition Classes
Compat210Component
implicit final class StdTypeNamesCompat extends AnyRef

Definition Classes
Compat210Component
implicit final class SymbolCompat extends AnyRef

Definition Classes
Compat210Component

Abstract Value Members

abstract val runsAfter: List[String]

Definition Classes
SubComponent

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object DelambdafyCompat

Definition Classes
Compat210Component
object LowPrioGenBCodeCompat

Definition Classes
Compat210Component
object Mode

Definition Classes
Compat210Component
object SAMFunctionAttachCompat

Definition Classes
Compat210Component
object SAMFunctionAttachCompatDef

Definition Classes
Compat210Component
lazy val SAMFunctionCompat: SAMFunction.type

Definition Classes
Compat210Component
object ScaladocGlobalCompat

Definition Classes
Compat210Component
final def afterOwnPhase[T](op: ⇒ T): T

Definition Classes
SubComponent
Annotations
@inline()
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def beforeOwnPhase[T](op: ⇒ T): T

Definition Classes
SubComponent
Annotations
@inline()
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def description: String

Definition Classes
PreTyperComponent → PluginComponent210Compat → PluginComponent
final def devWarning(msg: ⇒ String): Unit

Definition Classes
Compat210Component
Annotations
@inline()
def enabled: Boolean

Definition Classes
SubComponent
final def enteringPhase[T](ph: scala.tools.nsc.Phase)(op: ⇒ T): T

Definition Classes
Compat210Component
Annotations
@inline()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def exitingPhase[T](ph: scala.tools.nsc.Phase)(op: ⇒ T): T

Definition Classes
Compat210Component
Annotations
@inline()
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def forScaladoc: Boolean

Definition Classes
Compat210Component
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
val global: Global

Definition Classes
PreTyperComponent → Compat210Component → SubComponent
def hashCode(): Int

Definition Classes
SubComponent → AnyRef → Any
val initial: Boolean

Definition Classes
SubComponent
def initializeCoreBTypesCompat(): Unit

Definition Classes
Compat210Component
final val internal: Boolean(false)

Definition Classes
PluginComponent → SubComponent
final def isFunctionSymbol(sym: scala.tools.nsc.Global.Symbol): Boolean

Definition Classes
Compat210Component
def isImplClass(sym: scala.tools.nsc.Global.Symbol): Boolean

Definition Classes
Compat210Component
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newPhase(prev: scala.tools.nsc.Phase): StdPhase

Definition Classes
Transform → SubComponent
def newTransformer(unit: scala.tools.nsc.Global.CompilationUnit): scala.tools.nsc.Global.Transformer

Attributes
protected
Definition Classes
PreTyperComponent → Transform
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def ownPhase: scala.tools.nsc.Phase

Definition Classes
SubComponent
val phaseName: String

Definition Classes
PreTyperComponent → SubComponent
def phaseNewFlags: Long

Definition Classes
SubComponent
def phaseNextFlags: Long

Definition Classes
SubComponent
final def repeatedToSingle(t: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

Definition Classes
Compat210Component
Annotations
@inline()
val requires: List[String]

Definition Classes
SubComponent
val runsBefore: List[String]

Definition Classes
SubComponent
val runsRightAfter: Option[String]

Definition Classes
PluginComponent → SubComponent
lazy val scalaUsesImplClasses: Boolean

Definition Classes
Compat210Component
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val terminal: Boolean

Definition Classes
SubComponent
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package compiler

abstract class PreTyperComponent extends PluginComponent with Transform with PluginComponent210Compat

Instance Constructors

new PreTyperComponent(global: Global)

Type Members

implicit final class ErasedValueTypeCompat extends AnyRef

implicit final class GlobalCompat extends AnyRef

implicit class OverridingPairsCursor2Iterable extends AnyRef

class Phase extends scala.tools.nsc.transform.Transform.StdPhase

class PreTyperTransformer extends scala.tools.nsc.Global.Transformer

implicit final class RunCompat extends AnyRef

type SAMFunctionCompat = SAMFunction

implicit final class SAMFunctionCompatOps extends AnyRef

abstract class StdPhase extends GlobalPhase

implicit final class StdTermNamesCompat extends AnyRef

implicit final class StdTypeNamesCompat extends AnyRef

implicit final class SymbolCompat extends AnyRef

Abstract Value Members

abstract val runsAfter: List[String]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object DelambdafyCompat

object LowPrioGenBCodeCompat

object Mode

object SAMFunctionAttachCompat

object SAMFunctionAttachCompatDef

lazy val SAMFunctionCompat: SAMFunction.type

object ScaladocGlobalCompat

final def afterOwnPhase[T](op: ⇒ T): T

final def asInstanceOf[T0]: T0

final def beforeOwnPhase[T](op: ⇒ T): T

def clone(): AnyRef

def description: String

final def devWarning(msg: ⇒ String): Unit

def enabled: Boolean

final def enteringPhase[T](ph: scala.tools.nsc.Phase)(op: ⇒ T): T

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def exitingPhase[T](ph: scala.tools.nsc.Phase)(op: ⇒ T): T

def finalize(): Unit

final def forScaladoc: Boolean

final def getClass(): Class[_]

val global: Global

def hashCode(): Int

val initial: Boolean

def initializeCoreBTypesCompat(): Unit

final val internal: Boolean(false)

final def isFunctionSymbol(sym: scala.tools.nsc.Global.Symbol): Boolean

def isImplClass(sym: scala.tools.nsc.Global.Symbol): Boolean

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def newPhase(prev: scala.tools.nsc.Phase): StdPhase

def newTransformer(unit: scala.tools.nsc.Global.CompilationUnit): scala.tools.nsc.Global.Transformer

final def notify(): Unit

final def notifyAll(): Unit

def ownPhase: scala.tools.nsc.Phase

val phaseName: String

def phaseNewFlags: Long

def phaseNextFlags: Long

final def repeatedToSingle(t: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

val requires: List[String]

val runsBefore: List[String]

val runsRightAfter: Option[String]

lazy val scalaUsesImplClasses: Boolean

final def synchronized[T0](arg0: ⇒ T0): T0

val terminal: Boolean

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from PluginComponent210Compat

Inherited from Compat210Component

Inherited from Transform

Inherited from PluginComponent

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any