scala.reflect.runtime

JavaUniverse

class JavaUniverse extends internal.SymbolTable with JavaUniverseForce with ReflectSetup with SymbolTable

An implementation of scala.reflect.api.Universe for runtime reflection using JVM classloaders.

Should not be instantiated directly, use scala.reflect.runtime.universe instead.

Self Type
JavaUniverse
Linear Supertypes
SymbolTable, runtime.ThreadLocalStorage, Gil, SynchronizedOps, SynchronizedTypes, SynchronizedSymbols, SymbolLoaders, JavaMirrors, TwoWayCaches, api.JavaUniverse, ReflectSetup, JavaUniverseForce, internal.SymbolTable, Internals, FreshNames, Translations, PrivateWithin, ReificationSupport, StdCreators, StdAttachments, CapturedVariables, Required, Importers, TypeDebugging, Positions, Printers, Trees, AnnotationCheckers, AnnotationInfos, StdNames, Transforms, InfoTransformers, BaseTypeSeqs, Constants, Definitions, Mirrors, Scopes, FlagSets, ExistentialsAndSkolems, Kinds, Variances, Types, internal.tpe.FindMembers, TypeConstraints, TypeMaps, GlbLubs, CommonOwners, TypeToStrings, TypeComparers, Symbols, Names, Collections, Universe, Universe, Internals, Quasiquotes, Liftables, Printers, Mirrors, StandardLiftables, StandardNames, StandardDefinitions, ImplicitTags, TypeTags, Exprs, Positions, Annotations, Constants, Trees, Names, Scopes, FlagSets, Types, Symbols, AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Content Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Grouped
  2. Alphabetic
  3. By inheritance
Inherited
  1. JavaUniverse
  2. SymbolTable
  3. ThreadLocalStorage
  4. Gil
  5. SynchronizedOps
  6. SynchronizedTypes
  7. SynchronizedSymbols
  8. SymbolLoaders
  9. JavaMirrors
  10. TwoWayCaches
  11. JavaUniverse
  12. ReflectSetup
  13. JavaUniverseForce
  14. SymbolTable
  15. Internals
  16. FreshNames
  17. Translations
  18. PrivateWithin
  19. ReificationSupport
  20. StdCreators
  21. StdAttachments
  22. CapturedVariables
  23. Required
  24. Importers
  25. TypeDebugging
  26. Positions
  27. Printers
  28. Trees
  29. AnnotationCheckers
  30. AnnotationInfos
  31. StdNames
  32. Transforms
  33. InfoTransformers
  34. BaseTypeSeqs
  35. Constants
  36. Definitions
  37. Mirrors
  38. Scopes
  39. FlagSets
  40. ExistentialsAndSkolems
  41. Kinds
  42. Variances
  43. Types
  44. FindMembers
  45. TypeConstraints
  46. TypeMaps
  47. GlbLubs
  48. CommonOwners
  49. TypeToStrings
  50. TypeComparers
  51. Symbols
  52. Names
  53. Collections
  54. Universe
  55. Universe
  56. Internals
  57. Quasiquotes
  58. Liftables
  59. Printers
  60. Mirrors
  61. StandardLiftables
  62. StandardNames
  63. StandardDefinitions
  64. ImplicitTags
  65. TypeTags
  66. Exprs
  67. Positions
  68. Annotations
  69. Constants
  70. Trees
  71. Names
  72. Scopes
  73. FlagSets
  74. Types
  75. Symbols
  76. AnyRef
  77. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new JavaUniverse()

