Type Members

1.  trait AnnotationApi extends AnyRef

   The API of Annotation instances.

   The API of Annotation instances. The main source of information about annotations is the scala.reflect.api.Annotations page.

   Definition Classes

   Annotations

2.  abstract class AnnotationExtractor extends AnyRef

   An extractor class to create and pattern match with syntax Annotation(tpe, scalaArgs, javaArgs).

   An extractor class to create and pattern match with syntax Annotation(tpe, scalaArgs, javaArgs). Here, tpe is the annotation type, scalaArgs the payload of Scala annotations, and javaArgs the payload of Java annotations.

   Definition Classes

   Annotations

3.  abstract class ConstantApi extends AnyRef

   The API of Constant instances.

   The API of Constant instances.

   Definition Classes

   Constants

4.  abstract class ConstantExtractor extends AnyRef

   An extractor class to create and pattern match with syntax Constant(value) where value is the Scala value of the constant.

   An extractor class to create and pattern match with syntax Constant(value) where value is the Scala value of the constant.

   Definition Classes

   Constants

5.  trait Expr[+T] extends Equals with Serializable

   Expr wraps an abstract syntax tree and tags it with its type.

   Expr wraps an abstract syntax tree and tags it with its type. The main source of information about exprs is the scala.reflect.api.Exprs page.

   Definition Classes

   Exprs

6.  trait FlagOps extends Any

   The API of FlagSet instances.

   The API of FlagSet instances. The main source of information about flag sets is the scala.reflect.api.FlagSets page.

   Definition Classes

   FlagSets

7.  trait FlagValues extends AnyRef

   All possible values that can constitute flag sets.

   All possible values that can constitute flag sets. The main source of information about flag sets is the scala.reflect.api.FlagSets page.

   Definition Classes

   FlagSets

8.  trait CompatApi extends AnyRef
   Definition Classes

   Internals

   See also

   compat

9.  class CompatToken extends AnyRef

   Presence of an implicit value of this type in scope indicates that source compatibility with Scala 2.10 has been enabled.

   Presence of an implicit value of this type in scope indicates that source compatibility with Scala 2.10 has been enabled.

   Definition Classes

   Internals

   Annotations

   @implicitNotFound( ... )

10.  trait FreeTermSymbolApi extends Universe.TermSymbolApi

    The API of free term symbols.

    The API of free term symbols. The main source of information about symbols is the Symbols page.

    $SYMACCESSORS

    Definition Classes

    Internals

11.  trait FreeTypeSymbolApi extends Universe.TypeSymbolApi

    The API of free type symbols.

    The API of free type symbols. The main source of information about symbols is the Symbols page.

    $SYMACCESSORS

    Definition Classes

    Internals

12.  trait Importer extends AnyRef

    This trait provides support for importers, a facility to migrate reflection artifacts between universes.

    This trait provides support for importers, a facility to migrate reflection artifacts between universes. Note: this trait should typically be used only rarely.

    Reflection artifacts, such as Symbols and Types, are contained in Universes. Typically all processing happens within a single Universe (e.g. a compile-time macro Universe or a runtime reflection Universe), but sometimes there is a need to migrate artifacts from one Universe to another. For example, runtime compilation works by importing runtime reflection trees into a runtime compiler universe, compiling the importees and exporting the result back.

    Reflection artifacts are firmly grounded in their Universes, which is reflected by the fact that types of artifacts from different universes are not compatible. By using Importers, however, they be imported from one universe into another. For example, to import foo.bar.Baz from the source Universe to the target Universe, an importer will first check whether the entire owner chain exists in the target Universe. If it does, then nothing else will be done. Otherwise, the importer will recreate the entire owner chain and will import the corresponding type signatures into the target Universe.

    Since importers match Symbol tables of the source and the target Universes using plain string names, it is programmer's responsibility to make sure that imports don't distort semantics, e.g., that foo.bar.Baz in the source Universe means the same that foo.bar.Baz does in the target Universe.

    Example

    Here's how one might implement a macro that performs compile-time evaluation of its argument by using a runtime compiler to compile and evaluate a tree that belongs to a compile-time compiler:

    def staticEval[T](x: T) = macro staticEval[T]
    
    def staticEval[T](c: scala.reflect.macros.blackbox.Context)(x: c.Expr[T]) = {
      // creates a runtime reflection universe to host runtime compilation
      import scala.reflect.runtime.{universe => ru}
      val mirror = ru.runtimeMirror(c.libraryClassLoader)
      import scala.tools.reflect.ToolBox
      val toolBox = mirror.mkToolBox()
    
      // runtime reflection universe and compile-time macro universe are different
      // therefore an importer is needed to bridge them
      // currently mkImporter requires a cast to correctly assign the path-dependent types
      val importer0 = ru.internal.mkImporter(c.universe)
      val importer = importer0.asInstanceOf[ru.internal.Importer { val from: c.universe.type }]
    
      // the created importer is used to turn a compiler tree into a runtime compiler tree
      // both compilers use the same classpath, so semantics remains intact
      val imported = importer.importTree(tree)
    
      // after the tree is imported, it can be evaluated as usual
      val tree = toolBox.untypecheck(imported.duplicate)
      val valueOfX = toolBox.eval(imported).asInstanceOf[T]
      ...
    }

    Definition Classes

    Internals

13.  trait InternalApi extends AnyRef

    Reflection API exhibits a tension inherent to experimental things: on the one hand we want it to grow into a beautiful and robust API, but on the other hand we have to deal with immaturity of underlying mechanisms by providing not very pretty solutions to enable important use cases.

    Reflection API exhibits a tension inherent to experimental things: on the one hand we want it to grow into a beautiful and robust API, but on the other hand we have to deal with immaturity of underlying mechanisms by providing not very pretty solutions to enable important use cases.

    In Scala 2.10, which was our first stab at reflection API, we didn't have a systematic approach to dealing with this tension, sometimes exposing too much of internals (e.g. Symbol.deSkolemize) and sometimes exposing too little (e.g. there's still no facility to change owners, to do typing transformations, etc). This resulted in certain confusion with some internal APIs living among public ones, scaring the newcomers, and some internal APIs only available via casting, which requires intimate knowledge of the compiler and breaks compatibility guarantees.

    This led to creation of the internal API module for the reflection API, which provides advanced APIs necessary for macros that push boundaries of the state of the art, clearly demarcating them from the more or less straightforward rest and providing compatibility guarantees on par with the rest of the reflection API (full compatibility within minor releases, best effort towards backward compatibility within major releases, clear replacement path in case of rare incompatible changes in major releases).

    The internal module itself (the value that implements InternalApi) isn't defined here, in scala.reflect.api.Universe, but is provided on per-implementation basis. Runtime API endpoint (scala.reflect.runtime.universe) provides universe.compat: InternalApi, whereas compile-time API endpoints (instances of scala.reflect.macros.Context) provide c.compat: ContextInternalApi, which extends InternalApi with additional universe-specific and context-specific functionality.

    Definition Classes

    Internals

14.  trait ReferenceToBoxedApi extends Universe.TermTreeApi

    The API that all references support

    The API that all references support

    Definition Classes

    Internals

15.  abstract class ReferenceToBoxedExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ReferenceToBoxed(ident).

    An extractor class to create and pattern match with syntax ReferenceToBoxed(ident). This AST node does not have direct correspondence to Scala code, and is emitted by macros to reference capture vars directly without going through elem.

    For example:

    var x = ... fun { x }

    Will emit:

    Ident(x)

    Which gets transformed to:

    Select(Ident(x), "elem")

    If ReferenceToBoxed were used instead of Ident, no transformation would be performed.

    Definition Classes

    Internals

16.  trait ReificationSupportApi extends AnyRef

    This is an internal implementation class.

    This is an internal implementation class.

    Definition Classes

    Internals

17.  trait Liftable[T] extends AnyRef

    A type class that defines a representation of T as a Tree.

    A type class that defines a representation of T as a Tree.

    Definition Classes

    Liftables

    See also

    http://docs.scala-lang.org/overviews/quasiquotes/lifting.html

18.  trait Unliftable[T] extends AnyRef

    A type class that defines a way to extract instance of T from a Tree.

    A type class that defines a way to extract instance of T from a Tree.

    Definition Classes

    Liftables

    See also

    http://docs.scala-lang.org/overviews/quasiquotes/unlifting.html

19.  trait ClassMirror extends Universe.TemplateMirror

    A mirror that reflects the instance parts of a runtime class.

    A mirror that reflects the instance parts of a runtime class. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

20.  trait FieldMirror extends AnyRef

    A mirror that reflects a field.

    A mirror that reflects a field. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

21.  trait InstanceMirror extends AnyRef

    A mirror that reflects a runtime value.

    A mirror that reflects a runtime value. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

22.  trait MethodMirror extends AnyRef

    A mirror that reflects a method.

    A mirror that reflects a method. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

23.  trait ModuleMirror extends Universe.TemplateMirror

    A mirror that reflects a Scala object definition or the static parts of a runtime class.

    A mirror that reflects a Scala object definition or the static parts of a runtime class. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

24.  trait ReflectiveMirror extends api.Mirror[Mirrors.this.type]

    A mirror that reflects instances and static classes.

    A mirror that reflects instances and static classes. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

25.  trait RuntimeClassApi extends AnyRef

    Has no special methods.

    Has no special methods. Is here to provides erased identity for RuntimeClass.

    Definition Classes

    Mirrors

26.  trait RuntimeMirror extends api.Mirror[Mirrors.this.type] with Universe.ReflectiveMirror

    The API of a mirror for a reflective universe.

    The API of a mirror for a reflective universe. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

27.  trait TemplateMirror extends AnyRef

    A mirror that reflects the instance or static parts of a runtime class.

    A mirror that reflects the instance or static parts of a runtime class. See the overview page for details on how to use runtime reflection.

    Definition Classes

    Mirrors

28.  abstract class NameApi extends AnyRef

    The API of Name instances.

    The API of Name instances.

    Definition Classes

    Names

29.  trait TermNameApi extends AnyRef

    Has no special methods.

    Has no special methods. Is here to provides erased identity for TermName.

    Definition Classes

    Names

30.  abstract class TermNameExtractor extends AnyRef

    An extractor class to create and pattern match with syntax TermName(s).

    An extractor class to create and pattern match with syntax TermName(s).

    Definition Classes

    Names

31.  trait TypeNameApi extends AnyRef

    Has no special methods.

    Has no special methods. Is here to provides erased identity for TypeName.

    Definition Classes

    Names

32.  abstract class TypeNameExtractor extends AnyRef

    An extractor class to create and pattern match with syntax TypeName(s).

    An extractor class to create and pattern match with syntax TypeName(s).

    Definition Classes

    Names

33.  case class BooleanFlag(value: Option[Boolean]) extends Product with Serializable
    Definition Classes

    Printers

34.  implicit class Quasiquote extends AnyRef

    Implicit class that introduces q, tq, cq, pq and fq string interpolators that are also known as quasiquotes.

    Implicit class that introduces q, tq, cq, pq and fq string interpolators that are also known as quasiquotes. With their help you can easily manipulate Scala reflection ASTs.

    Definition Classes

    Quasiquotes

    See also

    http://docs.scala-lang.org/overviews/quasiquotes/intro.html

35.  trait MemberScopeApi extends Universe.ScopeApi

    The API that all member scopes support

    The API that all member scopes support

    Definition Classes

    Scopes

36.  trait ScopeApi extends Iterable[Universe.Symbol]

    The API that all scopes support

    The API that all scopes support

    Definition Classes

    Scopes

37.  trait DefinitionsApi extends Universe.StandardTypes

    Defines standard symbols (and types via its base trait).

    Defines standard symbols (and types via its base trait).

    Definition Classes

    StandardDefinitions

38.  trait StandardTypes extends AnyRef

    Defines standard types.

    Defines standard types.

    Definition Classes

    StandardDefinitions

39.  trait StandardLiftableInstances extends AnyRef

    Definition Classes

    StandardLiftables

40.  trait StandardUnliftableInstances extends AnyRef

    Definition Classes

    StandardLiftables

41.  trait NamesApi extends AnyRef

    Defines standard names, common for term and type names: These can be accessed via the nme and tpnme members.

    Defines standard names, common for term and type names: These can be accessed via the nme and tpnme members.

    Definition Classes

    StandardNames

42.  trait TermNamesApi extends Universe.NamesApi

    Defines standard term names that can be accessed via the nme member.

    Defines standard term names that can be accessed via the nme member.

    Definition Classes

    StandardNames

