scala.tools.nsc.Global

# erasure

#### object erasure extends Erasure

Definition Classes
  Global → Transforms

Linear Supertypes
Erasure, TypeAdaptingTransformer, TypingTransformers, Analyzer, AnalyzerPlugins, StdAttachments, ContextErrors, TypeDiagnostics, NamesDefaults, Macros, Helpers, Traces, MacroRuntimes, JavaReflectionRuntimes, FastTrack, Unapplies, SyntheticMethods, TreeDSL, EtaExpansion, Implicits, Infer, Checkable, Typers, PatternTypers, TypersTracking, Tags, Adaptations, Namers, MethodSynthesis, Contexts, Erasure, AddInterfaces, InfoTransform, Transform, SubComponent, AnyRef, Any
Content Hierarchy Learn more about scaladoc diagrams
Ordering

1. Alphabetic
2. By inheritance

Inherited

1. erasure
2. Erasure
3. TypeAdaptingTransformer
4. TypingTransformers
5. Analyzer
6. AnalyzerPlugins
7. StdAttachments
8. ContextErrors
9. TypeDiagnostics
10. NamesDefaults
11. Macros
12. Helpers
13. Traces
14. MacroRuntimes
15. JavaReflectionRuntimes
16. FastTrack
17. Unapplies
18. SyntheticMethods
19. TreeDSL
20. EtaExpansion
21. Implicits
22. Infer
23. Checkable
24. Typers
25. PatternTypers
26. TypersTracking
27. Tags
28. Adaptations
29. Namers
30. MethodSynthesis
31. Contexts
32. Erasure
33. AddInterfaces
34. InfoTransform
35. Transform
36. SubComponent
37. AnyRef
38. Any

1. Hide All
2. Show all

Learn more about member selection
Visibility

1. Public
2. All

### Type Members

1. #### sealed abstract class AbsTypeError extends Throwable

   Definition Classes
     ContextErrors

2. #### case class AccessTypeError(underlyingTree: Global.Tree, errMsg: String) extends Analyzer.TreeTypeError with Product with Serializable

   Definition Classes
     ContextErrors

3. #### trait Adaptation extends AnyRef

   Definition Classes
     Adaptations

4. #### case class AmbiguousImplicitTypeError(underlyingTree: Global.Tree, errMsg: String) extends Analyzer.TreeTypeError with Product with Serializable

   Definition Classes
     ContextErrors

5. #### case class AmbiguousTypeError(errPos: Global.Position, errMsg: String) extends Analyzer.AbsTypeError with Product with Serializable

   Definition Classes
     ContextErrors

6. #### trait AnalyzerPlugin extends AnyRef

   Definition Classes
     AnalyzerPlugins

7. #### class ClassForCaseCompanionAttachment extends AnyRef

   Definition Classes
     Unapplies

8. #### class ClassMethodSynthesis extends AnyRef

   Definition Classes
     MethodSynthesis

9. #### class ComputeBridges extends AnyRef

   Definition Classes
     Erasure

10. #### class ConstructorDefaultsAttachment extends AnyRef

    Definition Classes
      NamesDefaults

11. #### class Context extends AnyRef

    A motley collection of the state and loosely associated behaviour of the type checker.

12. #### class DefMacroExpander extends Analyzer.MacroExpander

    Expands a term macro used in apply role as `M(2)(3)` in `val x = M(2)(3)`.

13. #### class DefaultsOfLocalMethodAttachment extends AnyRef

    Definition Classes
      NamesDefaults

14. #### case class Delayed(delayed: Global.Tree) extends Analyzer.MacroStatus with Product with Serializable

    Definition Classes
      Macros

15. #### case class DivergentImplicitTypeError(underlyingTree: Global.Tree, pt0: Global.Type, sym: Global.Symbol) extends Analyzer.TreeTypeError with Product with Serializable

    Definition Classes
      ContextErrors

16. #### class Eraser extends Typer with TypeAdapter

    The modifier typer which retypes with erased types.

17. #### abstract class ErasureMap extends reflect.internal.SymbolTable.TypeMap

    Definition Classes
      Erasure

18. #### class ErasureTransformer extends Global.Transformer

    The erasure transformer

19. #### case class Failure(failure: Global.Tree) extends Analyzer.MacroStatus with Product with Serializable

    Definition Classes
      Macros

20. #### case class Fallback(fallback: Global.Tree) extends Analyzer.MacroStatus with Product with Serializable

    Definition Classes
      Macros

21. #### final class FastTrackEntry extends ((FastTrack.this)#MacroArgs) ⇒ Any

    Definition Classes
      FastTrack

22. #### class ImplicitInfo extends AnyRef

    A class that records an available implicit

23. #### class ImplicitSearch extends Analyzer.Typer with Analyzer.ImplicitsContextErrors

    A class that sets up an implicit search.

24. #### trait ImplicitsContextErrors extends AnyRef

    Definition Classes
      ContextErrors

25. #### trait ImportContext extends Analyzer.Context

    A `Context` focussed on an `Import` tree

26. #### class ImportInfo extends AnyRef

    Definition Classes
      Contexts

27. #### type ImportType = Global.ImportType

    Definition Classes
      Contexts

28. #### trait InferCheckable extends AnyRef

    Definition Classes
      Checkable

29. #### abstract class Inferencer extends Analyzer.InferencerContextErrors with Analyzer.InferCheckable

    The context-dependent inferencer part

30. #### trait InferencerContextErrors extends AnyRef

    Definition Classes
      ContextErrors

31. #### class JavaErasureMap extends ErasureMap

    Definition Classes
      Erasure

32. #### trait JavaReflectionResolvers extends AnyRef

    Definition Classes
      JavaReflectionRuntimes

33. #### trait LockingTypeCompleter extends Analyzer.TypeCompleter

    Definition Classes
      Namers

34. #### case class MacroArgs(c: Analyzer.MacroContext, others: List[Any]) extends Product with Serializable

    Calculate the arguments to pass to a macro implementation when expanding the provided tree.

35. #### type MacroContext = UnaffiliatedMacroContext { val universe: scala.tools.nsc.Global.erasure.global.type }

    Definition Classes
      StdAttachments

36. #### abstract class MacroExpander extends AnyRef

    Performs macro expansion:

37. #### case class MacroExpanderAttachment(original: Global.Tree, desugared: Global.Tree) extends Product with Serializable

    Scratchpad for the macro expander, which is used to store all intermediate data except the details about the runtime.

38. #### case class MacroExpansionAttachment(expandee: Global.Tree, expanded: Any) extends Product with Serializable

    Is added by the macro engine to originals and results of macro expansions.

39. #### case class MacroImplBinding(isBundle: Boolean, isBlackbox: Boolean, className: String, methName: String, signature: List[List[Fingerprint]], targs: List[Global.Tree]) extends Product with Serializable

    Represents all the information that a macro definition needs to know about its implementation.

40. #### trait MacroPlugin extends AnyRef

41. #### type MacroRuntime = (MacroArgs) ⇒ Any

    Abstracts away resolution of macro runtimes.

    Abstracts away resolution of macro runtimes.

    Definition Classes
      MacroRuntimes

42. #### case class MacroRuntimeAttachment(delayed: Boolean, typerContext: Analyzer.Context, macroContext: Option[Analyzer.MacroContext]) extends Product with Serializable

    Definition Classes
      StdAttachments

43. #### class MacroRuntimeResolver extends tools.nsc.typechecker.Analyzer.JavaReflectionResolvers

    Definition Classes
      MacroRuntimes

44. #### sealed abstract class MacroStatus extends AnyRef

    Definition Classes
      Macros

45. #### trait MethodSynth extends AnyRef

    There are two key methods in here.

46. #### case class NamedApplyInfo(qual: Option[Global.Tree], targs: List[Global.Tree], vargss: List[List[Global.Tree]], blockTyper: Analyzer.Typer) extends Product with Serializable

    Definition Classes
      NamesDefaults