Type Members

  1. trait AbstractTypeRef extends internal.SymbolTable.TypeRef with internal.SymbolTable.NonClassTypeRef

    Definition Classes
    Types
  2. 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
  3. trait AliasTypeRef extends internal.SymbolTable.TypeRef with internal.SymbolTable.NonClassTypeRef

    Definition Classes
    Types
  4. class AliasTypeSymbol extends internal.SymbolTable.TypeSymbol

    Definition Classes
    Symbols
  5. case class Alternative extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.AlternativeApi with Product with Serializable

    Definition Classes
    Trees
  6. trait AlternativeApi extends Universe.TermTreeApi

    The API that all alternatives support

  7. abstract class AlternativeExtractor extends AnyRef

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

  8. trait Annotatable[Self] extends AnyRef

    Definition Classes
    AnnotationInfos
  9. case class Annotated extends internal.SymbolTable.Tree with internal.SymbolTable.AnnotatedApi with Product with Serializable

    Definition Classes
    Trees
  10. trait AnnotatedApi extends Universe.TreeApi

    The API that all annotateds support

  11. abstract class AnnotatedExtractor extends AnyRef

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

  12. 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
  13. trait AnnotatedTypeApi extends Universe.TypeApi

    The API that all annotated types support.

  14. abstract class AnnotatedTypeExtractor extends AnyRef

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

  15. trait AnnotationApi extends AnyRef

    The API of Annotation instances.

  16. 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
  17. abstract class AnnotationExtractor extends AnyRef

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

  18. trait AnnotationFilter extends internal.SymbolTable.TypeMap

    Definition Classes
    TypeMaps
  19. 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
  20. 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
  21. case class AppliedTypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.AppliedTypeTreeApi with Product with Serializable

    Definition Classes
    Trees
  22. trait AppliedTypeTreeApi extends Universe.TypTreeApi

    The API that all applied type trees support

  23. abstract class AppliedTypeTreeExtractor extends AnyRef

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

  24. class AppliedTypeVar extends internal.SymbolTable.TypeVar

    Precondition: zipped params/args nonEmpty.

    Precondition: zipped params/args nonEmpty. (Size equivalence enforced structurally.)

    Definition Classes
    Types
  25. case class Apply extends internal.SymbolTable.GenericApply with internal.SymbolTable.ApplyApi with Product with Serializable

    Definition Classes
    Trees
  26. trait ApplyApi extends Universe.GenericApplyApi

    The API that all applies support

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

    Definition Classes
    Trees
  28. abstract class ApplyExtractor extends AnyRef

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

  29. class ApplyImplicitView extends internal.SymbolTable.Apply

    Definition Classes
    Trees
  30. class ApplyToImplicitArgs extends internal.SymbolTable.Apply

    Definition Classes
    Trees
  31. class ArgsTypeRef extends internal.SymbolTable.TypeRef

    Definition Classes
    Types
  32. 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
  33. 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
  34. 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
  35. case class Assign extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.AssignApi with Product with Serializable

    Definition Classes
    Trees
  36. trait AssignApi extends Universe.TermTreeApi

    The API that all assigns support

  37. abstract class AssignExtractor extends AnyRef

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

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

    Definition Classes
    Trees
  39. trait AssignOrNamedArgApi extends Universe.TermTreeApi

    The API that all assigns support

  40. abstract class AssignOrNamedArgExtractor extends AnyRef

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

  41. 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
  42. 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
  43. case class Bind extends internal.SymbolTable.DefTree with internal.SymbolTable.BindApi with Product with Serializable

    Definition Classes
    Trees
  44. trait BindApi extends Universe.DefTreeApi

    The API that all binds support

  45. abstract class BindExtractor extends AnyRef

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

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

    Definition Classes
    Trees
  47. trait BlockApi extends Universe.TermTreeApi

    The API that all blocks support

  48. abstract class BlockExtractor extends AnyRef

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

  49. case class BooleanFlag(value: Option[Boolean]) extends Product with Serializable

  50. 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
  51. trait BoundedWildcardTypeApi extends Universe.TypeApi

    The API that all this types support.

  52. abstract class BoundedWildcardTypeExtractor extends AnyRef

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

  53. trait CannotHaveAttrs extends internal.SymbolTable.Tree

    Definition Classes
    Trees
  54. case class CaseDef extends internal.SymbolTable.Tree with internal.SymbolTable.CaseDefApi with Product with Serializable

    Definition Classes
    Trees
  55. trait CaseDefApi extends Universe.TreeApi

    The API that all case defs support

  56. abstract class CaseDefExtractor extends AnyRef

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

  57. class ChangeOwnerTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  58. case class ClassDef extends internal.SymbolTable.ImplDef with internal.SymbolTable.ClassDefApi with Product with Serializable

    Definition Classes
    Trees
  59. trait ClassDefApi extends Universe.ImplDefApi

    The API that all class defs support

  60. abstract class ClassDefExtractor extends AnyRef

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

  61. 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
  62. trait ClassInfoTypeApi extends Universe.TypeApi

    The API that all class info types support.

  63. 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.

  64. trait ClassMirror extends Universe.TemplateMirror

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

  65. class ClassSymbol extends internal.SymbolTable.TypeSymbol with internal.SymbolTable.ClassSymbolApi

    A class for class symbols

    A class for class symbols

    Definition Classes
    Symbols
  66. trait ClassSymbolApi extends Universe.TypeSymbolApi

    The API of class symbols.

  67. trait ClassTypeRef extends internal.SymbolTable.TypeRef

    Definition Classes
    Types
  68. class ClassUnwrapper extends internal.SymbolTable.TypeUnwrapper

    Definition Classes
    Types
  69. 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
  70. class CodePrinter extends internal.SymbolTable.TreePrinter

    Definition Classes
    Printers
  71. class CollectTreeTraverser[T] extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  72. 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
  73. abstract class CommonNames extends internal.SymbolTable.NamesApi

    Definition Classes
    StdNames
  74. class CommonOwnerMap extends internal.SymbolTable.TypeTraverserWithResult[internal.SymbolTable.Symbol]

    Attributes
    protected
    Definition Classes
    CommonOwners
  75. type Compat = MacroCompatApi

    Definition Classes
    Internals → Internals
    See also

    compat

  76. trait CompatApi extends AnyRef

  77. class CompatToken extends AnyRef

    Presence of an implicit value of this type in scope indicates that source compatibility with Scala 2.

  78. class CompleteAnnotationInfo extends internal.SymbolTable.AnnotationInfo

    Definition Classes
    AnnotationInfos
  79. 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
  80. trait CompoundTypeApi extends AnyRef

    Has no special methods.

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

    Definition Classes
    Trees
  82. trait CompoundTypeTreeApi extends Universe.TypTreeApi

    The API that all compound type trees support

  83. abstract class CompoundTypeTreeExtractor extends AnyRef

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

  84. 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
  85. case class Constant extends internal.SymbolTable.ConstantApi with Product with Serializable

    Definition Classes
    Constants
  86. abstract class ConstantApi extends AnyRef

    The API of Constant instances.

  87. 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.

  88. 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
  89. trait ConstantTypeApi extends Universe.TypeApi

    The API that all constant types support.

  90. 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.

  91. class ContainsCollector extends internal.SymbolTable.TypeCollector[Boolean]

    A map to implement the contains method.

    A map to implement the contains method.

    Definition Classes
    TypeMaps
  92. 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
  93. case class DefDef extends internal.SymbolTable.ValOrDefDef with internal.SymbolTable.DefDefApi with Product with Serializable

    Definition Classes
    Trees
  94. trait DefDefApi extends Universe.ValOrDefDefApi

    The API that all def defs support

  95. abstract class DefDefExtractor extends AnyRef

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

  96. abstract class DefTree extends internal.SymbolTable.SymTree with internal.SymbolTable.NameTree with internal.SymbolTable.DefTreeApi

    Definition Classes
    Trees
  97. trait DefTreeApi extends Universe.SymTreeApi with Universe.NameTreeApi

    The API that all def trees support

  98. class DefaultPosAssigner extends internal.SymbolTable.Traverser with internal.SymbolTable.PosAssigner

    Attributes
    protected
    Definition Classes
    Positions
  99. trait DefinitionsApi extends Universe.StandardTypes

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

  100. abstract class DefinitionsClass extends internal.SymbolTable.DefinitionsApi with internal.SymbolTable.ValueClassDefinitions

    Definition Classes
    Definitions
  101. 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.

    SI-6385 Erasure's creation of bridges considers method signatures exitingErasure, which contain ErasedValueType-s. In order to correctly consider the overriding and overriden 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
  102. class ErrorScope extends internal.SymbolTable.Scope

    The error scope.

    The error scope.

    Definition Classes
    Scopes
  103. class ExistentialExtrapolation extends internal.SymbolTable.TypeMap

    Used by existentialAbstraction.

    Used by existentialAbstraction.

    Definition Classes
    TypeMaps
  104. case class ExistentialType extends internal.SymbolTable.Type with internal.SymbolTable.RewrappingTypeProxy with internal.SymbolTable.ExistentialTypeApi with Product with Serializable

    Definition Classes
    Types
  105. trait ExistentialTypeApi extends Universe.TypeApi

    The API that all existential types support.

  106. abstract class ExistentialTypeExtractor extends AnyRef

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

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

    Definition Classes
    Trees
  108. trait ExistentialTypeTreeApi extends Universe.TypTreeApi

    The API that all existential type trees support

  109. abstract class ExistentialTypeTreeExtractor extends AnyRef

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

  110. trait Expr[+T] extends Equals with Serializable

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

  111. trait FieldMirror extends AnyRef

    A mirror that reflects a field.

  112. class FilterTreeTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  113. 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
  114. class FindTreeTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  115. 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
  116. case class FixedMirrorTreeCreator extends TreeCreator with Product with Serializable

    Definition Classes
    StdCreators
  117. case class FixedMirrorTypeCreator extends TypeCreator with Product with Serializable

    Definition Classes
    StdCreators
  118. 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
  119. 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
  120. trait FlagOps extends Any

    The API of FlagSet instances.

  121. trait FlagValues extends AnyRef

    All possible values that can constitute flag sets.

  122. class ForEachTypeTraverser extends internal.SymbolTable.TypeTraverser

    Definition Classes
    TypeMaps
  123. class ForeachPartialTreeTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  124. class ForeachTreeTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  125. trait FreeSymbol extends internal.SymbolTable.Symbol

    Definition Classes
    Symbols
  126. class FreeTermSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.FreeSymbol with internal.SymbolTable.FreeTermSymbolApi

    Definition Classes
    Symbols
  127. trait FreeTermSymbolApi extends Universe.TermSymbolApi

    The API of free term symbols.

  128. class FreeTypeSymbol extends internal.SymbolTable.TypeSkolem with internal.SymbolTable.FreeSymbol with internal.SymbolTable.FreeTypeSymbolApi

    Definition Classes
    Symbols
  129. trait FreeTypeSymbolApi extends Universe.TypeSymbolApi

    The API of free type symbols.

  130. class FreshNameExtractor extends AnyRef

    Definition Classes
    FreshNames
  131. case class Function extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with internal.SymbolTable.FunctionApi with Product with Serializable

    Definition Classes
    Trees
  132. trait FunctionApi extends Universe.TermTreeApi with Universe.SymTreeApi

    The API that all functions support

  133. abstract class FunctionExtractor extends AnyRef

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

  134. abstract class GenericApply extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.GenericApplyApi

    Definition Classes
    Trees
  135. trait GenericApplyApi extends Universe.TermTreeApi

    The API that all applies support

  136. class HKTypeVar extends internal.SymbolTable.TypeVar

    Precondition: params.

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

    Definition Classes
    Types
  137. case class Ident extends internal.SymbolTable.SymTree with internal.SymbolTable.RefTree with internal.SymbolTable.IdentApi with Product with Serializable

    Definition Classes
    Trees
  138. trait IdentApi extends Universe.RefTreeApi

    The API that all idents support

  139. abstract class IdentExtractor extends AnyRef

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

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

    Definition Classes
    Trees
  141. trait IfApi extends Universe.TermTreeApi

    The API that all ifs support

  142. abstract class IfExtractor extends AnyRef

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

  143. trait ImplClassSymbol extends internal.SymbolTable.ClassSymbol

    Definition Classes
    Symbols
  144. abstract class ImplDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.ImplDefApi

    Definition Classes
    Trees
  145. trait ImplDefApi extends Universe.MemberDefApi

    The API that all impl defs support

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

    Definition Classes
    Trees
  147. trait ImportApi extends Universe.SymTreeApi

    The API that all imports support

  148. abstract class ImportExtractor extends AnyRef

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

  149. case class ImportSelector extends internal.SymbolTable.ImportSelectorApi with Product with Serializable

    Definition Classes
    Trees
  150. trait ImportSelectorApi extends AnyRef

    The API that all import selectors support

  151. abstract class ImportSelectorExtractor extends AnyRef

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

  152. case class ImportType extends internal.SymbolTable.Type with Product with Serializable

    Definition Classes
    Types
  153. 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
  154. trait Importer extends AnyRef

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

  155. abstract class InfoTransformer extends AnyRef

    Definition Classes
    InfoTransformers
  156. trait InstanceMirror extends AnyRef

    A mirror that reflects a runtime value.

  157. 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
  158. type Internal = MacroInternalApi

    Definition Classes
    Internals → Internals
    See also

    InternalApi

  159. 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.

  160. abstract class InternalTreeCopierOps extends internal.SymbolTable.TreeCopierOps

    Definition Classes
    Trees
  161. trait JavaClassCompleter extends AnyRef

    Definition Classes
    JavaMirrors
  162. class JavaKeywords extends AnyRef

    Definition Classes
    StdNames
  163. class JavaMethodType extends internal.SymbolTable.MethodType

    Definition Classes
    Types
  164. 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
  165. trait KeepOnlyTypeConstraints extends internal.SymbolTable.TypeMap with internal.SymbolTable.AnnotationFilter

    Definition Classes
    TypeMaps
  166. 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
  167. 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 reprented using TypeConKind.

    Definition Classes
    Kinds
  168. case class KindErrors extends Product with Serializable

    Definition Classes
    Kinds
  169. case class LabelDef extends internal.SymbolTable.DefTree with internal.SymbolTable.TermTree with internal.SymbolTable.LabelDefApi with Product with Serializable

    Definition Classes
    Trees
  170. trait LabelDefApi extends Universe.DefTreeApi with Universe.TermTreeApi

    The API that all label defs support

  171. abstract class LabelDefExtractor extends AnyRef

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

  172. 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
  173. class LazyPackageType extends SymbolTable.LazyType with SymbolTable.FlagAgnosticCompleter

    The type completer for packages.

    The type completer for packages.

    Definition Classes
    SymbolLoaders
  174. abstract class LazyPolyType extends internal.SymbolTable.LazyType

    Definition Classes
    Types
  175. class LazyTreeCopier extends internal.SymbolTable.InternalTreeCopierOps

    Definition Classes
    Trees
  176. 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
  177. trait Liftable[T] extends AnyRef

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

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

    Definition Classes
    Trees
  179. 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
  180. trait LiteralApi extends Universe.TermTreeApi

    The API that all literals support

  181. abstract class LiteralExtractor extends AnyRef

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

  182. 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
  183. case class LookupAmbiguous extends internal.SymbolTable.NameLookup with Product with Serializable

    Definition Classes
    Scopes
  184. case class LookupInaccessible extends internal.SymbolTable.NameLookup with Product with Serializable

    Definition Classes
    Scopes
  185. case class LookupSucceeded extends internal.SymbolTable.NameLookup with Product with Serializable

    Definition Classes
    Scopes
  186. trait MacroCompatApi extends CompatApi

  187. trait MacroInternalApi extends InternalApi

    <invalid inheritdoc annotation>

  188. class MalformedType extends internal.SymbolTable.TypeError

    A throwable signalling a malformed type

    A throwable signalling a malformed type

    Definition Classes
    Types
  189. class MappedBaseTypeSeq extends internal.SymbolTable.BaseTypeSeq

    Definition Classes
    BaseTypeSeqs
  190. case class Match extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.MatchApi with Product with Serializable

    Definition Classes
    Trees
  191. trait MatchApi extends Universe.TermTreeApi

    The API that all matches support

  192. abstract class MatchExtractor extends AnyRef

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

  193. abstract class MemberDef extends internal.SymbolTable.DefTree with internal.SymbolTable.MemberDefApi

    Definition Classes
    Trees
  194. trait MemberDefApi extends Universe.DefTreeApi

    The API that all member defs support

  195. trait MemberScopeApi extends Universe.ScopeApi

    The API that all member scopes support

  196. trait MethodMirror extends AnyRef

    A mirror that reflects a method.

  197. class MethodSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.MethodSymbolApi

    A class for method symbols

    A class for method symbols

    Definition Classes
    Symbols
  198. trait MethodSymbolApi extends Universe.TermSymbolApi

    The API of method symbols.

  199. 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
  200. trait MethodTypeApi extends Universe.TypeApi

    The API that all method types support.

  201. abstract class MethodTypeExtractor extends AnyRef

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

  202. type Mirror = JavaMirror

    In runtime reflection universes, mirrors are JavaMirrors.

    In runtime reflection universes, mirrors are JavaMirrors.

    Definition Classes
    JavaMirrors → JavaUniverse → Mirrors → Mirrors
  203. class MissingAliasControl extends Throwable with ControlThrowable

    Definition Classes
    Types
  204. class MissingTypeControl extends Throwable with ControlThrowable

    Definition Classes
    Types
  205. case class Modifiers extends internal.SymbolTable.ModifiersApi with HasFlags with Product with Serializable

    Definition Classes
    Trees
  206. abstract class ModifiersApi extends AnyRef

    The API that all Modifiers support

  207. abstract class ModifiersExtractor extends AnyRef

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

  208. 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
  209. case class ModuleDef extends internal.SymbolTable.ImplDef with internal.SymbolTable.ModuleDefApi with Product with Serializable

    Definition Classes
    Trees
  210. trait ModuleDefApi extends Universe.ImplDefApi

    The API that all module defs support

  211. abstract class ModuleDefExtractor extends AnyRef

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

  212. trait ModuleMirror extends Universe.TemplateMirror

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

  213. class ModuleSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.ModuleSymbolApi

    A class for module symbols

    A class for module symbols

    Definition Classes
    Symbols
  214. trait ModuleSymbolApi extends Universe.TermSymbolApi

    The API of module symbols.

  215. class ModuleTypeRef extends internal.SymbolTable.NoArgsTypeRef with internal.SymbolTable.ClassTypeRef

    Definition Classes
    Types
  216. sealed abstract class Name extends internal.Names.NameApi

    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
  217. abstract class NameApi extends AnyRef

    The API of Name instances.

  218. 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
  219. 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
  220. trait NameTree extends internal.SymbolTable.Tree with internal.SymbolTable.NameTreeApi

    Definition Classes
    Trees
  221. trait NameTreeApi extends Universe.TreeApi

    The API that all name trees support

  222. 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
  223. trait NamesApi extends AnyRef

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

  224. 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
  225. case class New extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.NewApi with Product with Serializable

    Definition Classes
    Trees
  226. trait NewApi extends Universe.TermTreeApi

    The API that all news support

  227. abstract class NewExtractor extends AnyRef

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

  228. class NoArgsTypeRef extends internal.SymbolTable.TypeRef

    Definition Classes
    Types
  229. class NoCommonType extends Throwable with ControlThrowable

    Definition Classes
    Types
  230. class NoSymbol extends internal.SymbolTable.Symbol

    An object representing a missing symbol

    An object representing a missing symbol

    Definition Classes
    Symbols
  231. trait NonClassTypeRef extends internal.SymbolTable.TypeRef

    Definition Classes
    Types
  232. case class NullaryMethodType extends internal.SymbolTable.Type with internal.SymbolTable.NullaryMethodTypeApi with Product with Serializable

    Definition Classes
    Types
  233. trait NullaryMethodTypeApi extends Universe.TypeApi

    The API that all nullary method types support.

  234. abstract class NullaryMethodTypeExtractor extends AnyRef

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

  235. 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
  236. class PackageClassInfoType extends internal.SymbolTable.ClassInfoType

    Definition Classes
    Types
  237. class PackageClassSymbol extends internal.SymbolTable.ModuleClassSymbol

    Definition Classes
    Symbols
  238. case class PackageDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.PackageDefApi with Product with Serializable

    Definition Classes
    Trees
  239. trait PackageDefApi extends Universe.MemberDefApi

    The API that all package defs support

  240. abstract class PackageDefExtractor extends AnyRef

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

  241. class PackageObjectClassSymbol extends internal.SymbolTable.ModuleClassSymbol

    Definition Classes
    Symbols
  242. class PackageScope extends SymbolTable.Scope with SymbolTable.SynchronizedScope

    Definition Classes
    SymbolLoaders
  243. class PackageTypeRef extends internal.SymbolTable.ModuleTypeRef

    Definition Classes
    Types
  244. 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
  245. trait PlainAttachment extends internal.SymbolTable.ImportableAttachment

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

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

    Definition Classes
    StdAttachments
  246. 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
  247. trait PolyTypeApi extends Universe.TypeApi

    The API that all polymorphic types support.

  248. abstract class PolyTypeExtractor extends AnyRef

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

  249. trait PosAssigner extends internal.SymbolTable.Traverser

    Definition Classes
    Positions
  250. 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
  251. class ProperTypeKind extends internal.SymbolTable.Kind

    Definition Classes
    Kinds
  252. implicit class Quasiquote extends AnyRef

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

  253. case class Range extends Product with Serializable

    Definition Classes
    Positions
  254. class RawTreePrinter extends internal.SymbolTable.TreePrinter

    Definition Classes
    Printers
  255. 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
  256. trait RefTree extends internal.SymbolTable.SymTree with internal.SymbolTable.NameTree with internal.SymbolTable.RefTreeApi

    Definition Classes
    Trees
  257. trait RefTreeApi extends Universe.SymTreeApi with Universe.NameTreeApi

    The API that all ref trees support

  258. abstract class RefTreeExtractor extends AnyRef

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

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

    Definition Classes
    Trees
  260. trait ReferenceToBoxedApi extends Universe.TermTreeApi

    The API that all references support

  261. abstract class ReferenceToBoxedExtractor extends AnyRef

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

  262. 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
  263. final class RefinedType0 extends internal.SymbolTable.RefinedType

    Definition Classes
    Types
  264. trait RefinedTypeApi extends Universe.TypeApi

    The API that all refined types support.

  265. 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.

  266. class RefinementClassSymbol extends internal.SymbolTable.ClassSymbol

    Definition Classes
    Symbols
  267. class RefinementTypeRef extends internal.SymbolTable.NoArgsTypeRef with internal.SymbolTable.ClassTypeRef

    Definition Classes
    Types
  268. trait ReflectiveMirror extends api.Mirror[Mirrors.this.type]

    A mirror that reflects instances and static classes.

  269. trait ReificationSupportApi extends AnyRef

    This is an internal implementation class.

  270. class ReificationSupportImpl extends internal.SymbolTable.ReificationSupportApi

    Definition Classes
    ReificationSupport
  271. 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
  272. case class Return extends internal.SymbolTable.SymTree with internal.SymbolTable.TermTree with internal.SymbolTable.ReturnApi with Product with Serializable

    Definition Classes
    Trees
  273. trait ReturnApi extends Universe.TermTreeApi

    The API that all returns support

  274. abstract class ReturnExtractor extends AnyRef

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

  275. 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
  276. trait RootSymbol extends internal.SymbolTable.Symbol

    Definition Classes
    Mirrors
  277. abstract class Roots extends internal.SymbolTable.RootsBase

    Definition Classes
    Mirrors
  278. abstract class RootsBase extends api.Mirror[Mirrors.this.type]

    Definition Classes
    Mirrors
  279. type RunId = Int

    An ordinal number for compiler runs.

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

    Definition Classes
    SymbolTable
  280. 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
    JavaUniverseMirrors
  281. trait RuntimeClassApi extends AnyRef

    Has no special methods.

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

    The API of a mirror for a reflective universe.

  283. 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
  284. 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
  285. trait ScopeApi extends Iterable[Universe.Symbol]

    The API that all scopes support

  286. class ScopeEntry extends AnyRef

    Definition Classes
    Scopes
  287. case class Select extends internal.SymbolTable.SymTree with internal.SymbolTable.RefTree with internal.SymbolTable.SelectApi with Product with Serializable

    Definition Classes
    Trees
  288. trait SelectApi extends Universe.RefTreeApi

    The API that all selects support

  289. abstract class SelectExtractor extends AnyRef

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

  290. 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
  291. trait SelectFromTypeTreeApi extends Universe.TypTreeApi with Universe.RefTreeApi

    The API that all selects from type trees support

  292. abstract class SelectFromTypeTreeExtractor extends AnyRef

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

  293. 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
  294. 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
  295. trait SingleTypeApi extends Universe.TypeApi

    The API that all single types support.

  296. 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.

  297. 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
  298. trait SingletonTypeApi extends AnyRef

    Has no special methods.

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

    Definition Classes
    Trees
  300. trait SingletonTypeTreeApi extends Universe.TypTreeApi

    The API that all singleton type trees support

  301. abstract class SingletonTypeTreeExtractor extends AnyRef

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

  302. abstract class StandardImporter extends internal.SymbolTable.Importer

    Definition Classes
    Importers
  303. trait StandardLiftableInstances extends AnyRef

    Definition Classes
    StandardLiftables
  304. trait StandardTypes extends AnyRef

    Defines standard types.

  305. trait StandardUnliftableInstances extends AnyRef

    Definition Classes
    StandardLiftables
  306. case class Star extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.StarApi with Product with Serializable

    Definition Classes
    Trees
  307. trait StarApi extends Universe.TermTreeApi

    The API that all stars support

  308. abstract class StarExtractor extends AnyRef

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

  309. class StrictTreeCopier extends internal.SymbolTable.InternalTreeCopierOps

    Definition Classes
    Trees
  310. class StubClassSymbol extends internal.SymbolTable.ClassSymbol with internal.SymbolTable.StubSymbol

    Definition Classes
    Symbols
  311. trait StubSymbol extends internal.SymbolTable.Symbol

    Definition Classes
    Symbols
  312. class StubTermSymbol extends internal.SymbolTable.TermSymbol with internal.SymbolTable.StubSymbol

    Definition Classes
    Symbols
  313. 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
  314. final case class SubTypePair extends Product with Serializable

    Definition Classes
    TypeComparers
  315. 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
  316. 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
  317. 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
  318. class SubstThisMap extends internal.SymbolTable.TypeMap

    A map to implement the substThis method.

    A map to implement the substThis method.

    Definition Classes
    TypeMaps
  319. 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
  320. class SubstWildcardMap extends internal.SymbolTable.TypeMap

    Definition Classes
    TypeMaps
  321. case class Super extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.SuperApi with Product with Serializable

    Definition Classes
    Trees
  322. trait SuperApi extends Universe.TermTreeApi

    The API that all supers support

  323. abstract class SuperExtractor extends AnyRef

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

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

    Definition Classes
    Types
  325. trait SuperTypeApi extends Universe.TypeApi

    The API that all super types support.

  326. abstract class SuperTypeExtractor extends AnyRef

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

  327. abstract class SymLoader extends internal.SymbolTable.LazyType

    Definition Classes
    SymbolTable
  328. abstract class SymTree extends internal.SymbolTable.Tree with internal.SymbolTable.SymTreeApi

    Definition Classes
    Trees
  329. trait SymTreeApi extends Universe.TreeApi

    The API that all sym trees support

  330. 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
  331. trait SymbolApi extends AnyRef

    The API of symbols.

  332. abstract class SymbolContextApiImpl extends internal.SymbolTable.SymbolApi

    Definition Classes
    Symbols
  333. sealed abstract class SymbolNames extends AnyRef

    Definition Classes
    StdNames
  334. case class SymbolOps extends Product with Serializable

    Definition Classes
    Symbols
  335. trait SymbolTableInternal extends internal.SymbolTable.MacroInternalApi

    Definition Classes
    Internals
  336. trait SynchronizedBaseTypeSeq extends SymbolTable.BaseTypeSeq

    Definition Classes
    SynchronizedOps
  337. trait SynchronizedClassSymbol extends SymbolTable.ClassSymbol with SymbolTable.SynchronizedTypeSymbol

    Definition Classes
    SynchronizedSymbols
  338. trait SynchronizedMethodSymbol extends SymbolTable.MethodSymbol with SymbolTable.SynchronizedTermSymbol

    Definition Classes
    SynchronizedSymbols
  339. trait SynchronizedModuleClassSymbol extends SymbolTable.ModuleClassSymbol with SymbolTable.SynchronizedClassSymbol

    Definition Classes
    SynchronizedSymbols
  340. trait SynchronizedModuleSymbol extends SymbolTable.ModuleSymbol with SymbolTable.SynchronizedTermSymbol

    Definition Classes
    SynchronizedSymbols
  341. trait SynchronizedScope extends SymbolTable.Scope

    Definition Classes
    SynchronizedOps
  342. trait SynchronizedSymbol extends SymbolTable.Symbol

    Definition Classes
    SynchronizedSymbols
  343. trait SynchronizedTermSymbol extends SymbolTable.Symbol with SymbolTable.SynchronizedSymbol

    Definition Classes
    SynchronizedSymbols
  344. trait SynchronizedTypeSymbol extends SymbolTable.TypeSymbol with SymbolTable.SynchronizedSymbol

    Definition Classes
    SynchronizedSymbols
  345. case class Template extends internal.SymbolTable.SymTree with internal.SymbolTable.TemplateApi with Product with Serializable

    Definition Classes
    Trees
  346. trait TemplateApi extends Universe.SymTreeApi

    The API that all templates support

  347. abstract class TemplateExtractor extends AnyRef

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

  348. trait TemplateMirror extends AnyRef

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

  349. sealed abstract class TermName extends Name with internal.Names.TermNameApi

    Definition Classes
    Names
  350. trait TermNameApi extends AnyRef

    Has no special methods.

  351. abstract class TermNameExtractor extends AnyRef

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

  352. abstract class TermNames extends internal.SymbolTable.Keywords with internal.SymbolTable.TermNamesApi

    Definition Classes
    StdNames
  353. trait TermNamesApi extends Universe.NamesApi

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

  354. class TermSymbol extends internal.SymbolTable.Symbol with internal.SymbolTable.TermSymbolApi

    A class for term symbols

    A class for term symbols

    Definition Classes
    Symbols
  355. trait TermSymbolApi extends Universe.SymbolApi

    The API of term symbols.

  356. trait TermTree extends internal.SymbolTable.Tree with internal.SymbolTable.TermTreeApi

    Definition Classes
    Trees
  357. trait TermTreeApi extends Universe.TreeApi

    The API that all term trees support

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

    Definition Classes
    Trees
  359. trait ThisApi extends Universe.TermTreeApi with Universe.SymTreeApi

    The API that all thises support

  360. abstract class ThisExtractor extends AnyRef

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

  361. class ThisSubstituter extends internal.SymbolTable.Transformer

    Substitute clazz.

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

    Definition Classes
    Trees
  362. 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>.

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

    Definition Classes
    Types
  363. trait ThisTypeApi extends Universe.TypeApi

    The API that all this types support.

  364. 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.

  365. trait ThreadLocalStorage[T] extends AnyRef

    Definition Classes
    ThreadLocalStorage
  366. case class Throw extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.ThrowApi with Product with Serializable

    Definition Classes
    Trees
  367. trait ThrowApi extends Universe.TermTreeApi

    The API that all tries support

  368. abstract class ThrowExtractor extends AnyRef

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

  369. 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
  370. abstract class Transformer extends AnyRef

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

  371. class Traverser extends AnyRef

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

  372. abstract class Tree extends internal.SymbolTable.TreeContextApiImpl with internal.SymbolTable.Attachable with Product

    Definition Classes
    Trees
  373. trait TreeApi extends Product

    The API that all trees support.

  374. abstract class TreeContextApiImpl extends internal.SymbolTable.TreeApi

    Definition Classes
    Trees
  375. type TreeCopier = InternalTreeCopierOps

    The type of standard (lazy) tree copiers.

  376. abstract class TreeCopierOps extends AnyRef

    The API of a tree copier.

  377. trait TreeGen extends AnyRef

  378. class TreePrinter extends internal.SymbolTable.TreePrinter

    Definition Classes
    Printers
  379. 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
  380. trait TreeStackTraverser extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  381. class TreeSubstituter extends internal.SymbolTable.Transformer

    Definition Classes
    Trees
  382. class TreeSymSubstTraverser extends internal.SymbolTable.TypeMapTreeSubstituter

    Definition Classes
    Trees
  383. 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
  384. class TreeTypeSubstituter extends internal.SymbolTable.TypeMapTreeSubstituter

    Definition Classes
    Trees
  385. case class Try extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.TryApi with Product with Serializable

    Definition Classes
    Trees
  386. trait TryApi extends Universe.TermTreeApi

    The API that all tries support

  387. abstract class TryExtractor extends AnyRef

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

  388. class TwoWayCache[J, S] extends AnyRef

    Definition Classes
    TwoWayCaches
  389. trait TypTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTreeApi

    Definition Classes
    Trees
  390. trait TypTreeApi extends Universe.TreeApi

    The API that all typ trees support

  391. 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
  392. abstract class TypeApi extends AnyRef

    The API of types.

  393. abstract class TypeApiImpl extends internal.SymbolTable.TypeApi

    Definition Classes
    Types
  394. case class TypeApply extends internal.SymbolTable.GenericApply with internal.SymbolTable.TypeApplyApi with Product with Serializable

    Definition Classes
    Trees
  395. trait TypeApplyApi extends Universe.GenericApplyApi

    The API that all type applies support

  396. abstract class TypeApplyExtractor extends AnyRef

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

  397. 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
  398. trait TypeBoundsApi extends Universe.TypeApi

    The API that all type bounds support.

  399. 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.

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

    Definition Classes
    Trees
  401. trait TypeBoundsTreeApi extends Universe.TypTreeApi

    The API that all type bound trees support

  402. abstract class TypeBoundsTreeExtractor extends AnyRef

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

  403. abstract class TypeCollector[T] extends internal.SymbolTable.TypeTraverser

    Definition Classes
    TypeMaps
  404. class TypeConKind extends internal.SymbolTable.Kind

    Definition Classes
    Kinds
  405. 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
  406. case class TypeDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.TypeDefApi with Product with Serializable

    Definition Classes
    Trees
  407. trait TypeDefApi extends Universe.MemberDefApi

    The API that all type defs support

  408. abstract class TypeDefExtractor extends AnyRef

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

  409. class TypeError extends Throwable

    A throwable signalling a type error

    A throwable signalling a type error

    Definition Classes
    Types
  410. 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
  411. class TypeMapTreeSubstituter extends internal.SymbolTable.Traverser

    Definition Classes
    Trees
  412. sealed abstract class TypeName extends Name with internal.Names.TypeNameApi

    Definition Classes
    Names
  413. trait TypeNameApi extends AnyRef

    Has no special methods.

  414. abstract class TypeNameExtractor extends AnyRef

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

  415. abstract class TypeNames extends internal.SymbolTable.Keywords with internal.SymbolTable.TypeNamesApi

    Definition Classes
    StdNames
  416. trait TypeNamesApi extends Universe.NamesApi

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

  417. 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
  418. trait TypeRefApi extends Universe.TypeApi

    The API that all type refs support.

  419. 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 argumenrts.

  420. 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
  421. 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
  422. trait TypeSymbolApi extends Universe.SymbolApi

    The API of type symbols.

  423. 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.

  424. abstract class TypeTraverser extends internal.SymbolTable.TypeMap

    Definition Classes
    TypeMaps
  425. abstract class TypeTraverserWithResult[T] extends internal.SymbolTable.TypeTraverser

    Definition Classes
    TypeMaps
  426. case class TypeTree extends internal.SymbolTable.Tree with internal.SymbolTable.TypTree with internal.SymbolTable.TypeTreeApi with Product with Serializable

    Definition Classes
    Trees
  427. trait TypeTreeApi extends Universe.TypTreeApi

    The API that all type trees support

  428. abstract class TypeTreeExtractor extends AnyRef

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

  429. class TypeUnwrapper extends (internal.SymbolTable.Type) ⇒ internal.SymbolTable.Type

    Definition Classes
    Types
  430. 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
  431. case class Typed extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.TypedApi with Product with Serializable

    Definition Classes
    Trees
  432. trait TypedApi extends Universe.TermTreeApi

    The API that all typeds support

  433. abstract class TypedExtractor extends AnyRef

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

  434. class TypedLocator extends internal.SymbolTable.Locator

    Definition Classes
    Positions
  435. case class UnApply extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.UnApplyApi with Product with Serializable

    Definition Classes
    Trees
  436. trait UnApplyApi extends Universe.TermTreeApi

    The API that all unapplies support

  437. abstract class UnApplyExtractor extends AnyRef

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

  438. 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
  439. class UndoLog extends Clearable

    Definition Classes
    TypeConstraints
  440. final class UniqueConstantType extends internal.SymbolTable.ConstantType

    Definition Classes
    Types
  441. final class UniqueErasedValueType extends internal.SymbolTable.ErasedValueType

    Definition Classes
    Types
  442. final class UniqueSingleType extends internal.SymbolTable.SingleType

    Definition Classes
    Types
  443. final class UniqueSuperType extends internal.SymbolTable.SuperType

    Definition Classes
    Types
  444. final class UniqueThisType extends internal.SymbolTable.ThisType

    Definition Classes
    Types
  445. abstract class UniqueType extends internal.SymbolTable.Type with Product

    A type that can be passed to unique(.

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

    Definition Classes
    Types
  446. final class UniqueTypeBounds extends internal.SymbolTable.TypeBounds

    Definition Classes
    Types
  447. trait Unliftable[T] extends AnyRef

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

  448. trait UntouchableTypeVar extends internal.SymbolTable.TypeVar

    Definition Classes
    Types
  449. case class ValDef extends internal.SymbolTable.ValOrDefDef with internal.SymbolTable.ValDefApi with Product with Serializable

    Definition Classes
    Trees
  450. trait ValDefApi extends Universe.ValOrDefDefApi

    The API that all val defs support

  451. abstract class ValDefExtractor extends AnyRef

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

  452. abstract class ValOrDefDef extends internal.SymbolTable.MemberDef with internal.SymbolTable.ValOrDefDefApi

    Definition Classes
    Trees
  453. trait ValOrDefDefApi extends Universe.MemberDefApi

    The API that all val defs and def defs support

  454. class ValidateException extends Exception

    Definition Classes
    Positions
  455. trait ValueClassDefinitions extends AnyRef

    Definition Classes
    Definitions
  456. class VarianceValidator extends internal.SymbolTable.Traverser

    Used in Refchecks.

    Used in Refchecks. TODO - eliminate duplication with varianceInType

    Definition Classes
    Variances
  457. 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.

  458. trait ArrayArgumentApi extends AnyRef

    API of ArrayArgument instances.

  459. abstract class ArrayArgumentExtractor extends AnyRef

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

  460. type BuildApi = ReificationSupportApi

    Definition Classes
    Internals
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) Use internal.ReificationSupportApi instead

  461. abstract type CompilationUnit <: CompilationUnitContextApi

    The type of compilation units.

  462. trait CompilationUnitContextApi extends AnyRef

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

  463. trait JavaArgumentApi extends AnyRef

    Has no special methods.

  464. trait LiteralArgumentApi extends AnyRef

    The API of LiteralArgument instances.

  465. abstract class LiteralArgumentExtractor extends AnyRef

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

  466. type ModifiersCreator = ModifiersExtractor

    Definition Classes
    Trees
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) Use ModifiersExtractor instead

  467. trait NestedArgumentApi extends AnyRef

    API of NestedArgument instances.

  468. abstract class NestedArgumentExtractor extends AnyRef

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

  469. abstract type Run <: RunContextApi

    The type of compilation runs.

  470. trait RunContextApi extends AnyRef

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