43.  trait TypeNamesApi extends Universe.NamesApi

    Defines standard type names that can be accessed via the tpnme member.

    Defines standard type names that can be accessed via the tpnme member.

    Definition Classes

    StandardNames

44.  trait ClassSymbolApi extends Universe.TypeSymbolApi

    The API of class symbols.

    The API of class symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

45.  trait MethodSymbolApi extends Universe.TermSymbolApi

    The API of method symbols.

    The API of method symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

46.  trait ModuleSymbolApi extends Universe.TermSymbolApi

    The API of module symbols.

    The API of module symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

47.  trait SymbolApi extends AnyRef

    The API of symbols.

    The API of symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

48.  trait TermSymbolApi extends Universe.SymbolApi

    The API of term symbols.

    The API of term symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

49.  trait TypeSymbolApi extends Universe.SymbolApi

    The API of type symbols.

    The API of type symbols. The main source of information about symbols is the Symbols page.

    Class Symbol defines isXXX test methods such as isPublic or isFinal, params and returnType methods for method symbols, baseClasses for class symbols and so on. Some of these methods don't make sense for certain subclasses of Symbol and return NoSymbol, Nil or other empty values.

    Definition Classes

    Symbols

50.  trait AlternativeApi extends Universe.TermTreeApi

    The API that all alternatives support

    The API that all alternatives support

    Definition Classes

    Trees

51.  abstract class AlternativeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Alternative(trees).

    An extractor class to create and pattern match with syntax Alternative(trees). This AST node corresponds to the following Scala code:

    pat1 | ... | patn

    Definition Classes

    Trees

52.  trait AnnotatedApi extends Universe.TreeApi

    The API that all annotateds support

    The API that all annotateds support

    Definition Classes

    Trees

53.  abstract class AnnotatedExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Annotated(annot, arg).

    An extractor class to create and pattern match with syntax Annotated(annot, arg). This AST node corresponds to the following Scala code:

    arg @annot // for types arg: @annot // for exprs

    Definition Classes

    Trees

54.  trait AppliedTypeTreeApi extends Universe.TypTreeApi

    The API that all applied type trees support

    The API that all applied type trees support

    Definition Classes

    Trees

55.  abstract class AppliedTypeTreeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax AppliedTypeTree(tpt, args).

    An extractor class to create and pattern match with syntax AppliedTypeTree(tpt, args). This AST node corresponds to the following Scala code:

    tpt[args]

    Should only be used with tpt nodes which are types, i.e. which have isType returning true. Otherwise TypeApply should be used instead.

    List[Int] as in val x: List[Int] = ??? // represented as AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

    def foo[T] = ??? foo[Int] // represented as TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

    Definition Classes

    Trees

56.  trait ApplyApi extends Universe.GenericApplyApi

    The API that all applies support

    The API that all applies support

    Definition Classes

    Trees

57.  abstract class ApplyExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Apply(fun, args).

    An extractor class to create and pattern match with syntax Apply(fun, args). This AST node corresponds to the following Scala code:

    fun(args)

    For instance:

    fun[targs](args)

    Is expressed as:

    Apply(TypeApply(fun, targs), args)

    Definition Classes

    Trees

58.  trait AssignApi extends Universe.TermTreeApi

    The API that all assigns support

    The API that all assigns support

    Definition Classes

    Trees

59.  abstract class AssignExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Assign(lhs, rhs).

    An extractor class to create and pattern match with syntax Assign(lhs, rhs). This AST node corresponds to the following Scala code:

    lhs = rhs

    Definition Classes

    Trees

60.  trait AssignOrNamedArgApi extends Universe.TermTreeApi

    The API that all assigns support

    The API that all assigns support

    Definition Classes

    Trees

61.  abstract class AssignOrNamedArgExtractor extends AnyRef

    An extractor class to create and pattern match with syntax AssignOrNamedArg(lhs, rhs).

    An extractor class to create and pattern match with syntax AssignOrNamedArg(lhs, rhs). This AST node corresponds to the following Scala code:

    m.f(lhs = rhs)

    @annotation(lhs = rhs)

    Definition Classes

    Trees

62.  trait BindApi extends Universe.DefTreeApi

    The API that all binds support

    The API that all binds support

    Definition Classes

    Trees

63.  abstract class BindExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Bind(name, body).

    An extractor class to create and pattern match with syntax Bind(name, body). This AST node corresponds to the following Scala code:

    pat*

    Definition Classes

    Trees

64.  trait BlockApi extends Universe.TermTreeApi

    The API that all blocks support

    The API that all blocks support

    Definition Classes

    Trees

65.  abstract class BlockExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Block(stats, expr).

    An extractor class to create and pattern match with syntax Block(stats, expr). This AST node corresponds to the following Scala code:

    { stats; expr }

    If the block is empty, the expr is set to Literal(Constant(())).

    Definition Classes

    Trees

66.  trait CaseDefApi extends Universe.TreeApi

    The API that all case defs support

    The API that all case defs support

    Definition Classes

    Trees

67.  abstract class CaseDefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax CaseDef(pat, guard, body).

    An extractor class to create and pattern match with syntax CaseDef(pat, guard, body). This AST node corresponds to the following Scala code:

    case pat if guard => body

    If the guard is not present, the guard is set to EmptyTree. If the body is not specified, the body is set to Literal(Constant(()))

    Definition Classes

    Trees

68.  trait ClassDefApi extends Universe.ImplDefApi

    The API that all class defs support

    The API that all class defs support

    Definition Classes

    Trees

69.  abstract class ClassDefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ClassDef(mods, name, tparams, impl).

    An extractor class to create and pattern match with syntax ClassDef(mods, name, tparams, impl). This AST node corresponds to the following Scala code:

    mods class name [tparams] impl

    Where impl stands for:

    extends parents { defs }

    Definition Classes

    Trees

70.  trait CompoundTypeTreeApi extends Universe.TypTreeApi

    The API that all compound type trees support

    The API that all compound type trees support

    Definition Classes

    Trees

71.  abstract class CompoundTypeTreeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax CompoundTypeTree(templ).

    An extractor class to create and pattern match with syntax CompoundTypeTree(templ). This AST node corresponds to the following Scala code:

    parent1 with ... with parentN { refinement }

    Definition Classes

    Trees

72.  trait DefDefApi extends Universe.ValOrDefDefApi

    The API that all def defs support

    The API that all def defs support

    Definition Classes

    Trees

73.  abstract class DefDefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax DefDef(mods, name, tparams, vparamss, tpt, rhs).

    An extractor class to create and pattern match with syntax DefDef(mods, name, tparams, vparamss, tpt, rhs). This AST node corresponds to the following Scala code:

    mods def name[tparams](vparams_1)...(vparams_n): tpt = rhs

    If the return type is not specified explicitly (i.e. is meant to be inferred), this is expressed by having tpt set to TypeTree() (but not to an EmptyTree!).

    Definition Classes

    Trees

74.  trait DefTreeApi extends Universe.SymTreeApi with Universe.NameTreeApi

    The API that all def trees support

    The API that all def trees support

    Definition Classes

    Trees

75.  trait ExistentialTypeTreeApi extends Universe.TypTreeApi

    The API that all existential type trees support

    The API that all existential type trees support

    Definition Classes

    Trees

76.  abstract class ExistentialTypeTreeExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ExistentialTypeTree(tpt, whereClauses).

    An extractor class to create and pattern match with syntax ExistentialTypeTree(tpt, whereClauses). This AST node corresponds to the following Scala code:

    tpt forSome { whereClauses }

    Definition Classes

    Trees

77.  trait FunctionApi extends Universe.TermTreeApi with Universe.SymTreeApi

    The API that all functions support

    The API that all functions support

    Definition Classes

    Trees

78.  abstract class FunctionExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Function(vparams, body).

    An extractor class to create and pattern match with syntax Function(vparams, body). This AST node corresponds to the following Scala code:

    vparams => body

    The symbol of a Function is a synthetic TermSymbol. It is the owner of the function's parameters.

    Definition Classes

    Trees

79.  trait GenericApplyApi extends Universe.TermTreeApi

    The API that all applies support

    The API that all applies support

    Definition Classes

    Trees

80.  trait IdentApi extends Universe.RefTreeApi

    The API that all idents support

    The API that all idents support

    Definition Classes

    Trees

81.  abstract class IdentExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Ident(qual, name).

    An extractor class to create and pattern match with syntax Ident(qual, name). This AST node corresponds to the following Scala code:

    name

    Type checker converts idents that refer to enclosing fields or methods to selects. For example, name ==> this.name

    Definition Classes

    Trees

82.  trait IfApi extends Universe.TermTreeApi

    The API that all ifs support

    The API that all ifs support

    Definition Classes

    Trees

83.  abstract class IfExtractor extends AnyRef

    An extractor class to create and pattern match with syntax If(cond, thenp, elsep).

    An extractor class to create and pattern match with syntax If(cond, thenp, elsep). This AST node corresponds to the following Scala code:

    if (cond) thenp else elsep

    If the alternative is not present, the elsep is set to Literal(Constant(())).

    Definition Classes

    Trees

84.  trait ImplDefApi extends Universe.MemberDefApi

    The API that all impl defs support

    The API that all impl defs support

    Definition Classes

    Trees

85.  trait ImportApi extends Universe.SymTreeApi

    The API that all imports support

    The API that all imports support

    Definition Classes

    Trees

86.  abstract class ImportExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Import(expr, selectors).

    An extractor class to create and pattern match with syntax Import(expr, selectors). This AST node corresponds to the following Scala code:

    import expr.{selectors}

    Selectors are a list of ImportSelectors, which conceptually are pairs of names (from, to). The last (and maybe only name) may be a nme.WILDCARD. For instance:

    import qual.{x, y => z, _}

    Would be represented as:

    Import(qual, List(("x", "x"), ("y", "z"), (WILDCARD, null)))

    The symbol of an Import is an import symbol @see Symbol.newImport. It's used primarily as a marker to check that the import has been typechecked.

    Definition Classes

    Trees

87.  trait ImportSelectorApi extends AnyRef

    The API that all import selectors support

    The API that all import selectors support

    Definition Classes

    Trees

88.  abstract class ImportSelectorExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ImportSelector(name:, namePos, rename, renamePos).

    An extractor class to create and pattern match with syntax ImportSelector(name:, namePos, rename, renamePos). This is not an AST node, it is used as a part of the Import node.

    Definition Classes

    Trees

89.  trait LabelDefApi extends Universe.DefTreeApi with Universe.TermTreeApi

    The API that all label defs support

    The API that all label defs support

    Definition Classes

    Trees

90.  abstract class LabelDefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax LabelDef(name, params, rhs).

    An extractor class to create and pattern match with syntax LabelDef(name, params, rhs).

    This AST node does not have direct correspondence to Scala code. It is used for tailcalls and like. For example, while/do are desugared to label defs as follows:

    while (cond) body ==> LabelDef($L, List(), if (cond) { body; L$() } else ())

    do body while (cond) ==> LabelDef($L, List(), body; if (cond) L$() else ())

    Definition Classes

    Trees

91.  trait LiteralApi extends Universe.TermTreeApi

    The API that all literals support

    The API that all literals support

    Definition Classes

    Trees

92.  abstract class LiteralExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Literal(value).

    An extractor class to create and pattern match with syntax Literal(value). This AST node corresponds to the following Scala code:

    value

    Definition Classes

    Trees

93.  trait MatchApi extends Universe.TermTreeApi

    The API that all matches support

    The API that all matches support

    Definition Classes

    Trees

94.  abstract class MatchExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Match(selector, cases).

    An extractor class to create and pattern match with syntax Match(selector, cases). This AST node corresponds to the following Scala code:

    selector match { cases }

    Match is also used in pattern matching assignments like val (foo, bar) = baz.

    Definition Classes

    Trees

95.  trait MemberDefApi extends Universe.DefTreeApi

    The API that all member defs support

    The API that all member defs support

    Definition Classes

    Trees

96.  abstract class ModifiersApi extends AnyRef

    The API that all Modifiers support

    The API that all Modifiers support

    Definition Classes

    Trees

97.  abstract class ModifiersExtractor extends AnyRef

    An extractor class to create and pattern match with syntax Modifiers(flags, privateWithin, annotations).

    An extractor class to create and pattern match with syntax Modifiers(flags, privateWithin, annotations). Modifiers encapsulate flags, visibility annotations and Scala annotations for member definitions.

    Definition Classes

    Trees

