scala.tools.nsc.transform

ExplicitOuter

class ExplicitOuter extends SubComponent with InfoTransform with Patterns with ParallelMatching with TypingTransformers with TreeDSL

This class ...

Attributes
abstract
Source
ExplicitOuter.scala
Version

1.0

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ExplicitOuter
  2. TypingTransformers
  3. ParallelMatching
  4. PatternBindings
  5. Matrix
  6. MatrixAdditions
  7. MatchSupport
  8. Patterns
  9. TreeDSL
  10. InfoTransform
  11. Transform
  12. SubComponent
  13. AnyRef
  14. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExplicitOuter ()

Type Members

  1. case class AlternativePattern (tree: Alternative) extends Pattern with Product with Serializable

  2. case class ApplyIdentPattern (tree: Apply) extends Pattern with ApplyPattern with NamePattern with Product with Serializable

  3. trait ApplyPattern extends Pattern

    Attributes
    sealed
  4. case class ApplySelectPattern (tree: Apply) extends Pattern with ApplyPattern with SelectPattern with Product with Serializable

  5. case class Binding (pvar: Symbol, tvar: Symbol) extends Product with Serializable

  6. class Bindings extends AnyRef

  7. case class ConstructorPattern (tree: Apply) extends Pattern with ApplyPattern with NamePattern with Product with Serializable

  8. class ExplicitOuterTransformer extends OuterPathTransformer

    The phase performs the following transformations on terms:

  9. case class ExtractorPattern (tree: UnApply) extends Pattern with UnapplyPattern with Product with Serializable

  10. case class ListExtractorPattern (tree: UnApply, tpt: Tree, elems: List[Tree]) extends Pattern with UnapplyPattern with SequenceLikePattern with Product with Serializable

  11. case class LiteralPattern (tree: Literal) extends Pattern with Product with Serializable

  12. class MatchMatrix extends MatchMatrixOptimizer with MatrixExhaustiveness

    The umbrella matrix class.

  13. case class MatrixContext (cunit: CompilationUnit, handleOuter: (Tree) ⇒ Tree, typer: Typer, owner: Symbol, matchResultType: Type) extends Squeezer with Product with Serializable

  14. trait NamePattern extends Pattern

    Attributes
    sealed
  15. case class ObjectPattern (tree: Apply) extends Pattern with ApplyPattern with Product with Serializable

  16. class OuterPathTransformer extends TypingTransformer

    A base class for transformers that maintain outerParam values for outer parameters of constructors.

  17. class Pattern extends PatternBindingLogic

    Attributes
    sealed abstract
  18. trait PatternBindingLogic extends AnyRef

  19. type PatternMatch = PatternMatch

    Definition Classes
    Patterns
  20. class Phase extends Phase

    The phase defined by this transform

  21. case class PseudoType (o: Tree) extends Type with SimpleTypeProxy with Product with Serializable

  22. class RemoveBindingsTransformer extends Transformer

  23. trait SelectPattern extends Pattern with NamePattern

    Some intermediate pattern classes with shared structure *

  24. trait SequenceLikePattern extends Pattern

  25. case class SequencePattern (tree: ArrayValue) extends Pattern with SequenceLikePattern with Product with Serializable

  26. case class SimpleIdPattern (tree: Ident) extends Pattern with NamePattern with Product with Serializable

  27. case class StableIdPattern (tree: Select) extends Pattern with SelectPattern with Product with Serializable

  28. case class StarPattern (tree: Star) extends Pattern with Product with Serializable

  29. class StdPhase extends GlobalPhase

    A standard phase template

  30. case class ThisPattern (tree: This) extends Pattern with NamePattern with Product with Serializable

  31. case class TuplePattern (tree: Apply) extends Pattern with ApplyPattern with Product with Serializable

  32. case class TypedPattern (tree: Typed) extends Pattern with Product with Serializable

  33. class TypingTransformer extends Transformer

    Attributes
    abstract
  34. trait UnapplyPattern extends Pattern

    Attributes
    sealed
  35. case class VariablePattern (tree: Ident) extends Pattern with NamePattern with Product with Serializable

  36. case class WildcardPattern () extends Pattern with Product with Serializable

Abstract Value Members

  1. val global : Global

    Attributes
    abstract
    Definition Classes
    TypingTransformers
  2. val runsAfter : List[String]

    List of phase names, this phase should run after

    List of phase names, this phase should run after

    Attributes
    abstract
    Definition Classes
    SubComponent
  3. val runsRightAfter : Option[String]

    Phase name this phase will attach itself to, not allowing any phase to come between it and the phase name declared

    Phase name this phase will attach itself to, not allowing any phase to come between it and the phase name declared

    Attributes
    abstract
    Definition Classes
    SubComponent