Value Members

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

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

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

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

    Definition Classes
    AnyRef → Any
  6. val AllOps: SymbolOps

    Definition Classes
    Symbols
  7. object Alternative extends internal.SymbolTable.AlternativeExtractor with Serializable

    The constructor/extractor for Alternative instances.

    The constructor/extractor for Alternative instances.

    Definition Classes
    Trees → Trees
  8. implicit val AlternativeTag: ClassTag[Alternative]

    Definition Classes
    Trees
  9. object Annotated extends internal.SymbolTable.AnnotatedExtractor with Serializable

    The constructor/extractor for Annotated instances.

    The constructor/extractor for Annotated instances.

    Definition Classes
    Trees → Trees
  10. implicit val AnnotatedTag: ClassTag[Annotated]

    Definition Classes
    Trees
  11. object AnnotatedType extends internal.SymbolTable.AnnotatedTypeExtractor with Serializable

    The constructor/extractor for AnnotatedType instances.

    The constructor/extractor for AnnotatedType instances.

    Definition Classes
    Types → Types
  12. implicit val AnnotatedTypeTag: ClassTag[AnnotatedType]

    Definition Classes
    Types
  13. object Annotation extends internal.SymbolTable.AnnotationExtractor

    The constructor/extractor for Annotation instances.

    The constructor/extractor for Annotation instances.

    Definition Classes
    AnnotationInfos → Annotations
  14. object AnnotationInfo

    Definition Classes
    AnnotationInfos
  15. implicit val AnnotationTag: ClassTag[AnnotationInfo]

    Definition Classes
    AnnotationInfos
  16. implicit def AnyNameOps(name: Name): NameOps[Name]

    Definition Classes
    Names
  17. object AppliedTypeTree extends internal.SymbolTable.AppliedTypeTreeExtractor with Serializable

    The constructor/extractor for AppliedTypeTree instances.

    The constructor/extractor for AppliedTypeTree instances.

    Definition Classes
    Trees → Trees
  18. implicit val AppliedTypeTreeTag: ClassTag[AppliedTypeTree]

    Definition Classes
    Trees
  19. def Apply(sym: Symbol, args: Tree*): Tree

    A factory method for Apply nodes.

    A factory method for Apply nodes.

    Definition Classes
    Trees → Trees
  20. object Apply extends internal.SymbolTable.ApplyExtractor with Serializable

    The constructor/extractor for Apply instances.

    The constructor/extractor for Apply instances.

    Definition Classes
    Trees → Trees
  21. def ApplyConstructor(tpt: Tree, args: List[Tree]): Apply

    0-1 argument list new, based on a type tree.

    0-1 argument list new, based on a type tree.

    Definition Classes
    Trees → Trees
  22. implicit val ApplyTag: ClassTag[Apply]

    Definition Classes
    Trees
  23. object ApproximateDependentMap extends internal.SymbolTable.TypeMap

    Definition Classes
    TypeMaps
  24. object ArrayAnnotArg extends internal.SymbolTable.ArrayArgumentExtractor with Serializable

    Definition Classes
    AnnotationInfos
  25. val ArrayArgument: ArrayAnnotArg.type

    The constructor/extractor for ArrayArgument instances.

    The constructor/extractor for ArrayArgument instances.

    Definition Classes
    AnnotationInfos → Annotations
  26. implicit val ArrayArgumentTag: ClassTag[ArrayAnnotArg]

    Definition Classes
    AnnotationInfos
  27. object ArrayTypeRef

    Definition Classes
    Types
  28. object Assign extends internal.SymbolTable.AssignExtractor with Serializable

    The constructor/extractor for Assign instances.

    The constructor/extractor for Assign instances.

    Definition Classes
    Trees → Trees
  29. object AssignOrNamedArg extends internal.SymbolTable.AssignOrNamedArgExtractor with Serializable

    The constructor/extractor for AssignOrNamedArg instances.

    The constructor/extractor for AssignOrNamedArg instances.

    Definition Classes
    Trees → Trees
  30. implicit val AssignOrNamedArgTag: ClassTag[AssignOrNamedArg]

    Definition Classes
    Trees
  31. implicit val AssignTag: ClassTag[Assign]

    Definition Classes
    Trees
  32. object BackquotedIdentifierAttachment extends internal.SymbolTable.PlainAttachment with Product with Serializable

    When present, indicates that the host Ident has been created from a backquoted identifier.

    When present, indicates that the host Ident has been created from a backquoted identifier.

    Definition Classes
    StdAttachments
  33. def Bind(sym: Symbol, body: Tree): Bind

    A factory method for Bind nodes.

    A factory method for Bind nodes.

    Definition Classes
    Trees → Trees
  34. object Bind extends internal.SymbolTable.BindExtractor with Serializable

    The constructor/extractor for Bind instances.

    The constructor/extractor for Bind instances.

    Definition Classes
    Trees → Trees
  35. implicit val BindTag: ClassTag[Bind]

    Definition Classes
    Trees
  36. def Block(stats: Tree*): Block

    Block factory that flattens directly nested blocks.

    Block factory that flattens directly nested blocks.

    Definition Classes
    Trees → Trees
  37. object Block extends internal.SymbolTable.BlockExtractor with Serializable

    The constructor/extractor for Block instances.

    The constructor/extractor for Block instances.

    Definition Classes
    Trees → Trees
  38. implicit val BlockTag: ClassTag[Block]

    Definition Classes
    Trees
  39. object BooleanFlag extends Serializable

  40. final val BooleanTag: Int(2)

    Definition Classes
    Constants
  41. object BoundedWildcardType extends internal.SymbolTable.BoundedWildcardTypeExtractor with Serializable

    The constructor/extractor for BoundedWildcardType instances.

    The constructor/extractor for BoundedWildcardType instances.

    Definition Classes
    Types → Types
  42. implicit val BoundedWildcardTypeTag: ClassTag[BoundedWildcardType]

    Definition Classes
    Types
  43. final val ByteTag: Int(3)

    Definition Classes
    Constants
  44. def CaseDef(pat: Tree, body: Tree): CaseDef

    casedef shorthand

    casedef shorthand

    Definition Classes
    Trees → Trees
  45. object CaseDef extends internal.SymbolTable.CaseDefExtractor with Serializable

    The constructor/extractor for CaseDef instances.

    The constructor/extractor for CaseDef instances.

    Definition Classes
    Trees → Trees
  46. implicit val CaseDefTag: ClassTag[CaseDef]

    Definition Classes
    Trees
  47. final val CharTag: Int(5)

    Definition Classes
    Constants
  48. object ClassDef extends internal.SymbolTable.ClassDefExtractor with Serializable

    The constructor/extractor for ClassDef instances.

    The constructor/extractor for ClassDef instances.

    Definition Classes
    Trees → Trees
  49. implicit val ClassDefTag: ClassTag[ClassDef]

    Definition Classes
    Trees
  50. object ClassInfoType extends internal.SymbolTable.ClassInfoTypeExtractor with Serializable

    The constructor/extractor for ClassInfoType instances.

    The constructor/extractor for ClassInfoType instances.

    Definition Classes
    Types → Types
  51. implicit val ClassInfoTypeTag: ClassTag[ClassInfoType]

    Definition Classes
    Types
  52. implicit val ClassSymbolTag: ClassTag[ClassSymbol]

    Definition Classes
    Symbols
  53. final val ClazzTag: Int(12)

    Definition Classes
    Constants
  54. object CompoundType

    Definition Classes
    Types
  55. implicit val CompoundTypeTag: ClassTag[CompoundType]

    Definition Classes
    Types
  56. object CompoundTypeTree extends internal.SymbolTable.CompoundTypeTreeExtractor with Serializable

    The constructor/extractor for CompoundTypeTree instances.

    The constructor/extractor for CompoundTypeTree instances.

    Definition Classes
    Trees → Trees
  57. implicit val CompoundTypeTreeTag: ClassTag[CompoundTypeTree]

    Definition Classes
    Trees
  58. object ConsoleWriter extends Writer

    A writer that writes to the current Console and is sensitive to replacement of the Console's output stream.

    A writer that writes to the current Console and is sensitive to replacement of the Console's output stream.

    Definition Classes
    Printers
  59. object Constant extends internal.SymbolTable.ConstantExtractor with Serializable

    The constructor/extractor for Constant instances.

    The constructor/extractor for Constant instances.

    Definition Classes
    Constants → Constants
  60. implicit val ConstantTag: ClassTag[Constant]

    Definition Classes
    Constants
  61. object ConstantType extends internal.SymbolTable.ConstantTypeExtractor with Serializable

    The constructor/extractor for ConstantType instances.

    The constructor/extractor for ConstantType instances.

    Definition Classes
    Types → Types
  62. implicit val ConstantTypeTag: ClassTag[ConstantType]

    Definition Classes
    Types
  63. val CyclicInheritance: java.lang.Throwable

    Definition Classes
    BaseTypeSeqs
  64. object DefDef extends internal.SymbolTable.DefDefExtractor with Serializable

    The constructor/extractor for DefDef instances.

    The constructor/extractor for DefDef instances.

    Definition Classes
    Trees → Trees
  65. implicit val DefDefTag: ClassTag[DefDef]

    Definition Classes
    Trees
  66. implicit val DefTreeTag: ClassTag[DefTree]

    Definition Classes
    Trees
  67. final val DoubleTag: Int(9)

    Definition Classes
    Constants
  68. object EmptyScope extends internal.SymbolTable.Scope

    The empty scope (immutable).

    The empty scope (immutable).

    Definition Classes
    Scopes
  69. object EmptyTree extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with internal.SymbolTable.CannotHaveAttrs with Product with Serializable

    The empty tree

    The empty tree

    Definition Classes
    Trees → Trees
  70. lazy val EmptyTreeTypeSubstituter: TreeTypeSubstituter

    Definition Classes
    Trees
  71. final val EnumTag: Int(13)

    Definition Classes
    Constants
  72. object ErasedValueType extends Serializable

    Definition Classes
    Types
  73. object ErroneousAnnotation extends internal.SymbolTable.CompleteAnnotationInfo

    Definition Classes
    AnnotationInfos
  74. object ErroneousCollector extends internal.SymbolTable.TypeCollector[Boolean]

    A map to implement the contains method.

    A map to implement the contains method.

    Definition Classes
    TypeMaps
  75. object ErrorType extends internal.SymbolTable.Type with Product with Serializable

    An object representing an erroneous type

    An object representing an erroneous type

    Definition Classes
    Types
  76. object ExistentialType extends internal.SymbolTable.ExistentialTypeExtractor with Serializable

    The constructor/extractor for ExistentialType instances.

    The constructor/extractor for ExistentialType instances.

    Definition Classes
    Types → Types
  77. implicit val ExistentialTypeTag: ClassTag[ExistentialType]

    Definition Classes
    Types
  78. object ExistentialTypeTree extends internal.SymbolTable.ExistentialTypeTreeExtractor with Serializable

    The constructor/extractor for ExistentialTypeTree instances.

    The constructor/extractor for ExistentialTypeTree instances.

    Definition Classes
    Trees → Trees
  79. implicit val ExistentialTypeTreeTag: ClassTag[ExistentialTypeTree]

    Definition Classes
    Trees
  80. object Expr extends Serializable

    Constructor/Extractor for Expr.

  81. object Flag extends internal.SymbolTable.FlagValues

    A module that contains all possible values that can constitute flag sets.

    A module that contains all possible values that can constitute flag sets.

    Definition Classes
    FlagSets → FlagSets
  82. def FlagOps(mask: Long): SymbolOps

    Definition Classes
    Symbols
  83. implicit val FlagSetTag: ClassTag[FlagSet]

    Definition Classes
    FlagSets
  84. final val FloatTag: Int(8)

    Definition Classes
    Constants
  85. object ForAttachment extends internal.SymbolTable.PlainAttachment with Product with Serializable

    Identifies trees are either result or intermidiate value of for loop desugaring.

    Identifies trees are either result or intermidiate value of for loop desugaring.

    Definition Classes
    StdAttachments
  86. implicit val FreeTermSymbolTag: ClassTag[FreeTermSymbol]

    Definition Classes
    Symbols
  87. implicit val FreeTypeSymbolTag: ClassTag[FreeTypeSymbol]

    Definition Classes
    Symbols
  88. object Function extends internal.SymbolTable.FunctionExtractor with Serializable

    The constructor/extractor for Function instances.

    The constructor/extractor for Function instances.

    Definition Classes
    Trees → Trees
  89. implicit val FunctionTag: ClassTag[Function]

    Definition Classes
    Trees
  90. object GenPolyType

    A creator and extractor for type parameterizations that strips empty type parameter lists.

    A creator and extractor for type parameterizations that strips empty type parameter lists. Use this factory method to indicate the type has kind * (it's a polymorphic value) until we start tracking explicit kinds equivalent to typeFun (except that the latter requires tparams nonEmpty).

    PP to AM: I've co-opted this for where I know tparams may well be empty, and expecting to get back tpe in such cases. Re being "forgiving" below, can we instead say this is the canonical creator for polyTypes which may or may not be poly? (It filched the standard "canonical creator" name.)

    Definition Classes
    Types
  91. implicit val GenericApplyTag: ClassTag[GenericApply]

    Definition Classes
    Trees
  92. val GlbFailure: java.lang.Throwable

    Definition Classes
    GlbLubs
  93. object HasTypeMember

    Definition Classes
    Types
  94. def Ident(sym: Symbol): Ident

    A factory method for Ident nodes.

    A factory method for Ident nodes.

    Definition Classes
    Trees → Trees
  95. def Ident(name: String): Ident

    A factory method for Ident nodes.

    A factory method for Ident nodes.

    Definition Classes
    Trees → Trees
  96. object Ident extends internal.SymbolTable.IdentExtractor with Serializable

    The constructor/extractor for Ident instances.

    The constructor/extractor for Ident instances.

    Definition Classes
    Trees → Trees
  97. implicit val IdentTag: ClassTag[Ident]

    Definition Classes
    Trees
  98. object If extends internal.SymbolTable.IfExtractor with Serializable

    The constructor/extractor for If instances.

    The constructor/extractor for If instances.

    Definition Classes
    Trees → Trees
  99. implicit val IfTag: ClassTag[If]

    Definition Classes
    Trees
  100. implicit val ImplDefTag: ClassTag[ImplDef]

    Definition Classes
    Trees
  101. object Import extends internal.SymbolTable.ImportExtractor with Serializable

    The constructor/extractor for Import instances.

    The constructor/extractor for Import instances.

    Definition Classes
    Trees → Trees
  102. object ImportSelector extends internal.SymbolTable.ImportSelectorExtractor with Serializable

    The constructor/extractor for ImportSelector instances.

    The constructor/extractor for ImportSelector instances.

    Definition Classes
    Trees → Trees
  103. implicit val ImportSelectorTag: ClassTag[ImportSelector]

    Definition Classes
    Trees
  104. implicit val ImportTag: ClassTag[Import]

    Definition Classes
    Trees
  105. final val IntTag: Int(6)

    Definition Classes
    Constants
  106. object IsDependentCollector extends internal.SymbolTable.TypeCollector[Boolean]

    Definition Classes
    TypeMaps
  107. implicit val JavaArgumentTag: ClassTag[ClassfileAnnotArg]

    Definition Classes
    AnnotationInfos
  108. def JavaMethodType(params: List[Symbol], resultType: Type): JavaMethodType

    The canonical creator for implicit method types

    The canonical creator for implicit method types

    Definition Classes
    Types
  109. object Kind

    Definition Classes
    Kinds
  110. object LabelDef extends internal.SymbolTable.LabelDefExtractor with Serializable

    The constructor/extractor for LabelDef instances.

    The constructor/extractor for LabelDef instances.

    Definition Classes
    Trees → Trees
  111. implicit val LabelDefTag: ClassTag[LabelDef]

    Definition Classes
    Trees
  112. object Liftable extends Universe.StandardLiftableInstances

    Companion to Liftable type class that contains standard instances and provides a helper apply method to simplify creation of new ones.

  113. object Literal extends internal.SymbolTable.LiteralExtractor with Serializable

    The constructor/extractor for Literal instances.

    The constructor/extractor for Literal instances.

    Definition Classes
    Trees → Trees
  114. object LiteralAnnotArg extends internal.SymbolTable.LiteralArgumentExtractor with Serializable

    Definition Classes
    AnnotationInfos
  115. val LiteralArgument: LiteralAnnotArg.type

    The constructor/extractor for LiteralArgument instances.

    The constructor/extractor for LiteralArgument instances.

    Definition Classes
    AnnotationInfos → Annotations
  116. implicit val LiteralArgumentTag: ClassTag[LiteralAnnotArg]

    Definition Classes
    AnnotationInfos
  117. implicit val LiteralTag: ClassTag[Literal]

    Definition Classes
    Trees
  118. final val LongTag: Int(7)

    Definition Classes
    Constants
  119. object LookupNotFound extends internal.SymbolTable.NameLookup with Product with Serializable

    Definition Classes
    Scopes
  120. object Match extends internal.SymbolTable.MatchExtractor with Serializable

    The constructor/extractor for Match instances.

    The constructor/extractor for Match instances.

    Definition Classes
    Trees → Trees
  121. implicit val MatchTag: ClassTag[Match]

    Definition Classes
    Trees
  122. implicit val MemberDefTag: ClassTag[MemberDef]

    Definition Classes
    Trees
  123. implicit val MemberScopeTag: ClassTag[MemberScope]

    Definition Classes
    Scopes
  124. implicit val MethodSymbolTag: ClassTag[MethodSymbol]

    Definition Classes
    Symbols
  125. object MethodType extends internal.SymbolTable.MethodTypeExtractor with Serializable

    The constructor/extractor for MethodType instances.

    The constructor/extractor for MethodType instances.

    Definition Classes
    Types → Types
  126. implicit val MethodTypeTag: ClassTag[MethodType]

    Definition Classes
    Types
  127. implicit val MirrorTag: ClassTag[Mirror]

    Definition Classes
    JavaMirrors → ImplicitTags
  128. def Modifiers(flags: FlagSet): Modifiers

    The factory for Modifiers instances.

    The factory for Modifiers instances.

    Definition Classes
    Trees
  129. def Modifiers(flags: FlagSet, privateWithin: Name): Modifiers

    The factory for Modifiers instances.

    The factory for Modifiers instances.

    Definition Classes
    Trees
  130. object Modifiers extends internal.SymbolTable.ModifiersExtractor with Serializable

    The constructor/extractor for Modifiers instances.

    The constructor/extractor for Modifiers instances.

    Definition Classes
    Trees → Trees
  131. implicit val ModifiersTag: ClassTag[Modifiers]

    Definition Classes
    Trees
  132. object ModuleDef extends internal.SymbolTable.ModuleDefExtractor with Serializable

    The constructor/extractor for ModuleDef instances.

    The constructor/extractor for ModuleDef instances.

    Definition Classes
    Trees → Trees
  133. implicit val ModuleDefTag: ClassTag[ModuleDef]

    Definition Classes
    Trees
  134. implicit val ModuleSymbolTag: ClassTag[ModuleSymbol]

    Definition Classes
    Symbols
  135. implicit val NameTag: ClassTag[Name]

    Definition Classes
    Names
  136. implicit val NameTreeTag: ClassTag[NameTree]

    Definition Classes
    Trees
  137. object NestedAnnotArg extends internal.SymbolTable.NestedArgumentExtractor with Serializable

    Definition Classes
    AnnotationInfos
  138. val NestedArgument: NestedAnnotArg.type

    The constructor/extractor for NestedArgument instances.

    The constructor/extractor for NestedArgument instances.

    Definition Classes
    AnnotationInfos → Annotations
  139. implicit val NestedArgumentTag: ClassTag[NestedAnnotArg]

    Definition Classes
    AnnotationInfos
  140. def New(sym: Symbol, args: Tree*): Tree

    0-1 argument list new, based on a symbol.

    0-1 argument list new, based on a symbol.

    Definition Classes
    Trees → Trees
  141. def New(tpe: Type, argss: List[List[Tree]]): Tree

    Definition Classes
    Trees
  142. def New(tpe: Type, args: Tree*): Tree

    0-1 argument list new, based on a type.

    0-1 argument list new, based on a type.

    Definition Classes
    Trees → Trees
  143. def New(tpt: Tree, argss: List[List[Tree]]): Tree

    Factory method for object creation new tpt(args_1)...(args_n) A New(t, as) is expanded to: (new t).<init>(as)

    Factory method for object creation new tpt(args_1)...(args_n) A New(t, as) is expanded to: (new t).<init>(as)

    Definition Classes
    Trees → Trees
  144. object New extends internal.SymbolTable.NewExtractor with Serializable

    The constructor/extractor for New instances.

    The constructor/extractor for New instances.

    Definition Classes
    Trees → Trees
  145. def NewFromConstructor(constructor: Symbol, args: Tree*): Apply

    Definition Classes
    Trees
  146. implicit val NewTag: ClassTag[New]

    Definition Classes
    Trees
  147. val NoFlags: FlagSet

    The empty set of flags

    The empty set of flags

    Definition Classes
    FlagSets → FlagSets
  148. val NoKindErrors: KindErrors

    Definition Classes
    Kinds
  149. lazy val NoMods: Modifiers

    An empty Modifiers object: no flags, empty visibility annotation and no Scala annotations.

    An empty Modifiers object: no flags, empty visibility annotation and no Scala annotations.

    Definition Classes
    Trees
  150. final val NoPeriod: Int(0)

    Definition Classes
    SymbolTable
  151. val NoPosition: internal.util.NoPosition.type

    A special "missing" position.

    A special "missing" position.

    Definition Classes
    Positions → Positions
  152. object NoPrefix extends internal.SymbolTable.Type with Product with Serializable

    An object representing a non-existing prefix

    An object representing a non-existing prefix

    Definition Classes
    Types → Types
  153. final val NoRunId: Int(0)

    Definition Classes
    SymbolTable
  154. lazy val NoSymbol: NoSymbol

    A special "missing" symbol.

    A special "missing" symbol. Commonly used in the API to denote a default or empty value.

    Definition Classes
    Symbols → Symbols
  155. final val NoTag: Int(0)

    Definition Classes
    Constants
  156. object NoType extends internal.SymbolTable.Type with Product with Serializable

    An object representing a non-existing type

    An object representing a non-existing type

    Definition Classes
    Types → Types
  157. final val NullTag: Int(11)

    Definition Classes
    Constants
  158. object NullaryMethodType extends internal.SymbolTable.NullaryMethodTypeExtractor with Serializable

    The constructor/extractor for NullaryMethodType instances.

    The constructor/extractor for NullaryMethodType instances.

    Definition Classes
    Types → Types
  159. implicit val NullaryMethodTypeTag: ClassTag[NullaryMethodType]

    Definition Classes
    Types
  160. object PackageDef extends internal.SymbolTable.PackageDefExtractor with Serializable

    The constructor/extractor for PackageDef instances.

    The constructor/extractor for PackageDef instances.

    Definition Classes
    Trees → Trees
  161. implicit val PackageDefTag: ClassTag[PackageDef]

    Definition Classes
    Trees
  162. object PolyType extends internal.SymbolTable.PolyTypeExtractor with Serializable

    The constructor/extractor for PolyType instances.

    The constructor/extractor for PolyType instances.

    Definition Classes
    Types → Types
  163. implicit val PolyTypeTag: ClassTag[PolyType]

    Definition Classes
    Types
  164. implicit val PositionTag: ClassTag[Position]

    Definition Classes
    Positions
  165. object ProperTypeKind

    Definition Classes
    Kinds
  166. object RefTree extends internal.SymbolTable.RefTreeExtractor

    The constructor/extractor for RefTree instances.

    The constructor/extractor for RefTree instances.

    Definition Classes
    Trees → Trees
  167. implicit val RefTreeTag: ClassTag[RefTree]

    Definition Classes
    Trees
  168. object ReferenceToBoxed extends internal.SymbolTable.ReferenceToBoxedExtractor with Serializable

    Definition Classes
    Trees
  169. implicit val ReferenceToBoxedTag: ClassTag[ReferenceToBoxed]

    Definition Classes
    Trees
  170. object RefinedType extends internal.SymbolTable.RefinedTypeExtractor with Serializable

    The constructor/extractor for RefinedType instances.

    The constructor/extractor for RefinedType instances.

    Definition Classes
    Types → Types
  171. implicit val RefinedTypeTag: ClassTag[RefinedType]

    Definition Classes
    Types
  172. object Return extends internal.SymbolTable.ReturnExtractor with Serializable

    The constructor/extractor for Return instances.

    The constructor/extractor for Return instances.

    Definition Classes
    Trees → Trees
  173. implicit val ReturnTag: ClassTag[Return]

    Definition Classes
    Trees
  174. implicit val RuntimeClassTag: ClassTag[RuntimeClass]

    Definition Classes
    JavaUniverseImplicitTags
  175. object Scope

    Definition Classes
    Scopes
  176. implicit val ScopeTag: ClassTag[Scope]

    Definition Classes
    Scopes
  177. def Select(qualifier: Tree, sym: Symbol): Select

    A factory method for Select nodes.

    A factory method for Select nodes.

    Definition Classes
    Trees → Trees
  178. def Select(qualifier: Tree, name: String): Select

    A factory method for Select nodes.

    A factory method for Select nodes. The string name argument is assumed to represent a TermName.

    Definition Classes
    Trees → Trees
  179. object Select extends internal.SymbolTable.SelectExtractor with Serializable

    The constructor/extractor for Select instances.

    The constructor/extractor for Select instances.

    Definition Classes
    Trees → Trees
  180. object SelectFromTypeTree extends internal.SymbolTable.SelectFromTypeTreeExtractor with Serializable

    The constructor/extractor for SelectFromTypeTree instances.

    The constructor/extractor for SelectFromTypeTree instances.

    Definition Classes
    Trees → Trees
  181. implicit val SelectFromTypeTreeTag: ClassTag[SelectFromTypeTree]

    Definition Classes
    Trees
  182. implicit val SelectTag: ClassTag[Select]

    Definition Classes
    Trees
  183. final val ShortTag: Int(4)

    Definition Classes
    Constants
  184. object SingleType extends internal.SymbolTable.SingleTypeExtractor with Serializable

    The constructor/extractor for SingleType instances.

    The constructor/extractor for SingleType instances.

    Definition Classes
    Types → Types
  185. implicit val SingleTypeTag: ClassTag[SingleType]

    Definition Classes
    Types
  186. implicit val SingletonTypeTag: ClassTag[SingletonType]

    Definition Classes
    Types
  187. object SingletonTypeTree extends internal.SymbolTable.SingletonTypeTreeExtractor with Serializable

    The constructor/extractor for SingletonTypeTree instances.

    The constructor/extractor for SingletonTypeTree instances.

    Definition Classes
    Trees → Trees
  188. implicit val SingletonTypeTreeTag: ClassTag[SingletonTypeTree]

    Definition Classes
    Trees
  189. object Star extends internal.SymbolTable.StarExtractor with Serializable

    The constructor/extractor for Star instances.

    The constructor/extractor for Star instances.

    Definition Classes
    Trees → Trees
  190. implicit val StarTag: ClassTag[Star]

    Definition Classes
    Trees
  191. object StaticallyAnnotatedType

    Definition Classes
    Types
  192. implicit val StringContextStripMarginOps: (StringContext) ⇒ StringContextStripMarginOps

    Adds the sm String interpolator to a scala.StringContext.

    Adds the sm String interpolator to a scala.StringContext.

    Definition Classes
    SymbolTable
  193. final val StringTag: Int(10)

    Definition Classes
    Constants
  194. def Super(sym: Symbol, mix: TypeName): Tree

    A factory method for Super nodes.

    A factory method for Super nodes.

    Definition Classes
    Trees → Trees
  195. object Super extends internal.SymbolTable.SuperExtractor with Serializable

    The constructor/extractor for Super instances.

    The constructor/extractor for Super instances.

    Definition Classes
    Trees → Trees
  196. implicit val SuperTag: ClassTag[Super]

    Definition Classes
    Trees
  197. object SuperType extends internal.SymbolTable.SuperTypeExtractor with Serializable

    The constructor/extractor for SuperType instances.

    The constructor/extractor for SuperType instances.

    Definition Classes
    Types → Types
  198. implicit val SuperTypeTag: ClassTag[SuperType]

    Definition Classes
    Types
  199. implicit val SymTreeTag: ClassTag[SymTree]

    Definition Classes
    Trees
  200. implicit val SymbolTag: ClassTag[Symbol]

    Definition Classes
    Symbols
  201. object SyntheticUnitAttachment extends internal.SymbolTable.PlainAttachment with Product with Serializable

    Identifies unit constants which were inserted by the compiler (e.

    Identifies unit constants which were inserted by the compiler (e.g. gen.mkBlock)

    Definition Classes
    StdAttachments
  202. def Template(sym: Symbol, body: List[Tree]): Template

    sym

    the template's symbol

    body

    trees that constitute the body of the template

    returns

    the template

    Definition Classes
    Trees
  203. object Template extends internal.SymbolTable.TemplateExtractor with Serializable

    The constructor/extractor for Template instances.

    The constructor/extractor for Template instances.

    Definition Classes
    Trees → Trees
  204. implicit val TemplateTag: ClassTag[Template]

    Definition Classes
    Trees
  205. object TermName extends internal.Names.TermNameExtractor

    The constructor/extractor for TermName instances.

    The constructor/extractor for TermName instances.

    Definition Classes
    Names → Names
  206. implicit def TermNameOps(name: TermName): NameOps[TermName]

    Definition Classes
    Names
  207. implicit val TermNameTag: ClassTag[TermName]

    Definition Classes
    Names
  208. implicit val TermSymbolTag: ClassTag[TermSymbol]

    Definition Classes
    Symbols
  209. implicit val TermTreeTag: ClassTag[TermTree]

    Definition Classes
    Trees
  210. def This(sym: Symbol): Tree

    A factory method for This nodes.

    A factory method for This nodes.

    Definition Classes
    Trees → Trees
  211. object This extends internal.SymbolTable.ThisExtractor with Serializable

    The constructor/extractor for This instances.

    The constructor/extractor for This instances.

    Definition Classes
    Trees → Trees
  212. implicit val ThisTag: ClassTag[This]

    Definition Classes
    Trees
  213. object ThisType extends internal.SymbolTable.ThisTypeExtractor with Serializable

    The constructor/extractor for ThisType instances.

    The constructor/extractor for ThisType instances.

    Definition Classes
    Types → Types
  214. implicit val ThisTypeTag: ClassTag[ThisType]

    Definition Classes
    Types
  215. def Throw(tpe: Type, args: Tree*): Throw

    A factory method for Throw nodes.

    A factory method for Throw nodes.

    Definition Classes
    Trees → Trees
  216. object Throw extends internal.SymbolTable.ThrowExtractor with Serializable

    The constructor/extractor for Throw instances.

    The constructor/extractor for Throw instances.

    Definition Classes
    Trees → Trees
  217. implicit val ThrowTag: ClassTag[Throw]

    Definition Classes
    Trees
  218. object ThrownException

    Extracts symbol of thrown exception from AnnotationInfo.

    Extracts symbol of thrown exception from AnnotationInfo.

    Supports both “old-style” @throws(classOf[Exception]) as well as “new-stye” @throws[Exception]("cause") annotations.

    Definition Classes
    AnnotationInfos
  219. implicit val TreeCopierTag: ClassTag[TreeCopier]

    Definition Classes
    JavaUniverseImplicitTags
  220. implicit val TreeTag: ClassTag[Tree]

    Definition Classes
    Trees
  221. def Try(body: Tree, cases: (Tree, Tree)*): Try

    A factory method for Try nodes.

    A factory method for Try nodes.

    Definition Classes
    Trees → Trees
  222. object Try extends internal.SymbolTable.TryExtractor with Serializable

    The constructor/extractor for Try instances.

    The constructor/extractor for Try instances.

    Definition Classes
    Trees → Trees
  223. implicit val TryTag: ClassTag[Try]

    Definition Classes
    Trees
  224. implicit val TypTreeTag: ClassTag[TypTree]

    Definition Classes
    Trees
  225. object TypeApply extends internal.SymbolTable.TypeApplyExtractor with Serializable

    The constructor/extractor for TypeApply instances.

    The constructor/extractor for TypeApply instances.

    Definition Classes
    Trees → Trees
  226. implicit val TypeApplyTag: ClassTag[TypeApply]

    Definition Classes
    Trees
  227. object TypeBounds extends internal.SymbolTable.TypeBoundsExtractor with Serializable

    The constructor/extractor for TypeBounds instances.

    The constructor/extractor for TypeBounds instances.

    Definition Classes
    Types → Types
  228. implicit val TypeBoundsTag: ClassTag[TypeBounds]

    Definition Classes
    Types
  229. def TypeBoundsTree(sym: Symbol): TypeBoundsTree

    Definition Classes
    Trees
  230. def TypeBoundsTree(bounds: TypeBounds): TypeBoundsTree

    Definition Classes
    Trees
  231. object TypeBoundsTree extends internal.SymbolTable.TypeBoundsTreeExtractor with Serializable

    The constructor/extractor for TypeBoundsTree instances.

    The constructor/extractor for TypeBoundsTree instances.

    Definition Classes
    Trees → Trees
  232. implicit val TypeBoundsTreeTag: ClassTag[TypeBoundsTree]

    Definition Classes
    Trees
  233. object TypeConKind

    Definition Classes
    Kinds
  234. object TypeDef extends internal.SymbolTable.TypeDefExtractor with Serializable

    The constructor/extractor for TypeDef instances.

    The constructor/extractor for TypeDef instances.

    Definition Classes
    Trees → Trees
  235. implicit val TypeDefTag: ClassTag[TypeDef]

    Definition Classes
    Trees
  236. object TypeName extends internal.Names.TypeNameExtractor

    The constructor/extractor for TypeName instances.

    The constructor/extractor for TypeName instances.

    Definition Classes
    Names → Names
  237. implicit def TypeNameOps(name: TypeName): NameOps[TypeName]

    Definition Classes
    Names
  238. implicit val TypeNameTag: ClassTag[TypeName]

    Definition Classes
    Names
  239. object TypeRef extends internal.SymbolTable.TypeRefExtractor with Serializable

    The constructor/extractor for TypeRef instances.

    The constructor/extractor for TypeRef instances.

    Definition Classes
    Types → Types
  240. implicit val TypeRefTag: ClassTag[TypeRef]

    Definition Classes
    Types
  241. implicit val TypeSymbolTag: ClassTag[TypeSymbol]

    Definition Classes
    Symbols
  242. object TypeTag extends Serializable

    Type tags corresponding to primitive types and constructor/extractor for WeakTypeTags.

  243. implicit val TypeTagg: ClassTag[Type]

    Definition Classes
    Types
  244. def TypeTree(tp: Type): TypeTree

    A factory method for TypeTree nodes.

    A factory method for TypeTree nodes.

    Definition Classes
    Trees → Trees
  245. object TypeTree extends internal.SymbolTable.TypeTreeExtractor with Serializable

    The constructor/extractor for TypeTree instances.

    The constructor/extractor for TypeTree instances.

    Definition Classes
    Trees → Trees
  246. implicit val TypeTreeTag: ClassTag[TypeTree]

    Definition Classes
    Trees
  247. object TypeVar extends Serializable

    Definition Classes
    Types
  248. object Typed extends internal.SymbolTable.TypedExtractor with Serializable

    The constructor/extractor for Typed instances.

    The constructor/extractor for Typed instances.

    Definition Classes
    Trees → Trees
  249. implicit val TypedTag: ClassTag[Typed]

    Definition Classes
    Trees
  250. object UnApply extends internal.SymbolTable.UnApplyExtractor with Serializable

    The constructor/extractor for UnApply instances.

    The constructor/extractor for UnApply instances.

    Definition Classes
    Trees → Trees
  251. implicit val UnApplyTag: ClassTag[UnApply]

    Definition Classes
    Trees
  252. final val UnitTag: Int(1)

    Definition Classes
    Constants
  253. object Unliftable extends Universe.StandardUnliftableInstances

    Companion to Unliftable type class that contains standard instances and provides a helper apply method to simplify creation of new ones.

  254. object UnmappableAnnotArg extends internal.SymbolTable.ClassfileAnnotArg with Product with Serializable

    Definition Classes
    AnnotationInfos
  255. object UnmappableAnnotation extends internal.SymbolTable.CompleteAnnotationInfo

    Definition Classes
    AnnotationInfos
  256. object UnmappableTree extends internal.SymbolTable.Tree with internal.SymbolTable.TermTree with Product with Serializable

    Definition Classes
    Types
  257. object ValDef extends internal.SymbolTable.ValDefExtractor with Serializable

    The constructor/extractor for ValDef instances.

    The constructor/extractor for ValDef instances.

    Definition Classes
    Trees → Trees
  258. implicit val ValDefTag: ClassTag[ValDef]

    Definition Classes
    Trees
  259. object ValOrDefDef

    Definition Classes
    Trees
  260. implicit val ValOrDefDefTag: ClassTag[ValOrDefDef]

    Definition Classes
    Trees
  261. object WeakTypeTag extends Serializable

    Type tags corresponding to primitive types and constructor/extractor for WeakTypeTags.

  262. object WildcardType extends internal.SymbolTable.Type with Product with Serializable

    An object representing an unknown type, used during type inference.

    An object representing an unknown type, used during type inference. If you see WildcardType outside of inference it is almost certainly a bug.

    Definition Classes
    Types → Types
  263. def abort(msg: String): Nothing

    Definition Classes
    SymbolTable
  264. object abstractTypesToBounds extends internal.SymbolTable.TypeMap

    Type with all top-level occurrences of abstract types replaced by their bounds

    Type with all top-level occurrences of abstract types replaced by their bounds

    Definition Classes
    TypeMaps
  265. def adaptAnnotations(tree: Tree, mode: Mode, pt: Type): Tree

    Definition Classes
    AnnotationCheckers
  266. def adaptBoundsToAnnotations(bounds: List[TypeBounds], tparams: List[Symbol], targs: List[Type]): List[TypeBounds]

    Definition Classes
    AnnotationCheckers
    See also

    AnnotationChecker.adaptBoundsToAnnotations

  267. object adaptToNewRunMap extends internal.SymbolTable.TypeMap

    Definition Classes
    TypeMaps
  268. def adaptTypeOfReturn(tree: Tree, pt: Type, default: ⇒ Type): Type

    Definition Classes
    AnnotationCheckers
  269. def addAnnotationChecker(checker: AnnotationChecker): Unit

    Register an annotation checker.

    Register an annotation checker. Typically these are added by compiler plugins.

    Definition Classes
    AnnotationCheckers
  270. def addAnnotations(tree: Tree, tpe: Type): Type

    Definition Classes
    AnnotationCheckers
  271. implicit def addFlagOps(left: FlagSet): FlagOps

    The API of FlagSet instances.

    The API of FlagSet instances.

    Definition Classes
    FlagSets → FlagSets
  272. def addMember(thistp: Type, tp: Type, sym: Symbol, depth: Depth): Unit

    Make symbol sym a member of scope tp.decls where thistp is the narrowed owner type of the scope.

    Make symbol sym a member of scope tp.decls where thistp is the narrowed owner type of the scope.

    Definition Classes
    Types
  273. def addMember(thistp: Type, tp: Type, sym: Symbol): Unit

    Definition Classes
    Types
  274. def addSerializable(ps: Type*): List[Type]

    Definition Classes
    Types
  275. def annotatedType(annots: List[AnnotationInfo], underlying: Type): Type

    Creator for AnnotatedTypes.

    Creator for AnnotatedTypes. It returns the underlying type if annotations.isEmpty rather than walking into the assertion.

    Definition Classes
    Types
  276. def annotationToTree(ann: Annotation): Tree

    Attributes
    protected[scala]
    Definition Classes
    AnnotationInfos → Annotations
  277. def annotationsConform(tp1: Type, tp2: Type): Boolean

    Definition Classes
    AnnotationCheckers
    See also

    AnnotationChecker.annotationsConform

  278. def annotationsGlb(tpe: Type, ts: List[Type]): Type

    Definition Classes
    AnnotationCheckers
    See also

    AnnotationChecker.annotationsGlb

  279. def annotationsLub(tpe: Type, ts: List[Type]): Type

    Definition Classes
    AnnotationCheckers
    See also

    AnnotationChecker.annotationsLub

  280. def appliedType(tyconSym: Symbol, args: Type*): Type

    Very convenient.

    Very convenient.

    Definition Classes
    Types → Types
  281. def appliedType(tyconSym: Symbol, args: List[Type]): Type

    Definition Classes
    Types → Types
    See also

    appliedType

  282. def appliedType(tycon: Type, args: Type*): Type

    Definition Classes
    Types → Types
    See also

    appliedType

  283. def appliedType(tycon: Type, args: List[Type]): Type

    A creator for type applications

    A creator for type applications

    Definition Classes
    Types → Types
  284. def arrayToRepeated(tp: Type): Type

    Convert array parameters denoting a repeated parameter of a Java method to JavaRepeatedParamClass types.

    Convert array parameters denoting a repeated parameter of a Java method to JavaRepeatedParamClass types.

    Definition Classes
    SymbolTable
  285. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  286. def assertCorrectThread(): Unit

    Check that the executing thread is the compiler thread.

    Check that the executing thread is the compiler thread. No-op here, overridden in interactive.Global.

    Definition Classes
    SymbolTable
    Annotations
    @elidable( elidable.WARNING )
  287. final def atPhaseStack: List[Phase]

    Definition Classes
    SymbolTable
  288. def atPhaseStackMessage: String

    Definition Classes
    SymbolTable
  289. def atPos[T <: Tree](pos: Position)(tree: T): T

    Position a tree.

    Position a tree. This means: Set position of a node and position all its unpositioned children.

    Definition Classes
    Positions → Positions
  290. def backquotedPath(t: Tree): String

    Turns a path into a String, introducing backquotes as necessary.

    Turns a path into a String, introducing backquotes as necessary.

    Definition Classes
    Printers
  291. object baseClassesCycleMonitor

    Definition Classes
    Types
  292. def baseTypeOfNonClassTypeRef(tpe: NonClassTypeRef, clazz: Symbol): Type

    Attributes
    protected
    Definition Classes
    Types
  293. def baseTypeSingletonSeq(tp: Type): BaseTypeSeq

    Create a base type sequence consisting of a single type

    Create a base type sequence consisting of a single type

    Definition Classes
    BaseTypeSeqs
  294. def basetypeRecursions: Int

    Definition Classes
    SynchronizedTypes → Types
  295. def basetypeRecursions_=(value: Int): Unit

    Definition Classes
    SynchronizedTypes → Types
  296. object binarynme

    Java binary names, like scala/runtime/Nothing$.

    Java binary names, like scala/runtime/Nothing$.

    Definition Classes
    StdNames
  297. val build: ReificationSupportImpl

    Definition Classes
    ReificationSupport
  298. def canAdaptAnnotations(tree: Tree, mode: Mode, pt: Type): Boolean

    Definition Classes
    AnnotationCheckers
  299. def captureVariable(vble: Symbol): Unit

    Mark a variable as captured; i.

    Mark a variable as captured; i.e. force boxing in a *Ref type.

    Definition Classes
    CapturedVariables
  300. def capturedVariableType(vble: Symbol, tpe: Type = NoType, erasedTypes: Boolean = false): Type

    Convert type of a captured variable to *Ref type.

    Convert type of a captured variable to *Ref type.

    Definition Classes
    CapturedVariables
  301. def capturedVariableType(vble: Symbol): Type

    Convert type of a captured variable to *Ref type.

    Convert type of a captured variable to *Ref type.

    Definition Classes
    CapturedVariables
  302. def checkKindBounds0(tparams: List[Symbol], targs: List[Type], pre: Type, owner: Symbol, explainErrors: Boolean): List[(Type, Symbol, KindErrors)]

    Check well-kindedness of type application (assumes arities are already checked) -- @M

    Check well-kindedness of type application (assumes arities are already checked) -- @M

    This check is also performed when abstract type members become concrete (aka a "type alias") -- then tparams.length==1 (checked one type member at a time -- in that case, prefix is the name of the type alias)

    Type application is just like value application: it's "contravariant" in the sense that the type parameters of the supplied type arguments must conform to the type parameters of the required type parameters:

    • their bounds must be less strict
    • variances must match (here, variances are absolute, the variance of a type parameter does not influence the variance of its higher-order parameters)
    • @M TODO: are these conditions correct,sufficient&necessary?

    e.g. class Iterable[t, m[+x <: t]] --> the application Iterable[Int, List] is okay, since List's type parameter is also covariant and its bounds are weaker than <: Int

    Definition Classes
    Kinds
  303. var chrs: Array[Char]

    Memory to store all names sequentially.

    Memory to store all names sequentially.

    Definition Classes
    Names
  304. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  305. def cloneSymbols(syms: List[Symbol]): List[Symbol]

    Convenience functions which derive symbols by cloning.

    Convenience functions which derive symbols by cloning.

    Definition Classes
    Symbols
  306. def cloneSymbolsAndModify(syms: List[Symbol], infoFn: (Type) ⇒ Type): List[Symbol]

    Clone symbols and apply the given function to each new symbol's info.

    Clone symbols and apply the given function to each new symbol's info.

    syms

    the prototypical symbols

    infoFn

    the function to apply to the infos

    returns

    the newly created, info-adjusted symbols

    Definition Classes
    Symbols
  307. def cloneSymbolsAtOwner(syms: List[Symbol], owner: Symbol): List[Symbol]

    Definition Classes
    Symbols
  308. def cloneSymbolsAtOwnerAndModify(syms: List[Symbol], owner: Symbol, infoFn: (Type) ⇒ Type): List[Symbol]

    Definition Classes
    Symbols
  309. final def closestEnclMethod(from: Symbol): Symbol

    Return closest enclosing method, unless shadowed by an enclosing class.

    Return closest enclosing method, unless shadowed by an enclosing class.

    Definition Classes
    Symbols
  310. final def collectFirst[A, B](as: List[A])(pf: PartialFunction[A, B]): Option[B]

    Definition Classes
    Collections
  311. final def collectMap2[A, B, C](xs1: List[A], xs2: List[B])(p: (A, B) ⇒ Boolean): Map[A, B]

    Definition Classes
    Collections
  312. def commonOwner(tps: List[Type]): Symbol

    The most deeply nested owner that contains all the symbols of thistype or prefixless typerefs/singletype occurrences in given list of types.

    The most deeply nested owner that contains all the symbols of thistype or prefixless typerefs/singletype occurrences in given list of types.

    Attributes
    protected[scala.reflect.internal]
    Definition Classes
    CommonOwners
  313. def commonOwner(t: Type): Symbol

    The most deeply nested owner that contains all the symbols of thistype or prefixless typerefs/singletype occurrences in given type.

    The most deeply nested owner that contains all the symbols of thistype or prefixless typerefs/singletype occurrences in given type.

    Attributes
    protected[scala.reflect.internal]
    Definition Classes
    CommonOwners
  314. def commonOwnerMap: CommonOwnerMap

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → CommonOwners
  315. final def compareLengths(xs1: List[_], xs2: List[_]): Int

    Definition Classes
    Types
    Annotations
    @tailrec()
  316. lazy val compat: Compat

    Provides enrichments to ensure source compatibility between Scala 2.

    Provides enrichments to ensure source compatibility between Scala 2.10 and Scala 2.11. If in your reflective program for Scala 2.10 you've used something that's now become an internal API, a single compat._ import will fix things for you.

    Definition Classes
    Internals → Internals
  317. def compoundBaseTypeSeq(tp: Type): BaseTypeSeq

    Create the base type sequence of a compound type wuth given tp.

    Create the base type sequence of a compound type wuth given tp.parents

    Definition Classes
    BaseTypeSeqs
  318. def computeBaseClasses(tpe: Type): List[Symbol]

    Attributes
    protected
    Definition Classes
    Types
  319. def connectModuleToClass(m: ModuleSymbol, moduleClass: ClassSymbol): ModuleSymbol

    Definition Classes
    SynchronizedSymbols → Symbols
  320. def containsExistential(tpe: Type): Boolean

    Definition Classes
    Types
  321. def copyClassDef(tree: Tree)(mods: Modifiers = null, name: Name = null, tparams: List[TypeDef] = null, impl: Template = null): ClassDef

    Definition Classes
    Trees
  322. def copyDefDef(tree: Tree)(mods: Modifiers = null, name: Name = null, tparams: List[TypeDef] = null, vparamss: List[List[ValDef]] = null, tpt: Tree = null, rhs: Tree = null): DefDef

    Definition Classes
    Trees
  323. def copyMethodType(tp: Type, params: List[Symbol], restpe: Type): Type

    Create a new MethodType of the same class as tp, i.

    Create a new MethodType of the same class as tp, i.e. keep JavaMethodType

    Definition Classes
    Types
  324. def copyModuleDef(tree: Tree)(mods: Modifiers = null, name: Name = null, impl: Template = null): ModuleDef

    Definition Classes
    Trees
  325. def copyRefinedType(original: RefinedType, parents: List[Type], decls: Scope): Type

    Definition Classes
    Types
  326. def copyTypeDef(tree: Tree)(mods: Modifiers = null, name: Name = null, tparams: List[TypeDef] = null, rhs: Tree = null): TypeDef

    Definition Classes
    Trees
  327. def copyTypeRef(tp: Type, pre: Type, sym: Symbol, args: List[Type]): Type

    Definition Classes
    Types
  328. def copyValDef(tree: Tree)(mods: Modifiers = null, name: Name = null, tpt: Tree = null, rhs: Tree = null): ValDef

    Definition Classes
    Trees
  329. final def corresponds3[A, B, C](xs1: List[A], xs2: List[B], xs3: List[C])(f: (A, B, C) ⇒ Boolean): Boolean

    True if all three arguments have the same number of elements and the function is true for all the triples.

    True if all three arguments have the same number of elements and the function is true for all the triples.

    Definition Classes
    Collections
    Annotations
    @tailrec()
  330. def createFromClonedSymbols[T](syms: List[Symbol], tpe: Type)(creator: (List[Symbol], Type) ⇒ T): T

    Functions which perform the standard clone/substituting on the given symbols and type, then call the creator function with the new symbols and type as arguments.

    Functions which perform the standard clone/substituting on the given symbols and type, then call the creator function with the new symbols and type as arguments.

    Definition Classes
    Symbols
  331. def createFromClonedSymbolsAtOwner[T](syms: List[Symbol], owner: Symbol, tpe: Type)(creator: (List[Symbol], Type) ⇒ T): T

    Definition Classes
    Symbols
  332. def currentFreshNameCreator: FreshNameCreator

    Definition Classes
    JavaUniverse → FreshNames
  333. final def currentPeriod: Period

    The current period.

    The current period.

    Definition Classes
    SymbolTable
  334. val currentRunId: Int

    The current compiler run identifier.

    The current compiler run identifier.

    Definition Classes
    ReflectSetup → SymbolTable
  335. def debugInfo(msg: ⇒ String): Unit

    Definition Classes
    SymbolTable
  336. def debugStack(t: Throwable): Unit

    Prints a stack trace if -Ydebug or equivalent was given, otherwise does nothing.

    Prints a stack trace if -Ydebug or equivalent was given, otherwise does nothing.

    Definition Classes
    SymbolTable
  337. def debugString(tp: Type): String

    Definition Classes
    TypeDebugging
  338. def debuglog(msg: ⇒ String): Unit

    Override with final implementation for inlining.

    Override with final implementation for inlining.

    Definition Classes
    SymbolTable
  339. def decodedSymName(tree: Tree, name: Name): String

    Definition Classes
    Printers
  340. def defineBaseClassesOfCompoundType(tpe: CompoundType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → Types
  341. def defineBaseTypeSeqOfCompoundType(tpe: CompoundType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → Types
  342. def defineBaseTypeSeqOfTypeRef(tpe: TypeRef): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → Types
  343. def defineParentsOfTypeRef(tpe: TypeRef): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → Types
  344. def defineUnderlyingOfSingleType(tpe: SingleType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypes → Types
  345. object definitions extends internal.SymbolTable.DefinitionsClass

    A value containing all standard definitions in DefinitionsApi

    A value containing all standard definitions in DefinitionsApi

    Definition Classes
    Definitions → StandardDefinitions
  346. def deriveCaseDef(cdef: Tree)(applyToBody: (Tree) ⇒ Tree): CaseDef

    Definition Classes
    Trees
  347. def deriveClassDef(cdef: Tree)(applyToImpl: (Template) ⇒ Template): ClassDef

    Definition Classes
    Trees
  348. def deriveDefDef(ddef: Tree)(applyToRhs: (Tree) ⇒ Tree): DefDef

    Definition Classes
    Trees
  349. def deriveFreshSkolems(tparams: List[Symbol]): List[Symbol]

    Map a list of type parameter symbols to skolemized symbols, which can be deskolemized to the original type parameter.

    Map a list of type parameter symbols to skolemized symbols, which can be deskolemized to the original type parameter. (A skolem is a representation of a bound variable when viewed inside its scope.) !!!Adriaan: this does not work for hk types.

    Skolems will be created at level 0, rather than the current value of skolemizationLevel. (See SI-7782)

    Definition Classes
    ExistentialsAndSkolems
  350. def deriveFunction(func: Tree)(applyToRhs: (Tree) ⇒ Tree): Function

    Definition Classes
    Trees
  351. def deriveLabelDef(ldef: Tree)(applyToRhs: (Tree) ⇒ Tree): LabelDef

    Definition Classes
    Trees
  352. def deriveModuleDef(mdef: Tree)(applyToImpl: (Template) ⇒ Template): ModuleDef

    Definition Classes
    Trees
  353. def deriveSymbols(syms: List[Symbol], symFn: (Symbol) ⇒ Symbol): List[Symbol]

    Derives a new list of symbols from the given list by mapping the given list across the given function.

    Derives a new list of symbols from the given list by mapping the given list across the given function. Then fixes the info of all the new symbols by substituting the new symbols for the original symbols.

    syms

    the prototypical symbols

    symFn

    the function to create new symbols

    returns

    the new list of info-adjusted symbols

    Definition Classes
    Symbols
  354. def deriveSymbols2[A](syms: List[Symbol], as: List[A], symFn: (Symbol, A) ⇒ Symbol): List[Symbol]

    Derives a new list of symbols from the given list by mapping the given list of syms and as across the given function.

    Derives a new list of symbols from the given list by mapping the given list of syms and as across the given function. Then fixes the info of all the new symbols by substituting the new symbols for the original symbols.

    syms

    the prototypical symbols

    as

    arguments to be passed to symFn together with symbols from syms (must be same length)

    symFn

    the function to create new symbols

    returns

    the new list of info-adjusted symbols

    Definition Classes
    Symbols
  355. def deriveTemplate(templ: Tree)(applyToBody: (List[Tree]) ⇒ List[Tree]): Template

    Definition Classes
    Trees
  356. def deriveType(syms: List[Symbol], symFn: (Symbol) ⇒ Symbol)(tpe: Type): Type

    Derives a new Type by first deriving new symbols as in deriveSymbols, then performing the same oldSyms => newSyms substitution on tpe as is performed on the symbol infos in deriveSymbols.

    Derives a new Type by first deriving new symbols as in deriveSymbols, then performing the same oldSyms => newSyms substitution on tpe as is performed on the symbol infos in deriveSymbols.

    syms

    the prototypical symbols

    symFn

    the function to create new symbols

    tpe

    the prototypical type

    returns

    the new symbol-subsituted type

    Definition Classes
    Symbols
  357. def deriveType2[A](syms: List[Symbol], as: List[A], symFn: (Symbol, A) ⇒ Symbol)(tpe: Type): Type

    Derives a new Type by first deriving new symbols as in deriveSymbols2, then performing the same oldSyms => newSyms substitution on tpe as is performed on the symbol infos in deriveSymbols.

    Derives a new Type by first deriving new symbols as in deriveSymbols2, then performing the same oldSyms => newSyms substitution on tpe as is performed on the symbol infos in deriveSymbols.

    syms

    the prototypical symbols

    as

    arguments to be passed to symFn together with symbols from syms (must be same length)

    symFn

    the function to create new symbols based on as

    tpe

    the prototypical type

    returns

    the new symbol-subsituted type

    Definition Classes
    Symbols
  358. def deriveTypeWithWildcards(syms: List[Symbol])(tpe: Type): Type

    Derives a new Type by instantiating the given list of symbols as WildcardTypes.

    Derives a new Type by instantiating the given list of symbols as WildcardTypes.

    syms

    the symbols to replace

    returns

    the new type with WildcardType replacing those syms

    Definition Classes
    Symbols
  359. def deriveValDef(vdef: Tree)(applyToRhs: (Tree) ⇒ Tree): ValDef

    Definition Classes
    Trees
  360. def devWarning(msg: ⇒ String): Unit

    Definition Classes
    SymbolTable
  361. final def devWarningDumpStack(msg: ⇒ String, maxFrames: Int): Unit

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  362. final def distinctBy[A, B](xs: List[A])(f: (A) ⇒ B): List[A]

    Definition Classes
    Collections
  363. object dropIllegalStarTypes extends internal.SymbolTable.TypeMap

    Turn any T* types into Seq[T] except when in method parameter position.

    Turn any T* types into Seq[T] except when in method parameter position.

    Definition Classes
    TypeMaps
  364. object dropSingletonType extends internal.SymbolTable.TypeMap

    Remove any occurrence of type <singleton> from this type and its parents

    Remove any occurrence of type <singleton> from this type and its parents

    Definition Classes
    TypeMaps
  365. def duplicateAndKeepPositions(tree: Tree): Tree

    Definition Classes
    Trees
  366. def elapsedMessage(msg: String, start: Long): String

    Attributes
    protected
    Definition Classes
    SymbolTable
  367. def elementExtract(container: Symbol, tp: Type): Type

    Definition Classes
    Types
  368. def elementExtractOption(container: Symbol, tp: Type): Option[Type]

    Definition Classes
    Types
  369. def elementTest(container: Symbol, tp: Type)(f: (Type) ⇒ Boolean): Boolean

    Definition Classes
    Types
  370. def elementTransform(container: Symbol, tp: Type)(f: (Type) ⇒ Type): Type

    Definition Classes
    Types
  371. def elimAnonymousClass(t: Type): Type

    Definition Classes
    Types
  372. val enableTypeVarExperimentals: Boolean

    Attributes
    protected
    Definition Classes
    Types
  373. def encode(str: String): TermName

    Definition Classes
    StdNames
  374. def ensureNonOverlapping(tree: Tree, others: List[Tree], focus: Boolean): Unit

    Definition Classes
    Positions
  375. def ensureNonOverlapping(tree: Tree, others: List[Tree]): Unit

    Ensure that given tree has no positions that overlap with any of the positions of others.

    Ensure that given tree has no positions that overlap with any of the positions of others. This is done by shortening the range, assigning TransparentPositions to some of the nodes in tree or focusing on the position.

    Definition Classes
    Positions
  376. def ensuring(cond: (JavaUniverse) ⇒ Boolean, msg: ⇒ Any): JavaUniverse

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

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

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

    Implicit information
    This member is added by an implicit conversion from JavaUniverse to Ensuring[JavaUniverse] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  380. final def enteringPhase[T](ph: Phase)(op: ⇒ T): T

    Perform given operation at given phase.

    Perform given operation at given phase.

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  381. final def enteringPhaseNotLaterThan[T](target: Phase)(op: ⇒ T): T

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  382. final def enteringPhaseWithName[T](phaseName: String)(body: ⇒ T): T

    Definition Classes
    SymbolTable
  383. final def enteringPrevPhase[T](op: ⇒ T): T

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  384. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  386. def erasure: Erasure { val global: JavaUniverse.this.type }

    Definition Classes
    Transforms
  387. def erasurePhase: SomePhase.type

    Definition Classes
    JavaUniverse → Required
  388. def etaExpandKeepsStar: Boolean

    Attributes
    protected
    Definition Classes
    TypeMaps
  389. def existentialAbstraction(tparams: List[Symbol], tpe0: Type): Type

    A creator for existential types.

    A creator for existential types. This generates:

    tpe1 where { tparams }

    where tpe1 is the result of extrapolating tpe with respect to tparams. Extrapolating means that type variables in tparams occurring in covariant positions are replaced by upper bounds, (minus any SingletonClass markers), type variables in tparams occurring in contravariant positions are replaced by upper bounds, provided the resulting type is legal with regard to stability, and does not contain any type variable in tparams.

    The abstraction drops all type parameters that are not directly or indirectly referenced by type tpe1. If there are no remaining type parameters, simply returns result type tpe.

    Definition Classes
    Types
  390. final def existentialTransform[T](rawSyms: List[Symbol], tp: Type, rawOwner: Symbol = NoSymbol)(creator: (List[Symbol], Type) ⇒ T): T

    Given a set rawSyms of term- and type-symbols, and a type tp, produce a set of fresh type parameters and a type so that it can be abstracted to an existential type.

    Given a set rawSyms of term- and type-symbols, and a type tp, produce a set of fresh type parameters and a type so that it can be abstracted to an existential type. Every type symbol T in rawSyms is mapped to a clone. Every term symbol x of type T in rawSyms is given an associated type symbol of the following form:

    type x.type <: T with Singleton

    The name of the type parameter is x.type, to produce nice diagnostics. The Singleton parent ensures that the type parameter is still seen as a stable type. Type symbols in rawSyms are fully replaced by the new symbols. Term symbols are also replaced, except for term symbols of an Ident tree, where only the type of the Ident is changed.

    Definition Classes
    ExistentialsAndSkolems
  391. def existentialsInType(tpe: Type): List[Symbol]

    Definition Classes
    Types
  392. def existingSymbols(syms: List[Symbol]): List[Symbol]

    Definition Classes
    Symbols
  393. final def exists2[A, B](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ Boolean): Boolean

    Definition Classes
    Collections
  394. final def exists3[A, B, C](xs1: List[A], xs2: List[B], xs3: List[C])(f: (A, B, C) ⇒ Boolean): Boolean

    Definition Classes
    Collections
  395. final def exitingPhase[T](ph: Phase)(op: ⇒ T): T

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  396. def explain[T](op: String, p: (Type, T) ⇒ Boolean, tp1: Type, arg2: T): Boolean

    Perform operation p on arguments tp1, arg2 and print trace of computation.

    Perform operation p on arguments tp1, arg2 and print trace of computation.

    Attributes
    protected
    Definition Classes
    Types
  397. def explainTypes(op: (Type, Type) ⇒ Any, found: Type, required: Type): Unit

    If option explaintypes is set, print a subtype trace for op(found, required).

    If option explaintypes is set, print a subtype trace for op(found, required).

    Definition Classes
    Types
  398. def explainTypes(found: Type, required: Type): Unit

    If option explaintypes is set, print a subtype trace for found <:< required.

    If option explaintypes is set, print a subtype trace for found <:< required.

    Definition Classes
    Types
  399. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  400. final def findOrElse[A](xs: TraversableOnce[A])(p: (A) ⇒ Boolean)(orElse: ⇒ A): A

    Definition Classes
    Collections
  401. def findOverlapping(cts: List[Tree]): List[(Tree, Tree)]

    Does given list of trees have mutually non-overlapping positions? pre: None of the trees is transparent

    Does given list of trees have mutually non-overlapping positions? pre: None of the trees is transparent

    Definition Classes
    Positions
  402. final def findPhaseWithName(phaseName: String): Phase

    Definition Classes
    SymbolTable
  403. def findRecursiveBounds(ts: List[Type]): List[(Symbol, Symbol)]

    From a list of types, find any which take type parameters where the type parameter bounds contain references to other any types in the list (including itself.

    From a list of types, find any which take type parameters where the type parameter bounds contain references to other any types in the list (including itself.)

    returns

    List of symbol pairs holding the recursive type parameter and the parameter which references it.

    Definition Classes
    GlbLubs
  404. final def findSymbol(xs: TraversableOnce[Symbol])(p: (Symbol) ⇒ Boolean): Symbol

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  405. final def flatCollect[A, B](elems: List[A])(pf: PartialFunction[A, Traversable[B]]): List[B]

    Definition Classes
    Collections
  406. final def flatMap2[A, B, C](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ List[C]): List[C]

    Definition Classes
    Collections
  407. final def flattensToEmpty(xss: Seq[Seq[_]]): Boolean

    Definition Classes
    Collections
    Annotations
    @tailrec()
  408. final def forall3[A, B, C](xs1: List[A], xs2: List[B], xs3: List[C])(f: (A, B, C) ⇒ Boolean): Boolean

    Definition Classes
    Collections
  409. def force(): Unit

    Definition Classes
    JavaUniverseForce
  410. final def foreach2[A, B](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ Unit): Unit

    Definition Classes
    Collections
  411. final def foreach3[A, B, C](xs1: List[A], xs2: List[B], xs3: List[C])(f: (A, B, C) ⇒ Unit): Unit

    Definition Classes
    Collections
  412. final def foreachWithIndex[A, B](xs: List[A])(f: (A, Int) ⇒ Unit): Unit

    Definition Classes
    Collections
  413. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from JavaUniverse to StringFormat[JavaUniverse] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  414. def freshExistentialName(suffix: String): TypeName

    Attributes
    protected
    Definition Classes
    Symbols
  415. def freshTermName(prefix: String = nme.FRESH_TERM_NAME_PREFIX)(implicit creator: FreshNameCreator): TermName

    Definition Classes
    FreshNames
  416. def freshTypeName(prefix: String)(implicit creator: FreshNameCreator): TypeName

    Definition Classes
    FreshNames
  417. object fulltpnme extends internal.SymbolTable.TypeNames

    For fully qualified type names.

    For fully qualified type names.

    Definition Classes
    StdNames
  418. val gen: internal.TreeGen { val global: JavaUniverse.this.type }

    Definition Classes
    SymbolTable
  419. def genPolyType(params: List[Symbol], tpe: Type): Type

    Definition Classes
    Types
  420. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  421. final def gilSynchronized[T](body: ⇒ T): T

    Definition Classes
    Gil
    Annotations
    @inline()
  422. def glb(ts: List[Type], depth: Depth): Type

    Attributes
    protected[scala.reflect.internal]
    Definition Classes
    GlbLubs
  423. def glb(ts: List[Type]): Type

    The greatest lower bound of a list of types (as determined by <:<).

    The greatest lower bound of a list of types (as determined by <:<).

    Definition Classes
    GlbLubs
  424. def glbNorm(ts: List[Type], depth: Depth): Type

    The greatest lower bound of a list of types (as determined by <:<), which have been normalized with regard to elimSuper.

    The greatest lower bound of a list of types (as determined by <:<), which have been normalized with regard to elimSuper.

    Attributes
    protected
    Definition Classes
    GlbLubs
  425. def glbResults: HashMap[(Depth, List[Type]), Type]

    Definition Classes
    SynchronizedTypes → GlbLubs
  426. def globalError(msg: String): Unit

    Definition Classes
    SymbolTable
  427. val globalFreshNameCreator: FreshNameCreator

    Definition Classes
    FreshNames
  428. final def hasLength(xs: List[_], len: Int): Boolean

    Again avoiding calling length, but the lengthCompare interface is clunky.

    Again avoiding calling length, but the lengthCompare interface is clunky.

    Definition Classes
    Types
  429. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  430. var ids: Int

    Attributes
    protected
    Definition Classes
    Symbols
  431. def importableMembers(pre: Type): Scope

    Members which can be imported into other scopes.

    Members which can be imported into other scopes.

    Definition Classes
    Types
  432. def indent: String

    Definition Classes
    SynchronizedTypes → Types
  433. def indent_=(value: String): Unit

    Definition Classes
    SynchronizedTypes → Types
  434. object inferKind

    Starting from a Symbol (sym) or a Type (tpe), infer the kind that classifies it (sym.

    Starting from a Symbol (sym) or a Type (tpe), infer the kind that classifies it (sym.tpeHK/tpe).

    Definition Classes
    Kinds
  435. def info(msg: ⇒ String): Unit

    Definition Classes
    SymbolTable
  436. var infoTransformers: InfoTransformer

    The set of all installed infotransformers.

    The set of all installed infotransformers.

    Definition Classes
    SymbolTable
  437. def inform(msg: String): Unit

    Definition Classes
    JavaUniverse → SymbolTable → Positions
  438. def informProgress(msg: String): Unit

    Definition Classes
    SymbolTable
  439. def informTime(msg: String, start: Long): Unit

    Definition Classes
    SymbolTable
  440. def inheritsJavaVarArgsMethod(clazz: Symbol): Boolean

    Definition Classes
    Types
  441. def init(): Unit

  442. def initAndEnterClassAndModule(owner: Symbol, name: TypeName, completer: (Symbol, Symbol) ⇒ LazyType): (ClassSymbol, ModuleSymbol)

    Create a class and a companion object, enter in enclosing scope, and initialize with a lazy type completer.

    Create a class and a companion object, enter in enclosing scope, and initialize with a lazy type completer.

    owner

    The owner of the newly created class and object

    name

    The simple name of the newly created class

    completer

    The completer to be used to set the info of the class and the module

    Attributes
    protected
    Definition Classes
    SymbolLoaders
  443. def initClassAndModule(clazz: Symbol, module: Symbol, completer: LazyType): Unit

    Attributes
    protected
    Definition Classes
    SymbolLoaders
  444. def instantiatedBounds(pre: Type, owner: Symbol, tparams: List[Symbol], targs: List[Type]): List[TypeBounds]

    Definition Classes
    Types
  445. lazy val internal: Internal

    Definition Classes
    JavaUniverse → Internals → Internals
    See also

    InternalApi

  446. def intersectionType(tps: List[Type]): Type

    A creator for intersection type where intersections of a single type are replaced by the type itself.

    A creator for intersection type where intersections of a single type are replaced by the type itself.

    Definition Classes
    Types
  447. def intersectionType(tps: List[Type], owner: Symbol): Type

    A creator for intersection type where intersections of a single type are replaced by the type itself, and repeated parent classes are merged.

    A creator for intersection type where intersections of a single type are replaced by the type itself, and repeated parent classes are merged.

    !!! Repeated parent classes are not merged - is this a bug in the comment or in the code?

    Definition Classes
    Types
  448. def intersectionWitness: WeakHashMap[List[Type], WeakReference[Type]]

    Definition Classes
    SynchronizedTypes → Types
  449. final def isAtPhaseAfter(p: Phase): Boolean

    Are we later than given phase in compilation?

    Are we later than given phase in compilation?

    Definition Classes
    SymbolTable
  450. def isBoundedGeneric(tp: Type): Boolean

    Definition Classes
    Types
  451. def isCompilerUniverse: Boolean

    Declares that this is a runtime reflection universe.

    Declares that this is a runtime reflection universe.

    This means that we can make certain assumptions to optimize the universe. For example, we may auto-initialize symbols on flag and annotation requests (see shouldTriggerCompleter below for more details).

    On the other hand, this also means that usage scenarios of the universe will differ from the conventional ones. For example, we have to do additional cleanup in order to prevent memory leaks: http://groups.google.com/group/scala-internals/browse_thread/thread/eabcf3d406dab8b2.

    Definition Classes
    SymbolTable → SymbolTable
  452. def isConstantType(tp: Type): Boolean

    Definition Classes
    Types
  453. def isDeveloper: Boolean

    Attributes
    protected
    Definition Classes
    SymbolTable
  454. def isDifferentType(tp1: Type, tp2: Type): Boolean

    Definition Classes
    TypeComparers
  455. def isDifferentTypeConstructor(tp1: Type, tp2: Type): Boolean

    Definition Classes
    TypeComparers
  456. def isDummyAppliedType(tp: Type): Boolean

    Definition Classes
    Types
  457. def isEligibleForPrefixUnification(tp: Type): Boolean

    Does this type have a prefix that begins with a type variable, or is it a refinement type? For type prefixes that fulfil this condition, type selections with the same name of equal (as determined by =:=) prefixes are considered equal in regard to =:=.

    Does this type have a prefix that begins with a type variable, or is it a refinement type? For type prefixes that fulfil this condition, type selections with the same name of equal (as determined by =:=) prefixes are considered equal in regard to =:=.

    Definition Classes
    Types
  458. def isErrorOrWildcard(tp: Type): Boolean

    Definition Classes
    Types
  459. def isExistentialType(tp: Type): Boolean

    Definition Classes
    Types
  460. def isHKSubType(tp1: Type, tp2: Type, depth: Depth): Boolean

    Definition Classes
    TypeComparers
  461. def isImplicitMethodType(tp: Type): Boolean

    Definition Classes
    Types
  462. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  463. def isJavaVarargsAncestor(clazz: Symbol): Boolean

    Definition Classes
    Types
  464. def isNonRefinementClassType(tpe: Type): Boolean

    def isNonValueType(tp: Type) = !isValueElseNonValue(tp)

    def isNonValueType(tp: Type) = !isValueElseNonValue(tp)

    Definition Classes
    Types
  465. def isNumericSubType(tp1: Type, tp2: Type): Boolean

    Definition Classes
    TypeComparers
  466. def isPastTyper: Boolean

    Definition Classes
    SymbolTable
  467. def isPopulated(tp1: Type, tp2: Type): Boolean

    Is intersection of given types populated? That is, for all types tp1, tp2 in intersection for all common base classes bc of tp1 and tp2 let bt1, bt2 be the base types of tp1, tp2 relative to class bc Then: bt1 and bt2 have the same prefix, and any corresponding non-variant type arguments of bt1 and bt2 are the same

    Is intersection of given types populated? That is, for all types tp1, tp2 in intersection for all common base classes bc of tp1 and tp2 let bt1, bt2 be the base types of tp1, tp2 relative to class bc Then: bt1 and bt2 have the same prefix, and any corresponding non-variant type arguments of bt1 and bt2 are the same

    Definition Classes
    Types
  468. def isPossiblePrefix(clazz: Symbol): Boolean

    Might the given symbol be important when calculating the prefix of a type? When tp.

    Might the given symbol be important when calculating the prefix of a type? When tp.asSeenFrom(pre, clazz) is called on tp, the result will be tp unchanged if pre is trivial and clazz is a symbol such that isPossiblePrefix(clazz) == false.

    Definition Classes
    TypeMaps
  469. def isRawIfWithoutArgs(sym: Symbol): Boolean

    Definition Classes
    Types
  470. def isRawParameter(sym: Symbol): Boolean

    Definition Classes
    ExistentialsAndSkolems
  471. def isRawType(tp: Type): Boolean

    Is type tp a raw type?

    Is type tp a raw type?

    Definition Classes
    Types
  472. def isReferenceToPredef(t: Tree): Boolean

    Is the tree Predef, scala.

    Is the tree Predef, scala.Predef, or _root_.scala.Predef?

    Definition Classes
    Trees
  473. def isReferenceToScalaMember(t: Tree, Id: Name): Boolean

    Definition Classes
    Trees
  474. def isSameType(tp1: Type, tp2: Type): Boolean

    Do tp1 and tp2 denote equivalent types?

    Do tp1 and tp2 denote equivalent types?

    Definition Classes
    TypeComparers
  475. def isSameType2(tp1: Type, tp2: Type): Boolean

    Definition Classes
    TypeComparers
  476. def isSameTypes(tps1: List[Type], tps2: List[Type]): Boolean

    Are tps1 and tps2 lists of pairwise equivalent types?

    Are tps1 and tps2 lists of pairwise equivalent types?

    Definition Classes
    Types
  477. def isSingleType(tp: Type): Boolean

    This appears to be equivalent to tp.

    This appears to be equivalent to tp.isInstanceof[SingletonType], except it excludes ConstantTypes.

    Definition Classes
    Types
  478. def isSubArgs(tps1: List[Type], tps2: List[Type], tparams: List[