Scala Compiler2.13.7 < Back


# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package tasty
  Definition Classes
    nsc
-  package bridge
  Definition Classes
    tasty
- ForceKinds
- SafeEq
- TastyModes
- TastyUniverse
- TastyUnpickler
- TreeUnpickler

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.  trait TraceFrame extends AnyRef
    Definition Classes
      ContextOps
11.  final case class TraceInfo[-T](query: String, qual: String, res: (T) => String, modifiers: List[String] = Nil) extends Product with Serializable
    Definition Classes
      ContextOps
12.  implicit final class SymbolFlagOps extends AnyRef
    Definition Classes
      FlagOps
13.  implicit final class SymbolDecorator extends AnyRef
    Definition Classes
      SymbolOps
14.  implicit class TreeDecorator extends AnyRef
    Definition Classes
      TreeOps
15.  abstract class BaseTastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
    Definition Classes
      TypeOps
16.  case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
      TypeOps
17.  case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
      TypeOps
18.  abstract class LambdaFactory[N <: TastyName] extends AnyRef
    Definition Classes
      TypeOps
19.  final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
    Definition Classes
      TypeOps
20.  abstract class TastyCompleter extends TastyUniverse.BaseTastyCompleter
    Definition Classes
      TypeOps
21.  sealed trait TastyRepr extends TastyCore.SymbolTable.Type
    Definition Classes
      TypeOps
22.  abstract class TermLambdaFactory extends TastyUniverse.LambdaFactory[TastyName]
    Definition Classes
      TypeOps
23.  abstract class TypeLambdaFactory extends TastyUniverse.LambdaFactory[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 abortWith[T](msg: String): T
   Definition Classes
     ContextOps
9.  final def allowsOverload(sym: Symbol): Boolean
   Definition Classes
     SymbolOps
10.  final def asInstanceOf[T0]: T0
    Definition Classes
      Any
11.  final def assert(assertion: Boolean): Unit
    Definition Classes
      ContextOps
    Annotations
      @inline()
12.  final def assert(assertion: Boolean, msg: => Any): Unit
    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, 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.  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()
33.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
34.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
35.  def id[T]: (T) => T
    Definition Classes
      TastyCore
36.  def inIndexScopedStatsContext(op: (Context) => Unit)(implicit ctx: Context): Unit

    an aggregate of `inInnerScopeContext` within `inIndexStatsContext`

    an aggregate of `inInnerScopeContext` within `inIndexStatsContext`

    Definition Classes
      ContextOps
37.  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
38.  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
39.  def intersectionParts(tpe: Type): List[Type]
    Definition Classes
      TypeOps
40.  final def isConstantType(tpe: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
41.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
42.  final def isSymbol(sym: Symbol): Boolean
    Definition Classes
      SymbolOps
    Annotations
      @inline()
43.  final def isTypeType(tpe: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
44.  final def location(owner: Symbol): String
    Definition Classes
      ContextOps
45.  def lzyShow(tpe: Type): String
    Definition Classes
      TypeOps
46.  final def matchTypeIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
47.  final def mergeableParams(t: Type, u: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
48.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
49.  final def noSymbol: Symbol
    Definition Classes
      SymbolOps
    Annotations
      @inline()
50.  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
51.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
52.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
53.  final def polyFuncIsUnsupported[T](tpe: Type)(implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
54.  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
55.  def showSig(sig: MethodSignature[ErasedTypeRef]): String
    Definition Classes
      SymbolOps
56.  def showSym(sym: Symbol): String
    Definition Classes
      SymbolOps
57.  def showSymStable(sym: Symbol): String
    Definition Classes
      SymbolOps
58.  def showTasty(flags: TastyFlagSet): String
    Definition Classes
      FlagOps
59.  def showTree(tree: Tree): String
    Definition Classes
      TreeOps
60.  def showType(tpe: Type, wrap: Boolean = true): String
    Definition Classes
      TypeOps
61.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
62.  def toString(): String
    Definition Classes
      AnyRef → Any
63.  def tyconResult(tycon: Type, args: List[Type]): Type
    Definition Classes
      TypeOps
64.  final def typeError[T](msg: String): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
65.  final def unionIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
66.  final def unsupportedError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
67.  final def unsupportedMessage(noun: String)(implicit ctx: Context): String
    Definition Classes
      ContextOps
    Annotations
      @inline()
68.  final def unsupportedTermTreeError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
69.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
70.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
71.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()
72.  object DeferredAnnotation
    Definition Classes
      AnnotationOps
73.  object FlagSets
    Definition Classes
      FlagOps
74.  object tpnme
    Definition Classes
      NameOps
75.  object tpd
    Definition Classes
      TreeOps
76.  object untpd
    Definition Classes
      TreeOps
77.  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

78.  object HKTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
    Definition Classes
      TypeOps
79.  object LambdaFactory
    Definition Classes
      TypeOps
80.  object LambdaPolyType extends java.io.Serializable
    Definition Classes
      TypeOps
81.  object MethodTermLambda extends TastyUniverse.TermLambdaFactory with java.io.Serializable
    Definition Classes
      TypeOps
82.  object PolyTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
    Definition Classes
      TypeOps
83.  object defn
    Definition Classes
      TypeOps

### Deprecated Value Members

1.  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
     @deprecated @inline()
   Deprecated

     (Since version 2.12.16) Use `formatString.format(value)` instead of `value.formatted(formatString)`, or use the `f""` string interpolator. In Java 15 and later, `formatted` resolves to the new method in String which has reversed parameters.

2.  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