47. #### abstract class Namer extends Analyzer.MethodSynth with Analyzer.NamerContextErrors

    Definition Classes
      Namers

48. #### trait NamerContextErrors extends AnyRef

    Definition Classes
      ContextErrors

49. #### class NoInstance extends Throwable with ControlThrowable

    Definition Classes
      Infer

50. #### case class NormalTypeError(underlyingTree: Global.Tree, errMsg: String) extends Analyzer.TreeTypeError with Product with Serializable

    Definition Classes
      ContextErrors

51. #### case class OpenImplicit(info: Analyzer.ImplicitInfo, pt: Global.Type, tree: Global.Tree) extends Product with Serializable

    A class which is used to track pending implicits to prevent infinite implicit searches.

52. #### trait PatternTyper extends AnyRef

    Definition Classes
      PatternTypers

53. #### class Phase extends InfoTransform.Phase

    Definition Classes
      InfoTransform

54. #### class PolyTypeCompleter extends Analyzer.TypeCompleter with Analyzer.LockingTypeCompleter with Global.FlagAgnosticCompleter

    A class representing a lazy type with known type parameters.

55. #### case class PosAndMsgTypeError(errPos: Global.Position, errMsg: String) extends Analyzer.AbsTypeError with Product with Serializable

    Definition Classes
      ContextErrors

56. #### final class ReportBuffer extends AnyRef

    A buffer for warnings and errors that are accumulated during speculative type checking.

57. #### class ScalaErasureMap extends ErasureMap

    Definition Classes
      Erasure

58. #### class SearchResult extends AnyRef

    The result of an implicit search

59. #### sealed abstract class SilentResult[+T] extends AnyRef

    Definition Classes
      Typers

60. #### case class SilentResultValue[+T](value: T) extends Analyzer.SilentResult[T] with Product with Serializable

    Definition Classes
      Typers

61. #### class SilentTypeError extends Analyzer.SilentResult[Nothing]

    Definition Classes
      Typers

62. #### case class Skipped(skipped: Global.Tree) extends Analyzer.MacroStatus with Product with Serializable

    Definition Classes
      Macros

63. #### abstract class StdPhase extends GlobalPhase

    A standard phase template

64. #### case class Success(expanded: Global.Tree) extends Analyzer.MacroStatus with Product with Serializable

    Definition Classes
      Macros

65. #### case class SuperArgsAttachment(argss: List[List[Global.Tree]]) extends Product with Serializable

    After being synthesized by the parser, primary constructors aren't fully baked yet.

66. #### case class SymbolTypeError(underlyingSym: Global.Symbol, errMsg: String) extends Analyzer.AbsTypeError with Product with Serializable

    Definition Classes
      ContextErrors

67. #### trait Tag extends AnyRef

    Definition Classes
      Tags

68. #### sealed abstract class TreeTypeError extends Analyzer.AbsTypeError

    Definition Classes
      ContextErrors

69. #### trait TypeAdapter extends AnyRef

    Definition Classes
      TypeAdaptingTransformer

70. #### abstract class TypeCompleter extends Global.LazyType

    Definition Classes
      Namers

71. #### case class TypeDiag(tp: Global.Type, sym: Global.Symbol) extends Ordered[Analyzer.TypeDiag] with Product with Serializable

    Definition Classes
      TypeDiagnostics

72. #### case class TypeErrorWithUnderlyingTree(tree: Global.Tree, ex: Global.TypeError) extends Analyzer.AbsTypeError with Product with Serializable

    Definition Classes
      ContextErrors

73. #### case class TypeErrorWrapper(ex: Global.TypeError) extends Analyzer.AbsTypeError with Product with Serializable

    Definition Classes
      ContextErrors

74. #### abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.PatternTyper with Analyzer.TyperContextErrors

    Definition Classes
      Typers

75. #### trait TyperContextErrors extends AnyRef

    Definition Classes
      ContextErrors

76. #### trait TyperDiagnostics extends AnyRef

    Definition Classes
      TypeDiagnostics

77. #### abstract class TypingTransformer extends Global.Transformer

    Definition Classes
      TypingTransformers

78. #### type UnaffiliatedMacroContext = reflect.macros.contexts.Context

    Carries information necessary to expand the host tree.

    Carries information necessary to expand the host tree. At times we need to store this info, because macro expansion can be delayed until its targs are inferred. After a macro application has been successfully expanded, this attachment is destroyed.

    Definition Classes
      StdAttachments

79. #### class UnknownSig extends Exception

    Definition Classes
      Erasure

### Value Members

1. #### final def !=(arg0: Any): Boolean

   Definition Classes
     AnyRef → Any

2. #### final def ##(): Int

   Definition Classes
     AnyRef → Any

3. #### final def ==(arg0: Any): Boolean

   Definition Classes
     AnyRef → Any

4. #### lazy val AmbiguousSearchFailure: SearchResult

   Definition Classes
     Implicits

5. #### object CODE

   Definition Classes
     TreeDSL

6. #### def Delay(expanded: Global.Tree): Delayed

   Definition Classes
     Macros

7. #### lazy val DivergentSearchFailure: SearchResult

   Definition Classes
     Implicits

8. #### object DynamicRewriteAttachment extends Product with Serializable

   Since mkInvoke, the applyDynamic/selectDynamic/etc desugarer, is disconnected from typedNamedApply, the applyDynamicNamed argument rewriter, the latter doesn’t know whether it needs to apply the rewriting because the application has just been desugared or it needs to hold on because it’s already performed a desugaring on this tree.

9. #### object ErrorUtils

   Definition Classes
     ContextErrors

10. #### object Function1

    An extractor for unary function types arg => res

11. #### object GenericArray

    Definition Classes
      Erasure

12. #### object HasMember

    An extractor for types of the form ? { name: ? }

13. #### object HasMethodMatching

    An extractor for types of the form ? { name: (? >: argtpe <: Any*)restp }

14. #### object HasUnapply

    Definition Classes
      Unapplies

15. #### object ImplicitNotFoundMsg

    Definition Classes
      Implicits

16. #### val ImportType: Global.ImportType.type

    Definition Classes
      Contexts

17. #### object MacroImplBinding extends Serializable

    Definition Classes
      Macros

18. #### object MacroImplRefAttachment extends Product with Serializable

19. #### object NamesDefaultsErrorsGen

    Definition Classes
      ContextErrors

20. #### object NoContext extends Analyzer.Context

    Definition Classes
      Contexts

21. #### val NoImplicitInfo: ImplicitInfo

    A sentinel indicating no implicit was found

    A sentinel indicating no implicit was found

    Definition Classes
      Implicits

22. #### lazy val SearchFailure: SearchResult

    Definition Classes
      Implicits

23. #### object SilentTypeError

    Definition Classes
      Typers

24. #### def Skip(expanded: Global.Tree): Skipped

    Definition Classes
      Macros

25. #### object SuppressMacroExpansionAttachment extends Product with Serializable

    When present, suppresses macro expansion for the host.

26. #### var _lockedCount: Int

    Definition Classes
      Namers

27. #### var _openMacros: collection.immutable.List[reflect.macros.contexts.Context { val universe: scala.tools.nsc.Global.erasure.global.type }]

    Keeps track of macros in-flight.

    Keeps track of macros in-flight. See more informations in comments to `openMacros` in `scala.reflect.macros.whitebox.Context`.

    Definition Classes
      Macros

28. #### def abstractVarMessage(sym: Global.Symbol): String

    An explanatory note to be added to error messages when there's a problem with abstract var defs

    An explanatory note to be added to error messages when there's a problem with abstract var defs

    Definition Classes
      TypeDiagnostics

29. #### def adaptAnnotations(tree: Global.Tree, typer: Typer, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
      AnalyzerPlugins
    See also

      AnalyzerPlugin.adaptAnnotations

30. #### def addAnalyzerPlugin(plugin: AnalyzerPlugin): Unit

    Registers a new analyzer plugin

    Registers a new analyzer plugin

    Definition Classes
      AnalyzerPlugins

