Packages

c

scala.tools.nsc.tasty

TastyUniverse

abstract class TastyUniverse extends TastyCore with FlagOps with TypeOps with AnnotationOps with ContextOps with SymbolOps with NameOps with TreeOps

A facade to scala.tools.nsc.symbtab.SymbolTable, providing operations that map from the language of TASTy to the nsc compiler, e.g. to create trees, resolve types and symbols.

Source
TastyUniverse.scala
Linear Supertypes
TreeOps, NameOps, SymbolOps, ContextOps, AnnotationOps, TypeOps, FlagOps, TastyCore, AnyRef, Any
Known Subclasses
TastyUniverse
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TastyUniverse
  2. TreeOps
  3. NameOps
  4. SymbolOps
  5. ContextOps
  6. AnnotationOps
  7. TypeOps
  8. FlagOps
  9. TastyCore
  10. AnyRef
  11. Any
Implicitly
  1. by SafeEq
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new TastyUniverse()

Type Members

  1. type Constant = bridge.TastyCore.SymbolTable.Constant
    Definition Classes
    TastyCore
  2. type Symbol = bridge.TastyCore.SymbolTable.Symbol
    Definition Classes
    TastyCore
  3. abstract type SymbolTable <: symtab.SymbolTable { def settings: scala.tools.nsc.Settings }
    Definition Classes
    TastyCore
  4. type Tree = bridge.TastyCore.SymbolTable.Tree
    Definition Classes
    TastyCore
  5. type Type = bridge.TastyCore.SymbolTable.Type
    Definition Classes
    TastyCore
  6. abstract class DeferredAnnotation extends AnyRef
    Definition Classes
    AnnotationOps
  7. sealed abstract class Context extends AnyRef

    Maintains state through traversal of a TASTy file, such as the outer scope of the defintion being traversed, the traversal mode, and the root owners and source path for the TASTy file.

    Maintains state through traversal of a TASTy file, such as the outer scope of the defintion being traversed, the traversal mode, and the root owners and source path for the TASTy file. It also provides all operations for manipulation of the symbol table, such as creating/updating symbols and updating their types.

    Definition Classes
    ContextOps
  8. final class FreshContext extends TastyUniverse.Context
    Definition Classes
    ContextOps
  9. final class InitialContext extends TastyUniverse.Context
    Definition Classes
    ContextOps
  10. implicit final class SymbolDecorator extends AnyRef
    Definition Classes
    SymbolOps
  11. implicit class TreeDecorator extends AnyRef
    Definition Classes
    TreeOps
  12. case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  13. case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  14. final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
    Definition Classes
    TypeOps
  15. abstract class LambdaTypeCompanion[N <: TastyName] extends AnyRef
    Definition Classes
    TypeOps
  16. final class MethodTypeCompanion extends TastyUniverse.TermLambdaCompanion
    Definition Classes
    TypeOps
  17. abstract class TastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
    Definition Classes
    TypeOps
  18. sealed trait TastyRepr extends TastyCore.SymbolTable.Type
    Definition Classes
    TypeOps
  19. abstract class TermLambdaCompanion extends TastyUniverse.LambdaTypeCompanion[TastyName]
    Definition Classes
    TypeOps
  20. abstract class TypeLambdaCompanion extends TastyUniverse.LambdaTypeCompanion[TypeName]
    Definition Classes
    TypeOps

