scala.tools.nsc.transform.ExplicitOuter.ExplicitOuterTransformer

The phase performs the following transformations on terms:

An class which is not an interface and is not static gets an outer accessor (@see outerDefs).

1a. A class which is not a trait gets an outer field.

- A constructor of a non-trait inner class gets an outer parameter.

- A reference C.this where C refers to an outer class is replaced by a selection this.$outer$$C1 ... .$outer$$Cn (@see outerPath)

- A call to a constructor Q.<init>(args) or Q.$init$(args) where Q != this and the constructor belongs to a non-static class is augmented by an outer argument. E.g. Q.<init>(OUTER, args) where OUTER is the qualifier corresponding to the singleton type Q.

- A call to a constructor this.<init>(args) in a secondary constructor is augmented to this.<init>(OUTER, args) where OUTER is the last parameter of the secondary constructor.

- Remove private modifier from class members M that are accessed from an inner class.

- Remove protected modifier from class members M that are accessed without a super qualifier accessed from an inner class or trait.

- Remove private and protected modifiers from type symbols

- Remove private modifiers from members of traits

Note: The whole transform is run in phase explicitOuter.next.

Self Type: ExplicitOuterTransformer
Source: ExplicitOuter.scala

Linear Supertypes

OuterPathTransformer, TypingTransformer, Transformer, AnyRef, Any

Instance Constructors

new ExplicitOuterTransformer(unit: CompilationUnit)

Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def atOwner[A](tree: Tree, owner: Symbol)(trans: ⇒ A): A

Definition Classes
TypingTransformer
def atOwner[A](owner: Symbol)(trans: ⇒ A): A

Definition Classes
TypingTransformer → Transformer
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
var curTree: Tree

Attributes
protected
Definition Classes
TypingTransformer
def currentClass: Symbol

Attributes
protected
Definition Classes
Transformer
def currentMethod: Symbol

Attributes
protected
Definition Classes
Transformer
var currentOwner: Symbol

Attributes
protected
Definition Classes
Transformer
def currentPackage: Symbol

Attributes
protected
Definition Classes
Transformer
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
var localTyper: Typer

Definition Classes
TypingTransformer
def matchTranslation(tree: Match): Tree
def mixinOuterAccessorDef(mixinClass: Symbol): Tree

The definition tree of the outer accessor for class mixinClass.
The definition tree of the outer accessor for class mixinClass.
mixinClass
The mixin class which defines the abstract outer accessor which is implemented by the generated one.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def outerAccessorDef: Tree

The definition tree of the outer accessor of current class
def outerFieldDef: Tree

The definition tree of the outer accessor of current class
var outerParam: Symbol

The directly enclosing outer parameter, if we are in a constructor
The directly enclosing outer parameter, if we are in a constructor

Attributes
protected
Definition Classes
OuterPathTransformer
def outerPath(base: Tree, from: Symbol, to: Symbol): Tree

The path
```
`base'.$outer$$C1 ... .$outer$$Cn
```
which refers to the outer instance of class to of value base.
The path
```
`base'.$outer$$C1 ... .$outer$$Cn
```
which refers to the outer instance of class to of value base. The result is typed but not positioned.
base
...
from
...
to
...
returns
...

Attributes
protected
Definition Classes
OuterPathTransformer
def outerValue: Tree

The first outer selection from currently transformed tree.
The first outer selection from currently transformed tree. The result is typed but not positioned.

Attributes
protected
Definition Classes
OuterPathTransformer
def setNotFlags(sym: Symbol, flags: Int*): Unit

If FLAG is set on symbol, sets notFLAG (this exists in anticipation of generalizing).
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transform(tree: Tree): Tree

The main transformation method
The main transformation method

Definition Classes
ExplicitOuterTransformer → OuterPathTransformer → TypingTransformer → Transformer
def transformCaseDefs(trees: List[CaseDef]): List[CaseDef]

Definition Classes
Transformer
def transformIdents(trees: List[Ident]): List[Ident]

Definition Classes
Transformer
def transformModifiers(mods: Modifiers): Modifiers

Definition Classes
Transformer
def transformStats(stats: List[Tree], exprOwner: Symbol): List[Tree]

Definition Classes
Transformer
def transformTemplate(tree: Template): Template

Definition Classes
Transformer
def transformTrees(trees: List[Tree]): List[Tree]

Definition Classes
Transformer
def transformTypeDefs(trees: List[TypeDef]): List[TypeDef]

Definition Classes
Transformer
def transformUnit(unit: CompilationUnit): Unit

The transformation method for whole compilation units
The transformation method for whole compilation units

Definition Classes
ExplicitOuterTransformer → Transformer
def transformValDef(tree: ValDef): ValDef

Definition Classes
Transformer
def transformValDefs(trees: List[ValDef]): List[ValDef]

Definition Classes
Transformer
def transformValDefss(treess: List[List[ValDef]]): List[List[ValDef]]

Definition Classes
Transformer
val treeCopy: TreeCopier

Definition Classes
Transformer
def typedPos(pos: Position)(tree: Tree): Tree

Attributes
protected
Definition Classes
TypingTransformer
val typers: Map[Symbol, Typer]

a typer for each enclosing class
a typer for each enclosing class

Definition Classes
TypingTransformer
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()

ExplicitOuterTransformer

class ExplicitOuterTransformer extends OuterPathTransformer

Instance Constructors

new ExplicitOuterTransformer(unit: CompilationUnit)

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def atOwner[A](tree: Tree, owner: Symbol)(trans: ⇒ A): A

def atOwner[A](owner: Symbol)(trans: ⇒ A): A

def clone(): AnyRef

var curTree: Tree

def currentClass: Symbol

def currentMethod: Symbol

var currentOwner: Symbol

def currentPackage: Symbol

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): java.lang.Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

var localTyper: Typer

def matchTranslation(tree: Match): Tree

def mixinOuterAccessorDef(mixinClass: Symbol): Tree

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def outerAccessorDef: Tree

def outerFieldDef: Tree

var outerParam: Symbol

def outerPath(base: Tree, from: Symbol, to: Symbol): Tree

def outerValue: Tree

def setNotFlags(sym: Symbol, flags: Int*): Unit

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

def toString(): String

def transform(tree: Tree): Tree

def transformCaseDefs(trees: List[CaseDef]): List[CaseDef]

def transformIdents(trees: List[Ident]): List[Ident]

def transformModifiers(mods: Modifiers): Modifiers

def transformStats(stats: List[Tree], exprOwner: Symbol): List[Tree]

def transformTemplate(tree: Template): Template

def transformTrees(trees: List[Tree]): List[Tree]

def transformTypeDefs(trees: List[TypeDef]): List[TypeDef]

def transformUnit(unit: CompilationUnit): Unit

def transformValDef(tree: ValDef): ValDef

def transformValDefs(trees: List[ValDef]): List[ValDef]

def transformValDefss(treess: List[List[ValDef]]): List[List[ValDef]]

val treeCopy: TreeCopier

def typedPos(pos: Position)(tree: Tree): Tree

val typers: Map[Symbol, Typer]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from OuterPathTransformer

Inherited from TypingTransformer

Inherited from Transformer

Inherited from AnyRef

Inherited from Any