ExplicitInnerJS

Makes the references to inner JS class values explicit.

Roughly, for every inner JS class of the form:

class Outer {
  class Inner extends ParentJSClass
}

this phase creates a field Inner$jsclass in Outer to hold the JS class value for Inner. The rhs of that field is a call to a magic method, used to retain information that the back-end will need.

class Outer {
  <synthetic> val Inner$jsclass: AnyRef =
    createJSClass(classOf[Inner], js.constructorOf[ParentJSClass])

  class Inner extends ParentJSClass
}

These fields will be read by code generated in ExplicitLocalJS.

Note that this field must also be added to outer classes and traits coming from separate compilation, therefore this phase is an InfoTransform. Since the transformInfo also applies to classes defined in the current compilation unit, the tree traversal must not create the field symbols a second time when synthesizing the ValDef. Instead, it must reuse the same symbols that transformInfo will create.

It seems the easiest way to do that is to run the entire transform "in the future", with exitingPhase(ExplicitInnerJS). This design is similar to how explicitouter works.

Linear Supertypes

CompatComponent, TypingTransformers, InfoTransform, Transform, PluginComponent, SubComponent, AnyRef, Any

Known Subclasses

ExplicitInnerJSComponent

Instance Constructors

new ExplicitInnerJS(global: G)

Type Members

implicit class BTypesCompat extends AnyRef

Definition Classes
CompatComponent
class ExplicitInnerJSTransformer extends TypingTransformer
implicit final class GlobalCompat extends AnyRef

Definition Classes
CompatComponent
class Phase extends scala.tools.nsc.transform.InfoTransform.Phase

Definition Classes
InfoTransform
type SAMFunctionCompat = SAMFunction

Definition Classes
CompatComponent
implicit final class SAMFunctionCompatOps extends AnyRef

Definition Classes
CompatComponent
abstract class StdPhase extends GlobalPhase

Definition Classes
SubComponent
implicit final class StdTermNamesCompat extends AnyRef

Definition Classes
CompatComponent
implicit final class StdTypeNamesCompat extends AnyRef

Definition Classes
CompatComponent
implicit final class SymbolCompat extends AnyRef

Definition Classes
CompatComponent
abstract class TypingTransformer extends scala.tools.nsc.Global.Transformer

Definition Classes
TypingTransformers

Abstract Value Members

abstract val jsAddons: JSGlobalAddons { val global: ExplicitInnerJS.this.global.type }
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 SAMFunctionAttachCompat

Definition Classes
CompatComponent
object SAMFunctionAttachCompatDef

Definition Classes
CompatComponent
lazy val SAMFunctionCompat: SAMFunction.type

Definition Classes
CompatComponent
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 changesBaseClasses: Boolean

This class does not change linearization.
This class does not change linearization.

Attributes
protected
Definition Classes
ExplicitInnerJS → InfoTransform
def clone(): AnyRef

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

Definition Classes
ExplicitInnerJS → PluginComponent
def enabled: Boolean

Definition Classes
SubComponent
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
val global: G

Definition Classes
ExplicitInnerJS → CompatComponent → TypingTransformers → SubComponent
def hashCode(): Int

Definition Classes
SubComponent → AnyRef → Any
val initial: Boolean

Definition Classes
SubComponent
final val internal: Boolean(false)

Definition Classes
PluginComponent → SubComponent
def isImplClass(sym: G.Symbol): Boolean

Definition Classes
CompatComponent
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def keepsTypeParams: Boolean

Attributes
protected
Definition Classes
InfoTransform
final def ne(arg0: AnyRef): Boolean

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

Definition Classes
InfoTransform → Transform → SubComponent
def newTransformer(unit: G.CompilationUnit): G.Transformer

Attributes
protected
Definition Classes
ExplicitInnerJS → 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
ExplicitInnerJS → SubComponent
def phaseNewFlags: Long

Definition Classes
SubComponent
def phaseNextFlags: Long

Definition Classes
SubComponent
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
CompatComponent
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val terminal: Boolean

Definition Classes
SubComponent
def toString(): String

Definition Classes
AnyRef → Any
def transformInfo(sym: G.Symbol, tp: G.Type): G.Type

Transforms the info of types to add the Inner$jsclass fields.
Transforms the info of types to add the Inner$jsclass fields.
This method was inspired by ExplicitOuter.transformInfo.

Definition Classes
ExplicitInnerJS → InfoTransform
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 nscplugin

abstract class ExplicitInnerJS[G <: Global with Singleton] extends PluginComponent with InfoTransform with TypingTransformers with CompatComponent

Instance Constructors

new ExplicitInnerJS(global: G)

Type Members

implicit class BTypesCompat extends AnyRef

class ExplicitInnerJSTransformer extends TypingTransformer

implicit final class GlobalCompat extends AnyRef

class Phase extends scala.tools.nsc.transform.InfoTransform.Phase

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 class TypingTransformer extends scala.tools.nsc.Global.Transformer

Abstract Value Members

abstract val jsAddons: JSGlobalAddons { val global: ExplicitInnerJS.this.global.type }

abstract val runsAfter: List[String]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object SAMFunctionAttachCompat

object SAMFunctionAttachCompatDef

lazy val SAMFunctionCompat: SAMFunction.type

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

final def asInstanceOf[T0]: T0

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

def changesBaseClasses: Boolean

def clone(): AnyRef

def description: String

def enabled: Boolean

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val global: G

def hashCode(): Int

val initial: Boolean

final val internal: Boolean(false)

def isImplClass(sym: G.Symbol): Boolean

final def isInstanceOf[T0]: Boolean

def keepsTypeParams: Boolean

final def ne(arg0: AnyRef): Boolean

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

def newTransformer(unit: G.CompilationUnit): G.Transformer

final def notify(): Unit

final def notifyAll(): Unit

def ownPhase: scala.tools.nsc.Phase

val phaseName: String

def phaseNewFlags: Long

def phaseNextFlags: Long

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

def transformInfo(sym: G.Symbol, tp: G.Type): G.Type

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from CompatComponent

Inherited from TypingTransformers

Inherited from InfoTransform

Inherited from Transform

Inherited from PluginComponent

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any

Ungrouped