Abstract Value Members

  1. abstract val symbolTable: SymbolTable
    Definition Classes
    TastyCore

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def !==(u: TastyUniverse): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse toSafeEq[TastyUniverse] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  3. final def ##: Int
    Definition Classes
    AnyRef → Any
  4. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from TastyUniverse toany2stringadd[TastyUniverse] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TastyUniverse, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse toArrowAssoc[TastyUniverse] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final def ===(u: TastyUniverse): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse toSafeEq[TastyUniverse] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  8. final def allowsOverload(sym: Symbol): Boolean
    Definition Classes
    SymbolOps
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. final def assert(assertion: Boolean): Unit
    Definition Classes
    ContextOps
    Annotations
    @inline()
  11. final def assert(assertion: Boolean, msg: => Any): Unit
    Definition Classes
    ContextOps
    Annotations
    @inline()
  12. final def assertError[T](msg: String): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  13. final def bigFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  14. def boundsString(owner: Symbol): String
    Definition Classes
    ContextOps
  15. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  16. final def ctxFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  17. final def declaringSymbolOf(sym: Symbol): Symbol
    Definition Classes
    SymbolOps
  18. def effectiveResultType(sym: Symbol, typeParams: List[Symbol], givenTp: Type): Type

    The given type, unless sym is a constructor, in which case the type of the constructed instance is returned

    The given type, unless sym is a constructor, in which case the type of the constructed instance is returned

    Definition Classes
    TypeOps
  19. def emptyTypeBounds: Type
    Definition Classes
    TypeOps
  20. def encodeTastyName(name: TastyName): bridge.TastyCore.SymbolTable.Name
    Definition Classes
    NameOps
  21. def encodeTermName(name: TastyName): bridge.TastyCore.SymbolTable.TermName
    Definition Classes
    NameOps
  22. def encodeTypeName(name: TypeName): bridge.TastyCore.SymbolTable.TypeName
    Definition Classes
    NameOps
  23. def ensuring(cond: (TastyUniverse) => Boolean, msg: => Any): TastyUniverse
    Implicit
    This member is added by an implicit conversion from TastyUniverse toEnsuring[TastyUniverse] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  24. def ensuring(cond: (TastyUniverse) => Boolean): TastyUniverse
    Implicit
    This member is added by an implicit conversion from TastyUniverse toEnsuring[TastyUniverse] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  25. def ensuring(cond: Boolean, msg: => Any): TastyUniverse
    Implicit
    This member is added by an implicit conversion from TastyUniverse toEnsuring[TastyUniverse] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  26. def ensuring(cond: Boolean): TastyUniverse
    Implicit
    This member is added by an implicit conversion from TastyUniverse toEnsuring[TastyUniverse] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  29. final def erasedRefinementIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  30. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  31. def fnResult(fn: Type): Type
    Definition Classes
    TypeOps
  32. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TastyUniverse toStringFormat[TastyUniverse] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  33. final def genTupleIsUnsupported[T](name: String)(implicit ctx: Context): T

    *: erases to either TupleXXL or Product

    *: erases to either TupleXXL or Product

    Definition Classes
    TypeOps
    Annotations
    @inline()
  34. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. def id[T]: (T) => T
    Definition Classes
    TastyCore
  37. def inIndexScopedStatsContext(op: (Context) => Unit)(implicit ctx: Context): Unit

    an aggregate of inInnerScopeContext within inIndexStatsContext

    an aggregate of inInnerScopeContext within inIndexStatsContext

    Definition Classes
    ContextOps
  38. def inIndexStatsContext(op: (Context) => Unit)(implicit ctx: Context): Unit

    Perform an operation within a context that has the mode IndexStats will force any collected annotations afterwards

    Perform an operation within a context that has the mode IndexStats will force any collected annotations afterwards

    Definition Classes
    ContextOps
  39. def inInnerScopeContext(op: (Context) => Unit)(implicit ctx: Context): Unit

    Perform an operation within a context that has the mode InnerScope will enter any inline methods afterwards

    Perform an operation within a context that has the mode InnerScope will enter any inline methods afterwards

    Definition Classes
    ContextOps
  40. def intersectionParts(tpe: Type): List[Type]
    Definition Classes
    TypeOps
  41. final def isConstantType(tpe: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  42. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  43. final def isSymbol(sym: Symbol): Boolean
    Definition Classes
    SymbolOps
    Annotations
    @inline()
  44. final def isTypeType(tpe: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  45. def lambdaResultType(resType: Type): Type
    Definition Classes
    TypeOps
  46. final def location(owner: Symbol): String
    Definition Classes
    ContextOps
  47. def lzyShow(tpe: Type): String
    Definition Classes
    TypeOps
  48. def map[T, U](ts: List[T], f: (T) => U): List[U]
    Definition Classes
    TastyCore
  49. final def matchTypeIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  50. final def mergeableParams(t: Type, u: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  51. def methodTypeCompanion(initialFlags: TastyFlagSet): MethodTypeCompanion
    Definition Classes
    TypeOps
  52. def namedMemberOfPrefix(pre: Type, name: TastyName)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  53. def namedMemberOfType(space: Type, tname: TastyName)(implicit ctx: Context): Symbol
    Definition Classes
    SymbolOps
  54. def namedMemberOfTypeWithPrefix(pre: Type, space: Type, tname: TastyName)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  55. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  56. final def noSymbol: Symbol
    Definition Classes
    SymbolOps
    Annotations
    @inline()
  57. def normaliseConstructorRef(ctor: Symbol): Type
    Definition Classes
    TypeOps
  58. def normalizeIfConstructor(termParamss: List[List[Symbol]], isConstructor: Boolean): List[List[Symbol]]

    if isConstructor, make sure it has one non-implicit parameter list

    if isConstructor, make sure it has one non-implicit parameter list

    Definition Classes
    SymbolOps
  59. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  60. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  61. final def polyFuncIsUnsupported[T](tpe: Type)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  62. def prefixedRef(prefix: Type, sym: Symbol): Type
    Definition Classes
    TypeOps
  63. def recThis(tpe: Type): Type
    Definition Classes
    TypeOps
  64. def safeClassType(tpe: Type): Type

    return a type that can be used as a class type, e.g.

    return a type that can be used as a class type, e.g. in parents of another class, or as the type of new

    Definition Classes
    TypeOps
  65. def selectTerm(name: TastyName, prefix: Type, space: Type)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  66. def selectTerm(name: TastyName, prefix: Type)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  67. def selectType(name: TypeName, prefix: Type, space: Type)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  68. def selectType(name: TypeName, prefix: Type)(implicit ctx: Context): Type
    Definition Classes
    TypeOps
  69. def showSig(sig: MethodSignature[ErasedTypeRef]): String
    Definition Classes
    SymbolOps
  70. def showSym(sym: Symbol): String
    Definition Classes
    SymbolOps
  71. def showTasty(flags: TastyFlagSet): String
    Definition Classes
    FlagOps
  72. def singletonLike(tpe: Type): Symbol
    Definition Classes
    TypeOps
  73. def symOfTypeRef(tpe: Type): Symbol
    Definition Classes
    TypeOps
  74. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  75. def toString(): String
    Definition Classes
    AnyRef → Any
  76. def tyconResult(tycon: Type, args: List[Type]): Type
    Definition Classes
    TypeOps
  77. final def typeError[T](msg: String): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  78. def typeRef(tpe: Type): Type
    Definition Classes
    TypeOps
  79. final def unionIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  80. final def unsupportedError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  81. final def unsupportedMessage(noun: String)(implicit ctx: Context): String
    Definition Classes
    ContextOps
    Annotations
    @inline()
  82. final def unsupportedTermTreeError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  83. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  84. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  85. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  86. object DeferredAnnotation
    Definition Classes
    AnnotationOps
  87. object FlagSets
    Definition Classes
    FlagOps
  88. object tpnme
    Definition Classes
    NameOps
  89. object tpd
    Definition Classes
    TreeOps
  90. object untpd
    Definition Classes
    TreeOps
  91. case object AndTpe extends TastyUniverse.Type with Product with Serializable

    A synthetic type scala.& which accepts two type arguments, representing an intersection type

    A synthetic type scala.& which accepts two type arguments, representing an intersection type

    Definition Classes
    TypeOps
    See also

    https://github.com/lampepfl/dotty/issues/7688

  92. object HKTypeLambda extends TastyUniverse.TypeLambdaCompanion with java.io.Serializable
    Definition Classes
    TypeOps
  93. object LambdaPolyType extends java.io.Serializable
    Definition Classes
    TypeOps
  94. object PolyType extends TastyUniverse.TypeLambdaCompanion
    Definition Classes
    TypeOps
  95. object defn
    Definition Classes
    TypeOps

Deprecated Value Members

  1. def →[B](y: B): (TastyUniverse, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse toArrowAssoc[TastyUniverse] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from TreeOps

Inherited from NameOps

Inherited from SymbolOps

Inherited from ContextOps

Inherited from AnnotationOps

Inherited from TypeOps

Inherited from FlagOps

Inherited from TastyCore

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion SafeEq fromTastyUniverse to SafeEq[TastyUniverse]

Inherited by implicit conversion any2stringadd fromTastyUniverse to any2stringadd[TastyUniverse]

Inherited by implicit conversion StringFormat fromTastyUniverse to StringFormat[TastyUniverse]

Inherited by implicit conversion Ensuring fromTastyUniverse to Ensuring[TastyUniverse]

Inherited by implicit conversion ArrowAssoc fromTastyUniverse to ArrowAssoc[TastyUniverse]

Ungrouped