scala.reflect.runtime

SymbolTable

trait SymbolTable extends SymbolTable with JavaToScala with ScalaToJava with Loaders with SynchronizedOps

This symbol table trait fills in the definitions so that class information is obtained by refection. It can be used either from the reflexive mirror itself (class Universe), or else from a runtime compiler that uses reflection to get a class information (class scala.tools.nsc.ReflectGlobal)

Source
SymbolTable.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SymbolTable
  2. SynchronizedOps
  3. SynchronizedTypes
  4. SynchronizedSymbols
  5. Loaders
  6. ScalaToJava
  7. JavaToScala
  8. ConversionUtil
  9. SymbolTable
  10. Required
  11. Importers
  12. TypeDebugging
  13. Positions
  14. TreePrinters
  15. Trees
  16. AnnotationCheckers
  17. AnnotationInfos
  18. StdNames
  19. NameManglers
  20. Transforms
  21. InfoTransformers
  22. BaseTypeSeqs
  23. Constants
  24. Definitions
  25. Scopes
  26. ExistentialsAndSkolems
  27. Kinds
  28. Types
  29. Symbols
  30. Names
  31. Collections
  32. Universe
  33. StandardNames
  34. StandardDefinitions
  35. AnnotationInfos
  36. TreePrinters
  37. Positions
  38. Trees
  39. Names
  40. Scopes
  41. Constants
  42. Types
  43. Symbols
  44. AnyRef
  45. Any
Visibility
  1. Public
  2. All

Type Members

  1. abstract class AbsSymbolImpl extends AbsSymbol

  2. abstract class AbsTypeImpl extends AbsType

  3. abstract type AbstractFileType >: Null <: AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    Required
  4. trait AbstractTypeMixin extends TypeSymbol

    Might be mixed into TypeSymbol or TypeSkolem.

  5. trait AbstractTypeRef extends TypeRef with NonClassTypeRef

  6. class AbstractTypeSymbol extends TypeSymbol with AbstractTypeMixin

  7. trait AliasTypeRef extends TypeRef with NonClassTypeRef

  8. class AliasTypeSymbol extends TypeSymbol

  9. trait AlphaNumName extends Name

    A name that contains no operator chars nor dollar signs.

  10. trait Annotatable[Self] extends AnyRef

  11. case class AnnotatedType(annotations: List[AnnotationInfo], underlying: Type, selfsym: Symbol) extends Type with RewrappingTypeProxy with Product with Serializable

    A type carrying some annotations.

  12. abstract class AnnotationChecker extends AnyRef

    An additional checker for annotations on types.

  13. trait AnnotationFilter extends TypeMap

  14. sealed abstract class AnnotationInfo extends Product3[Type, List[Tree], List[(Name, ClassfileAnnotArg)]]

    Typed information about an annotation.

  15. case class AntiPolyType(pre: Type, targs: List[Type]) extends Type with Product with Serializable

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

  16. class AppliedTypeVar extends TypeVar

    Precondition: zipped params/args nonEmpty.

  17. class ArgsTypeRef extends TypeRef with UniqueType

  18. case class ArrayAnnotArg(args: Array[ClassfileAnnotArg]) extends ClassfileAnnotArg with Product with Serializable

    Represents an array of classfile annotation arguments

  19. class AsSeenFromMap extends TypeMap with KeepOnlyTypeConstraints

    A map to compute the asSeenFrom method

  20. class BaseTypeSeq extends AnyRef

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

  21. case class BoundedWildcardType(bounds: TypeBounds) extends Type with Product with Serializable

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

  22. class ChangeOwnerTraverser extends Traverser

  23. case class ClassInfoType(parents: List[Type], decls: Scope, typeSymbol: Symbol) extends CompoundType with Product with Serializable

    A class representing a class info

  24. class ClassSymbol extends TypeSymbol

    A class for class symbols

  25. trait ClassTypeRef extends TypeRef

  26. abstract class ClassfileAnnotArg extends Product

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

  27. trait CommonNames extends AnyRef

  28. class CommonOwnerMap extends TypeTraverserWithResult[Symbol]

    Attributes
    protected
  29. class CompleteAnnotationInfo extends AnnotationInfo

  30. abstract class CompoundType extends Type

    A common base class for intersection types and class types

  31. case class Constant(value: Any) extends AbsConstant with Product with Serializable

    Definition Classes
    Constants → Constants
  32. abstract case class ConstantType(value: Constant) extends SingletonType with Product with Serializable

    A class representing a constant type.

  33. class ContainsCollector extends TypeCollector[Boolean]

    A map to implement the contains method.

  34. class ContainsTypeCollector extends TypeCollector[Boolean]

    A map to implement the contains method.

  35. case class CyclicReference(sym: Symbol, info: Type) extends TypeError with Product with Serializable

    An exception for cyclic references of symbol definitions

  36. case class DeBruijnBinder(pnames: List[Name], ptypes: List[Type], restpe: Type) extends Type with Product with Serializable

    A binder defining data associated with De Bruijn indices.

  37. case class DeBruijnIndex(level: Int, idx: Int, args: List[Type]) extends Type with Product with Serializable

    A De Bruijn index referring to a previous type argument.

  38. class ErrorScope extends Scope

    The error scope.

  39. class ExistentialExtrapolation extends TypeMap with VariantTypeMap

    Used by existentialAbstraction.

  40. case class ExistentialType(quantified: List[Symbol], underlying: Type) extends Type with RewrappingTypeProxy with Product with Serializable

    Definition Classes
    Types → Types
  41. class FilterTypeCollector extends TypeCollector[List[Type]]

    A map to implement the filter method.

  42. class FindTypeCollector extends TypeCollector[Option[Type]]

    A map to implement the filter method.

  43. class ForEachTypeTraverser extends TypeTraverser

  44. class ForeachPartialTreeTraverser extends Traverser

  45. class FreeVar extends TermSymbol

  46. class HKTypeVar extends TypeVar

    Precondition: params.

  47. abstract class Importer extends AnyRef

  48. abstract class InfoTransformer extends AnyRef

  49. class InstantiateDependentMap extends TypeMap with KeepOnlyTypeConstraints

  50. case class InvalidCompanions(sym1: Symbol, sym2: Symbol) extends Throwable with Product with Serializable

  51. class JavaKeywords extends AnyRef

  52. class JavaMethodType extends MethodType

  53. trait KeepOnlyTypeConstraints extends TypeMap with AnnotationFilter

  54. trait Keywords extends AnyRef

    This should be the first trait in the linearization.

  55. case class KindErrors(arity: List[(Symbol, Symbol)], variance: List[(Symbol, Symbol)], strictness: List[(Symbol, Symbol)]) extends Product with Serializable

  56. final class LazyAnnotationInfo extends AnnotationInfo

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

  57. class LazyPackageType extends LazyType

    The type completer for packages.

  58. abstract class LazyPolyType extends LazyType

  59. abstract class LazyType extends Type

    A class representing an as-yet unevaluated type.

  60. case class LiteralAnnotArg(const: Constant) extends ClassfileAnnotArg 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).

  61. class MalformedType extends TypeError

    A throwable signalling a malformed type

  62. class MappedBaseTypeSeq extends BaseTypeSeq

  63. class MethodSymbol extends TermSymbol

    A class for method symbols

  64. case class MethodType(params: List[Symbol], resultType: Type) extends Type with Product with Serializable

    A class representing a method type with parameters.

  65. class MissingAliasControl extends Throwable with ControlThrowable

  66. class MissingTypeControl extends Throwable with ControlThrowable

  67. case class Modifiers(flags: Long, privateWithin: Name, annotations: List[Tree]) extends AbsModifiers with HasFlags with Product with Serializable

  68. class ModuleClassSymbol extends ClassSymbol

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

  69. class ModuleSymbol extends TermSymbol

    A class for module symbols

  70. sealed abstract class Name extends AbsName with (Int) ⇒ Char

    The name class.

  71. trait NameManglingCommon extends AnyRef

  72. case class NamedType(name: Name, tp: Type) extends Type with Product with Serializable

    A class representing types with a name.

  73. case class NestedAnnotArg(annInfo: AnnotationInfo) extends ClassfileAnnotArg with Product with Serializable

    Represents a nested classfile annotation

  74. class NoArgsTypeRef extends TypeRef with UniqueType

  75. class NoCommonType extends Throwable with ControlThrowable

  76. class NoSymbol extends Symbol

    An object representing a missing symbol

  77. trait NonClassTypeRef extends TypeRef

  78. case class NotNullType(underlying: Type) extends SubType with RewrappingTypeProxy with Product with Serializable

  79. case class NullaryMethodType(resultType: Type) extends Type with Product with Serializable

    Definition Classes
    Types → Types
  80. case class OverloadedType(pre: Type, alternatives: List[Symbol]) extends Type with Product with Serializable

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

  81. class PackageClassInfoType extends ClassInfoType

  82. class PackageScope extends Scope with SynchronizedScope

  83. 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
  84. case class PolyType(typeParams: List[Symbol], resultType: Type) extends Type with Product with Serializable

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

  85. abstract type Position

    Definition Classes
    Universe → Positions
  86. case class RecoverableCyclicReference(sym: Symbol) extends TypeError with Product with Serializable

    An exception for cyclic references from which we can recover

  87. case class RefinedType(parents: List[Type], decls: Scope) extends CompoundType 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.

  88. final class RefinedType0 extends RefinedType

  89. trait RewrappingTypeProxy extends Type with SimpleTypeProxy

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

  90. type RunId = Int

    An ordinal number for compiler runs.

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

    Definition Classes
    SymbolTable
  91. case class ScalaSigBytes(bytes: Array[Byte]) extends ClassfileAnnotArg with Product with Serializable

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

  92. class Scope extends Iterable[Symbol]

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

  93. class ScopeEntry extends AnyRef

  94. trait SimpleTypeProxy extends 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).

  95. abstract case class SingleType(pre: Type, sym: Symbol) extends SingletonType with Product with Serializable

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

  96. abstract class SingletonType extends SubType with SimpleTypeProxy

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

  97. abstract class SubType extends Type

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

  98. class SubTypePair extends AnyRef

  99. abstract class SubstMap[T] extends TypeMap

    A base class to compute all substitutions

  100. class SubstSymMap extends SubstMap[Symbol]

    A map to implement the substSym method.

  101. class SubstThisAndSymMap extends SubstSymMap

  102. class SubstThisMap extends TypeMap

    A map to implement the substThis method.

  103. class SubstTypeMap extends SubstMap[Type]

    A map to implement the subst method.

  104. class SubstWildcardMap extends TypeMap

  105. abstract case class SuperType(thistpe: Type, supertpe: Type) extends SingletonType with Product with Serializable

    Definition Classes
    Types → Types
  106. abstract class SymLoader extends LazyType

  107. abstract class Symbol extends AbsSymbolImpl with HasFlags with Annotatable[Symbol]

    The class for all symbols

  108. abstract class SymbolNames extends AnyRef

  109. trait SynchronizedBaseTypeSeq extends BaseTypeSeq

  110. trait SynchronizedClassSymbol extends ClassSymbol with SynchronizedTypeSymbol

  111. trait SynchronizedMethodSymbol extends MethodSymbol with SynchronizedTermSymbol

  112. trait SynchronizedModuleClassSymbol extends ModuleClassSymbol with SynchronizedClassSymbol

  113. trait SynchronizedScope extends Scope

  114. trait SynchronizedSymbol extends Symbol

  115. trait SynchronizedTermSymbol extends TermSymbol with SynchronizedSymbol

  116. trait SynchronizedTypeSymbol extends TypeSymbol with SynchronizedSymbol

  117. class SynchronizedUndoLog extends UndoLog

  118. sealed abstract class TermName extends Name

    Definition Classes
    Names → Names
  119. trait TermNameMangling extends NameManglingCommon

  120. trait TermNames extends Keywords with CommonNames

  121. class TermSymbol extends Symbol

    A class for term symbols

  122. abstract case class ThisType(sym: Symbol) extends SingletonType with Product with Serializable

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

  123. class TopClassCompleter extends SymLoader

    The standard completer for top-level classes

  124. abstract type TreeCopier <: TreeCopierOps

    Definition Classes
    Trees
  125. class TreeOps extends AnyRef

  126. class TreePrinter extends TreePrinter

    Definition Classes
    TreePrinters → TreePrinters
  127. class TreeSubstituter extends Transformer

  128. class TreeSymSubstTraverser extends TypeMapTreeSubstituter

  129. class TreeSymSubstituter extends Transformer

    Substitute symbols in from with symbols in to.

  130. class TreeTypeSubstituter extends TypeMapTreeSubstituter

  131. class TwoWayCache[J, S] extends AnyRef

    A cache that maintains a bijection between Java reflection type J and Scala reflection type S.

  132. abstract class Type extends AbsTypeImpl with Annotatable[Type]

    The base class for all types

  133. abstract case class TypeBounds(lo: Type, hi: Type) extends SubType with Product with Serializable

    A class for the bounds of abstract types and type parameters

  134. abstract class TypeCollector[T] extends TypeTraverser

  135. class TypeConstraint extends AnyRef

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

  136. class TypeError extends Throwable

    A throwable signalling a type error

  137. abstract class TypeMap extends (Type) ⇒ Type

    A prototype for mapping a function over all possible types

  138. class TypeMapTreeSubstituter extends Traverser

  139. sealed abstract class TypeName extends Name

    Definition Classes
    Names → Names
  140. trait TypeNameMangling extends NameManglingCommon

  141. trait TypeNames extends CommonNames

  142. abstract case class TypeRef(pre: Type, sym: Symbol, args: List[Type]) extends Type 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.

  143. class TypeSkolem extends TypeSymbol

    A class for type parameters viewed from inside their scopes

  144. abstract class TypeSymbol extends Symbol

    A class of type symbols.

  145. abstract class TypeTraverser extends TypeMap

  146. abstract class TypeTraverserWithResult[T] extends TypeTraverser

  147. class TypeVar extends Type

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

  148. class UndoLog extends AnyRef

  149. final class UniqueConstantType extends ConstantType with UniqueType

  150. final class UniqueSingleType extends SingleType with UniqueType

  151. final class UniqueSuperType extends SuperType with UniqueType

  152. final class UniqueThisType extends ThisType with UniqueType

  153. trait UniqueType extends Product

  154. final class UniqueTypeBounds extends TypeBounds with UniqueType

  155. trait ValueClassDefinitions extends AnyRef

  156. trait VariantTypeMap extends TypeMap