Concrete Value Members

  1. def != (arg0: AnyRef): Boolean

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

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

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

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

    Attributes
    final
    Definition Classes
    Any
  6. object ApplyPattern extends AnyRef

  7. object CODE extends AnyRef

  8. object Debug extends AnyRef

  9. def NilPattern : Pattern

    Definition Classes
    Patterns
  10. val NoBinding : Bindings

    Definition Classes
    PatternBindings
  11. def NoPattern : WildcardPattern

    Definition Classes
    Patterns
  12. def NullPattern : LiteralPattern

    Definition Classes
    Patterns
  13. object Pattern extends AnyRef

  14. object Types extends AnyRef

  15. object UnapplyParamType extends AnyRef

    * Extractors **

  16. object UnapplyPattern extends AnyRef

  17. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  18. def changesBaseClasses : Boolean

    This class does not change linearization

    This class does not change linearization

    Definition Classes
    ExplicitOuterInfoTransform
  19. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  20. def decodedEqualsType (tpe: Type): Type

    Definition Classes
    PatternBindings
  21. def dropIndex [T] (xs: List[T], n: Int): List[T]

    Drops the 'i'th element of a list.

    Drops the 'i'th element of a list.

    Definition Classes
    MatchSupport
  22. def emptyPatterns (i: Int): List[Pattern]

    Definition Classes
    Patterns
  23. def emptyTrees (i: Int): List[Tree]

    Definition Classes
    Patterns
  24. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  25. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  26. def extractBindings (p: Pattern): List[Pattern]

    Definition Classes
    PatternBindings
  27. def extractIndex [T] (xs: List[T], n: Int): (T, List[T])

    Extract the nth element of a list and return it and the remainder.

    Extract the nth element of a list and return it and the remainder.

    Definition Classes
    MatchSupport
  28. def finalize (): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef → Any
  30. def handlePattern (selector: Tree, cases: List[CaseDef], isChecked: Boolean, context: MatrixContext): Tree

    Handles all translation of pattern matching.

    Handles all translation of pattern matching.

    Definition Classes
    Matrix
  31. def hasOuterField (clazz: Symbol): Boolean

    Does given clazz define an outer field?

  32. def hashCode (): Int

    SubComponent are added to a HashSet and two phases are the same if they have the same name

    SubComponent are added to a HashSet and two phases are the same if they have the same name

    Definition Classes
    SubComponent → AnyRef → Any
  33. def impossible : Nothing

    Definition Classes
    MatchSupport
  34. val internal : Boolean

    Internal flag to tell external from internal phases

    Internal flag to tell external from internal phases

    Definition Classes
    SubComponent
  35. def isArraySeqTest (lhs: Type, rhs: Type): Boolean

    Issue a migration warning for instance checks which might be on an Array and for which the type parameter conforms to Seq, because these answers changed in 2.

    Issue a migration warning for instance checks which might be on an Array and for which the type parameter conforms to Seq, because these answers changed in 2.8.

  36. def isEquals (tpe: Type): Boolean

    EqualsPattern *

    EqualsPattern *

    Definition Classes
    PatternBindings
  37. def isEquivalentTree (t1: Tree, t2: Tree): Boolean

    Definition Classes
    PatternBindings
  38. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  39. def keepsTypeParams : Boolean

    Attributes
    protected
    Definition Classes
    InfoTransform
  40. def matches (arg1: Type, arg2: Type): Boolean

    Definition Classes
    PatternBindings
  41. def mkEqualsRef (tpe: Type): Type

    Definition Classes
    PatternBindings
  42. def moveBindings (oldTree: Tree, newTree: Tree): Tree

    Definition Classes
    PatternBindings
  43. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  44. def newPhase (prev: Phase): StdPhase

    Create a new phase which applies transformer

    Create a new phase which applies transformer

    Definition Classes
    ExplicitOuterInfoTransformTransformSubComponent
  45. def newTransformer (unit: CompilationUnit): Transformer

    The transformer factory

    The transformer factory

    Attributes
    protected
    Definition Classes
    ExplicitOuterTransform
  46. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  47. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  48. def outerAccessor (clazz: Symbol): Symbol

  49. def ownPhase : Phase

    The phase corresponding to this subcomponent in the current compiler run

    The phase corresponding to this subcomponent in the current compiler run

    Definition Classes
    SubComponent
  50. val phaseName : String

    the name of the phase:

    the name of the phase:

    Definition Classes
    ExplicitOuterSubComponent
  51. def phaseNewFlags : Long

    The following flags may be set by this phase:

    The following flags may be set by this phase:

    Definition Classes
    ExplicitOuterSubComponent
  52. def phaseNextFlags : Long

    New flags defined by the phase which are not valid until immediately after it

    New flags defined by the phase which are not valid until immediately after it

    Definition Classes
    SubComponent
  53. val runsBefore : List[String]

    List of phase names, this phase should run before

    List of phase names, this phase should run before

    Definition Classes
    SubComponent
  54. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  55. def toPats (xs: List[Tree]): List[Pattern]

    Transition *

    Transition *

    Definition Classes
    ParallelMatching
  56. def toString (): String

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

    The type transformation method:

    The type transformation method:

    - Add an outer parameter to the formal parameters of a constructor in a inner non-trait class;

    - Add a protected $outer field to an inner class which is not a trait.

    -

    Add an outer accessor $outer$$C to every inner class with fully qualified name C that is not an interface. The outer accessor is abstract for traits, concrete for other classes.

    3a. Also add overriding accessor defs to every class that inherits mixin classes with outer accessor defs (unless the superclass already inherits the same mixin).

    - Make all super accessors and modules in traits non-private, mangling their names.

    - Remove protected flag from all members of traits.

    Definition Classes
    ExplicitOuterInfoTransform
  58. def treeCollect [T] (tree: Tree, pf: PartialFunction[Tree, T]): List[T]

    Definition Classes
    MatchSupport
  59. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from TypingTransformers

Inherited from ParallelMatching

Inherited from PatternBindings

Inherited from Matrix

Inherited from MatrixAdditions

Inherited from MatchSupport

Inherited from Patterns

Inherited from TreeDSL

Inherited from InfoTransform

Inherited from Transform

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any