98.  trait ModuleDefApi extends Universe.ImplDefApi

    The API that all module defs support

    The API that all module defs support

    Definition Classes

    Trees

99.  abstract class ModuleDefExtractor extends AnyRef

    An extractor class to create and pattern match with syntax ModuleDef(mods, name, impl).

    An extractor class to create and pattern match with syntax ModuleDef(mods, name, impl). This AST node corresponds to the following Scala code:

    mods object name impl

    Where impl stands for:

    extends parents { defs }

    Definition Classes

    Trees

100.  trait NameTreeApi extends Universe.TreeApi

     The API that all name trees support

     The API that all name trees support

     Definition Classes

     Trees

101.  trait NewApi extends Universe.TermTreeApi

     The API that all news support

     The API that all news support

     Definition Classes

     Trees

102.  abstract class NewExtractor extends AnyRef

     An extractor class to create and pattern match with syntax New(tpt).

     An extractor class to create and pattern match with syntax New(tpt). This AST node corresponds to the following Scala code:

     new T

     This node always occurs in the following context:

     (new tpt).<init>[targs](args)

     For example, an AST representation of:

     new Example[Int](2)(3)

     is the following code:

     Apply( Apply( TypeApply( Select(New(TypeTree(typeOf[Example])), nme.CONSTRUCTOR) TypeTree(typeOf[Int])), List(Literal(Constant(2)))), List(Literal(Constant(3))))

     Definition Classes

     Trees

103.  trait PackageDefApi extends Universe.MemberDefApi

     The API that all package defs support

     The API that all package defs support

     Definition Classes

     Trees

104.  abstract class PackageDefExtractor extends AnyRef

     An extractor class to create and pattern match with syntax PackageDef(pid, stats).

     An extractor class to create and pattern match with syntax PackageDef(pid, stats). This AST node corresponds to the following Scala code:

     package pid { stats }

     Definition Classes

     Trees

105.  trait RefTreeApi extends Universe.SymTreeApi with Universe.NameTreeApi

     The API that all ref trees support

     The API that all ref trees support

     Definition Classes

     Trees

106.  abstract class RefTreeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax RefTree(qual, name).

     An extractor class to create and pattern match with syntax RefTree(qual, name). This AST node corresponds to either Ident, Select or SelectFromTypeTree.

     Definition Classes

     Trees

107.  trait ReturnApi extends Universe.TermTreeApi

     The API that all returns support

     The API that all returns support

     Definition Classes

     Trees

108.  abstract class ReturnExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Return(expr).

     An extractor class to create and pattern match with syntax Return(expr). This AST node corresponds to the following Scala code:

     return expr

     The symbol of a Return node is the enclosing method.

     Definition Classes

     Trees

109.  trait SelectApi extends Universe.RefTreeApi

     The API that all selects support

     The API that all selects support

     Definition Classes

     Trees

110.  abstract class SelectExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Select(qual, name).

     An extractor class to create and pattern match with syntax Select(qual, name). This AST node corresponds to the following Scala code:

     qualifier.selector

     Should only be used with qualifier nodes which are terms, i.e. which have isTerm returning true. Otherwise SelectFromTypeTree should be used instead.

     foo.Bar // represented as Select(Ident(<foo>), <Bar>) Foo#Bar // represented as SelectFromTypeTree(Ident(<Foo>), <Bar>)

     Definition Classes

     Trees

111.  trait SelectFromTypeTreeApi extends Universe.TypTreeApi with Universe.RefTreeApi

     The API that all selects from type trees support

     The API that all selects from type trees support

     Definition Classes

     Trees

112.  abstract class SelectFromTypeTreeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax SelectFromTypeTree(qualifier, name).

     An extractor class to create and pattern match with syntax SelectFromTypeTree(qualifier, name). This AST node corresponds to the following Scala code:

     qualifier # selector

     Note: a path-dependent type p.T is expressed as p.type # T

     Should only be used with qualifier nodes which are types, i.e. which have isType returning true. Otherwise Select should be used instead.

     Foo#Bar // represented as SelectFromTypeTree(Ident(<Foo>), <Bar>) foo.Bar // represented as Select(Ident(<foo>), <Bar>)

     Definition Classes

     Trees

113.  trait SingletonTypeTreeApi extends Universe.TypTreeApi

     The API that all singleton type trees support

     The API that all singleton type trees support

     Definition Classes

     Trees

114.  abstract class SingletonTypeTreeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax SingletonTypeTree(ref).

     An extractor class to create and pattern match with syntax SingletonTypeTree(ref). This AST node corresponds to the following Scala code:

     ref.type

     Definition Classes

     Trees

115.  trait StarApi extends Universe.TermTreeApi

     The API that all stars support

     The API that all stars support

     Definition Classes

     Trees

116.  abstract class StarExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Star(elem).

     An extractor class to create and pattern match with syntax Star(elem). This AST node corresponds to the following Scala code:

     pat*

     Definition Classes

     Trees

117.  trait SuperApi extends Universe.TermTreeApi

     The API that all supers support

     The API that all supers support

     Definition Classes

     Trees

118.  abstract class SuperExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Super(qual, mix).

     An extractor class to create and pattern match with syntax Super(qual, mix). This AST node corresponds to the following Scala code:

     C.super[M]

     Which is represented as:

     Super(This(C), M)

     If mix is empty, it is tpnme.EMPTY.

     The symbol of a Super is the class _from_ which the super reference is made. For instance in C.super(...), it would be C.

     Definition Classes

     Trees

119.  trait SymTreeApi extends Universe.TreeApi

     The API that all sym trees support

     The API that all sym trees support

     Definition Classes

     Trees

120.  trait TemplateApi extends Universe.SymTreeApi

     The API that all templates support

     The API that all templates support

     Definition Classes

     Trees