Abstract Value Members

  1. abstract val NoPosition: Position

    Definition Classes
    Universe → Positions
  2. abstract def currentRunId: RunId

    The current compiler run identifier.

    The current compiler run identifier.

    Definition Classes
    SymbolTable
  3. abstract def focusPos(pos: Position): Position

    Definition Classes
    Positions
  4. abstract def forInteractive: Boolean

    Definition Classes
    Required
  5. abstract def forScaladoc: Boolean

    Definition Classes
    Required
  6. abstract val gen: TreeGen { val global: SymbolTable.this.type }

    Definition Classes
    Required
  7. abstract def isRangePos(pos: Position): Boolean

    Definition Classes
    Positions
  8. abstract def log(msg: ⇒ AnyRef): Unit

    Definition Classes
    SymbolTable
  9. abstract def newLazyTreeCopier: TreeCopier

    Definition Classes
    Trees
  10. abstract def newStrictTreeCopier: TreeCopier

    Definition Classes
    Trees
  11. abstract val phaseWithId: Array[Phase]

    The phase which has given index as identifier.

    The phase which has given index as identifier.

    Definition Classes
    SymbolTable
  12. abstract def picklerPhase: Phase

    Definition Classes
    Required
  13. abstract def settings: MutableSettings

    Definition Classes
    Required
  14. abstract def showPos(pos: Position): String

    Definition Classes
    Positions

