ExplicitOuter

Type Members

final class OuterOps extends AnyVal

The operations in this class
The operations in this class
- add outer parameters
- pass outer arguments to these parameters
- replace outer this references by outer paths. They are called from erasure. There are two constraints which suggest these operations should be done in erasure.
- Replacing this references with outer paths loses aliasing information, so programs will not typecheck with unerased types unless a lot of type refinements are added. Therefore, outer paths should be computed no earlier than erasure.
- outer parameters should not show up in signatures, so again they cannot be added before erasure.
- outer arguments need access to outer parameters as well as to the original type prefixes of types in New expressions. These prefixes get erased during erasure. Therefore, outer arguments have to be passed no later than erasure.

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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensureOuterAccessors(cls: ClassSymbol)(implicit ctx: Context): Unit

Ensure that class cls has outer accessors
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
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
def needsOuterIfReferenced(cls: ClassSymbol)(implicit ctx: Context): Boolean

Class needs an outer pointer, provided there is a reference to an outer this in it.
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def outer(implicit ctx: Context): OuterOps
def outerAccessor(cls: ClassSymbol)(implicit ctx: Context): Symbol

The outer accessor of class cls.
The outer accessor of class cls. To find it is a bit tricky. The class might have been moved with new owners between ExplicitOuter and Erasure, where the method is also called. For instance, it might have been part of a by-name argument, and therefore be moved under a closure method by ElimByName. In that case looking up the method again at Erasure with the fully qualified name outerAccName will fail, because the outerAccName's result is phase dependent. In that case we use a backup strategy where we search all definitions in the class to find the one with the OuterAccessor flag.
def referencesOuter(cls: Symbol, tree: ast.tpd.Tree)(implicit ctx: Context): Boolean

Tree references an outer class of cls which is not a static owner.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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 Docs: class ExplicitOuter | package transform

object ExplicitOuter

Type Members

final class OuterOps extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensureOuterAccessors(cls: ClassSymbol)(implicit ctx: Context): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def needsOuterIfReferenced(cls: ClassSymbol)(implicit ctx: Context): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def outer(implicit ctx: Context): OuterOps

def outerAccessor(cls: ClassSymbol)(implicit ctx: Context): Symbol

def referencesOuter(cls: Symbol, tree: ast.tpd.Tree)(implicit ctx: Context): Boolean

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped