scala.tools.nsc.transform

ExplicitOuter

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

This class ...

Source
ExplicitOuter.scala
Version

1.0

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  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
Implicitly
  1. by any2stringfmt
  2. by any2stringadd
  3. by any2ArrowAssoc
  4. by any2Ensuring
  1. Hide All
  2. Show all
Learn more about member selection
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. sealed trait ApplyPattern extends Pattern

  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. abstract 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. sealed trait NamePattern extends Pattern

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

  16. abstract class OuterPathTransformer extends TypingTransformer

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

  17. sealed abstract class Pattern extends PatternBindingLogic

  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. sealed 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. abstract 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. abstract class TypingTransformer extends Transformer

  34. sealed trait UnapplyPattern extends Pattern

  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. abstract val global: Global

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

    List of phase names, this phase should run after

    List of phase names, this phase should run after

    Definition Classes
    SubComponent
  3. abstract 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

    Definition Classes
    SubComponent

Concrete Value Members

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

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

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

    Definition Classes
    AnyRef → Any
  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (ExplicitOuter, B)

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to ArrowAssoc[ExplicitOuter] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: AnyRef): Boolean

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

    Definition Classes
    Any
  8. object ApplyPattern extends AnyRef

  9. object CODE extends AnyRef

  10. object Debug extends AnyRef

  11. def NilPattern: Pattern

    Definition Classes
    Patterns
  12. val NoBinding: Bindings

    Definition Classes
    PatternBindings
  13. def NoPattern: WildcardPattern

    Definition Classes
    Patterns
  14. def NullPattern: LiteralPattern

    Definition Classes
    Patterns
  15. object Pattern extends AnyRef

  16. object Types extends AnyRef

  17. object UnapplyParamType extends AnyRef

    * Extractors **

  18. object UnapplyPattern extends AnyRef

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

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

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

    Definition Classes
    SubComponent
    Annotations
    @inline()
  22. def changesBaseClasses: Boolean

    This class does not change linearization

    This class does not change linearization

    Definition Classes
    ExplicitOuterInfoTransform
  23. def clone(): AnyRef

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

    Definition Classes
    PatternBindings
  25. 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
  26. def emptyPatterns(i: Int): List[Pattern]

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

    Definition Classes
    Patterns
  28. def ensuring(cond: (ExplicitOuter) ⇒ Boolean, msg: ⇒ Any): ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to Ensuring[ExplicitOuter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  29. def ensuring(cond: (ExplicitOuter) ⇒ Boolean): ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to Ensuring[ExplicitOuter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  30. def ensuring(cond: Boolean, msg: ⇒ Any): ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to Ensuring[ExplicitOuter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  31. def ensuring(cond: Boolean): ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to Ensuring[ExplicitOuter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  32. final def eq(arg0: AnyRef): Boolean

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

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

    Definition Classes
    PatternBindings
  35. 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
  36. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  37. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  38. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  39. 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
  40. def hasOuterField(clazz: Symbol): Boolean

    Does given clazz define an outer field?

  41. 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
  42. def impossible: Nothing

    Definition Classes
    MatchSupport
  43. val internal: Boolean

    Internal flag to tell external from internal phases

    Internal flag to tell external from internal phases

    Definition Classes
    SubComponent
  44. 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.

  45. def isEquals(tpe: Type): Boolean

    EqualsPattern *

    EqualsPattern *

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

    Definition Classes
    PatternBindings
  47. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  48. def keepsTypeParams: Boolean

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

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

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

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

    Definition Classes
    AnyRef
  53. def newOuterAccessor(clazz: Symbol): MethodSymbol

  54. def newOuterField(clazz: Symbol): TermSymbol

  55. def newPhase(prev: Phase): StdPhase

    Create a new phase which applies transformer

    Create a new phase which applies transformer

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

    The transformer factory

    The transformer factory

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

    Definition Classes
    AnyRef
  58. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  59. def outerAccessor(clazz: Symbol): Symbol

  60. 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
  61. val phaseName: String

    the name of the phase:

    the name of the phase:

    Definition Classes
    ExplicitOuterSubComponent
  62. def phaseNewFlags: Long

    The following flags may be set by this phase:

    The following flags may be set by this phase:

    Definition Classes
    ExplicitOuterSubComponent
  63. 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
  64. 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
  65. val self: Any

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
  66. val self: Any

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd
  67. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  68. def toPats(xs: List[Tree]): List[Pattern]

    Transition *

    Transition *

    Definition Classes
    ParallelMatching
  69. def toString(): String

    Definition Classes
    AnyRef → Any
  70. 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.

    Note: this transformInfo need not be reflected as the JVM reflection already elides outer pointers.

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

    Definition Classes
    MatchSupport
  72. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  75. def [B](y: B): (ExplicitOuter, B)

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to ArrowAssoc[ExplicitOuter] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def x: ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to ArrowAssoc[ExplicitOuter] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: ExplicitOuter

    Implicit information
    This member is added by an implicit conversion from ExplicitOuter to Ensuring[ExplicitOuter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

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

Inherited by implicit conversion any2stringfmt from ExplicitOuter to StringFormat

Inherited by implicit conversion any2stringadd from ExplicitOuter to StringAdd

Inherited by implicit conversion any2ArrowAssoc from ExplicitOuter to ArrowAssoc[ExplicitOuter]

Inherited by implicit conversion any2Ensuring from ExplicitOuter to Ensuring[ExplicitOuter]