Concrete Value Members

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

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

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

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

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

    Definition Classes
    Any
  6. object AnnotatedType extends AnnotatedTypeExtractor with Serializable

    Definition Classes
    Types → Types
  7. object AnnotationInfo extends AnnotationInfoExtractor

    Definition Classes
    AnnotationInfos → AnnotationInfos
  8. def Apply(sym: Symbol, args: Tree*): Tree

    Definition Classes
    Trees
  9. object ApproximateDependentMap extends TypeMap

  10. object ArrayAnnotArg extends ArrayAnnotArgExtractor with Serializable

    Definition Classes
    AnnotationInfos → AnnotationInfos
  11. def Bind(sym: Symbol, body: Tree): Bind

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

    Block factory that flattens directly nested blocks.

    Block factory that flattens directly nested blocks.

    Definition Classes
    Trees
  13. final val BooleanTag: Int(2)

    Definition Classes
    Constants
  14. final val ByteTag: Int(3)

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

    casedef shorthand

    casedef shorthand

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

    Definition Classes
    Constants
  17. def ClassDef(sym: Symbol, impl: Template): ClassDef

    sym

    the class symbol

    returns

    the implementation template

    Definition Classes
    Trees
  18. object ClassInfoType extends ClassInfoTypeExtractor with Serializable

    Definition Classes
    Types → Types
  19. final val ClassTag: Int(12)

    Definition Classes
    Constants
  20. object ConsoleWriter extends Writer

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

  21. object Constant extends ConstantExtractor with Serializable

    Definition Classes
    Constants → Constants
  22. object ConstantType extends ConstantTypeExtractor with Serializable

    Definition Classes
    Types → Types
  23. val CyclicInheritance: Throwable

    Definition Classes
    BaseTypeSeqs
  24. def DefDef(sym: Symbol, rhs: (List[List[Symbol]]) ⇒ Tree): DefDef

    Definition Classes
    Trees
  25. def DefDef(sym: Symbol, rhs: Tree): DefDef

    Definition Classes
    Trees
  26. def DefDef(sym: Symbol, mods: Modifiers, rhs: Tree): DefDef

    Definition Classes
    Trees
  27. def DefDef(sym: Symbol, vparamss: List[List[ValDef]], rhs: Tree): DefDef

    Definition Classes
    Trees
  28. def DefDef(sym: Symbol, mods: Modifiers, vparamss: List[List[ValDef]], rhs: Tree): DefDef

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

    Definition Classes
    Constants
  30. object EmptyScope extends Scope

    The empty scope (immutable).

  31. def EmptyTermName: TermName

    Definition Classes
    Names
  32. lazy val EmptyTreeTypeSubstituter: TreeTypeSubstituter

    Definition Classes
    Trees
  33. def EmptyTypeName: TypeName

    Definition Classes
    Names
  34. final val EnumTag: Int(13)

    Definition Classes
    Constants
  35. object ErroneousCollector extends TypeCollector[Boolean]

    A map to implement the contains method.

  36. object ErrorType extends Type with Product with Serializable

    An object representing an erroneous type

  37. object ExistentialType extends ExistentialTypeExtractor with Serializable

    Definition Classes
    Types → Types
  38. final val FloatTag: Int(8)

    Definition Classes
    Constants
  39. val GlbFailure: Throwable

    Definition Classes
    Types
  40. object HasTypeMember extends AnyRef

  41. object HasTypeParams extends AnyRef

  42. def Ident(sym: Symbol): Ident

    Definition Classes
    Trees
  43. def Ident(name: String): Ident

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

    Definition Classes
    Constants
  45. object IsDependentCollector extends TypeCollector[Boolean]

  46. 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
  47. def LabelDef(sym: Symbol, params: List[Symbol], rhs: Tree): LabelDef

    Definition Classes
    Trees
  48. object LiteralAnnotArg extends LiteralAnnotArgExtractor with Serializable

    Definition Classes
    AnnotationInfos → AnnotationInfos
  49. final val LongTag: Int(7)

    Definition Classes
    Constants
  50. final val LubGlbMargin: Int(0)

    Definition Classes
    Types
  51. object MethodType extends MethodTypeExtractor with Serializable

    Definition Classes
    Types → Types
  52. def Modifiers(mods: Set[Modifier], privateWithin: Name, annotations: List[Tree]): Modifiers

    Definition Classes
    Trees → Trees
  53. def Modifiers(flags: Long): Modifiers

    Definition Classes
    Trees
  54. def Modifiers(flags: Long, privateWithin: Name): Modifiers

    Definition Classes
    Trees
  55. def ModuleDef(sym: Symbol, impl: Template): ModuleDef

    sym

    the class symbol

    impl

    the implementation template

    Definition Classes
    Trees
  56. object NestedAnnotArg extends NestedAnnotArgExtractor with Serializable

    Definition Classes
    AnnotationInfos → AnnotationInfos
  57. def New(tpe: Type, args: Tree*): Tree

    Definition Classes
    Trees
  58. def New(sym: Symbol, args: Tree*): Tree

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

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

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

    Definition Classes
    Trees
  60. val NoKindErrors: KindErrors

    Definition Classes
    Kinds
  61. lazy val NoMods: Modifiers

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

    Definition Classes
    SymbolTable
  63. object NoPrefix extends Type with Product with Serializable

    An object representing a non-existing prefix

  64. final val NoRunId: Int(0)

    Definition Classes
    SymbolTable
  65. lazy val NoSymbol: NoSymbol

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

    Definition Classes
    Constants
  67. object NoType extends Type with Product with Serializable

    An object representing a non-existing type

  68. final val NullTag: Int(11)

    Definition Classes
    Constants
  69. object NullaryMethodType extends NullaryMethodTypeExtractor with Serializable

    Definition Classes
    Types → Types
  70. object PolyType extends PolyTypeExtractor with Serializable

    Definition Classes
    Types → Types
  71. object RefinedType extends RefinedTypeExtractor with Serializable

    Definition Classes
    Types → Types
  72. object Scope extends AnyRef

  73. def Select(qualifier: Tree, sym: Symbol): Select

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

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

    Definition Classes
    Constants
  76. object SingleType extends SingleTypeExtractor with Serializable

    Definition Classes
    Types → Types
  77. final val StringTag: Int(10)

    Definition Classes
    Constants
  78. object StripAnnotationsMap extends TypeMap

  79. def Super(sym: Symbol, mix: TypeName): Tree

    Definition Classes
    Trees
  80. object SuperType extends SuperTypeExtractor with Serializable

    Definition Classes
    Types → Types
  81. def This(sym: Symbol): Tree

    Definition Classes
    Trees
  82. object ThisType extends ThisTypeExtractor with Serializable

    Definition Classes
    Types → Types
  83. object TypeBounds extends TypeBoundsExtractor with Serializable

    Definition Classes
    Types → Types
  84. def TypeDef(sym: Symbol): TypeDef

    A TypeDef node which defines abstract type or type parameter for given sym

    A TypeDef node which defines abstract type or type parameter for given sym

    Definition Classes
    Trees
  85. def TypeDef(sym: Symbol, rhs: Tree): TypeDef

    A TypeDef node which defines given sym with given tight hand side rhs.

    A TypeDef node which defines given sym with given tight hand side rhs.

    Definition Classes
    Trees
  86. object TypeRef extends TypeRefExtractor with Serializable

    Definition Classes
    Types → Types
  87. def TypeTree(tp: Type): TypeTree

    Definition Classes
    Trees
  88. object TypeVar extends AnyRef

  89. final val UnitTag: Int(1)

    Definition Classes
    Constants
  90. object UnmappableAnnotation extends CompleteAnnotationInfo

  91. object UnmappableTree extends Tree with TermTree with Product with Serializable

  92. def ValDef(sym: Symbol): ValDef

    Definition Classes
    Trees
  93. def ValDef(sym: Symbol, rhs: Tree): ValDef

    Definition Classes
    Trees
  94. object WildcardType extends Type with Product with Serializable

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

  95. def abort(msg: String): Nothing

    Definition Classes
    SymbolTable
  96. def abstractTypesToBounds(tp: Type): Type

    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
    Types
  97. def adaptAnnotations(tree: Tree, mode: Int, pt: Type): Tree

    Let registered annotation checkers adapt a tree to a given type (called by Typers.

    Let registered annotation checkers adapt a tree to a given type (called by Typers.adapt). Annotation checkers that cannot do the adaption should pass the tree through unchanged.

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

    Refine the bounds on type parameters to the given type arguments.

    Refine the bounds on type parameters to the given type arguments.

    Definition Classes
    AnnotationCheckers
  99. object adaptToNewRunMap extends TypeMap

  100. def addAnnotationChecker(checker: AnnotationChecker): Unit

    Register an annotation checker.

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

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

    Let all annotations checkers add extra annotations to this tree's type.

    Let all annotations checkers add extra annotations to this tree's type.

    Definition Classes
    AnnotationCheckers
  102. def addMember(thistp: Type, tp: Type, sym: Symbol): 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
  103. final def afterPhase[T](ph: Phase)(op: ⇒ T): T

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  104. def annotatedType(annots: List[AnnotationInfo], underlying: Type, selfsym: Symbol = NoSymbol): Type

    Creator for AnnotatedTypes.

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

    Definition Classes
    Types
  105. def annotationsConform(tp1: Type, tp2: Type): Boolean

    Check that the annotations on two types conform.

    Check that the annotations on two types conform. To do so, consult all registered annotation checkers.

    Definition Classes
    AnnotationCheckers
  106. def annotationsGlb(tpe: Type, ts: List[Type]): Type

    Refine the computed greatest lower bound of a list of types.

    Refine the computed greatest lower bound of a list of types. All this should do is add annotations.

    Definition Classes
    AnnotationCheckers
  107. def annotationsLub(tpe: Type, ts: List[Type]): Type

    Refine the computed least upper bound of a list of types.

    Refine the computed least upper bound of a list of types. All this should do is add annotations.

    Definition Classes
    AnnotationCheckers
  108. def appliedType(tycon: Type, args: List[Type]): Type

    A creator for type applications

    A creator for type applications

    Definition Classes
    Types
  109. def appliedTypeAsUpperBounds(tycon: Type, args: List[Type]): Type

    A creator for existential types where the type arguments, rather than being applied directly, are interpreted as the upper bounds of unknown types.

    A creator for existential types where the type arguments, rather than being applied directly, are interpreted as the upper bounds of unknown types. For instance if the type argument list given is List(AnyRefClass), the resulting type would be e.g. Set[_ <: AnyRef] rather than Set[AnyRef] .

    Definition Classes
    Types
  110. 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
  111. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  112. final def atPhase[T](ph: Phase)(op: ⇒ T): T

    Perform given operation at given phase.

    Perform given operation at given phase.

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

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  114. def atPos[T <: Tree](pos: Position)(tree: T): T

    Definition Classes
    Trees
  115. 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
    TreePrinters
  116. def baseTypeOfNonClassTypeRef(tpe: NonClassTypeRef, clazz: Symbol): Type

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  117. 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
  118. final def beforePhase[T](ph: Phase)(op: ⇒ T): T

    Since when it is to be "at" a phase is inherently ambiguous, a couple unambiguously named methods.

    Since when it is to be "at" a phase is inherently ambiguous, a couple unambiguously named methods.

    Definition Classes
    SymbolTable
    Annotations
    @inline()
  119. def beginsWithTypeVarOrIsRefined(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 (wrt) =:= prefixes are considered equal wrt =:=

    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 (wrt) =:= prefixes are considered equal wrt =:=

    Definition Classes
    Types
  120. object binarynme extends AnyRef

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

  121. def canAdaptAnnotations(tree: Tree, mode: Int, pt: Type): Boolean

    Find out whether any annotation checker can adapt a tree to a given type.

    Find out whether any annotation checker can adapt a tree to a given type. Called by Typers.adapt.

    Definition Classes
    AnnotationCheckers
  122. 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
  123. var chrs: Array[Char]

    Memory to store all names sequentially.

    Memory to store all names sequentially.

    Definition Classes
    Names
  124. val classCache: TwoWayCache[Class[_], Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  125. def classToJava(clazz: Symbol): Class[_]

    The Java class corresponding to given Scala class.

    The Java class corresponding to given Scala class. Note: This only works for

    • top-level classes
    • Scala classes that were generated via jclassToScala
    • classes that have a class owner that has a corresponding Java class
    Definition Classes
    ScalaToJava
    Annotations
    @throws( classOf[ClassNotFoundException] )
    Exceptions thrown
    A

    ClassNotFoundException for all Scala classes not in one of these categories.

  126. def classToScala(jclazz: Class[_]): Symbol

    The Scala class that corresponds to a given Java class.

    The Scala class that corresponds to a given Java class.

    jclazz

    The Java class

    returns

    A Scala class symbol that reflects all elements of the Java class, in the form they appear in the Scala pickling info, or, if that is not available, wrapped from the Java reflection info.

    Definition Classes
    JavaToScala
  127. lazy val classfileAnnotArgManifest: ClassManifest[ClassfileAnnotArg]

    Definition Classes
    AnnotationInfos → AnnotationInfos
  128. def clone(): AnyRef

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

    Convenience functions which derive symbols by cloning.

    Convenience functions which derive symbols by cloning.

    Definition Classes
    Symbols
  130. 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
  131. def cloneSymbolsAtOwner(syms: List[Symbol], owner: Symbol): List[Symbol]

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

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

    Definition Classes
    Collections
  134. def commonOwnerMap: CommonOwnerMap

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  135. final def compareLengths(xs1: List[_], xs2: List[_]): Int

    Definition Classes
    Types
    Annotations
    @tailrec()
  136. 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
  137. def connectModuleToClass(m: ModuleSymbol, moduleClass: ClassSymbol): ModuleSymbol

    Definition Classes
    SynchronizedSymbolsSymbols
  138. def constrToJava(constr: Symbol): java.lang.reflect.Constructor[_]

    Definition Classes
    ScalaToJava
  139. def constrToScala(jconstr: java.lang.reflect.Constructor[_]): Symbol

    The Scala constructor corresponding to given Java constructor.

    The Scala constructor corresponding to given Java constructor.

    jconstr

    The Java constructor

    returns

    A Scala method object that corresponds to jconstr.

    Definition Classes
    JavaToScala
  140. val constructorCache: TwoWayCache[java.lang.reflect.Constructor[_], Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  141. def containsExistential(tpe: Type): Boolean

    Definition Classes
    Types
  142. 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
  143. def copyRefinedType(original: RefinedType, parents: List[Type], decls: Scope): Type

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

    Definition Classes
    Types
  145. 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()
  146. def createClassModule(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
    Loaders
  147. 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
  148. def createFromClonedSymbolsAtOwner[T](syms: List[Symbol], owner: Symbol, tpe: Type)(creator: (List[Symbol], Type) ⇒ T): T

    Definition Classes
    Symbols
  149. final def currentPeriod: Period

    The current period.

    The current period.

    Definition Classes
    SymbolTable
  150. object deAlias extends TypeMap

    Remove any occurrences of type aliases from this type

  151. def debugInfo(msg: ⇒ String): Unit

  152. def debugString(tp: Type): String

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

    Override with final implementation for inlining.

    Override with final implementation for inlining.

    Definition Classes
    SymbolTable
  154. def debugwarn(msg: ⇒ String): Unit

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

    Definition Classes
    TreePrinters
  156. def defaultReflectiveClassLoader(): ClassLoader

    Attributes
    protected
    Definition Classes
    JavaToScala
  157. def defineBaseClassesOfCompoundType(tpe: CompoundType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  158. def defineBaseTypeSeqOfCompoundType(tpe: CompoundType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  159. def defineBaseTypeSeqOfTypeRef(tpe: TypeRef): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  160. def defineParentsOfTypeRef(tpe: TypeRef): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  161. def defineUnderlyingOfSingleType(tpe: SingleType): Unit

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  162. object definitions extends AbsDefinitions with ValueClassDefinitions

    Definition Classes
    Definitions → StandardDefinitions
  163. 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.

    Definition Classes
    ExistentialsAndSkolems
  164. 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
  165. 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
  166. 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
  167. def deskolemizeTypeParams(tparams: List[Symbol])(tp: Type): Type

    Convert to corresponding type parameters all skolems of method parameters which appear in tparams.

    Convert to corresponding type parameters all skolems of method parameters which appear in tparams.

    Definition Classes
    ExistentialsAndSkolems
  168. def differentOrNone(tp1: Type, tp2: Type): Type

    Definition Classes
    Types
  169. object dropAllRefinements extends TypeMap

    Substitutes the empty scope for any non-empty decls in the type.

  170. object dropRepeatedParamType extends TypeMap

  171. object dropSingletonType extends TypeMap

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

  172. def duplicateTree(tree: Tree): Tree

    Attributes
    protected[scala]
    Definition Classes
    Trees → Trees
  173. def elimAnonymousClass(t: Type): Type

    Definition Classes
    Types
  174. def elimRefinement(t: Type): Type

    Definition Classes
    Types
  175. val emptySymbolArray: Array[Symbol]

    Definition Classes
    Symbols
  176. object emptyValDef extends ValDef

    Definition Classes
    Trees → Trees
  177. val enableTypeVarExperimentals: Boolean

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

    Definition Classes
    StdNames
  179. 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 or assigning TransparentPositions to some of the nodes in tree.

    Definition Classes
    Positions
  180. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  182. def erasesTo(meth: Symbol, jconstr: java.lang.reflect.Constructor[_]): Boolean

    Does constructor meth erase to Java method jconstr? This is true if the Java constructor type is the same as the Scala constructor type after performing all Scala-specific transformations in InfoTransformers.

    Does constructor meth erase to Java method jconstr? This is true if the Java constructor type is the same as the Scala constructor type after performing all Scala-specific transformations in InfoTransformers. (to be done)

    Attributes
    protected
    Definition Classes
    ConversionUtil
  183. def erasesTo(meth: Symbol, jmeth: Method): Boolean

    Does method meth erase to Java method jmeth? This is true if the Java method type is the same as the Scala method type after performing all Scala-specific transformations in InfoTransformers.

    Does method meth erase to Java method jmeth? This is true if the Java method type is the same as the Scala method type after performing all Scala-specific transformations in InfoTransformers. (to be done)

    Attributes
    protected
    Definition Classes
    ConversionUtil
  184. def erasure: Erasure { val global: SymbolTable.this.type }

    Definition Classes
    Transforms
  185. def etaExpandKeepsStar: Boolean

    Attributes
    protected
    Definition Classes
    Types
  186. 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 wrt 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 wrt 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
  187. def existentialsInType(tpe: Type): List[Symbol]

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

    Definition Classes
    Collections
  189. 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
    SynchronizedTypesTypes
  190. 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
  191. 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
  192. val fieldCache: TwoWayCache[Field, Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  193. def fieldToJava(fld: Symbol): Field

    Definition Classes
    ScalaToJava
  194. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  195. 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
    Types
  196. final def flatMap2[A, B, C](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ List[C]): List[C]

    Definition Classes
    Collections
  197. def forMSIL: Boolean

    Are we compiling for .

    Are we compiling for .NET?

    Definition Classes
    SymbolTable
  198. final def forall2[A, B](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ Boolean): Boolean

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

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

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

    Definition Classes
    Collections
  202. def freshExistentialName(suffix: String): TypeName

    Attributes
    protected
    Definition Classes
    SynchronizedSymbolsSymbols
  203. def fromDeBruijn(owner: Symbol): TypeMap

    Definition Classes
    Types
  204. object fullnme extends TermNames

  205. object fulltpnme extends TypeNames

    For fully qualified type names.

  206. def genericDeclarationToScala(jdecl: GenericDeclaration): Symbol

    The Scala symbol that corresponds to a given Java generic declaration (class, method, or constructor)

    The Scala symbol that corresponds to a given Java generic declaration (class, method, or constructor)

    Definition Classes
    JavaToScala
  207. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  208. def glb(ts: List[Type]): Type

    The greatest lower bound wrt <:< of a list of types

    The greatest lower bound wrt <:< of a list of types

    Definition Classes
    SynchronizedTypesTypes → Types
  209. def glbNorm(ts: List[Type], depth: Int): Type

    The greatest lower bound wrt <:< of a list of types, which have been normalized wrt elimSuper

    The greatest lower bound wrt <:< of a list of types, which have been normalized wrt elimSuper

    Attributes
    protected
    Definition Classes
    Types
  210. 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
  211. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  212. var ids: Int

    Attributes
    protected
    Definition Classes
    Symbols
  213. def inReflexiveMirror: Boolean

    Is this symbol table part of reflexive mirror? In this case operations need to be made thread safe.

    Is this symbol table part of reflexive mirror? In this case operations need to be made thread safe.

    Definition Classes
    SymbolTable
  214. def info(msg: ⇒ String): Unit

  215. var infoTransformers: InfoTransformer

    The set of all installed infotransformers.

    The set of all installed infotransformers.

    Definition Classes
    SymbolTable
  216. def initClassModule(clazz: Symbol, module: Symbol, completer: LazyType): Unit

    Attributes
    protected
    Definition Classes
    Loaders
  217. def instTypeVar(tp: Type): Type

    Definition Classes
    Types
  218. def instantiatedBounds(pre: Type, owner: Symbol, tparams: List[Symbol], targs: List[Type]): List[TypeBounds]

    Definition Classes
    Types
  219. 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
  220. 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
  221. val intersectionWitness: WeakHashMap[List[Type], WeakReference[Type]]

    A map from lists to compound types that have the given list as parents.

    A map from lists to compound types that have the given list as parents. This is used to avoid duplication in the computation of base type sequences and baseClasses. It makes use of the fact that these two operations depend only on the parents, not on the refinement.

    Definition Classes
    Types
  222. def invalidClassName(name: Name): Boolean

    Is the given name valid for a top-level class? We exclude names with embedded $-signs, because these are nested classes or anonymous classes,

    Is the given name valid for a top-level class? We exclude names with embedded $-signs, because these are nested classes or anonymous classes,

    Definition Classes
    Loaders
  223. def isConstantType(tp: Type): Boolean

    Definition Classes
    Types
  224. def isDifferentType(tp1: Type, tp2: Type): Boolean

    Definition Classes
    SynchronizedTypesTypes
  225. def isDifferentTypeConstructor(tp1: Type, tp2: Type): Boolean

    Definition Classes
    Types
  226. def isErrorOrWildcard(tp: Type): Boolean

    Definition Classes
    Types
  227. def isHKSubType0(tp1: Type, tp2: Type, depth: Int): Boolean

    Definition Classes
    Types
  228. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  229. def isJavaClass(path: String): Boolean

    Does path correspond to a Java class with that fully qualified name?

    Does path correspond to a Java class with that fully qualified name?

    Definition Classes
    JavaToScala
  230. def isNumericSubType(tp1: Type, tp2: Type): Boolean

    The isNumericValueType tests appear redundant, but without them test/continuations-neg/function3.

    The isNumericValueType tests appear redundant, but without them test/continuations-neg/function3.scala goes into an infinite loop. (Even if the calls are to typeSymbolDirect.)

    Definition Classes
    Types
  231. 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
  232. def isRaw(sym: Symbol, args: List[Type]): Boolean

    Definition Classes
    Types
  233. def isRawType(tp: Type): Boolean

    Is type tp a raw type?

    Is type tp a raw type?

    Definition Classes
    Types
  234. def isSameType(tp1: Type, tp2: Type): Boolean

    Do tp1 and tp2 denote equivalent types?

    Do tp1 and tp2 denote equivalent types?

    Definition Classes
    SynchronizedTypesTypes
  235. def isSameType2(tp1: Type, tp2: Type): Boolean

    Definition Classes
    Types
  236. 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
  237. def isSingleType(tp: Type): Boolean

    Definition Classes
    Types
  238. def isSubArg(t1: Type, t2: Type, variance: Int): Boolean

    Definition Classes
    Types
  239. def isSubArgs(tps1: List[Type], tps2: List[Type], tparams: List[Symbol]): Boolean

    Definition Classes
    Types
  240. def isSubType(tp1: Type, tp2: Type, depth: Int): Boolean

    Definition Classes
    SynchronizedTypesTypes
  241. def isSubType(tp1: Type, tp2: Type): Boolean

    Definition Classes
    Types
  242. def isSubTypes(tps1: List[Type], tps2: List[Type]): Boolean

    Are tps1 and tps2 lists of equal length such that all elements of tps1 conform to corresponding elements of tps2?

    Are tps1 and tps2 lists of equal length such that all elements of tps1 conform to corresponding elements of tps2?

    Definition Classes
    Types
  243. final def isValid(period: Period): Boolean

    Definition Classes
    SymbolTable
  244. final def isValidForBaseClasses(period: Period): Boolean

    Definition Classes
    SymbolTable
  245. def isWeakSubType(tp1: Type, tp2: Type): Boolean

    Definition Classes
    Types
  246. def isWithinBounds(pre: Type, owner: Symbol, tparams: List[Symbol], targs: List[Type]): Boolean

    Do type arguments targs conform to formal parameters tparams?

    Do type arguments targs conform to formal parameters tparams?

    Definition Classes
    Types
  247. def javaClass(path: String, classLoader: ClassLoader): Class[_]

    Definition Classes
    JavaToScala
  248. def javaClass(path: String): Class[_]

    Paul: It seems the default class loader does not pick up root classes, whereas the system classloader does.

    Paul: It seems the default class loader does not pick up root classes, whereas the system classloader does. Can you check with your newly acquired classloader fu whether this implementation makes sense?

    Definition Classes
    JavaToScala
  249. val javanme: JavaKeywords

    Definition Classes
    StdNames
  250. def kindsConform(tparams: List[Symbol], targs: List[Type], pre: Type, owner: Symbol): Boolean

    Definition Classes
    Kinds
  251. implicit def lowerTermNames(n: TermName): String

    Definition Classes
    StdNames
  252. def lub(ts: List[Type]): Type

    Definition Classes
    SynchronizedTypesTypes → Types
  253. def lubDepth(ts: List[Type]): Int

    The maximum allowable depth of lubs or glbs over types ts.

    The maximum allowable depth of lubs or glbs over types ts. This is the maximum depth of all types in the base type sequences of each of the types ts, plus LubGlbMargin.

    Definition Classes
    Types
  254. def makeNoSymbol: NoSymbol with SynchronizedSymbol

    Attributes
    protected
    Definition Classes
    SynchronizedSymbolsSymbols
  255. def makeScalaPackage(fullname: String): Symbol

    The Scala package with given fully qualified name.

    The Scala package with given fully qualified name. Unlike packageNameToScala, this one bypasses the cache.

    Definition Classes
    JavaToScala
  256. final def map2[A, B, C](xs1: List[A], xs2: List[B])(f: (A, B) ⇒ C): List[C]

    Definition Classes
    Collections
  257. def map2Conserve[A <: AnyRef, B](xs: List[A], ys: List[B])(f: (A, B) ⇒ A): List[A]

    like map2, but returns list xs itself - instead of a copy - if function f maps all elements to themselves.

    like map2, but returns list xs itself - instead of a copy - if function f maps all elements to themselves.

    Definition Classes
    Types
  258. final def map3[A, B, C, D](xs1: List[A], xs2: List[B], xs3: List[C])(f: (A, B, C) ⇒ D): List[D]

    Definition Classes
    Collections
  259. def mapParamss[T](sym: Symbol)(f: (Symbol) ⇒ T): List[List[T]]

    A deep map on a symbol's paramss.

    A deep map on a symbol's paramss.

    Definition Classes
    Symbols
  260. final def mapWithIndex[A, B](xs: List[A])(f: (A, Int) ⇒ B): List[B]

    Definition Classes
    Collections
  261. final def matchesType(tp1: Type, tp2: Type, alwaysMatchSimple: Boolean): Boolean

    A function implementing tp1 matches tp2.

    A function implementing tp1 matches tp2.

    Definition Classes
    Types
  262. final val maxTostringRecursions: Int(50)

    The maximum number of recursions allowed in toString

    The maximum number of recursions allowed in toString

    Definition Classes
    Types
  263. def mergePrefixAndArgs(tps: List[Type], variance: Int, depth: Int): Option[Type]

    Compute lub (if variance == 1) or glb (if variance == -1) of given list of types tps.

    Compute lub (if variance == 1) or glb (if variance == -1) of given list of types tps. All types in tps are typerefs or singletypes with the same symbol. Return Some(x) if the computation succeeds with result x. Return None if the computation fails.

    Definition Classes
    Types
  264. val methodCache: TwoWayCache[Method, Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  265. def methodToJava(meth: Symbol): Method

    Definition Classes
    ScalaToJava
  266. def methodToScala(jmeth: Method): Symbol

    The Scala method corresponding to given Java method.

    The Scala method corresponding to given Java method.

    jmeth

    The Java method

    returns

    A Scala method object that corresponds to jmeth.

    Definition Classes
    JavaToScala
  267. final def mexists[A](xss: List[List[A]])(p: (A) ⇒ Boolean): Boolean

    All these mm methods are "deep map" style methods for mapping etc.

    All these mm methods are "deep map" style methods for mapping etc. on a list of lists.

    Definition Classes
    Collections
  268. final def mfilter[A](xss: List[List[A]])(p: (A) ⇒ Boolean): List[A]

    Definition Classes
    Collections
  269. final def mfind[A](xss: List[List[A]])(p: (A) ⇒ Boolean): Option[A]

    Definition Classes
    Collections
  270. final def mforeach[A](xss: List[List[A]])(f: (A) ⇒ Unit): Unit

    Definition Classes
    Collections
  271. val missingAliasException: MissingAliasControl

    Definition Classes
    Types
  272. def missingHook(owner: Symbol, name: Name): Symbol

    If owner is a package class (but not the empty package) and name is a term name, make a new package <owner>.

    If owner is a package class (but not the empty package) and name is a term name, make a new package <owner>.<name>, otherwise return NoSymbol. Exception: If owner is root and a java class with given name exists, create symbol in empty package instead.

    Definition Classes
    SymbolTableSymbolTable
  273. final def mmap[A, B](xss: List[List[A]])(f: (A) ⇒ B): List[List[B]]

    Definition Classes
    Collections
  274. def nameChars: Array[Char]

    Definition Classes
    Names
  275. final val nameDebug: Boolean(false)

    Definition Classes
    Names
  276. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  277. def needsOuterTest(patType: Type, selType: Type, currentOwner: Symbol): Boolean

    Does a pattern of type patType need an outer test when executed against selector type selType in context defined by currentOwner?

    Does a pattern of type patType need an outer test when executed against selector type selType in context defined by currentOwner?

    Definition Classes
    Types
  278. def newBaseTypeSeq(parents: List[Type], elems: Array[Type]): BaseTypeSeq with SynchronizedBaseTypeSeq

    Attributes
    protected
    Definition Classes
    SynchronizedOpsBaseTypeSeqs
  279. def newExistentialType(quantified: List[Symbol], underlying: Type): Type

    A creator for existential types which flattens nested existentials.

    A creator for existential types which flattens nested existentials.

    Definition Classes
    Types
  280. def newFreeVar(name: TermName, tpe: Type, value: Any, newFlags: Long = 0L): FreeVar

    Create a new free variable.

    Create a new free variable. Its owner is NoSymbol.

    Definition Classes
    SynchronizedSymbolsSymbols
  281. def newNestedScope(outer: Scope): Scope

    Create a new scope nested in another one with which it shares its elements

    Create a new scope nested in another one with which it shares its elements

    Definition Classes
    SynchronizedOpsScopes
  282. def newPackageScope(pkgClass: Symbol): PackageScope

    Definition Classes
    Loaders
  283. def newScope(): Scope with SynchronizedScope

    Create a new scope

    Create a new scope

    Definition Classes
    SynchronizedOpsScopes → Scopes
  284. def newScopeWith(elems: Symbol*): Scope

    Create a new scope with given initial elements

    Create a new scope with given initial elements

    Definition Classes
    Scopes
  285. def newTermName(s: String): TermName

    Create a term name from string.

    Create a term name from string.

    Definition Classes
    SynchronizedOpsNames → Names
  286. def newTermName(bs: Array[Byte], offset: Int, len: Int): TermName

    Create a term name from the UTF8 encoded bytes in bs[offset.

    Create a term name from the UTF8 encoded bytes in bs[offset..offset+len-1].

    Definition Classes
    Names
  287. def newTermName(cs: Array[Char], offset: Int, len: Int, cachedString: String): TermName

    Create a term name from the characters in cs[offset.

    Create a term name from the characters in cs[offset..offset+len-1]. TODO - have a mode where name validation is performed at creation time (e.g. if a name has the string "$class" in it, then fail if that string is not at the very end.)

    Attributes
    protected
    Definition Classes
    Names
  288. def newTermName(cs: Array[Char]): TermName

    Definition Classes
    Names
  289. def newTermName(cs: Array[Char], offset: Int, len: Int): TermName

    Create a term name from the characters in cs[offset.

    Create a term name from the characters in cs[offset..offset+len-1].

    Definition Classes
    Names
  290. def newTermNameCached(s: String): TermName

    Definition Classes
    Names
  291. def newTreePrinter(): TreePrinter

    Definition Classes
    TreePrinters
  292. def newTreePrinter(stream: OutputStream): TreePrinter

    Definition Classes
    TreePrinters
  293. def newTreePrinter(writer: PrintWriter): TreePrinter

    Definition Classes
    TreePrinters → TreePrinters
  294. def newTypeName(s: String): TypeName

    Create a type name from string.

    Create a type name from string.

    Definition Classes
    SynchronizedOpsNames → Names
  295. def newTypeName(bs: Array[Byte], offset: Int, len: Int): TypeName

    Create a type name from the UTF8 encoded bytes in bs[offset.

    Create a type name from the UTF8 encoded bytes in bs[offset..offset+len-1].

    Definition Classes
    Names
  296. def newTypeName(cs: Array[Char], offset: Int, len: Int): TypeName

    Create a type name from the characters in cs[offset.

    Create a type name from the characters in cs[offset..offset+len-1].

    Definition Classes
    Names
  297. def newTypeName(cs: Array[Char], offset: Int, len: Int, cachedString: String): TypeName

    Attributes
    protected
    Definition Classes
    Names
  298. def newTypeName(cs: Array[Char]): TypeName

    Definition Classes
    Names
  299. def newTypeNameCached(s: String): TypeName

    Definition Classes
    Names
  300. def newUndoLog: SynchronizedUndoLog

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  301. def nextId(): Int

    Attributes
    protected
    Definition Classes
    SynchronizedSymbolsSymbols
  302. object nme extends AbsTermNames with TermNames with TermNameMangling

  303. def normalizePlus(tp: Type): Type

    Definition Classes
    Types
  304. final def notify(): Unit

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

    Definition Classes
    AnyRef
  306. def numericGlb(ts: List[Type]): Type

    Definition Classes
    Types
  307. def numericLub(ts: List[Type]): Type

    Definition Classes
    Types
  308. def objToAny(tp: Type): Type

    Definition Classes
    Types
  309. def openPackageModule(pkgClass: Symbol): Unit

    if there's a package member object in pkgClass, enter its members into it.

    if there's a package member object in pkgClass, enter its members into it.

    Definition Classes
    SymbolTable
  310. def openPackageModule(container: Symbol, dest: Symbol): Unit

    Definition Classes
    SymbolTable
  311. val originalOwner: HashMap[Symbol, Symbol]

    The original owner of a class.

    The original owner of a class. Used by the backend to generate EnclosingMethod attributes.

    Definition Classes
    Symbols
  312. val packageCache: TwoWayCache[Package, Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  313. def packageNameToScala(fullname: String): Symbol

    The Scala package with given fully qualified name.

    The Scala package with given fully qualified name.

    Definition Classes
    JavaToScala
  314. def packageToJava(pkg: Symbol): Option[Package]

    Optionally, the Java package corresponding to a given Scala package, or None if no such Java package exists.

    Optionally, the Java package corresponding to a given Scala package, or None if no such Java package exists.

    pkg

    The Scala package

    Definition Classes
    ScalaToJava
  315. def packageToScala(jpkg: Package): Symbol

    The Scala package corresponding to given Java package

    The Scala package corresponding to given Java package

    Definition Classes
    JavaToScala
  316. def paramString(tp: Type): String

    Definition Classes
    TypeDebugging
  317. var parentsLevel: Int

    used to avoid cyclies

    used to avoid cyclies

    Definition Classes
    JavaToScala
  318. var pendingLoadActions: List[() ⇒ Unit]

    Definition Classes
    JavaToScala
  319. object perRunCaches extends AnyRef

  320. final def period(rid: RunId, pid: Int): Period

    Definition Classes
    SymbolTable
  321. final def phase: Phase

    Definition Classes
    SymbolTable
  322. final def phaseId(period: Period): Int

    The phase identifier of the given period.

    The phase identifier of the given period.

    Definition Classes
    SymbolTable
  323. final def phaseOf(period: Period): Phase

    The phase associated with given period.

    The phase associated with given period.

    Definition Classes
    SymbolTable
  324. final def phase_=(p: Phase): Unit

    Definition Classes
    SymbolTable
  325. def polyType(tparams: List[Symbol], tpe: Type): Type

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

    A creator 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
  326. implicit def promoteTermNamesAsNecessary(name: Name): TermName

    Definition Classes
    Names
  327. def quotedName(name: Name): String

    Definition Classes
    TreePrinters
  328. def quotedName(name: Name, decode: Boolean): String

    Adds backticks if the name is a scala keyword.

    Adds backticks if the name is a scala keyword.

    Definition Classes
    TreePrinters
  329. def rawToExistential: TypeMap

    The raw to existential map converts a raw type to an existential type.

    The raw to existential map converts a raw type to an existential type. It is necessary because we might have read a raw type of a parameterized Java class from a class file. At the time we read the type the corresponding class file might still not be read, so we do not know what the type parameters of the type are. Therefore the conversion of raw types to existential types might not have taken place in ClassFileparser.sigToType (where it is usually done).

    Definition Classes
    Types
  330. def refChecks: RefChecks { val global: SymbolTable.this.type }

    Definition Classes
    Transforms
  331. def refinedType(parents: List[Type], owner: Symbol): Type

    The canonical creator for a refined type with an initially empty scope.

    The canonical creator for a refined type with an initially empty scope.

    parents

    ...

    owner

    ...

    returns

    ...

    Definition Classes
    Types
  332. def refinedType(parents: List[Type], owner: Symbol, decls: Scope, pos: Position): Type

    the canonical creator for a refined type with a given scope

    the canonical creator for a refined type with a given scope

    Definition Classes
    Types
  333. def removeAllAnnotationCheckers(): Unit

    Remove all annotation checkers

    Remove all annotation checkers

    Definition Classes
    AnnotationCheckers
  334. def repackExistential(tp: Type): Type

    Repack existential types, otherwise they sometimes get unpacked in the wrong location (type inference comes up with an unexpected skolem)

    Repack existential types, otherwise they sometimes get unpacked in the wrong location (type inference comes up with an unexpected skolem)

    Definition Classes
    Types
  335. val rootLoader: LazyType

    The lazy type for root.

    The lazy type for root.

    Definition Classes
    Loaders
  336. final def runId(period: Period): RunId

    The run identifier of the given period.

    The run identifier of the given period.

    Definition Classes
    SymbolTable
  337. final def sameLength(xs1: List[_], xs2: List[_]): Boolean

    True if two lists have the same length.

    True if two lists have the same length. Since calling length on linear sequences is O(n), it is an inadvisable way to test length equality.

    Definition Classes
    Types
  338. def scopeTransform(owner: Symbol)(op: ⇒ Scope): Scope

    Definition Classes
    Loaders
  339. def setAllInfos(clazz: Symbol, module: Symbol, info: Type): Unit

    Attributes
    protected
    Definition Classes
    Loaders
  340. val shorthands: Set[String]

    Definition Classes
    Types
  341. def show(tree: Tree, mkPrinter: (PrintWriter) ⇒ TreePrinter): String

    Definition Classes
    TreePrinters
  342. final val showOuterTests: Boolean(false)

    Definition Classes
    TreePrinters
  343. def showRaw(tree: Tree): String

    Definition Classes
    TreePrinters
  344. def singleType(pre: Type, sym: Symbol): Type

    The canonical creator for single-types

    The canonical creator for single-types

    Definition Classes
    Types
  345. def singletonBounds(hi: Type): TypeBounds

    Definition Classes
    Types
  346. var skolemizationLevel: Int

    The current skolemization level, needed for the algorithms in isSameType, isSubType that do constraint solving under a prefix.

    The current skolemization level, needed for the algorithms in isSameType, isSubType that do constraint solving under a prefix.

    Definition Classes
    Types
  347. lazy val sn: SymbolNames

    Definition Classes
    StdNames
  348. def solve(tvars: List[TypeVar], tparams: List[Symbol], variances: List[Int], upper: Boolean, depth: Int): Boolean

    Definition Classes
    Types
  349. def solve(tvars: List[TypeVar], tparams: List[Symbol], variances: List[Int], upper: Boolean): Boolean

    Solve constraint collected in types tvars.

    Solve constraint collected in types tvars.

    tvars

    All type variables to be instantiated.

    tparams

    The type parameters corresponding to tvars

    variances

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

    upper

    When true search for max solution else min.

    Definition Classes
    Types
  350. def spanningTypes(ts: List[Type]): List[Type]

    A minimal type list which has a given list of types as its base type sequence

    A minimal type list which has a given list of types as its base type sequence

    Definition Classes
    Types
  351. def specializesSym(tp: Type, sym: Symbol): Boolean

    Does type tp implement symbol sym with same or stronger type? Exact only if sym is a member of some refinement type, otherwise we might return false negatives.

    Does type tp implement symbol sym with same or stronger type? Exact only if sym is a member of some refinement type, otherwise we might return false negatives.

    Definition Classes
    Types
  352. final def startRun(period: Period): Period

    The period at the start of run that includes period.

    The period at the start of run that includes period.

    Definition Classes
    SymbolTable
  353. def supplementErrorMessage(msg: String): String

    Overridden when we know more about what was happening during a failure.

    Overridden when we know more about what was happening during a failure.

    Definition Classes
    SymbolTable
  354. def suspendTypeVarsInType(tp: Type): List[TypeVar]

    Make each type var in this type use its original type for comparisons instead of collecting constraints.

    Make each type var in this type use its original type for comparisons instead of collecting constraints.

    Definition Classes
    Types
  355. def symName(tree: Tree, name: Name): String

    Definition Classes
    TreePrinters
  356. def symbolCount: Int

    Definition Classes
    Symbols
  357. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  358. object toDeBruijn extends TypeMap

  359. def toString(): String

    Definition Classes
    AnyRef → Any
  360. val tparamCache: TwoWayCache[java.lang.reflect.TypeVariable[_], Symbol]

    Attributes
    protected
    Definition Classes
    ConversionUtil
  361. def tparamToScala(jparam: java.lang.reflect.TypeVariable[_ <: java.lang.reflect.GenericDeclaration]): Symbol

    The Scala type parameter that corresponds to a given Java type parameter.

    The Scala type parameter that corresponds to a given Java type parameter.

    jparam

    The Java type parameter

    returns

    A Scala type parameter symbol that has the same owner and name as the Java type parameter

    Definition Classes
    JavaToScala
  362. object tpnme extends AbsTypeNames with TypeNames with TypeNameMangling

  363. def transformedType(tpe: Type): _46.global.Type forSome { val _46: Object with scala.reflect.internal.transform.Erasure{val global: SymbolTable.this.type} }

    Definition Classes
    Transforms
  364. def transformedType(sym: Symbol): _47.global.Type forSome { val _47: Object with scala.reflect.internal.transform.Erasure{val global: SymbolTable.this.type} }

    Definition Classes
    Transforms
  365. val treeCopy: TreeCopier

    Definition Classes
    Trees
  366. implicit def treeOps(tree: Tree): TreeOps

    Definition Classes
    Trees
  367. def typeArgsString(tp: Type): String

    Definition Classes
    TypeDebugging
  368. object typeDebug extends AnyRef

  369. def typeFun(tps: List[Symbol], body: Type): Type

    A creator for a type functions, assuming the type parameters tps already have the right owner.

    A creator for a type functions, assuming the type parameters tps already have the right owner.

    Definition Classes
    Types
  370. def typeFunAnon(tps: List[Symbol], body: Type): Type

    A creator for anonymous type functions, where the symbol for the type function still needs to be created.

    A creator for anonymous type functions, where the symbol for the type function still needs to be created.

    TODO: type params of anonymous type functions, which currently can only arise from normalising type aliases, are owned by the type alias of which they are the eta-expansion higher-order subtyping expects eta-expansion of type constructors that arise from a class; here, the type params are owned by that class, but is that the right thing to do?

    Definition Classes
    Types
  371. def typeParamsString(tp: Type): String

    Definition Classes
    TypeDebugging
  372. def typeParamsToExistentials(clazz: Symbol): List[Symbol]

    Definition Classes
    Types
  373. def typeParamsToExistentials(clazz: Symbol, tparams: List[Symbol]): List[Symbol]

    A collector that tests for existential types appearing at given variance in a type

    A collector that tests for existential types appearing at given variance in a type

    Definition Classes
    Types
  374. def typeRef(pre: Type, sym: Symbol, args: List[Type]): Type

    The canonical creator for typerefs todo: see how we can clean this up a bit

    The canonical creator for typerefs todo: see how we can clean this up a bit

    Definition Classes
    Types
  375. def typeToJavaClass(tpe: Type): Class[_]

    The Java class that corresponds to given Scala type.

    The Java class that corresponds to given Scala type. Pre: Scala type is already transformed to Java level.

    Definition Classes
    ScalaToJavaConversionUtil
  376. def typeToScala(jtpe: Type): Type

    The Scala type that corresponds to given Java type

    The Scala type that corresponds to given Java type

    Definition Classes
    JavaToScala
  377. def typeToString(tpe: Type): String

    Attributes
    protected
    Definition Classes
    SynchronizedTypesTypes
  378. object typeVarToOriginMap extends TypeMap

    A map to convert every occurrence of a type variable to a wildcard type.

  379. def typeVarsInType(tp: Type): List[TypeVar]

    A list of the typevars in a type.

    A list of the typevars in a type.

    Definition Classes
    Types
  380. def uncurry: UnCurry { val global: SymbolTable.this.type }

    Definition Classes
    Transforms
  381. val undetBaseTypeSeq: BaseTypeSeq

    A merker object for a base type sequence that's no yet computed.

    A merker object for a base type sequence that's no yet computed. used to catch inheritance cycles

    Definition Classes
    BaseTypeSeqs
  382. lazy val undoLog: UndoLog

    A log of type variable with their original constraints.

    A log of type variable with their original constraints. Used in order to undo constraints in the case of isSubType/isSameType failure.

    Definition Classes
    Types
  383. def unique[T <: Type](tp: T): T

    Definition Classes
    SynchronizedTypesTypes
  384. def uniqueTypeCount: Int

    Definition Classes
    Types
  385. def unpickleClass(clazz: Symbol, module: Symbol, jclazz: Class[_]): Unit

    Generate types for top-level Scala root class and root companion object from the pickled information stored in a corresponding Java class

    Generate types for top-level Scala root class and root companion object from the pickled information stored in a corresponding Java class

    clazz

    The top-level Scala class for which info is unpickled

    module

    The top-level Scala companion object for which info is unpickled

    jclazz

    The Java class which contains the unpickled information in a ScalaSignature or ScalaLongSignature annotation.

    Definition Classes
    JavaToScala
  386. def validateClassInfo(tp: ClassInfoType): Unit

    Assert that packages have package scopes

    Assert that packages have package scopes

    Definition Classes
    SymbolTableTypes
  387. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  390. def weakGlb(ts: List[Type]): (Type, Boolean)

    Definition Classes
    Types
  391. def weakLub(ts: List[Type]): (Type, Boolean)

    Definition Classes
    Types
  392. object wildcardToTypeVarMap extends TypeMap

    A map to convert every occurrence of a wildcard type to a fresh type variable

  393. def withTypesExplained[A](op: ⇒ A): A

    Execute op while printing a trace of the operations on types executed.

    Execute op while printing a trace of the operations on types executed.

    Definition Classes
    Types
  394. def wrappingPos(trees: List[Tree]): Position

    A position that wraps the non-empty set of trees.

    A position that wraps the non-empty set of trees. The point of the wrapping position is the point of the first trees' position. If all some the trees are non-synthetic, returns a range position enclosing the non-synthetic trees Otherwise returns a synthetic offset position to point.

    Definition Classes
    Positions
  395. def wrappingPos(default: Position, trees: List[Tree]): Position

    A position that wraps a set of trees.

    A position that wraps a set of trees. The point of the wrapping position is the point of the default position. If some of the trees are ranges, returns a range position enclosing all ranges Otherwise returns default position.

    Definition Classes
    Positions
  396. def xprintTree(treePrinter: TreePrinter, tree: Tree): Unit

    Hook for extensions

    Hook for extensions

    Definition Classes
    TreePrinters
  397. def xtransform(transformer: Transformer, tree: Tree): Tree

    Attributes
    protected
    Definition Classes
    Trees
  398. def xtraverse(traverser: Traverser, tree: Tree): Unit

    Attributes
    protected
    Definition Classes
    Trees

Deprecated Value Members

  1. def abort(): Nothing

    Definition Classes
    SymbolTable
    Annotations
    @deprecated
    Deprecated

    (Since version Give us a reason) 2.10.0

  2. def view(s: String): TermName

    Definition Classes
    Names
    Annotations
    @deprecated
    Deprecated

    (Since version 2.9.0)

Inherited from SynchronizedOps

Inherited from SynchronizedTypes

Inherited from SynchronizedSymbols

Inherited from Loaders

Inherited from ScalaToJava

Inherited from JavaToScala

Inherited from ConversionUtil

Inherited from SymbolTable

Inherited from Required

Inherited from Importers

Inherited from TypeDebugging

Inherited from Positions

Inherited from TreePrinters

Inherited from Trees

Inherited from AnnotationCheckers

Inherited from AnnotationInfos

Inherited from StdNames

Inherited from NameManglers

Inherited from Transforms

Inherited from InfoTransformers

Inherited from BaseTypeSeqs

Inherited from Constants

Inherited from Definitions

Inherited from Scopes

Inherited from ExistentialsAndSkolems

Inherited from Kinds

Inherited from Types

Inherited from Symbols

Inherited from Names

Inherited from Collections

Inherited from Universe

Inherited from StandardNames

Inherited from StandardDefinitions

Inherited from AnnotationInfos

Inherited from TreePrinters

Inherited from Positions

Inherited from Trees

Inherited from Names

Inherited from Scopes

Inherited from Constants

Inherited from Types

Inherited from Symbols

Inherited from AnyRef

Inherited from Any