31. #### def addDefaults(givenArgs: List[Global.Tree], qual: Option[Global.Tree], targs: List[Global.Tree], previousArgss: List[List[Global.Tree]], params: List[Global.Symbol], pos: reflect.internal.util.Position, context: Context): (List[Global.Tree], List[Global.Symbol])

    Extend the argument list `givenArgs` with default arguments.

    Extend the argument list `givenArgs` with default arguments. Defaults are added as named arguments calling the corresponding default getter.

    Example: given def foo(x: Int = 2, y: String = "def") foo(y = "lt") the argument list (y = "lt") is transformed to (y = "lt", x = foo$default$1())

    Definition Classes
      NamesDefaults

32. #### def addMacroPlugin(plugin: MacroPlugin): Unit

    Registers a new macro plugin

    Registers a new macro plugin

    Definition Classes
      AnalyzerPlugins

33. #### def addSyntheticMethods(templ: Global.Template, clazz0: Global.Symbol, context: Context): Global.Template

    Add the synthetic methods to case classes.

    Add the synthetic methods to case classes.

    Definition Classes
      SyntheticMethods

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

    Definition Classes
      SubComponent
    Annotations
      @inline()

35. #### def allArgsArePositional(a: Array[Int]): Boolean

    returns `true` if every element is equal to its index

    returns `true` if every element is equal to its index

    Definition Classes
      NamesDefaults

36. #### def allViewsFrom(tp: Global.Type, context: Context, tpars: List[Global.Symbol]): List[(SearchResult, List[Global.TypeConstraint])]

    Find all views from type `tp` (in which `tpars` are free)

    Find all views from type `tp` (in which `tpars` are free)

    Note that the trees in the search results in the returned list share the same type variables. Ignore their constr field! The list of type constraints returned along with each tree specifies the constraints that must be met by the corresponding type parameter in `tpars` (for the returned implicit view to be valid).

    Definition Classes
      Implicits

37. #### def alternatives(tree: Global.Tree): List[Global.Type]

    Definition Classes
      TypeDiagnostics

38. #### def alternativesString(tree: Global.Tree): String

    Definition Classes
      TypeDiagnostics

39. #### def ambiguousDefnAndImport(owner: Global.Symbol, imp: ImportInfo): Global.LookupAmbiguous

    Definition Classes
      Contexts

40. #### def ambiguousImports(imp1: ImportInfo, imp2: ImportInfo): Global.LookupAmbiguous

    Definition Classes
      Contexts

41. #### val analyzer: Analyzer { val global: scala.tools.nsc.Global.erasure.global.type }

    Definition Classes
      Erasure → TypeAdaptingTransformer

42. #### final def asInstanceOf[T0]: T0

    Definition Classes
      Any

43. #### final def beforeOwnPhase[T](op: ⇒ T): T

    Definition Classes
      SubComponent
    Annotations
      @inline()

44. #### def bindMacroImpl(macroDef: Global.Symbol, macroImplRef: Global.Tree): Unit

    Definition Classes
      Macros

45. #### def canAdaptAnnotations(tree: Global.Tree, typer: Typer, mode: Mode, pt: Global.Type): Boolean

    Definition Classes
      AnalyzerPlugins
    See also

      AnalyzerPlugin.canAdaptAnnotations

46. #### final def caseAccessorName(caseclazz: Global.Symbol, paramName: Global.TermName): Global.TermName

    Does not force the info of `caseclazz`

    Does not force the info of `caseclazz`

    Definition Classes
      SyntheticMethods

47. #### def caseClassCopyMeth(cdef: Global.ClassDef): Option[Global.DefDef]

    Generates copy methods for case classes.

    Generates copy methods for case classes. Copy only has defaults on the first parameter list, as of SI-5009.

    The parameter types of the copy method need to be exactly the same as the parameter types of the primary constructor. Just copying the TypeTree is not enough: a type `C` might refer to something else *inside* the class (i.e. as parameter type of `copy`) than *outside* the class (i.e. in the class parameter list).

    One such example is t0054.scala: class A { case class B(x: C) extends A { def copy(x: C = x) = ... } class C {} } (1) (2)

    The reference (1) to C is `A.this.C`. The reference (2) is `B.this.C` - not the same.

    This is fixed with a hack currently. `Unapplies.caseClassCopyMeth`, which creates the copy method, uses empty `TypeTree()` nodes for parameter types.

    In `Namers.enterDefDef`, the copy method gets a special type completer (`enterCopyMethod`). Before computing the body type of `copy`, the class parameter types are assigned the copy method parameters.

    This attachment class stores the copy method parameter ValDefs as an attachment in the ClassDef of the case class.

    Definition Classes
      Unapplies

48. #### def caseModuleApplyMeth(cdef: Global.ClassDef): Global.DefDef

    The apply method corresponding to a case class

    The apply method corresponding to a case class

    Definition Classes
      Unapplies

49. #### def caseModuleDef(cdef: Global.ClassDef): Global.ModuleDef

    The module corresponding to a case class; overrides toString to show the module's name

    The module corresponding to a case class; overrides toString to show the module's name

    Definition Classes
      Unapplies

50. #### def caseModuleUnapplyMeth(cdef: Global.ClassDef): Global.DefDef

    The unapply method corresponding to a case class

    The unapply method corresponding to a case class

    Definition Classes
      Unapplies

51. #### def changesBaseClasses: Boolean

    Attributes
      protected
    Definition Classes
      InfoTransform

52. #### def clone(): AnyRef

    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( ... )

53. #### def companionModuleDef(cdef: Global.ClassDef, parents: List[Global.Tree] = Nil, body: List[Global.Tree] = Nil): Global.ModuleDef

    Definition Classes
      Unapplies

54. #### def companionSymbolOf(original: Global.Symbol, ctx: Context): Global.Symbol

    The companion class or companion module of `original`.

    The companion class or companion module of `original`. Calling .companionModule does not work for classes defined inside methods.

    !!! Then why don't we fix companionModule? Does the presence of these methods imply all the places in the compiler calling sym.companionModule are bugs waiting to be reported? If not, why not? When exactly do we need to call this method?

    Definition Classes
      Namers

55. #### def computeMacroDefTypeFromMacroImplRef(macroDdef: Global.DefDef, macroImplRef: Global.Tree): Global.Type

    Definition Classes
      Macros

56. #### def decodeWithKind(name: Global.Name, owner: Global.Symbol): String

    Definition Classes
      TypeDiagnostics

57. #### val deconstMap: Global.TypeMap

    Definition Classes
      Erasure

58. #### def decreaseMetalevel(tp: Global.Type): Global.Type

    Decreases metalevel of the type, i.

    Decreases metalevel of the type, i.e. transforms: * c.Expr[T] to T * Nothing to Nothing * Anything else to NoType

    Definition Classes
      Helpers
    See also

      Metalevels.scala for more information and examples about metalevels

59. #### def defaultGetter(param: Global.Symbol, context: Context): Global.Symbol

    For a parameter with default argument, find the method symbol of the default getter.

    For a parameter with default argument, find the method symbol of the default getter.

    Definition Classes
      NamesDefaults

60. #### lazy val defaultMacroClassloader: ClassLoader

    Macro classloader that is used to resolve and run macro implementations.

    Macro classloader that is used to resolve and run macro implementations. Loads classes from from -cp (aka the library classpath). Is also capable of detecting REPL and reusing its classloader.

    When -Xmacro-jit is enabled, we sometimes fallback to on-the-fly compilation of macro implementations, which compiles implementations into a virtual directory (very much like REPL does) and then conjures a classloader mapped to that virtual directory.

    Definition Classes
      MacroRuntimes

61. #### def deriveAnnotations(initial: List[Global.AnnotationInfo], category: Global.Symbol, keepClean: Boolean): List[Global.AnnotationInfo]

    The annotations amongst those found on the original symbol which should be propagated to this kind of accessor.

    The annotations amongst those found on the original symbol which should be propagated to this kind of accessor.

    Definition Classes
      MethodSynthesis