121.  abstract class TemplateExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Template(parents, self, body).

     An extractor class to create and pattern match with syntax Template(parents, self, body). This AST node corresponds to the following Scala code:

     extends parents { self => body }

     In case when the self-type annotation is missing, it is represented as an empty value definition with nme.WILDCARD as name and NoType as type.

     The symbol of a template is a local dummy. @see Symbol.newLocalDummy The owner of the local dummy is the enclosing trait or class. The local dummy is itself the owner of any local blocks. For example:

     class C { def foo { // owner is C def bar // owner is local dummy } }

     Definition Classes

     Trees

122.  trait TermTreeApi extends Universe.TreeApi

     The API that all term trees support

     The API that all term trees support

     Definition Classes

     Trees

123.  trait ThisApi extends Universe.TermTreeApi with Universe.SymTreeApi

     The API that all thises support

     The API that all thises support

     Definition Classes

     Trees

124.  abstract class ThisExtractor extends AnyRef

     An extractor class to create and pattern match with syntax This(qual).

     An extractor class to create and pattern match with syntax This(qual). This AST node corresponds to the following Scala code:

     qual.this

     The symbol of a This is the class to which the this refers. For instance in C.this, it would be C.

     Definition Classes

     Trees

125.  trait ThrowApi extends Universe.TermTreeApi

     The API that all tries support

     The API that all tries support

     Definition Classes

     Trees

126.  abstract class ThrowExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Throw(expr).

     An extractor class to create and pattern match with syntax Throw(expr). This AST node corresponds to the following Scala code:

     throw expr

     Definition Classes

     Trees

127.  abstract class Transformer extends AnyRef

     A class that implement a default tree transformation strategy: breadth-first component-wise cloning.

     A class that implement a default tree transformation strategy: breadth-first component-wise cloning.

     Definition Classes

     Trees

128.  class Traverser extends AnyRef

     A class that implement a default tree traversal strategy: breadth-first component-wise.

     A class that implement a default tree traversal strategy: breadth-first component-wise.

     Definition Classes

     Trees

129.  trait TreeApi extends Product

     The API that all trees support.

     The API that all trees support. The main source of information about trees is the scala.reflect.api.Trees page.

     Definition Classes

     Trees

130.  abstract class TreeCopierOps extends AnyRef

     The API of a tree copier.

     The API of a tree copier.

     Definition Classes

     Trees

131.  trait TryApi extends Universe.TermTreeApi

     The API that all tries support

     The API that all tries support

     Definition Classes

     Trees

132.  abstract class TryExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Try(block, catches, finalizer).

     An extractor class to create and pattern match with syntax Try(block, catches, finalizer). This AST node corresponds to the following Scala code:

     try block catch { catches } finally finalizer

     If the finalizer is not present, the finalizer is set to EmptyTree.

     Definition Classes

     Trees

133.  trait TypTreeApi extends Universe.TreeApi

     The API that all typ trees support

     The API that all typ trees support

     Definition Classes

     Trees

134.  trait TypeApplyApi extends Universe.GenericApplyApi

     The API that all type applies support

     The API that all type applies support

     Definition Classes

     Trees

135.  abstract class TypeApplyExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeApply(fun, args).

     An extractor class to create and pattern match with syntax TypeApply(fun, args). This AST node corresponds to the following Scala code:

     fun[args]

     Should only be used with fun nodes which are terms, i.e. which have isTerm returning true. Otherwise AppliedTypeTree should be used instead.

     def foo[T] = ??? foo[Int] // represented as TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

     List[Int] as in val x: List[Int] = ??? // represented as AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

     Definition Classes

     Trees

136.  trait TypeBoundsTreeApi extends Universe.TypTreeApi

     The API that all type bound trees support

     The API that all type bound trees support

     Definition Classes

     Trees

137.  abstract class TypeBoundsTreeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeBoundsTree(lo, hi).

     An extractor class to create and pattern match with syntax TypeBoundsTree(lo, hi). This AST node corresponds to the following Scala code:

     >: lo <: hi

     Definition Classes

     Trees

138.  trait TypeDefApi extends Universe.MemberDefApi

     The API that all type defs support

     The API that all type defs support

     Definition Classes

     Trees

139.  abstract class TypeDefExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeDef(mods, name, tparams, rhs).

     An extractor class to create and pattern match with syntax TypeDef(mods, name, tparams, rhs). This AST node corresponds to the following Scala code:

     mods type name[tparams] = rhs

     mods type name[tparams] >: lo <: hi

     First usage illustrates TypeDefs representing type aliases and type parameters. Second usage illustrates TypeDefs representing abstract types, where lo and hi are both TypeBoundsTrees and Modifier.deferred is set in mods.

     Definition Classes

     Trees

140.  trait TypeTreeApi extends Universe.TypTreeApi

     The API that all type trees support

     The API that all type trees support

     Definition Classes

     Trees

141.  abstract class TypeTreeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeTree().

     An extractor class to create and pattern match with syntax TypeTree(). This AST node does not have direct correspondence to Scala code, and is emitted by everywhere when we want to wrap a Type in a Tree.

     Definition Classes

     Trees

142.  trait TypedApi extends Universe.TermTreeApi

     The API that all typeds support

     The API that all typeds support

     Definition Classes

     Trees

143.  abstract class TypedExtractor extends AnyRef

     An extractor class to create and pattern match with syntax Typed(expr, tpt).

     An extractor class to create and pattern match with syntax Typed(expr, tpt). This AST node corresponds to the following Scala code:

     expr: tpt

     Definition Classes

     Trees

144.  trait UnApplyApi extends Universe.TermTreeApi

     The API that all unapplies support

     The API that all unapplies support

     Definition Classes

     Trees

145.  abstract class UnApplyExtractor extends AnyRef

     An extractor class to create and pattern match with syntax UnApply(fun, args).

     An extractor class to create and pattern match with syntax UnApply(fun, args). This AST node does not have direct correspondence to Scala code, and is introduced when typechecking pattern matches and try blocks.

     Definition Classes

     Trees

146.  trait ValDefApi extends Universe.ValOrDefDefApi

     The API that all val defs support

     The API that all val defs support

     Definition Classes

     Trees

147.  abstract class ValDefExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ValDef(mods, name, tpt, rhs).

     An extractor class to create and pattern match with syntax ValDef(mods, name, tpt, rhs). This AST node corresponds to any of the following Scala code:

     mods val name: tpt = rhs

     mods var name: tpt = rhs

     mods name: tpt = rhs // in signatures of function and method definitions

     self: Bar => // self-types

     If the type of a value is not specified explicitly (i.e. is meant to be inferred), this is expressed by having tpt set to TypeTree() (but not to an EmptyTree!).

     Definition Classes

     Trees

148.  trait ValOrDefDefApi extends Universe.MemberDefApi

     The API that all val defs and def defs support

     The API that all val defs and def defs support

     Definition Classes

     Trees

149.  trait TypeTag[T] extends Universe.WeakTypeTag[T] with Equals with Serializable

     A TypeTag is a scala.reflect.api.TypeTags#WeakTypeTag with the additional static guarantee that all type references are concrete, i.e.

     A TypeTag is a scala.reflect.api.TypeTags#WeakTypeTag with the additional static guarantee that all type references are concrete, i.e. it does not contain any references to unresolved type parameters or abstract types.

     Definition Classes

     TypeTags

     Annotations

     @implicitNotFound( "No TypeTag available for ${T}" )

     See also

     scala.reflect.api.TypeTags

150.  trait WeakTypeTag[T] extends Equals with Serializable

     If an implicit value of type WeakTypeTag[T] is required, the compiler will create one, and the reflective representation of T can be accessed via the tpe field.

     If an implicit value of type WeakTypeTag[T] is required, the compiler will create one, and the reflective representation of T can be accessed via the tpe field. Components of T can be references to type parameters or abstract types. Note that WeakTypeTag makes an effort to be as concrete as possible, i.e. if TypeTags are available for the referenced type arguments or abstract types, they are used to embed the concrete types into the WeakTypeTag. Otherwise the WeakTypeTag will contain a reference to an abstract type. This behavior can be useful, when one expects T to be perhaps be partially abstract, but requires special care to handle this case. However, if T is expected to be fully known, use scala.reflect.api.TypeTags#TypeTag instead, which statically guarantees this property.

     For more information about TypeTags, see the Reflection Guide: TypeTags

     Definition Classes

     TypeTags

     Annotations

     @implicitNotFound( "No WeakTypeTag available for ${T}" )

     See also

     scala.reflect.api.TypeTags

151.  trait AnnotatedTypeApi extends Universe.TypeApi

     The API that all annotated types support.

     The API that all annotated types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

152.  abstract class AnnotatedTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax AnnotatedType(annotations, underlying).

     An extractor class to create and pattern match with syntax AnnotatedType(annotations, underlying). Here, annotations are the annotations decorating the underlying type underlying. selfSym is a symbol representing the annotated type itself.

     Definition Classes

     Types

153.  trait BoundedWildcardTypeApi extends Universe.TypeApi

     The API that all this types support.

     The API that all this types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

154.  abstract class BoundedWildcardTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax BoundedWildcardTypeExtractor(bounds) with bounds denoting the type bounds.

     An extractor class to create and pattern match with syntax BoundedWildcardTypeExtractor(bounds) with bounds denoting the type bounds.

     Definition Classes

     Types

155.  trait ClassInfoTypeApi extends Universe.TypeApi

     The API that all class info types support.

     The API that all class info types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

156.  abstract class ClassInfoTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ClassInfo(parents, decls, clazz) Here, parents is the list of parent types of the class, decls is the scope containing all declarations in the class, and clazz is the symbol of the class itself.

     An extractor class to create and pattern match with syntax ClassInfo(parents, decls, clazz) Here, parents is the list of parent types of the class, decls is the scope containing all declarations in the class, and clazz is the symbol of the class itself.

     Definition Classes

     Types

157.  trait CompoundTypeApi extends AnyRef

     Has no special methods.

     Has no special methods. Is here to provides erased identity for CompoundType.

     Definition Classes

     Types

158.  trait ConstantTypeApi extends Universe.TypeApi

     The API that all constant types support.

     The API that all constant types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

159.  abstract class ConstantTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ConstantType(constant) Here, constant is the constant value represented by the type.

     An extractor class to create and pattern match with syntax ConstantType(constant) Here, constant is the constant value represented by the type.

     Definition Classes

     Types

160.  trait ExistentialTypeApi extends Universe.TypeApi

     The API that all existential types support.

     The API that all existential types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

161.  abstract class ExistentialTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ExistentialType(quantified, underlying).

     An extractor class to create and pattern match with syntax ExistentialType(quantified, underlying). Here, quantified are the type variables bound by the existential type and underlying is the type that's existentially quantified.

     Definition Classes

     Types

162.  trait MethodTypeApi extends Universe.TypeApi

     The API that all method types support.

     The API that all method types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

163.  abstract class MethodTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax MethodType(params, restpe) Here, params is a potentially empty list of parameter symbols of the method, and restpe is the result type of the method.

     An extractor class to create and pattern match with syntax MethodType(params, restpe) Here, params is a potentially empty list of parameter symbols of the method, and restpe is the result type of the method. If the method is curried, restpe would be another MethodType. Note: MethodType(Nil, Int) would be the type of a method defined with an empty parameter list.

     def f(): Int

     If the method is completely parameterless, as in

     def f: Int

     its type is a NullaryMethodType.

     Definition Classes

     Types

164.  trait NullaryMethodTypeApi extends Universe.TypeApi

     The API that all nullary method types support.

     The API that all nullary method types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

165.  abstract class NullaryMethodTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax NullaryMethodType(resultType).

     An extractor class to create and pattern match with syntax NullaryMethodType(resultType). Here, resultType is the result type of the parameterless method.

     Definition Classes

     Types

166.  trait PolyTypeApi extends Universe.TypeApi

     The API that all polymorphic types support.

     The API that all polymorphic types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

167.  abstract class PolyTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax PolyType(typeParams, resultType).

     An extractor class to create and pattern match with syntax PolyType(typeParams, resultType). Here, typeParams are the type parameters of the method and resultType is the type signature following the type parameters.

     Definition Classes

     Types

168.  trait RefinedTypeApi extends Universe.TypeApi

     The API that all refined types support.

     The API that all refined types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

169.  abstract class RefinedTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax RefinedType(parents, decls) Here, parents is the list of parent types of the class, and decls is the scope containing all declarations in the class.

     An extractor class to create and pattern match with syntax RefinedType(parents, decls) Here, parents is the list of parent types of the class, and decls is the scope containing all declarations in the class.

     Definition Classes

     Types

170.  trait SingleTypeApi extends Universe.TypeApi

     The API that all single types support.

     The API that all single types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

171.  abstract class SingleTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax SingleType(pre, sym) Here, pre is the prefix of the single-type, and sym is the stable value symbol referred to by the single-type.

     An extractor class to create and pattern match with syntax SingleType(pre, sym) Here, pre is the prefix of the single-type, and sym is the stable value symbol referred to by the single-type.

     Definition Classes

     Types

172.  trait SingletonTypeApi extends AnyRef

     Has no special methods.

     Has no special methods. Is here to provides erased identity for SingletonType.

     Definition Classes

     Types

173.  trait SuperTypeApi extends Universe.TypeApi

     The API that all super types support.

     The API that all super types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

174.  abstract class SuperTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax SingleType(thistpe, supertpe)

     An extractor class to create and pattern match with syntax SingleType(thistpe, supertpe)

     Definition Classes

     Types

175.  trait ThisTypeApi extends Universe.TypeApi

     The API that all this types support.

     The API that all this types support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

176.  abstract class ThisTypeExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ThisType(sym) where sym is the class prefix of the this type.

     An extractor class to create and pattern match with syntax ThisType(sym) where sym is the class prefix of the this type.

     Definition Classes

     Types

177.  abstract class TypeApi extends AnyRef

     The API of types.

     The API of types. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

178.  trait TypeBoundsApi extends Universe.TypeApi

     The API that all type bounds support.

     The API that all type bounds support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

179.  abstract class TypeBoundsExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeBound(lower, upper) Here, lower is the lower bound of the TypeBounds pair, and upper is the upper bound.

     An extractor class to create and pattern match with syntax TypeBound(lower, upper) Here, lower is the lower bound of the TypeBounds pair, and upper is the upper bound.

     Definition Classes

     Types

180.  trait TypeRefApi extends Universe.TypeApi

     The API that all type refs support.

     The API that all type refs support. The main source of information about types is the scala.reflect.api.Types page.

     Definition Classes

     Types

181.  abstract class TypeRefExtractor extends AnyRef

     An extractor class to create and pattern match with syntax TypeRef(pre, sym, args) Here, pre is the prefix of the type reference, sym is the symbol referred to by the type reference, and args is a possible empty list of type arguments.

     An extractor class to create and pattern match with syntax TypeRef(pre, sym, args) Here, pre is the prefix of the type reference, sym is the symbol referred to by the type reference, and args is a possible empty list of type arguments.

     Definition Classes

     Types

182.  trait MacroCompatApi extends CompatApi
     Definition Classes

     Universe

     See also

     compat

183.  trait MacroInternalApi extends InternalApi

     <invalid inheritdoc annotation>

     <invalid inheritdoc annotation>

     Definition Classes

     Universe

184.  trait TreeGen extends AnyRef
     Definition Classes

     Universe

185.  trait AbstractTypeRef extends internal.SymbolTable.TypeRef with internal.SymbolTable.NonClassTypeRef

     Definition Classes

     Types

186.  class AbstractTypeSymbol extends internal.SymbolTable.TypeSymbol

     Let's say you have a type definition

     Let's say you have a type definition

     type T <: Number

     and tsym is the symbol corresponding to T. Then

     tsym is an instance of AbstractTypeSymbol
     tsym.info == TypeBounds(Nothing, Number)
     tsym.tpe  == TypeRef(NoPrefix, T, List())

     Definition Classes

     Symbols

187.  trait AliasTypeRef extends internal.SymbolTable.TypeRef with internal.SymbolTable.NonClassTypeRef

     Definition Classes

     Types

188.  class AliasTypeSymbol extends internal.SymbolTable.TypeSymbol

     Definition Classes

     Symbols

189.  case class Alternative extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.AlternativeApi with Product with Serializable

     Definition Classes

     Trees

190.  trait Annotatable[Self] extends AnyRef

     Definition Classes

     AnnotationInfos

191.  case class Annotated extends internal.SymbolTable.Tree with internal.SymbolTable.AnnotatedApi with Product with Serializable

     Definition Classes

     Trees

192.  case class AnnotatedType extends internal.SymbolTable.Type with internal.SymbolTable.RewrappingTypeProxy with internal.SymbolTable.AnnotatedTypeApi with Product with Serializable

     A type carrying some annotations.

     A type carrying some annotations. Created by the typechecker when eliminating Annotated trees (see typedAnnotated).

     Definition Classes

     Types

193.  trait AnnotationChecker extends AnyRef

     An additional checker for annotations on types.

     An additional checker for annotations on types. Typically these are registered by compiler plugins with the addAnnotationChecker method.

     Definition Classes

     AnnotationCheckers

194.  trait AnnotationFilter extends internal.SymbolTable.TypeMap

     Definition Classes

     TypeMaps

195.  abstract class AnnotationInfo extends internal.SymbolTable.AnnotationApi

     Typed information about an annotation.

     Typed information about an annotation. It can be attached to either a symbol or an annotated type.

     Annotations are written to the classfile as Java annotations if atp conforms to ClassfileAnnotation (the classfile parser adds this interface to any Java annotation class).

     Annotations are pickled (written to scala symtab attribute in the classfile) if atp inherits form StaticAnnotation.

     args stores arguments to Scala annotations, represented as typed trees. Note that these trees are not transformed by any phases following the type-checker.

     assocs stores arguments to classfile annotations as name-value pairs.

     Definition Classes

     AnnotationInfos

196.  case class AntiPolyType extends internal.SymbolTable.Type with Product with Serializable

     A class remembering a type instantiation for some a set of overloaded polymorphic symbols.

     A class remembering a type instantiation for some a set of overloaded polymorphic symbols. Not used after phase typer.

     Definition Classes

     Types

197.  case class AppliedTypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.AppliedTypeTreeApi with Product with Serializable

     Definition Classes

     Trees

198.  class AppliedTypeVar extends internal.SymbolTable.TypeVar

     Precondition: params.length == typeArgs.length > 0 (enforced structurally).

     Precondition: params.length == typeArgs.length > 0 (enforced structurally).

     Definition Classes

     Types

199.  case class Apply extends internal.SymbolTable.GenericApply with internal.SymbolTable.ApplyApi with Product with Serializable

     Definition Classes

     Trees

200.  case class ApplyDynamic extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with Product with Serializable

     Definition Classes

     Trees

201.  class ApplyImplicitView extends internal.SymbolTable.Apply

     Definition Classes

     Trees

202.  class ApplyToImplicitArgs extends internal.SymbolTable.Apply

     Definition Classes

     Trees

203.  class ArgsTypeRef extends internal.SymbolTable.TypeRef

     Definition Classes

     Types

204.  case class ArrayAnnotArg extends internal.SymbolTable.ClassfileAnnotArg with internal.SymbolTable.ArrayArgumentApi with Product with Serializable

     Represents an array of classfile annotation arguments

     Represents an array of classfile annotation arguments

     Definition Classes

     AnnotationInfos

205.  type ArrayArgument = ArrayAnnotArg

     The constructor/extractor for ArrayArgument instances.

     The constructor/extractor for ArrayArgument instances.

     Definition Classes

     AnnotationInfos → Annotations

206.  case class ArrayValue extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with Product with Serializable

     An array of expressions.

     An array of expressions. This AST node needs to be translated in backend. It is used to pass arguments to vararg arguments. Introduced by compiler phase uncurry.

     This AST node does not have direct correspondence to Scala code, and is used to pass arguments to vararg arguments. For instance:

     printf("%s%d", foo, 42)

     Is translated to after compiler phase uncurry to:

     Apply( Ident("printf"), Literal("%s%d"), ArrayValue(<Any>, List(Ident("foo"), Literal(42))))

     Definition Classes

     Trees

207.  class AsSeenFromMap extends internal.SymbolTable.TypeMap with internal.SymbolTable.KeepOnlyTypeConstraints

     A map to compute the asSeenFrom method.

     A map to compute the asSeenFrom method.

     Definition Classes

     TypeMaps

208.  case class Assign extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.AssignApi with Product with Serializable

     Definition Classes

     Trees

209.  case class AssignOrNamedArg extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.AssignOrNamedArgApi with Product with Serializable

     Definition Classes

     Trees

210.  trait Attachable extends AnyRef

     Common code between reflect-internal Symbol and Tree related to Attachments.

     Common code between reflect-internal Symbol and Tree related to Attachments.

     Definition Classes

     StdAttachments

211.  class BaseTypeSeq extends AnyRef

     Note: constructor is protected to force everyone to use the factory method newBaseTypeSeq instead.

     Note: constructor is protected to force everyone to use the factory method newBaseTypeSeq instead. This is necessary because when run from reflection every base type sequence needs to have a SynchronizedBaseTypeSeq as mixin.

     Definition Classes

     BaseTypeSeqs

212.  case class Bind extends internal.SymbolTable.DefTree with internal.SymbolTable.BindApi with Product with Serializable

     Definition Classes

     Trees

213.  case class Block extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.BlockApi with Product with Serializable

     Definition Classes

     Trees

214.  case class BoundedWildcardType extends internal.SymbolTable.Type with internal.SymbolTable.BoundedWildcardTypeApi with Product with Serializable

     BoundedWildcardTypes, used only during type inference, are created in two places that I can find:

     BoundedWildcardTypes, used only during type inference, are created in two places that I can find:

     1. If the expected type of an expression is an existential type, its hidden symbols are replaced with bounded wildcards. 2. When an implicit conversion is being sought based in part on the name of a method in the converted type, a HasMethodMatching type is created: a MethodType with parameters typed as BoundedWildcardTypes.

     Definition Classes

     Types

215.  trait CannotHaveAttrs extends internal.SymbolTable.Tree

     Definition Classes

     Trees

216.  case class CaseDef extends internal.SymbolTable.Tree with internal.SymbolTable.CaseDefApi with Product with Serializable

     Definition Classes

     Trees

217.  case class ChangeOwnerAttachment extends Product with Serializable

     Definition Classes

     StdAttachments

218.  class ChangeOwnerTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

219.  abstract class ChildSolidDescendantsCollector extends internal.SymbolTable.Traverser

     Definition Classes

     Positions

220.  case class ClassDef extends internal.SymbolTable.ImplDef with internal.SymbolTable.ClassDefApi with Product with Serializable

     Definition Classes

     Trees

221.  case class ClassInfoType extends internal.SymbolTable.CompoundType with internal.SymbolTable.ClassInfoTypeApi with Product with Serializable

     A class representing a class info

     A class representing a class info

     Definition Classes

     Types

222.  class ClassSymbol extends internal.SymbolTable.TypeSymbol with internal.SymbolTable.ClassSymbolApi

     A class for class symbols

     A class for class symbols

     Definition Classes

     Symbols

223.  class ClassUnwrapper extends internal.SymbolTable.TypeUnwrapper

     Definition Classes

     Types

224.  sealed abstract class ClassfileAnnotArg extends Product with internal.SymbolTable.JavaArgumentApi

     Arguments to classfile annotations (which are written to bytecode as java annotations) are either:

     Arguments to classfile annotations (which are written to bytecode as java annotations) are either:

     • constants
     • arrays of constants
     • or nested classfile annotations

     Definition Classes

     AnnotationInfos

225.  class CodePrinter extends internal.SymbolTable.TreePrinter

     Definition Classes

     Printers

226.  class CollectTreeTraverser[T] extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

227.  class CollectTypeCollector[T] extends internal.SymbolTable.TypeCollector[List[T]]

     A map to implement the collect method.

     A map to implement the collect method.

     Definition Classes

     TypeMaps

228.  abstract class CommonNames extends internal.SymbolTable.NamesApi

     Definition Classes

     StdNames

229.  class CommonOwnerMap extends internal.SymbolTable.TypeTraverserWithResult[internal.SymbolTable.Symbol]

     Attributes

     protected

     Definition Classes

     CommonOwners

230.  type Compat = MacroCompatApi
     Definition Classes

     Internals → Internals

     See also

     compat

231.  class CompleteAnnotationInfo extends internal.SymbolTable.AnnotationInfo

     Definition Classes

     AnnotationInfos

232.  abstract class CompoundType extends internal.SymbolTable.Type with internal.SymbolTable.CompoundTypeApi

     A common base class for intersection types and class types

     A common base class for intersection types and class types

     Definition Classes

     Types

233.  case class CompoundTypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.CompoundTypeTreeApi with Product with Serializable

     Definition Classes

     Trees

234.  case class CompoundTypeTreeOriginalAttachment extends Product with Serializable

     Stores the trees that give rise to a refined type to be used in reification.

     Stores the trees that give rise to a refined type to be used in reification. Unfortunately typed CompoundTypeTree is lacking essential info, and the reifier cannot use CompoundTypeTree.tpe. Therefore we need this hack (see Reshape.toPreTyperTypeTree for a detailed explanation).

     Definition Classes

     StdAttachments

235.  case class Constant extends internal.SymbolTable.ConstantApi with Product with Serializable

     Definition Classes

     Constants

236.  abstract case class ConstantType extends internal.SymbolTable.SingletonType with internal.SymbolTable.ConstantTypeApi with Product with Serializable

     A class representing a constant type.

     A class representing a constant type.

     Definition Classes

     Types

237.  class ContainsCollector extends internal.SymbolTable.TypeCollector[Boolean]

     A map to implement the contains method.

     A map to implement the contains method.

     Definition Classes

     TypeMaps

238.  case class CyclicReference extends internal.SymbolTable.TypeError with Product with Serializable

     An exception for cyclic references of symbol definitions

     An exception for cyclic references of symbol definitions

     Definition Classes

     Symbols

239.  case class DefDef extends internal.SymbolTable.ValOrDefDef with internal.SymbolTable.DefDefApi with Product with Serializable

     Definition Classes

     Trees

240.  abstract class DefTree extends internal.SymbolTable.SymTree with internal.SymbolTable.NameTree with internal.SymbolTable.DefTreeApi

     Definition Classes

     Trees

241.  class DefaultPosAssigner extends internal.SymbolTable.Traverser with internal.SymbolTable.PosAssigner

     Attributes

     protected

     Definition Classes

     Positions

242.  abstract class DefinitionsClass extends internal.SymbolTable.DefinitionsApi with internal.SymbolTable.ValueClassDefinitions

     Definition Classes

     Definitions

243.  abstract case class ErasedValueType extends internal.SymbolTable.UniqueType with Product with Serializable

     A temporary type representing the erasure of a user-defined value type.

     A temporary type representing the erasure of a user-defined value type. Created during phase erasure, eliminated again in posterasure.

     scala/bug#6385 Erasure's creation of bridges considers method signatures exitingErasure, which contain ErasedValueType-s. In order to correctly consider the overriding and overridden signatures as equivalent in run/t6385.scala, it is critical that this type contains the erasure of the wrapped type, rather than the unerased type of the value class itself, as was originally done.

     Definition Classes

     Types

244.  class ErroneousAnnotation extends internal.SymbolTable.CompleteAnnotationInfo

     Definition Classes

     AnnotationInfos

245.  class ErrorScope extends internal.SymbolTable.Scope

     The error scope.

     The error scope.

     Definition Classes

     Scopes

246.  class ExistentialExtrapolation extends internal.SymbolTable.TypeMap

     Used by existentialAbstraction.

     Used by existentialAbstraction.

     Definition Classes

     TypeMaps

247.  case class ExistentialType extends internal.SymbolTable.Type with internal.SymbolTable.RewrappingTypeProxy with internal.SymbolTable.ExistentialTypeApi with Product with Serializable

     Definition Classes

     Types

248.  case class ExistentialTypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.ExistentialTypeTreeApi with Product with Serializable

     Definition Classes

     Trees

249.  class FilterTreeTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

250.  class FilterTypeCollector extends internal.SymbolTable.TypeCollector[List[internal.SymbolTable.Type]]

     A map to implement the filter method.

     A map to implement the filter method.

     Definition Classes

     TypeMaps

251.  class FindTreeTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

252.  class FindTypeCollector extends internal.SymbolTable.TypeCollector[Option[internal.SymbolTable.Type]]

     A map to implement the filter method.

     A map to implement the filter method.

     Definition Classes

     TypeMaps

253.  case class FixedMirrorTreeCreator extends TreeCreator with Product with Serializable

     Definition Classes

     StdCreators

254.  case class FixedMirrorTypeCreator extends TypeCreator with Product with Serializable

     Definition Classes

     StdCreators

255.  trait FlagAgnosticCompleter extends internal.SymbolTable.LazyType

     A marker trait representing an as-yet unevaluated type which doesn't assign flags to the underlying symbol.

     A marker trait representing an as-yet unevaluated type which doesn't assign flags to the underlying symbol.

     Definition Classes

     Types

256.  trait FlagAssigningCompleter extends internal.SymbolTable.LazyType

     A marker trait representing an as-yet unevaluated type which assigns flags to the underlying symbol.

     A marker trait representing an as-yet unevaluated type which assigns flags to the underlying symbol.

     Definition Classes

     Types

257.  class ForEachTypeTraverser extends internal.SymbolTable.TypeTraverser

     Definition Classes

     TypeMaps

258.  class ForeachPartialTreeTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

259.  class ForeachTreeTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

260.  trait FreeSymbol extends internal.SymbolTable.Symbol

     Definition Classes

     Symbols

261.  class FreeTermSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.FreeSymbol with internal.SymbolTable.FreeTermSymbolApi

     Definition Classes

     Symbols

262.  class FreeTypeSymbol extends internal.SymbolTable.TypeSkolem with internal.SymbolTable.FreeSymbol with internal.SymbolTable.FreeTypeSymbolApi

     Definition Classes

     Symbols

263.  class FreshNameExtractor extends AnyRef

     Definition Classes

     FreshNames

264.  case class Function extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with internal.SymbolTable.FunctionApi with Product with Serializable

     Definition Classes

     Trees

265.  abstract class GenericApply extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.GenericApplyApi

     Definition Classes

     Trees

266.  class HKTypeVar extends internal.SymbolTable.TypeVar

     Precondition: params.nonEmpty.

     Precondition: params.nonEmpty. (args.nonEmpty enforced structurally.)

     Definition Classes

     Types

267.  case class Ident extends internal.SymbolTable.SymTree with internal.SymbolTable.RefTree with internal.SymbolTable.IdentApi with Product with Serializable

     Definition Classes

     Trees

268.  case class If extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.IfApi with Product with Serializable

     Definition Classes

     Trees

269.  abstract class ImplDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.ImplDefApi

     Definition Classes

     Trees

270.  case class Import extends internal.SymbolTable.SymTree with internal.SymbolTable.ImportApi with Product with Serializable

     Definition Classes

     Trees

271.  case class ImportSelector extends internal.SymbolTable.ImportSelectorApi with Product with Serializable

     Definition Classes

     Trees

272.  case class ImportType extends internal.SymbolTable.Type with Product with Serializable

     Definition Classes

     Types

273.  trait ImportableAttachment extends AnyRef

     Attachment that knows how to import itself into another universe.

     Attachment that knows how to import itself into another universe.

     Definition Classes

     StdAttachments

274.  abstract class InfoTransformer extends AnyRef

     Definition Classes

     InfoTransformers

275.  abstract class InlineAnnotatedAttachment extends AnyRef

     Definition Classes

     StdAttachments

276.  class InstantiateDependentMap extends internal.SymbolTable.TypeMap with internal.SymbolTable.KeepOnlyTypeConstraints

     Note: This map is needed even for non-dependent method types, despite what the name might imply.

     Note: This map is needed even for non-dependent method types, despite what the name might imply.

     Definition Classes

     TypeMaps

277.  type Internal = MacroInternalApi
     Definition Classes

     Internals → Internals

     See also

     InternalApi

278.  abstract class InternalTreeCopierOps extends internal.SymbolTable.TreeCopierOps

     Definition Classes

     Trees

279.  trait JavaClassCompleter extends AnyRef

     Definition Classes

     JavaMirrors

280.  class JavaKeywords extends AnyRef

     Definition Classes

     StdNames

281.  class JavaMethodType extends internal.SymbolTable.MethodType

     Definition Classes

     Types

282.  class JavaMirror extends SymbolTable.Roots with SymbolTable.JavaMirror

     The API of a mirror for a reflective universe

     The API of a mirror for a reflective universe

     Definition Classes

     JavaMirrors

283.  trait KeepOnlyTypeConstraints extends internal.SymbolTable.TypeMap with internal.SymbolTable.AnnotationFilter

     Definition Classes

     TypeMaps

284.  abstract class Keywords extends internal.SymbolTable.CommonNames

     This should be the first trait in the linearization.

     This should be the first trait in the linearization.

     Definition Classes

     StdNames

285.  abstract class Kind extends AnyRef

     The data structure describing the kind of a given type.

     The data structure describing the kind of a given type.

     Proper types are represented using ProperTypeKind.

     Type constructors are represented using TypeConKind.

     Definition Classes

     Kinds

286.  case class KindErrors extends Product with Serializable

     Definition Classes

     Kinds

287.  case class LabelDef extends internal.SymbolTable.DefTree with internal.SymbolTable.TermTree with internal.SymbolTable.LabelDefApi with Product with Serializable

     Definition Classes

     Trees

288.  final class LazyAnnotationInfo extends internal.SymbolTable.AnnotationInfo

     Symbol annotations parsed in Namer (typeCompleter of definitions) have to be lazy (#1782)

     Symbol annotations parsed in Namer (typeCompleter of definitions) have to be lazy (#1782)

     Definition Classes

     AnnotationInfos

289.  class LazyPackageType extends SymbolTable.LazyType with SymbolTable.FlagAgnosticCompleter

     The type completer for packages.

     The type completer for packages.

     Definition Classes

     SymbolLoaders

290.  abstract class LazyPolyType extends internal.SymbolTable.LazyType

     Definition Classes

     Types

291.  class LazyTreeCopier extends internal.SymbolTable.InternalTreeCopierOps

     Definition Classes

     Trees

292.  abstract class LazyType extends internal.SymbolTable.Type

     A class representing an as-yet unevaluated type.

     A class representing an as-yet unevaluated type.

     Definition Classes

     Types

293.  case class Literal extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.LiteralApi with Product with Serializable

     Definition Classes

     Trees

294.  case class LiteralAnnotArg extends internal.SymbolTable.ClassfileAnnotArg with internal.SymbolTable.LiteralArgumentApi with Product with Serializable

     Represents a compile-time Constant (Boolean, Byte, Short, Char, Int, Long, Float, Double, String, java.lang.Class or an instance of a Java enumeration value).

     Represents a compile-time Constant (Boolean, Byte, Short, Char, Int, Long, Float, Double, String, java.lang.Class or an instance of a Java enumeration value).

     Definition Classes

     AnnotationInfos

295.  type LiteralArgument = LiteralAnnotArg

     The constructor/extractor for LiteralArgument instances.

     The constructor/extractor for LiteralArgument instances.

     Definition Classes

     AnnotationInfos → Annotations

296.  class Locator extends internal.SymbolTable.Traverser

     A locator for trees with given positions.

     A locator for trees with given positions. Given a position pos, locator.apply returns the smallest tree that encloses pos.

     Definition Classes

     Positions

297.  case class LookupAmbiguous extends internal.SymbolTable.NameLookup with Product with Serializable

     Definition Classes

     Scopes

298.  case class LookupInaccessible extends internal.SymbolTable.NameLookup with Product with Serializable

     Definition Classes

     Scopes

299.  case class LookupSucceeded extends internal.SymbolTable.NameLookup with Product with Serializable

     Definition Classes

     Scopes

300.  class MalformedType extends internal.SymbolTable.TypeError

     A throwable signalling a malformed type

     A throwable signalling a malformed type

     Definition Classes

     Types

301.  class MappedBaseTypeSeq extends internal.SymbolTable.BaseTypeSeq

     Definition Classes

     BaseTypeSeqs

302.  case class Match extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.MatchApi with Product with Serializable

     Definition Classes

     Trees

303.  abstract class MemberDef extends internal.SymbolTable.DefTree with internal.SymbolTable.MemberDefApi

     Definition Classes

     Trees

304.  class MethodSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.MethodSymbolApi

     A class for method symbols

     A class for method symbols

     Definition Classes

     Symbols

305.  case class MethodType extends internal.SymbolTable.Type with internal.SymbolTable.MethodTypeApi with Product with Serializable

     A class representing a method type with parameters.

     A class representing a method type with parameters. Note that a parameterless method is represented by a NullaryMethodType:

     def m(): Int MethodType(Nil, Int) def m: Int NullaryMethodType(Int)

     Definition Classes

     Types

306.  type Mirror = JavaMirror

     In runtime reflection universes, mirrors are JavaMirrors.

     In runtime reflection universes, mirrors are JavaMirrors.

     Definition Classes

     JavaMirrors → JavaUniverse → Mirrors → Mirrors

307.  class MissingAliasControl extends Throwable with ControlThrowable

     Definition Classes

     Types

308.  class MissingTypeControl extends Throwable with ControlThrowable

     Definition Classes

     Types

309.  case class Modifiers extends internal.SymbolTable.ModifiersApi with HasFlags with Product with Serializable
     Definition Classes

     Trees

310.  class ModuleClassSymbol extends internal.SymbolTable.ClassSymbol

     A class for module class symbols Note: Not all module classes are of this type; when unpickled, we get plain class symbols!

     A class for module class symbols Note: Not all module classes are of this type; when unpickled, we get plain class symbols!

     Definition Classes

     Symbols

311.  case class ModuleDef extends internal.SymbolTable.ImplDef with internal.SymbolTable.ModuleDefApi with Product with Serializable

     Definition Classes

     Trees

312.  class ModuleSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.ModuleSymbolApi

     A class for module symbols

     A class for module symbols

     Definition Classes

     Symbols

313.  class ModuleTypeRef extends internal.SymbolTable.NoArgsTypeRef

     Definition Classes

     Types

314.  sealed abstract class Name extends internal.Names.NameApi with CharSequence

     The name class.

     The name class. TODO - resolve schizophrenia regarding whether to treat Names as Strings or Strings as Names. Give names the key functions the absence of which make people want Strings all the time.

     Definition Classes

     Names

315.  sealed trait NameLookup extends AnyRef

     An ADT to represent the results of symbol name lookups.

     An ADT to represent the results of symbol name lookups.

     Definition Classes

     Scopes

316.  final class NameOps[T <: Name] extends AnyRef

     FIXME: This is a good example of something which is pure "value class" but cannot reap the benefits because an (unused) $outer pointer so it is not single-field.

     FIXME: This is a good example of something which is pure "value class" but cannot reap the benefits because an (unused) $outer pointer so it is not single-field.

     Definition Classes

     Names

317.  trait NameTree extends internal.SymbolTable.Tree with internal.SymbolTable.NameTreeApi

     Definition Classes

     Trees

318.  case class NamedType extends internal.SymbolTable.Type with Product with Serializable

     A class representing types with a name.

     A class representing types with a name. When an application uses named arguments, the named argument types for calling isApplicable are represented as NamedType.

     Definition Classes

     Types

319.  case class NestedAnnotArg extends internal.SymbolTable.ClassfileAnnotArg with internal.SymbolTable.NestedArgumentApi with Product with Serializable

     Represents a nested classfile annotation

     Represents a nested classfile annotation

     Definition Classes

     AnnotationInfos

320.  type NestedArgument = NestedAnnotArg

     The constructor/extractor for NestedArgument instances.

     The constructor/extractor for NestedArgument instances.

     Definition Classes

     AnnotationInfos → Annotations

321.  case class New extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.NewApi with Product with Serializable

     Definition Classes

     Trees

322.  class NoArgsTypeRef extends internal.SymbolTable.TypeRef

     Definition Classes

     Types

323.  class NoCommonType extends Throwable with ControlThrowable

     Definition Classes

     Types

324.  class NoSymbol extends internal.SymbolTable.Symbol

     An object representing a missing symbol

     An object representing a missing symbol

     Definition Classes

     Symbols

325.  trait NonClassTypeRef extends internal.SymbolTable.TypeRef

     Definition Classes

     Types

326.  case class NullaryMethodType extends internal.SymbolTable.Type with internal.SymbolTable.NullaryMethodTypeApi with Product with Serializable

     Definition Classes

     Types

327.  case class OverloadedType extends internal.SymbolTable.Type with Product with Serializable

     A class containing the alternatives and type prefix of an overloaded symbol.

     A class containing the alternatives and type prefix of an overloaded symbol. Not used after phase typer.

     Definition Classes

     Types

328.  class PackageClassInfoType extends internal.SymbolTable.ClassInfoType

     Definition Classes

     Types

329.  class PackageClassSymbol extends internal.SymbolTable.ModuleClassSymbol

     Definition Classes

     Symbols

330.  case class PackageDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.PackageDefApi with Product with Serializable

     Definition Classes

     Trees

331.  class PackageObjectClassSymbol extends internal.SymbolTable.ModuleClassSymbol

     Definition Classes

     Symbols

332.  class PackageScope extends SymbolTable.Scope with SymbolTable.SynchronizedScope

     Definition Classes

     SymbolLoaders

333.  class PackageTypeRef extends internal.SymbolTable.ModuleTypeRef

     Definition Classes

     Types

334.  class PerRunReporting extends PerRunReportingBase
335.  abstract class PerRunReportingBase extends AnyRef

     Definition Classes

     Reporting

336.  type Period = Int

     A period is an ordinal number for a phase in a run.

     A period is an ordinal number for a phase in a run. Phases in later runs have higher periods than phases in earlier runs. Later phases have higher periods than earlier phases in the same run.

     Definition Classes

     SymbolTable

337.  trait PlainAttachment extends internal.SymbolTable.ImportableAttachment

     Attachment that doesn't contain any reflection artifacts and can be imported as-is.

     Attachment that doesn't contain any reflection artifacts and can be imported as-is.

     Definition Classes

     StdAttachments

338.  case class PolyType extends internal.SymbolTable.Type with internal.SymbolTable.PolyTypeApi with Product with Serializable

     A type function or the type of a polymorphic value (and thus of kind *).

     A type function or the type of a polymorphic value (and thus of kind *).

     Before the introduction of NullaryMethodType, a polymorphic nullary method (e.g, def isInstanceOf[T]: Boolean) used to be typed as PolyType(tps, restpe), and a monomorphic one as PolyType(Nil, restpe) This is now: PolyType(tps, NullaryMethodType(restpe)) and NullaryMethodType(restpe) by symmetry to MethodTypes: PolyType(tps, MethodType(params, restpe)) and MethodType(params, restpe)

     Thus, a PolyType(tps, TypeRef(...)) unambiguously indicates a type function (which results from eta-expanding a type constructor alias). Similarly, PolyType(tps, ClassInfoType(...)) is a type constructor.

     A polytype is of kind * iff its resultType is a (nullary) method type.

     Definition Classes

     Types

339.  trait PosAssigner extends internal.SymbolTable.Traverser

     Definition Classes

     Positions

340.  type Position = internal.util.Position

     Defines a universe-specific notion of positions.

     Defines a universe-specific notion of positions. The main documentation entry about positions is located at scala.reflect.api.Position.

     Definition Classes

     Positions → Positions

341.  class ProperTypeKind extends internal.SymbolTable.Kind

     Definition Classes

     Kinds

342.  class QualTypeSymAttachment extends AnyRef

     Definition Classes

     StdAttachments

343.  class RawTreePrinter extends internal.SymbolTable.TreePrinter

     Definition Classes

     Printers

344.  case class RecoverableCyclicReference extends internal.SymbolTable.TypeError with Product with Serializable

     An exception for cyclic references from which we can recover

     An exception for cyclic references from which we can recover

     Definition Classes

     Types

345.  trait RefTree extends internal.SymbolTable.SymTree with internal.SymbolTable.NameTree with internal.SymbolTable.RefTreeApi

     Definition Classes

     Trees

346.  case class ReferenceToBoxed extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.ReferenceToBoxedApi with Product with Serializable

     Definition Classes

     Trees

347.  case class RefinedType extends internal.SymbolTable.CompoundType with internal.SymbolTable.RefinedTypeApi with Product with Serializable

     A class representing intersection types with refinements of the form <parents_0> with ... with <parents_n> { decls } Cannot be created directly; one should always use refinedType for creation.

     A class representing intersection types with refinements of the form <parents_0> with ... with <parents_n> { decls } Cannot be created directly; one should always use refinedType for creation.

     Definition Classes

     Types

348.  final class RefinedType0 extends internal.SymbolTable.RefinedType

     Definition Classes

     Types

349.  class RefinementClassSymbol extends internal.SymbolTable.ClassSymbol

     Definition Classes

     Symbols

350.  class RefinementTypeRef extends internal.SymbolTable.NoArgsTypeRef

     Definition Classes

     Types

351.  trait ReflectStats extends BaseTypeSeqsStats with TypesStats with SymbolTableStats with TreesStats with SymbolsStats with ScopeStats

     Definition Classes

     SymbolTable

352.  class ReificationSupportImpl extends internal.SymbolTable.ReificationSupportApi

     Definition Classes

     ReificationSupport

353.  case class RepeatedType extends internal.SymbolTable.Type with Product with Serializable

     As with NamedType, used only when calling isApplicable.

     As with NamedType, used only when calling isApplicable. Records that the application has a wildcard star (aka _*) at the end of it.

     Definition Classes

     Types

354.  case class Return extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with internal.SymbolTable.ReturnApi with Product with Serializable

     Definition Classes

     Trees

355.  trait RewrappingTypeProxy extends internal.SymbolTable.Type with internal.SymbolTable.SimpleTypeProxy

     A proxy for a type (identified by field underlying) that forwards most operations to it.

     A proxy for a type (identified by field underlying) that forwards most operations to it. Every operation that is overridden for some kind of types is forwarded here. Some operations are rewrapped again.

     Definition Classes

     Types

356.  trait RootSymbol extends internal.SymbolTable.Symbol

     Definition Classes

     Mirrors

357.  abstract class Roots extends internal.SymbolTable.RootsBase

     Definition Classes

     Mirrors

358.  abstract class RootsBase extends api.Mirror[Mirrors.this.type]

     Definition Classes

     Mirrors

359.  type RunId = Int

     An ordinal number for compiler runs.

     An ordinal number for compiler runs. First run has number 1.

     Definition Classes

     SymbolTable

360.  trait RunReporting extends AnyRef

     Definition Classes

     Reporting

361.  type RuntimeClass = Class[_]

     In runtime reflection universes, runtime representation of a class is java.lang.Class.

     In runtime reflection universes, runtime representation of a class is java.lang.Class.

     Definition Classes

     JavaUniverse → Mirrors

362.  case class SAMFunction extends internal.SymbolTable.PlainAttachment with Product with Serializable

     Attached to a Function node during type checking when the expected type is a SAM type (and not a built-in FunctionN).

     Attached to a Function node during type checking when the expected type is a SAM type (and not a built-in FunctionN).

     Ideally, we'd move to Dotty's Closure AST, which tracks the environment, the lifted method that has the implementation, and the target type. For backwards compatibility, an attachment is the best we can do right now.

     Definition Classes

     StdAttachments

     Since

     2.12.0-M4

363.  case class ScalaSigBytes extends internal.SymbolTable.ClassfileAnnotArg with Product with Serializable

     A specific annotation argument that encodes an array of bytes as an array of Long.

     A specific annotation argument that encodes an array of bytes as an array of Long. The type of the argument declared in the annotation must be String. This specialised class is used to encode Scala signatures for reasons of efficiency, both in term of class-file size and in term of compiler performance. Details about the storage format of pickles at the bytecode level (classfile annotations) can be found in SIP-10.

     Definition Classes

     AnnotationInfos

364.  class Scope extends internal.SymbolTable.ScopeApi with internal.SymbolTable.MemberScopeApi

     Note: constructor is protected to force everyone to use the factory methods newScope or newNestedScope instead.

     Note: constructor is protected to force everyone to use the factory methods newScope or newNestedScope instead. This is necessary because when run from reflection every scope needs to have a SynchronizedScope as mixin.

     Definition Classes

     Scopes

365.  class ScopeEntry extends AnyRef

     Definition Classes

     Scopes

366.  case class Select extends internal.SymbolTable.SymTree with internal.SymbolTable.RefTree with internal.SymbolTable.SelectApi with Product with Serializable

     Definition Classes

     Trees

367.  case class SelectFromTypeTree extends internal.SymbolTable.SymTree with internal.SymbolTable.RefTree with internal.SymbolTable.TypTree with internal.SymbolTable.SelectFromTypeTreeApi with Product with Serializable

     Definition Classes

     Trees

368.  trait SimpleTypeProxy extends internal.SymbolTable.Type

     A proxy for a type (identified by field underlying) that forwards most operations to it (for exceptions, see WrappingProxy, which forwards even more operations).

     A proxy for a type (identified by field underlying) that forwards most operations to it (for exceptions, see WrappingProxy, which forwards even more operations). every operation that is overridden for some kind of types should be forwarded.

     Definition Classes

     Types

369.  abstract case class SingleType extends internal.SymbolTable.SingletonType with internal.SymbolTable.SingleTypeApi with Product with Serializable

     A class for singleton types of the form <prefix>.<sym.name>.type.

     A class for singleton types of the form <prefix>.<sym.name>.type. Cannot be created directly; one should always use singleType for creation.

     Definition Classes

     Types

370.  abstract class SingletonType extends internal.SymbolTable.SubType with internal.SymbolTable.SimpleTypeProxy with internal.SymbolTable.SingletonTypeApi

     A base class for types that represent a single value (single-types and this-types).

     A base class for types that represent a single value (single-types and this-types).

     Definition Classes

     Types

371.  case class SingletonTypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.SingletonTypeTreeApi with Product with Serializable

     Definition Classes

     Trees

372.  abstract class StandardImporter extends internal.SymbolTable.Importer

     Definition Classes

     Importers

373.  case class Star extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.StarApi with Product with Serializable

     Definition Classes

     Trees

374.  class StrictTreeCopier extends internal.SymbolTable.InternalTreeCopierOps

     Definition Classes

     Trees

375.  class StubClassSymbol extends internal.SymbolTable.ClassSymbol with internal.SymbolTable.StubSymbol

     Definition Classes

     Symbols

376.  trait StubSymbol extends internal.SymbolTable.Symbol

     Definition Classes

     Symbols

377.  class StubTermSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.StubSymbol

     Definition Classes

     Symbols

378.  abstract class SubType extends internal.SymbolTable.UniqueType

     A base class for types that defer some operations to their immediate supertype.

     A base class for types that defer some operations to their immediate supertype.

     Definition Classes

     Types

379.  final case class SubTypePair extends Product with Serializable

     Definition Classes

     TypeComparers

380.  case class SubpatternsAttachment extends Product with Serializable

     Untyped list of subpatterns attached to selector dummy.

     Untyped list of subpatterns attached to selector dummy.

     Definition Classes

     StdAttachments

381.  abstract class SubstMap[T] extends internal.SymbolTable.TypeMap

     A base class to compute all substitutions

     A base class to compute all substitutions

     Definition Classes

     TypeMaps

382.  class SubstSymMap extends internal.SymbolTable.SubstMap[internal.SymbolTable.Symbol]

     A map to implement the substSym method.

     A map to implement the substSym method.

     Definition Classes

     TypeMaps

383.  class SubstThisMap extends internal.SymbolTable.TypeMap

     A map to implement the substThis method.

     A map to implement the substThis method.

     Definition Classes

     TypeMaps

384.  class SubstTypeMap extends internal.SymbolTable.SubstMap[internal.SymbolTable.Type]

     A map to implement the subst method.

     A map to implement the subst method.

     Definition Classes

     TypeMaps

385.  class SubstWildcardMap extends internal.SymbolTable.TypeMap

     Definition Classes

     TypeMaps

386.  case class Super extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.SuperApi with Product with Serializable

     Definition Classes

     Trees

387.  abstract case class SuperType extends internal.SymbolTable.SingletonType with internal.SymbolTable.SuperTypeApi with Product with Serializable

     Definition Classes

     Types

388.  abstract class SymLoader extends internal.SymbolTable.LazyType

     Definition Classes

     SymbolTable

389.  abstract class SymTree extends internal.SymbolTable.Tree with internal.SymbolTable.SymTreeApi

     Definition Classes

     Trees

390.  abstract class Symbol extends internal.SymbolTable.SymbolContextApiImpl with HasFlags with internal.SymbolTable.Annotatable[internal.SymbolTable.Symbol] with internal.SymbolTable.Attachable

     The class for all symbols

     The class for all symbols

     Definition Classes

     Symbols

391.  abstract class SymbolContextApiImpl extends internal.SymbolTable.SymbolApi

     Definition Classes

     Symbols

392.  sealed abstract class SymbolNames extends AnyRef

     Definition Classes

     StdNames

393.  case class SymbolOps extends Product with Serializable

     Definition Classes

     Symbols

394.  trait SymbolTableInternal extends internal.SymbolTable.MacroInternalApi

     Definition Classes

     Internals

395.  trait SynchronizedBaseTypeSeq extends SymbolTable.BaseTypeSeq

     Definition Classes

     SynchronizedOps

396.  trait SynchronizedClassSymbol extends SymbolTable.ClassSymbol with SymbolTable.SynchronizedTypeSymbol

     Definition Classes

     SynchronizedSymbols

397.  trait SynchronizedMethodSymbol extends SymbolTable.MethodSymbol with SymbolTable.SynchronizedTermSymbol

     Definition Classes

     SynchronizedSymbols

398.  trait SynchronizedModuleClassSymbol extends SymbolTable.ModuleClassSymbol with SymbolTable.SynchronizedClassSymbol

     Definition Classes

     SynchronizedSymbols

399.  trait SynchronizedModuleSymbol extends SymbolTable.ModuleSymbol with SymbolTable.SynchronizedTermSymbol

     Definition Classes

     SynchronizedSymbols

400.  trait SynchronizedScope extends SymbolTable.Scope

     Definition Classes

     SynchronizedOps

401.  trait SynchronizedSymbol extends SymbolTable.Symbol

     Definition Classes

     SynchronizedSymbols

402.  trait SynchronizedTermSymbol extends SymbolTable.Symbol with SymbolTable.SynchronizedSymbol

     Definition Classes

     SynchronizedSymbols

403.  trait SynchronizedTypeSymbol extends SymbolTable.TypeSymbol with SymbolTable.SynchronizedSymbol

     Definition Classes

     SynchronizedSymbols

404.  case class Template extends internal.SymbolTable.SymTree with internal.SymbolTable.TemplateApi with Product with Serializable

     Definition Classes

     Trees

405.  final class TermName extends Name with internal.Names.TermNameApi

     A name that contains no operator chars nor dollar signs.

     A name that contains no operator chars nor dollar signs. TODO - see if it's any faster to do something along these lines. Cute: now that exhaustivity kind of works, the mere presence of this trait causes TermName and TypeName to stop being exhaustive. Commented out.

     Definition Classes

     Names

406.  abstract class TermNames extends internal.SymbolTable.Keywords with internal.SymbolTable.TermNamesApi

     Definition Classes

     StdNames

407.  class TermSymbol extends internal.SymbolTable.Symbol with internal.SymbolTable.TermSymbolApi

     A class for term symbols

     A class for term symbols

     Definition Classes

     Symbols

408.  trait TermTree extends internal.SymbolTable.Tree with internal.SymbolTable.TermTreeApi

     Definition Classes

     Trees

409.  case class This extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with internal.SymbolTable.ThisApi with Product with Serializable

     Definition Classes

     Trees

410.  class ThisSubstituter extends internal.SymbolTable.Transformer

     Substitute clazz.this with to.

     Substitute clazz.this with to. to must be an attributed tree.

     Definition Classes

     Trees

411.  abstract case class ThisType extends internal.SymbolTable.SingletonType with internal.SymbolTable.ThisTypeApi with Product with Serializable

     A class for this-types of the form <sym>.this.type

     A class for this-types of the form <sym>.this.type

     Definition Classes

     Types

412.  trait ThreadLocalStorage[T] extends AnyRef

     Definition Classes

     ThreadLocalStorage

413.  case class Throw extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.ThrowApi with Product with Serializable

     Definition Classes

     Trees

414.  class TopClassCompleter extends SymbolTable.SymLoader with SymbolTable.FlagAssigningCompleter

     The standard completer for top-level classes

     The standard completer for top-level classes

     Definition Classes

     SymbolLoaders

415.  abstract class Tree extends internal.SymbolTable.TreeContextApiImpl with internal.SymbolTable.Attachable with Product

     Definition Classes

     Trees

416.  abstract class TreeContextApiImpl extends internal.SymbolTable.TreeApi

     Definition Classes

     Trees

417.  type TreeCopier = InternalTreeCopierOps

     The type of standard (lazy) tree copiers.

     The type of standard (lazy) tree copiers.

     Definition Classes

     JavaUniverse → Trees → Trees

418.  class TreePrinter extends internal.SymbolTable.TreePrinter

     Definition Classes

     Printers

419.  class TreeReplacer extends internal.SymbolTable.Transformer

     A transformer that replaces tree from with tree to in a given tree

     A transformer that replaces tree from with tree to in a given tree

     Definition Classes

     Trees

420.  trait TreeStackTraverser extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

421.  class TreeSubstituter extends internal.SymbolTable.Transformer

     Definition Classes

     Trees

422.  class TreeSymSubstTraverser extends internal.SymbolTable.TypeMapTreeSubstituter

     Definition Classes

     Trees

423.  class TreeSymSubstituter extends internal.SymbolTable.Transformer

     Substitute symbols in from with symbols in to.

     Substitute symbols in from with symbols in to. Returns a new tree using the new symbols and whose Ident and Select nodes are name-consistent with the new symbols.

     Note: This is currently a destructive operation on the original Tree. Trees currently assigned a symbol in from will be assigned the new symbols without copying, and trees that define symbols with an info that refer a symbol in from will have a new type assigned.

     Definition Classes

     Trees

424.  class TreeTypeSubstituter extends internal.SymbolTable.TypeMapTreeSubstituter

     Definition Classes

     Trees

425.  case class Try extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.TryApi with Product with Serializable

     Definition Classes

     Trees

426.  class TwoWayCache[J, S] extends AnyRef

     Definition Classes

     TwoWayCaches

427.  trait TypTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTreeApi

     Definition Classes

     Trees

428.  abstract class Type extends internal.SymbolTable.TypeApiImpl with internal.SymbolTable.Annotatable[internal.SymbolTable.Type]

     The base class for all types

     The base class for all types

     Definition Classes

     Types

429.  abstract class TypeApiImpl extends internal.SymbolTable.TypeApi

     Definition Classes

     Types

430.  case class TypeApply extends internal.SymbolTable.GenericApply with internal.SymbolTable.TypeApplyApi with Product with Serializable

     Definition Classes

     Trees

431.  abstract case class TypeBounds extends internal.SymbolTable.SubType with internal.SymbolTable.TypeBoundsApi with Product with Serializable

     A class for the bounds of abstract types and type parameters

     A class for the bounds of abstract types and type parameters

     Definition Classes

     Types

432.  case class TypeBoundsTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.TypeBoundsTreeApi with Product with Serializable

     Definition Classes

     Trees

433.  abstract class TypeCollector[T] extends internal.SymbolTable.TypeTraverser

     Definition Classes

     TypeMaps

434.  class TypeConKind extends internal.SymbolTable.Kind

     Definition Classes

     Kinds

435.  class TypeConstraint extends AnyRef

     A class expressing upper and lower bounds constraints of type variables, as well as their instantiations.

     A class expressing upper and lower bounds constraints of type variables, as well as their instantiations.

     Definition Classes

     TypeConstraints

436.  case class TypeDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.TypeDefApi with Product with Serializable

     Definition Classes

     Trees

437.  class TypeError extends Throwable

     A throwable signalling a type error

     A throwable signalling a type error

     Definition Classes

     Types

438.  abstract class TypeMap extends (internal.SymbolTable.Type) ⇒ internal.SymbolTable.Type

     A prototype for mapping a function over all possible types

     A prototype for mapping a function over all possible types

     Definition Classes

     TypeMaps

439.  class TypeMapTreeSubstituter extends internal.SymbolTable.Traverser

     Definition Classes

     Trees

440.  final class TypeName extends Name with internal.Names.TypeNameApi

     Definition Classes

     Names

441.  abstract class TypeNames extends internal.SymbolTable.Keywords with internal.SymbolTable.TypeNamesApi

     Definition Classes

     StdNames

442.  case class TypeParamVarargsAttachment extends Product with Serializable

     An attachment carrying information between uncurry and erasure

     An attachment carrying information between uncurry and erasure

     Definition Classes

     StdAttachments

443.  abstract case class TypeRef extends internal.SymbolTable.UniqueType with internal.SymbolTable.TypeRefApi with Product with Serializable

     A class for named types of the form <prefix>.<sym.name>[args] Cannot be created directly; one should always use typeRef for creation.

     A class for named types of the form <prefix>.<sym.name>[args] Cannot be created directly; one should always use typeRef for creation. (@M: Otherwise hashing breaks)

     Definition Classes

     Types

444.  class TypeSkolem extends internal.SymbolTable.TypeSymbol

     A class for type parameters viewed from inside their scopes

     A class for type parameters viewed from inside their scopes

     Definition Classes

     Symbols

445.  abstract class TypeSymbol extends internal.SymbolTable.Symbol with internal.SymbolTable.TypeSymbolApi

     A class of type symbols.

     A class of type symbols. Alias and abstract types are direct instances of this class. Classes are instances of a subclass.

     Definition Classes

     Symbols

446.  abstract class TypeTraverser extends internal.SymbolTable.TypeMap

     Definition Classes

     TypeMaps

447.  abstract class TypeTraverserWithResult[T] extends internal.SymbolTable.TypeTraverser

     Definition Classes

     TypeMaps

448.  case class TypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.TypeTreeApi with Product with Serializable

     Definition Classes

     Trees

449.  class TypeUnwrapper extends (internal.SymbolTable.Type) ⇒ internal.SymbolTable.Type

     Definition Classes

     Types

450.  abstract case class TypeVar extends internal.SymbolTable.Type with Product with Serializable

     A class representing a type variable: not used after phase typer.

     A class representing a type variable: not used after phase typer.

     A higher-kinded TypeVar has params (Symbols) and typeArgs (Types). A TypeVar with nonEmpty typeArgs can only be instantiated by a higher-kinded type that can be applied to those args. A TypeVar is much like a TypeRef, except it has special logic for equality and subtyping.

     Precondition for this class, enforced structurally: args.isEmpty && params.isEmpty.

     Definition Classes

     Types

451.  case class Typed extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.TypedApi with Product with Serializable

     Definition Classes

     Trees

452.  class TypedLocator extends internal.SymbolTable.Locator

     Definition Classes

     Positions

453.  case class UnApply extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.UnApplyApi with Product with Serializable

     Definition Classes

     Trees

454.  trait UnderConstructionTransformer extends internal.SymbolTable.Transformer

     Tracks the classes currently under construction during a transform

     Tracks the classes currently under construction during a transform

     Definition Classes

     Trees

455.  class UndoLog extends Clearable

     Definition Classes

     TypeConstraints

456.  final class UniqueConstantType extends internal.SymbolTable.ConstantType

     Definition Classes

     Types

457.  final class UniqueErasedValueType extends internal.SymbolTable.ErasedValueType

     Definition Classes

     Types

458.  final class UniqueSingleType extends internal.SymbolTable.SingleType

     Definition Classes

     Types

459.  final class UniqueSuperType extends internal.SymbolTable.SuperType

     Definition Classes

     Types

460.  final class UniqueThisType extends internal.SymbolTable.ThisType

     Definition Classes

     Types

461.  abstract class UniqueType extends internal.SymbolTable.Type with Product

     A type that can be passed to unique(..) and be stored in the uniques map.

     A type that can be passed to unique(..) and be stored in the uniques map.

     Definition Classes

     Types

462.  final class UniqueTypeBounds extends internal.SymbolTable.TypeBounds

     Definition Classes

     Types

463.  trait UntouchableTypeVar extends internal.SymbolTable.TypeVar

     Definition Classes

     Types

464.  case class ValDef extends internal.SymbolTable.ValOrDefDef with internal.SymbolTable.ValDefApi with Product with Serializable

     Definition Classes

     Trees

465.  abstract class ValOrDefDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.ValOrDefDefApi

     Definition Classes

     Trees

466.  class ValidateException extends Exception

     Definition Classes

     Positions

467.  trait ValueClassDefinitions extends AnyRef

     Definition Classes

     Definitions

468.  class VarianceValidator extends internal.SymbolTable.Traverser

     Used in Refchecks.

     Used in Refchecks. TODO - eliminate duplication with varianceInType

     Definition Classes

     Variances

469.  trait ArrayArgumentApi extends AnyRef

     API of ArrayArgument instances.

     API of ArrayArgument instances. The main source of information about annotations is the scala.reflect.api.Annotations page.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

470.  abstract class ArrayArgumentExtractor extends AnyRef

     An extractor class to create and pattern match with syntax ArrayArgument(args) where args is the argument array.

     An extractor class to create and pattern match with syntax ArrayArgument(args) where args is the argument array.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

471.  trait JavaArgumentApi extends AnyRef

     Has no special methods.

     Has no special methods. Is here to provides erased identity for CompoundType.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

472.  trait LiteralArgumentApi extends AnyRef

     The API of LiteralArgument instances.

     The API of LiteralArgument instances. The main source of information about annotations is the scala.reflect.api.Annotations page.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

473.  abstract class LiteralArgumentExtractor extends AnyRef

     An extractor class to create and pattern match with syntax LiteralArgument(value) where value is the constant argument.

     An extractor class to create and pattern match with syntax LiteralArgument(value) where value is the constant argument.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

474.  trait NestedArgumentApi extends AnyRef

     API of NestedArgument instances.

     API of NestedArgument instances. The main source of information about annotations is the scala.reflect.api.Annotations page.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

475.  abstract class NestedArgumentExtractor extends AnyRef

     An extractor class to create and pattern match with syntax NestedArgument(annotation) where annotation is the nested annotation.

     An extractor class to create and pattern match with syntax NestedArgument(annotation) where annotation is the nested annotation.

     Definition Classes

     Annotations

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use Annotation.tree to inspect annotation arguments

476.  abstract type CompilationUnit <: CompilationUnitContextApi

     The type of compilation units.

     The type of compilation units.

     Definition Classes

     Universe

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

     See also

     scala.reflect.macros.Enclosures

477.  trait CompilationUnitContextApi extends AnyRef

     Compilation unit describes a unit of work of the compilation run.

     Compilation unit describes a unit of work of the compilation run. It provides such information as file name, textual representation of the unit and the underlying AST.

     Definition Classes

     Universe

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

     See also

     scala.reflect.macros.Enclosures

478.  abstract type Run <: RunContextApi

     The type of compilation runs.

     The type of compilation runs.

     Definition Classes

     Universe

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

     See also

     scala.reflect.macros.Enclosures

479.  trait RunContextApi extends AnyRef

     Compilation run uniquely identifies current invocation of the compiler (e.g.

     Compilation run uniquely identifies current invocation of the compiler (e.g. can be used to implement per-run caches for macros) and provides access to units of work of the invocation (currently processed unit of work and the list of all units).

     Definition Classes

     Universe

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

     See also

     scala.reflect.macros.Enclosures

480.  type BuildApi = ReificationSupportApi

     Definition Classes

     Internals

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use internal.ReificationSupportApi instead

481.  type ModifiersCreator = ModifiersExtractor

     Definition Classes

     Trees

     Annotations

     @deprecated

     Deprecated

     (Since version 2.11.0) use ModifiersExtractor instead