62. #### def directUnapplyMember(tp: Global.Type): Global.Symbol

    Returns unapply or unapplySeq if available, without further checks.

    Returns unapply or unapplySeq if available, without further checks.

    Definition Classes
      Unapplies

63. #### def disambiguate(ss: List[String]): collection.immutable.List[String]

    Definition Classes
      TypeDiagnostics

64. #### def enabled: Boolean

    Is this component enabled? Default is true.

    Is this component enabled? Default is true.

    Definition Classes
      SubComponent

65. #### def enclosingMacroPosition: reflect.internal.util.Position

    Definition Classes
      Macros

66. #### final def eq(arg0: AnyRef): Boolean

    Definition Classes
      AnyRef

67. #### def equals(arg0: Any): Boolean

    Definition Classes
      AnyRef → Any

68. #### def erasedValueClassArg(tref: Global.TypeRef): Global.Type

    Definition Classes
      Erasure

69. #### def erasure(sym: Global.Symbol): ErasureMap

    Definition Classes
      Erasure

70. #### def etaExpand(unit: Global.CompilationUnit, tree: Global.Tree, typer: Typer): Global.Tree

    Expand partial function applications of type `type`.

    Expand partial function applications of type `type`.

         p.f(es_1)...(es_n)
            ==>  {
                   private synthetic val eta$f   = p.f   // if p is not stable
                   ...
                   private synthetic val eta$e_i = e_i    // if e_i is not stable
                   ...
                   (ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m))
                 }

    tree is already attributed

    Definition Classes
      EtaExpansion

71. #### object etaExpansion

    Definition Classes
      EtaExpansion

72. #### final def exampleTuplePattern(names: List[Global.Name]): String

    [a, b, c] => "(a, b, c)" [a, B] => "(param1, param2)" [a, B, c] => "(param1, .

    [a, b, c] => "(a, b, c)" [a, B] => "(param1, param2)" [a, B, c] => "(param1, ..., param2)"

    Definition Classes
      TypeDiagnostics

73. #### def existentialContext(tp: Global.Type): String

    Definition Classes
      TypeDiagnostics

74. #### def explainAlias(tp: Global.Type): String

    Definition Classes
      TypeDiagnostics

75. #### def explainAnyVsAnyRef(found: Global.Type, req: Global.Type): String

    Definition Classes
      TypeDiagnostics

76. #### def explainVariance(found: Global.Type, req: Global.Type): String

    Look through the base types of the found type for any which might have been valid subtypes if given conformant type arguments.

    Look through the base types of the found type for any which might have been valid subtypes if given conformant type arguments. Examine those for situations where the type error would have been eliminated if the variance were different. In such cases, append an additional explanatory message.

    TODO: handle type aliases better.

    Definition Classes
      TypeDiagnostics

77. #### def factoryMeth(mods: Global.Modifiers, name: Global.TermName, cdef: Global.ClassDef): Global.DefDef

    The apply method corresponding to a case class

    The apply method corresponding to a case class

    Definition Classes
      Unapplies

78. #### final def falseIfNoInstance(body: ⇒ Boolean): Boolean

    Definition Classes
      Infer
    Annotations
      @inline()

79. #### def fastTrack: Map[Global.Symbol, FastTrackEntry]

    A map from a set of pre-established macro symbols to their implementations.

    A map from a set of pre-established macro symbols to their implementations.

    Definition Classes
      FastTrack

80. #### def finalize(): Unit

    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( classOf[java.lang.Throwable] )

81. #### def findMacroClassLoader(): ClassLoader

    Attributes
      protected
    Definition Classes
      Macros

82. #### final def forArgMode(fun: Global.Tree, mode: Mode): reflect.internal.Mode

    Definition Classes
      Typers

83. #### def formalTypes(formals: List[Global.Type], numArgs: Int, removeByName: Boolean = true, removeRepeated: Boolean = true): List[Global.Type]

    The formal parameter types corresponding to `formals`.

    The formal parameter types corresponding to `formals`. If `formals` has a repeated last parameter, a list of (numArgs - numFormals + 1) copies of its type is appended to the other formals. By-name types are replaced with their underlying type.

    removeByName

      allows keeping ByName parameters. Used in NamesDefaults.

    removeRepeated

      allows keeping repeated parameter (if there's one argument). Used in NamesDefaults.

    Definition Classes
      Infer

84. #### def foundReqMsg(found: Global.Type, req: Global.Type): String

    Definition Classes
      TypeDiagnostics

85. #### def freshVar(tparam: Global.Symbol): Global.TypeVar

    A fresh type variable with given type parameter as origin.

    A fresh type variable with given type parameter as origin.

    Definition Classes
      Infer

86. #### def fullSiteString(context: Context): String

    Definition Classes
      TypersTracking

87. #### final def getClass(): Class[_]

    Definition Classes
      AnyRef → Any

88. #### val global: Global.this.type

    The global environment; overridden by instantiation in Global.

    The global environment; overridden by instantiation in Global.

    Definition Classes
      erasure → TypingTransformers → Analyzer → TreeDSL → Erasure → SubComponent

89. #### def globalSettings: Settings

    Definition Classes
      Macros → Traces

90. #### def hasMacroExpansionAttachment(any: Any): Boolean

    Determines whether the target is either an original or a result of a macro expansion.

    Determines whether the target is either an original or a result of a macro expansion. The parameter is of type `Any`, because macros can expand both into trees and into annotations.

    Definition Classes
      StdAttachments

91. #### var hasPendingMacroExpansions: Boolean

    Without any restrictions on macro expansion, macro applications will expand at will, and when type inference is involved, expansions will end up using yet uninferred type params.

    Without any restrictions on macro expansion, macro applications will expand at will, and when type inference is involved, expansions will end up using yet uninferred type params.

    For some macros this might be ok (thanks to TreeTypeSubstituter that replaces the occurrences of undetparams with their inferred values), but in general case this won't work. E.g. for reification simple substitution is not enough - we actually need to re-reify inferred types.

    Luckily, there exists a very simple way to fix the problem: delay macro expansion until everything is inferred. Here are the exact rules. Macro application gets delayed if any of its subtrees contain: 1) type vars (tpe.isInstanceOf[TypeVar]) // [Eugene] this check is disabled right now, because TypeVars seem to be created from undetparams anyways 2) undetparams (sym.isTypeParameter && !sym.isSkolem)

    Definition Classes
      Macros

92. #### def hasSuperArgs(tree: Global.Tree): Boolean

    Determines whether the given tree has an associated SuperArgsAttachment.

    Determines whether the given tree has an associated SuperArgsAttachment.

    Definition Classes
      StdAttachments

93. #### 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

94. #### def implClass(iface: Global.Symbol): Global.Symbol

    Return the implementation class of a trait; create a new one of one does not yet exist

    Return the implementation class of a trait; create a new one of one does not yet exist

    Definition Classes
      AddInterfaces

95. #### def implClassDefs(trees: List[Global.Tree]): List[Global.Tree]

    Definition Classes
      AddInterfaces

96. #### def implClassPhase: reflect.internal.Phase

    Definition Classes
      AddInterfaces

97. #### def increaseMetalevel(pre: Global.Type, tp: Global.Type): Global.Type

    Increases metalevel of the type, i.

    Increases metalevel of the type, i.e. transforms: * T to c.Expr[T]

    Definition Classes
      Helpers
    See also

      Metalevels.scala for more information and examples about metalevels

98. #### def inferImplicit(tree: Global.Tree, pt: Global.Type, isView: Boolean, context: Context, silent: Boolean, withMacrosDisabled: Boolean, pos: Global.Position, onError: (Global.Position, String) ⇒ Unit): Global.Tree

    A friendly wrapper over inferImplicit to be used in macro contexts and toolboxes.

    A friendly wrapper over inferImplicit to be used in macro contexts and toolboxes.

    Definition Classes
      Implicits

99. #### def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context, saveAmbiguousDivergent: Boolean, pos: Global.Position): SearchResult

    Search for an implicit value.

    Search for an implicit value. See the comment on `result` at the end of class `ImplicitSearch` for more info how the search is conducted.

    tree

      The tree for which the implicit needs to be inserted. (the inference might instantiate some of the undetermined type parameters of that tree.

    pt

      The expected type of the implicit.

    reportAmbiguous

      Should ambiguous implicit errors be reported? False iff we search for a view to find out whether one type is coercible to another.

    isView

      We are looking for a view

    context

      The current context

    saveAmbiguousDivergent

      False if any divergent/ambiguous errors should be ignored after implicits search, true if they should be reported (used in further typechecking).

    pos

      Position that is should be used for tracing and error reporting (useful when we infer synthetic stuff and pass EmptyTree in the `tree` argument) If it's set NoPosition, then position-based services will use `tree.pos`

    returns

      A search result

    Definition Classes
      Implicits

100. #### def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context, saveAmbiguousDivergent: Boolean): SearchResult

     Definition Classes
       Implicits

101. #### def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context): SearchResult

     Definition Classes
       Implicits

102. #### val initial: Boolean

     True if this phase runs before all other phases.

     True if this phase runs before all other phases. Usually, `parser`.

     Definition Classes
       SubComponent

103. #### object instantiate extends Global.TypeMap

     Map every TypeVar to its constraint.

104. #### val internal: Boolean

     True if this phase is not provided by a plug-in.

     True if this phase is not provided by a plug-in.

     Definition Classes
       SubComponent

105. #### def intersectionDominator(parents: List[Global.Type]): Global.Type

     Definition Classes
       Erasure

106. #### def isBlackbox(macroDef: Global.Symbol): Boolean

     Definition Classes
       Macros

107. #### def isBlackbox(expandee: Global.Tree): Boolean

     Definition Classes
       Macros

108. #### def isDynamicRewrite(tree: Global.Tree): Boolean

     Definition Classes
       StdAttachments

109. #### final def isInstanceOf[T0]: Boolean

     Definition Classes
       Any

110. #### def isMacroExpansionSuppressed(tree: Global.Tree): Boolean

     Determines whether a tree should not be expanded, because someone has put SuppressMacroExpansionAttachment on it or one of its children.

     Determines whether a tree should not be expanded, because someone has put SuppressMacroExpansionAttachment on it or one of its children.

     Definition Classes
       StdAttachments

111. #### def isMacroImplRef(tree: Global.Tree): Boolean

     Determines whether a tree should or should not be adapted, because someone has put MacroImplRefAttachment on it.

     Determines whether a tree should or should not be adapted, because someone has put MacroImplRefAttachment on it.

     Definition Classes
       StdAttachments

112. #### def isNamedArg(arg: Global.Tree): Boolean

     Definition Classes
       NamesDefaults

113. #### def javaSig(sym0: Global.Symbol, info: Global.Type): Option[String]

     The Java signature of type 'info', for symbol sym.

     The Java signature of type 'info', for symbol sym. The symbol is used to give the right return type for constructors.

     Definition Classes
       Erasure

114. #### def keepsTypeParams: Boolean

     Definition Classes
       Erasure → InfoTransform

115. #### var lastAccessCheckDetails: String

     Definition Classes
       Contexts

116. #### var lastTreeToTyper: Global.Tree

     Definition Classes
       TypersTracking

117. #### def linePrecedes(t1: Global.Tree, t2: Global.Tree): Boolean

     Definition Classes
       TypeDiagnostics

118. #### def linkExpandeeAndDesugared(expandee: Global.Tree, desugared: Global.Tree): Unit

     After macro expansion is completed, links the expandee and the expansion result by annotating them both with a `MacroExpansionAttachment`.

     After macro expansion is completed, links the expandee and the expansion result by annotating them both with a `MacroExpansionAttachment`.

     Definition Classes
       StdAttachments

119. #### def linkExpandeeAndExpanded(expandee: Global.Tree, expanded: Any): Unit

     After macro expansion is completed, links the expandee and the expansion result by annotating them both with a `MacroExpansionAttachment`.

     After macro expansion is completed, links the expandee and the expansion result by annotating them both with a `MacroExpansionAttachment`. The `expanded` parameter is of type `Any`, because macros can expand both into trees and into annotations.

     Definition Classes
       StdAttachments

120. #### final def linkedClassOfClassOf(original: Global.Symbol, ctx: Context): Global.Symbol

     A version of `Symbol#linkedClassOfClass` that works with local companions, ala `companionSymbolOf`.

     A version of `Symbol#linkedClassOfClass` that works with local companions, ala `companionSymbolOf`.

     Definition Classes
       Namers

121. #### def loadMacroImplBinding(macroDef: Global.Symbol): Option[MacroImplBinding]

     Definition Classes
       Macros

122. #### def lockedCount: Int

     Definition Classes
       Namers

123. #### def macroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

     Definition Classes
       Macros

124. #### def macroContext(typer: Typer, prefixTree: Global.Tree, expandeeTree: Global.Tree): MacroContext

     Definition Classes
       Macros

125. #### val macroDebugLite: Boolean

     Definition Classes
       Traces

126. #### val macroDebugVerbose: Boolean

     Definition Classes
       Traces

127. #### def macroEngine: String

     Macro def -> macro impl bindings are serialized into a `macroImpl` annotation with synthetic content that carries the payload described in `MacroImplBinding`.

     Macro def -> macro impl bindings are serialized into a `macroImpl` annotation with synthetic content that carries the payload described in `MacroImplBinding`.

     For example, for a pair of macro definition and macro implementation: def impl(c: scala.reflect.macros.blackbox.Context): c.Expr[Unit] = ??? def foo: Unit = macro impl

     We will have the following annotation added on the macro definition `foo`:

     Definition Classes
       Macros

128. #### def macroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

     Expands a term macro used in apply role as `M(2)(3)` in `val x = M(2)(3)`.

     Expands a term macro used in apply role as `M(2)(3)` in `val x = M(2)(3)`.

     Definition Classes
       Macros
     See also

       DefMacroExpander

129. #### def macroExpandAll(typer: Typer, expandee: Global.Tree): Global.Tree

     Performs macro expansion on all subtrees of a given tree.

     Performs macro expansion on all subtrees of a given tree. Innermost macros are expanded first, outermost macros are expanded last. See the documentation for `macroExpand` for more information.

     Definition Classes
       Macros

130. #### def macroExpandWithRuntime(typer: Typer, expandee: Global.Tree, runtime: MacroRuntime): MacroStatus

     Expands a macro when a runtime (i.

     Expands a macro when a runtime (i.e. the macro implementation) can be successfully loaded Meant for internal use within the macro infrastructure, don't use it elsewhere.

     Definition Classes
       Macros

131. #### def macroExpandWithoutRuntime(typer: Typer, expandee: Global.Tree): MacroStatus

     Expands a macro when a runtime (i.

     Expands a macro when a runtime (i.e. the macro implementation) cannot be loaded Meant for internal use within the macro infrastructure, don't use it elsewhere.

     Definition Classes
       Macros

132. #### def macroExpandee(tree: Global.Tree): Global.Tree

     Returns the original tree of the macro expansion if the argument is a macro expansion or EmptyTree otherwise.

     Returns the original tree of the macro expansion if the argument is a macro expansion or EmptyTree otherwise.

     Definition Classes
       StdAttachments

133. #### def macroExpanderAttachment(tree: Global.Tree): MacroExpanderAttachment

     Loads underlying MacroExpanderAttachment from a macro expandee or returns a default value for that attachment.

     Loads underlying MacroExpanderAttachment from a macro expandee or returns a default value for that attachment.

     Definition Classes
       StdAttachments

134. #### final def macroLogLite(msg: ⇒ Any): Unit

     Definition Classes
       Traces
     Annotations
       @inline()

135. #### final def macroLogVerbose(msg: ⇒ Any): Unit

     Definition Classes
       Traces
     Annotations
       @inline()

136. #### def macroRuntime(expandee: Global.Tree): MacroRuntime

     Produces a function that can be used to invoke macro implementation for a given macro definition: 1) Looks up macro implementation symbol in this universe.

     Produces a function that can be used to invoke macro implementation for a given macro definition: 1) Looks up macro implementation symbol in this universe. 2) Loads its enclosing class from the macro classloader. 3) Loads the companion of that enclosing class from the macro classloader. 4) Resolves macro implementation within the loaded companion.

     returns

       Requested runtime if macro implementation can be loaded successfully from either of the mirrors, `null` otherwise.

     Definition Classes
       MacroRuntimes

137. #### def makeNamedTypes(syms: List[Global.Symbol]): collection.immutable.List[Global.NamedType]

     Definition Classes
       NamesDefaults

138. #### def markDynamicRewrite(tree: Global.Tree): Global.Tree

     Definition Classes
       StdAttachments

139. #### def markMacroImplRef(tree: Global.Tree): Global.Tree

     Marks the tree as a macro impl reference, which is a naked reference to a method.

     Marks the tree as a macro impl reference, which is a naked reference to a method.

     This is necessary for typechecking macro impl references (see `DefaultMacroCompiler.defaultResolveMacroImpl`), because otherwise typing a naked reference will result in the "follow this method with `_' if you want to treat it as a partially applied function" errors.`

     This mark suppresses adapt except for when the annottee is a macro application.

     Definition Classes
       StdAttachments

140. #### def memberWildcardType(name: Global.Name, tp: Global.Type): Global.Type

     A constructor for types ?{ def/type name: tp }, used in infer view to member searches.

     A constructor for types ?{ def/type name: tp }, used in infer view to member searches.

     Definition Classes
       Implicits

141. #### def missingParams[T](args: List[T], params: List[Global.Symbol], argName: (T) ⇒ Option[Global.Name] = nameOfNamedArg): (List[Global.Symbol], Boolean)

     Definition Classes
       NamesDefaults

142. #### val mixinTransformer: Global.Transformer

     Attributes
       protected
     Definition Classes
       AddInterfaces

143. #### def mkTypeCompleter(t: Global.Tree)(c: (Global.Symbol) ⇒ Unit): TypeCompleter with LockingTypeCompleter with Global.FlagAgnosticCompleter

     Definition Classes
       Namers

144. #### object namerFactory extends SubComponent

     Definition Classes
       Analyzer

145. #### final def ne(arg0: AnyRef): Boolean

     Definition Classes
       AnyRef

146. #### def needsJavaSig(tp: Global.Type): Boolean

     Definition Classes
       Erasure

147. #### def newNamer(context: Context): Namer

     Definition Classes
       Namers

148. #### def newPhase(prev: nsc.Phase): StdPhase

     Create a new phase which applies transformer

     Create a new phase which applies transformer

     Definition Classes
       AddInterfaces → InfoTransform → Transform → SubComponent

149. #### def newTransformer(unit: Global.CompilationUnit): Global.Transformer

     The transformer factory

     The transformer factory

     Definition Classes
       Erasure → Transform

150. #### def newTyper(context: Context): Eraser

     Definition Classes
       Erasure → Typers

151. #### def noPrintAdapt(tree1: Global.Tree, tree2: Global.Tree): Boolean

     Definition Classes
       TypersTracking

152. #### def noPrintTyping(t: Global.Tree): Boolean

     Definition Classes
       TypersTracking

153. #### def normalize(tp: Global.Type): Global.Type

     Automatically perform the following conversions on expression types: A method type becomes the corresponding function type.

     Automatically perform the following conversions on expression types: A method type becomes the corresponding function type. A nullary method type becomes its result type. Implicit parameters are skipped. This method seems to be performance critical.

     Definition Classes
       Infer

154. #### def notAnyRefMessage(found: Global.Type): String

     Definition Classes
       ContextErrors

155. #### final def notify(): Unit

     Definition Classes
       AnyRef

156. #### final def notifyAll(): Unit

     Definition Classes
       AnyRef

157. #### def notifyUndetparamsAdded(newUndets: List[Global.Symbol]): Unit

     Definition Classes
       Macros

158. #### def notifyUndetparamsInferred(undetNoMore: List[Global.Symbol], inferreds: List[Global.Type]): Unit

     Definition Classes
       Macros

159. #### def numericConversion(tree: Global.Tree, numericSym: Global.Symbol): Global.Tree

     Definition Classes
       Erasure

160. #### def onTreeCheckerError(pos: Global.Position, msg: String): Unit

     Attributes
       protected
     Definition Classes
       Contexts

161. #### def openMacros: collection.immutable.List[reflect.macros.contexts.Context { val universe: scala.tools.nsc.Global.erasure.global.type }]

     Definition Classes
       Macros

162. #### def ownPhase: nsc.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

163. #### object packageObjects extends SubComponent

     Definition Classes
       Analyzer

164. #### val phaseName: String

     The name of the phase

     The name of the phase

     Definition Classes
       Erasure → SubComponent

165. #### def phaseNewFlags: Long

     The phase sets lateINTERFACE for non-interface traits that now become interfaces.

     The phase sets lateINTERFACE for non-interface traits that now become interfaces. It sets lateDEFERRED for formerly concrete methods in such traits.

     Definition Classes
       AddInterfaces → SubComponent

166. #### 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

167. #### def pluginsEnsureCompanionObject(namer: Namer, cdef: Global.ClassDef, creator: (Global.ClassDef) ⇒ Global.Tree = companionModuleDef(_)): Global.Symbol

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsEnsureCompanionObject

168. #### def pluginsEnterStats(typer: Typer, stats: List[Global.Tree]): List[Global.Tree]

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsEnterStats

169. #### def pluginsEnterSym(namer: Namer, tree: Global.Tree): Context

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsEnterSym

170. #### def pluginsMacroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsMacroArgs

171. #### def pluginsMacroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsMacroExpand

172. #### def pluginsMacroRuntime(expandee: Global.Tree): MacroRuntime

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsMacroRuntime

173. #### def pluginsPt(pt: Global.Type, typer: Typer, tree: Global.Tree, mode: Mode): Global.Type

     Definition Classes
       AnalyzerPlugins
     See also

       AnalyzerPlugin.pluginsPt

174. #### def pluginsTypeSig(tpe: Global.Type, typer: Typer, defTree: Global.Tree, pt: Global.Type): Global.Type

     Definition Classes
       AnalyzerPlugins
     See also

       AnalyzerPlugin.pluginsTypeSig

175. #### def pluginsTypeSigAccessor(tpe: Global.Type, typer: Typer, tree: Global.ValDef, sym: Global.Symbol): Global.Type

     Definition Classes
       AnalyzerPlugins
     See also

       AnalyzerPlugin.pluginsTypeSigAccessor

176. #### def pluginsTyped(tpe: Global.Type, typer: Typer, tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Type

     Definition Classes
       AnalyzerPlugins
     See also

       AnalyzerPlugin.pluginsTyped

177. #### def pluginsTypedMacroBody(typer: Typer, ddef: Global.DefDef): Global.Tree

     Definition Classes
       AnalyzerPlugins
     See also

       MacroPlugin.pluginsTypedMacroBody

178. #### def pluginsTypedReturn(tpe: Global.Type, typer: Typer, tree: Global.Return, pt: Global.Type): Global.Type

     Definition Classes
       AnalyzerPlugins
     See also

       AnalyzerPlugin.pluginsTypedReturn

179. #### def popMacroContext(): Unit

     Definition Classes
       Macros

180. #### def posPrecedes(p1: Global.Position, p2: Global.Position): Boolean

     Does the positioned line assigned to t1 precede that of t2?

     Does the positioned line assigned to t1 precede that of t2?

     Definition Classes
       TypeDiagnostics

181. #### val prepareSigMap: Global.TypeMap { def squashBoxed(tp: scala.tools.nsc.Global.erasure.global.Type): scala.tools.nsc.Global.erasure.global.Type }

     This object is only used for sanity testing when -check:genjvm is set.

     This object is only used for sanity testing when -check:genjvm is set. In that case we make sure that the erasure of the `normalized` type is the same as the erased type that's generated. Normalization means unboxing some primitive types and further simplifications as they are done in jsig.

     Definition Classes
       Erasure

182. #### def propagateKnownTypes(from: Global.Type, to: Global.Symbol): Global.Type

     The applied type of class 'to' after inferring anything possible from the knowledge that 'to' must also be of the type given in 'from'.

     The applied type of class 'to' after inferring anything possible from the knowledge that 'to' must also be of the type given in 'from'.

     Definition Classes
       Checkable

183. #### def pushMacroContext(c: MacroContext): Unit

     Definition Classes
       Macros

184. #### def rebindInnerClass(pre: Global.Type, cls: Global.Symbol): Global.Type

     Attributes
       protected
     Definition Classes
       Erasure

185. #### def removeNames(typer: Typer)(args: List[Global.Tree], params: List[Global.Symbol]): (List[Global.Tree], Array[Int])

     Removes name assignments from args.

     Removes name assignments from args. Additionally, returns an array mapping argument indices from call-site-order to definition-site-order.

     Verifies that names are not specified twice, positional args don't appear after named ones.

     Definition Classes
       NamesDefaults

186. #### def reorderArgs[T](args: List[T], pos: (Int) ⇒ Int)(implicit arg0: ClassTag[T]): List[T]

     pos

       maps indices from old to new

     Definition Classes
       NamesDefaults

187. #### val requires: List[String]

     Names of phases required by this component.

     Names of phases required by this component. Default is `Nil`.

     Definition Classes
       SubComponent

188. #### def resetContexts(): Unit

     Definition Classes
       Contexts

189. #### def resetDocComments(): Unit

     Definition Classes
       Typers

190. #### def resetImplicits(): Unit

     Definition Classes
       Implicits

191. #### def resetTyper(): Unit

     Definition Classes
       Typers

192. #### final def resolveAnonymousBridgeClash(sym: Global.Symbol, bridge: Global.Symbol): Unit

     Definition Classes
       Erasure

193. #### def restrictionError(pos: Global.Position, unit: Global.CompilationUnit, msg: String): Unit

     Definition Classes
       TypeDiagnostics

194. #### def restrictionWarning(pos: Global.Position, unit: Global.CompilationUnit, msg: String): Unit

     For errors which are artifacts of the implementation: such messages indicate that the restriction may be lifted in the future.

     For errors which are artifacts of the implementation: such messages indicate that the restriction may be lifted in the future.

     Definition Classes
       TypeDiagnostics

195. #### def rootContext(unit: Global.CompilationUnit, tree: Global.Tree = EmptyTree, erasedTypes: Boolean = false): Context

     Definition Classes
       Contexts

196. #### def rootImports(unit: Global.CompilationUnit): List[Global.Symbol]

     List of symbols to import from in a root context.

     List of symbols to import from in a root context. Typically that is `java.lang`, `scala`, and scala.Predef, in that order. Exceptions:

     - if option `-Yno-imports` is given, nothing is imported
     - if the unit is java defined, only `java.lang` is imported
     - if option `-Yno-predef` is given, if the unit body has an import of Predef among its leading imports, or if the tree is scala.Predef, `Predef` is not imported.
     Attributes
       protected
     Definition Classes
       Contexts

197. #### val runsAfter: collection.immutable.List[String]

     Names of phases that must run before this phase.

     Names of phases that must run before this phase.

     Definition Classes
       erasure → SubComponent

198. #### val runsBefore: List[String]

     Names of phases that must run after this phase.

     Names of phases that must run after this phase. Default is `Nil`.

     Definition Classes
       SubComponent

199. #### val runsRightAfter: Some[String]

     Name of the phase that this phase must follow immediately.

     Name of the phase that this phase must follow immediately.

     Definition Classes
       erasure → SubComponent

200. #### object scalaErasure extends ScalaErasureMap

     Definition Classes
       Erasure

201. #### def setAddendum(pos: Global.Position, msg: () ⇒ String): Unit

     Definition Classes
       TypeDiagnostics

202. #### final val shortenImports: Boolean(false)

     Definition Classes
       Typers

203. #### def skipImplicit(tp: Global.Type): Global.Type

     Definition Classes
       Infer

204. #### def solvedTypes(tvars: List[Global.TypeVar], tparams: List[Global.Symbol], variances: List[Variance], upper: Boolean, depth: Depth): List[Global.Type]

     Solve constraint collected in types `tvars`.

     Solve constraint collected in types `tvars`.

     tvars

       All type variables to be instantiated.

     tparams

       The type parameters corresponding to `tvars`

     variances

       The variances of type parameters; need to reverse solution direction for all contravariant variables.

     upper

       When `true` search for max solution else min.

     Definition Classes
       Infer
     Exceptions thrown
       NoInstance

205. #### def specialConstructorErasure(clazz: Global.Symbol, tpe: Global.Type): Global.Type

     Definition Classes
       Erasure

206. #### def specialErasure(sym: Global.Symbol)(tp: Global.Type): Global.Type

     Definition Classes
       Erasure

207. #### object specialScalaErasure extends ScalaErasureMap

     Definition Classes
       Erasure

208. #### def standardMacroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

     Default implementation of `macroArgs`.

     Default implementation of `macroArgs`. Can be overridden by analyzer plugins (see AnalyzerPlugins.pluginsMacroArgs for more details)

     Definition Classes
       Macros

209. #### def standardMacroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

     Default implementation of `macroExpand`.

     Default implementation of `macroExpand`. Can be overridden by analyzer plugins (see AnalyzerPlugins.pluginsMacroExpand for more details)

     Definition Classes
       Macros

210. #### def standardMacroRuntime(expandee: Global.Tree): MacroRuntime

     Definition Classes
       MacroRuntimes

211. #### def standardTypedMacroBody(typer: Typer, macroDdef: Global.DefDef): Global.Tree

     Default implementation of `typedMacroBody`.

     Default implementation of `typedMacroBody`. Can be overridden by analyzer plugins (see AnalyzerPlugins.pluginsTypedMacroBody for more details)

     Definition Classes
       Macros

212. #### def superArgs(tree: Global.Tree): Option[List[List[Global.Tree]]]

     Convenience method for `SuperArgsAttachment`.

     Convenience method for `SuperArgsAttachment`. Compared with `MacroRuntimeAttachment` this attachment has different a usage pattern, so it really benefits from a dedicated extractor.

     Definition Classes
       StdAttachments

213. #### def suppressMacroExpansion(tree: Global.Tree): Global.Tree

     Suppresses macro expansion of the tree by putting SuppressMacroExpansionAttachment on it.

     Suppresses macro expansion of the tree by putting SuppressMacroExpansionAttachment on it.

     Definition Classes
       StdAttachments

214. #### final def synchronized[T0](arg0: ⇒ T0): T0

     Definition Classes
       AnyRef

215. #### val terminal: Boolean

     True if this phase runs after all other phases.

     True if this phase runs after all other phases. Usually, `terminal`.

     Definition Classes
       SubComponent

216. #### def toString(): String

     Definition Classes
       AnyRef → Any

217. #### def tpe_s(tp: Global.Type, colorize: (String) ⇒ String): String

     Definition Classes
       TypersTracking

218. #### def transformInfo(sym: Global.Symbol, tp: Global.Type): Global.Type

     The symbol's erased info.

     The symbol's erased info. This is the type's erasure, except for the following symbols:

     - For $asInstanceOf : [T]T
     - For $isInstanceOf : [T]scala#Boolean
     - For class Array : [T]C where C is the erased classinfo of the Array class.
     - For Array[T].<init> : {scala#Int)Array[T]
     - For a type parameter : A type bounds type consisting of the erasures of its bounds.
     Definition Classes
       Erasure → Erasure → InfoTransform

219. #### def transformMixinInfo(tp: Global.Type): Global.Type

     Definition Classes
       AddInterfaces

220. #### def transformNamedApplication(typer: Typer, mode: Mode, pt: Global.Type)(tree: Global.Tree, argPos: (Int) ⇒ Int): Global.Tree

     Transform a function application into a Block, and assigns typer.

     Transform a function application into a Block, and assigns typer.context .namedApplyBlockInfo to the new block as side-effect. If tree has the form Apply(fun, args) first the function "fun" (which might be an application itself!) is transformed into a block of the form { val qual$1 = qualifier_of_fun val x$1 = arg_1_of_fun ... val x$n = arg_n_of_fun qual$1.fun[targs](x$1, ...)...(..., x$n) } then for each argument in args, a value is created and entered into the block. finally the application expression of the block is updated. { val qual$1 = .. ... val x$n = ... > val qual$n+1 = arg(1) > ... > val qual$n+m = arg(m) > qual$1.fun[targs](x$1, ...)...(..., x$n)(x$n+1, ..., x$n+m) }

     typer

       the typer calling this method; this method calls typer.doTypedApply

     mode

       the mode to use for calling typer.doTypedApply

     pt

       the expected type for calling typer.doTypedApply

     returns

       the transformed application (a Block) together with the NamedApplyInfo. if isNamedApplyBlock(tree), returns the existing context.namedApplyBlockInfo

     Definition Classes
       NamesDefaults

221. #### def transformTypeTagEvidenceParams(macroImplRef: Global.Tree, transform: (Global.Symbol, Global.Symbol) ⇒ Global.Symbol): List[List[Global.Symbol]]

     Transforms parameters lists of a macro impl.

     Transforms parameters lists of a macro impl. The `transform` function is invoked only for WeakTypeTag evidence parameters.

     The transformer takes two arguments: a value parameter from the parameter list and a type parameter that is witnesses by the value parameter.

     If the transformer returns a NoSymbol, the value parameter is not included from the result. If the transformer returns something else, this something else is included in the result instead of the value parameter.

     Despite of being highly esoteric, this function significantly simplifies signature analysis. For example, it can be used to strip macroImpl.paramss from the evidences (necessary when checking def <-> impl correspondence) or to streamline creation of the list of macro arguments.

     Definition Classes
       Helpers

222. #### val transformed: AnyRefMap[Global.Tree, Global.Tree]

     Definition Classes
       Typers

223. #### def treeSymTypeMsg(tree: Global.Tree): String

     Definition Classes
       TypeDiagnostics

224. #### def typePatternAdvice(sym: Global.Symbol, ptSym: Global.Symbol): String

     Definition Classes
       TypeDiagnostics

225. #### def typedMacroBody(typer: Typer, macroDdef: Global.DefDef): Global.Tree

     Verifies that the body of a macro def typechecks to a reference to a static public non-overloaded method or a top-level macro bundle, and that that method is signature-wise compatible with the given macro definition.

     Verifies that the body of a macro def typechecks to a reference to a static public non-overloaded method or a top-level macro bundle, and that that method is signature-wise compatible with the given macro definition.

     returns

       Macro impl reference for the given macro definition if everything is okay. EmptyTree if an error occurs.

     Definition Classes
       Macros

226. #### object typerFactory extends SubComponent

     Definition Classes
       Analyzer

227. #### def typingInPattern[T](body: ⇒ T): T

     Devising new ways of communicating error info out of desperation to work on error messages.

     Devising new ways of communicating error info out of desperation to work on error messages. This is used by typedPattern to wrap its business so we can generate a sensible error message when things go south.

     Definition Classes
       TypeDiagnostics

228. #### object typingStack

     Definition Classes
       TypersTracking

229. #### def unapplyMember(tp: Global.Type): Global.Symbol

     Filters out unapplies with multiple (non-implicit) parameter lists, as they cannot be used as extractors

     Filters out unapplies with multiple (non-implicit) parameter lists, as they cannot be used as extractors

     Definition Classes
       Unapplies

230. #### def unboundedGenericArrayLevel(tp: Global.Type): Int

     Attributes
       protected
     Definition Classes
       Erasure

231. #### def underlyingSymbol(member: Global.Symbol): Global.Symbol

     The symbol which the given accessor represents (possibly in part).

     The symbol which the given accessor represents (possibly in part). This is used for error messages, where we want to speak in terms of the actual declaration or definition, not in terms of the generated setters and getters.

     Definition Classes
       TypeDiagnostics

232. #### def unmarkDynamicRewrite(tree: Global.Tree): Global.Tree

     Definition Classes
       StdAttachments

233. #### def unmarkMacroImplRef(tree: Global.Tree): Global.Tree

     Unmarks the tree as a macro impl reference (see `markMacroImplRef` for more information).

     Unmarks the tree as a macro impl reference (see `markMacroImplRef` for more information).

     This is necessary when a tree that was previously deemed to be a macro impl reference, typechecks to be a macro application. Then we need to unmark it, expand it and try to treat its expansion as a macro impl reference.

     Definition Classes
       StdAttachments

234. #### def unsuppressMacroExpansion(tree: Global.Tree): Global.Tree

     Unsuppresses macro expansion of the tree by removing SuppressMacroExpansionAttachment from it and its children.

     Unsuppresses macro expansion of the tree by removing SuppressMacroExpansionAttachment from it and its children.

     Definition Classes
       StdAttachments

235. #### def untypeMetalevel(tp: Global.Type): Global.Type

     Transforms c.

     Transforms c.Expr[T] types into c.Tree and leaves the rest unchanged.

     Definition Classes
       Helpers

236. #### def valueClassIsParametric(clazz: Global.Symbol): Boolean

     Definition Classes
       Erasure

237. #### def verifyJavaErasure: Boolean

     Attributes
       protected
     Definition Classes
       Erasure → Erasure

238. #### final def wait(): Unit

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

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

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

240. #### final def wait(arg0: Long): Unit

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

241. #### def warnUnusedImports(unit: Global.CompilationUnit): Unit

     Definition Classes
       Contexts

242. #### def withAddendum(pos: Global.Position): (String) ⇒ String

     Definition Classes
       TypeDiagnostics

243. #### def withDisambiguation[T](locals: List[Global.Symbol], types: Global.Type*)(op: ⇒ T): T

     Given any number of types, alters the name information in the symbols until they can be distinguished from one another: then executes the given code.

     Given any number of types, alters the name information in the symbols until they can be distinguished from one another: then executes the given code. The names are restored and the result is returned.

     Definition Classes
       TypeDiagnostics

### Inherited from Erasure

### Inherited from TypeAdaptingTransformer

### Inherited from TypingTransformers

### Inherited from Analyzer

### Inherited from AnalyzerPlugins

### Inherited from StdAttachments

### Inherited from ContextErrors

### Inherited from TypeDiagnostics

### Inherited from NamesDefaults

### Inherited from Macros

### Inherited from Helpers

### Inherited from Traces

### Inherited from MacroRuntimes

### Inherited from JavaReflectionRuntimes

### Inherited from FastTrack

### Inherited from Unapplies

### Inherited from SyntheticMethods

### Inherited from TreeDSL

### Inherited from EtaExpansion

### Inherited from Implicits

### Inherited from Infer

### Inherited from Checkable

### Inherited from Typers

### Inherited from PatternTypers

### Inherited from TypersTracking

### Inherited from Tags

### Inherited from Adaptations

### Inherited from Namers

### Inherited from MethodSynthesis

### Inherited from Contexts

### Inherited from Erasure

### Inherited from AddInterfaces

### Inherited from InfoTransform

### Inherited from Transform

### Inherited from SubComponent

### Inherited from AnyRef

### Inherited from Any

### Ungrouped