Scala Compiler2.13.5 < 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 symtab
  Definition Classes
    nsc
-  package classfile
  Definition Classes
    symtab
-  abstract class ClassfileParser extends AnyRef

  This abstract class implements a class file parser.

  This abstract class implements a class file parser.

  Definition Classes
    classfile
- ConstantPool
- InnerClassEntry
- LazyAliasType
- NameOrString
- TastyUniverse
- TypeParamsType
- innerClasses

o

scala.tools.nsc.symtab.classfile.ClassfileParser

# TastyUniverse

###

#### object TastyUniverse extends TastyUniverse

Source
  ClassfileParser.scala

Linear Supertypes
TastyUniverse, TreeOps, NameOps, SymbolOps, ContextOps, AnnotationOps, TypeOps, FlagOps, TastyCore, AnyRef, Any
Content Hierarchy

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. TastyUniverse
2. TastyUniverse
3. TreeOps
4. NameOps
5. SymbolOps
6. ContextOps
7. AnnotationOps
8. TypeOps
9. FlagOps
10. TastyCore
11. AnyRef
12. Any

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### Type Members

1.  type Constant = (symbolTable)#Constant
   Definition Classes
     TastyCore
2.  type Symbol = (symbolTable)#Symbol
   Definition Classes
     TastyCore
3.  type SymbolTable = ClassfileParser.symbolTable
   Definition Classes
     TastyUniverse → TastyCore
4.  type Tree = (symbolTable)#Tree
   Definition Classes
     TastyCore
5.  type Type = (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

### Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##: Int
   Definition Classes
     AnyRef → Any
3.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
4.  final def allowsOverload(sym: Symbol): Boolean
   Definition Classes
     SymbolOps
5.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
6.  final def assert(assertion: Boolean): Unit
   Definition Classes
     ContextOps
   Annotations
     @inline()
7.  final def assert(assertion: Boolean, msg: => Any): Unit
   Definition Classes
     ContextOps
   Annotations
     @inline()
8.  final def assertError[T](msg: String): T
   Definition Classes
     ContextOps
   Annotations
     @inline()
9.  final def bigFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
   Definition Classes
     TypeOps
   Annotations
     @inline()
10.  def boundsString(owner: Symbol): String
    Definition Classes
      ContextOps
11.  def clone(): AnyRef
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.CloneNotSupportedException]) @native()
12.  final def ctxFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
13.  final def declaringSymbolOf(sym: Symbol): Symbol
    Definition Classes
      SymbolOps
14.  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
15.  def emptyTypeBounds: Type
    Definition Classes
      TypeOps
16.  def encodeTastyName(name: TastyName): (symbolTable)#Name
    Definition Classes
      NameOps
17.  def encodeTermName(name: TastyName): (symbolTable)#TermName
    Definition Classes
      NameOps
18.  def encodeTypeName(name: TypeName): (symbolTable)#TypeName
    Definition Classes
      NameOps
19.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
20.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
21.  final def erasedRefinementIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
22.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
23.  def fnResult(fn: Type): Type
    Definition Classes
      TypeOps
24.  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()
25.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
26.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
27.  def id[T]: (T) => T
    Definition Classes
      TastyCore
28.  def inIndexScopedStatsContext(op: (Context) => Unit)(implicit ctx: Context): Unit

    an aggregate of `inInnerScopeContext` within `inIndexStatsContext`

    an aggregate of `inInnerScopeContext` within `inIndexStatsContext`

    Definition Classes
      ContextOps
29.  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
30.  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
31.  def intersectionParts(tpe: Type): List[Type]
    Definition Classes
      TypeOps
32.  final def isConstantType(tpe: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
33.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
34.  final def isSymbol(sym: Symbol): Boolean
    Definition Classes
      SymbolOps
    Annotations
      @inline()
35.  final def isTypeType(tpe: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
36.  def lambdaResultType(resType: Type): Type
    Definition Classes
      TypeOps
37.  final def location(owner: Symbol): String
    Definition Classes
      ContextOps
38.  def lzyShow(tpe: Type): String
    Definition Classes
      TypeOps
39.  def map[T, U](ts: List[T], f: (T) => U): List[U]
    Definition Classes
      TastyCore
40.  final def matchTypeIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
41.  final def mergeableParams(t: Type, u: Type): Boolean
    Definition Classes
      TypeOps
    Annotations
      @inline()
42.  def methodTypeCompanion(initialFlags: TastyFlagSet): MethodTypeCompanion
    Definition Classes
      TypeOps
43.  def namedMemberOfPrefix(pre: Type, name: TastyName)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
44.  def namedMemberOfType(space: Type, tname: TastyName)(implicit ctx: Context): Symbol
    Definition Classes
      SymbolOps
45.  def namedMemberOfTypeWithPrefix(pre: Type, space: Type, tname: TastyName)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
46.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
47.  final def noSymbol: Symbol
    Definition Classes
      SymbolOps
    Annotations
      @inline()
48.  def normaliseConstructorRef(ctor: Symbol): Type
    Definition Classes
      TypeOps
49.  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
50.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
51.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
52.  final def polyFuncIsUnsupported[T](tpe: Type)(implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
53.  def prefixedRef(prefix: Type, sym: Symbol): Type
    Definition Classes
      TypeOps
54.  def recThis(tpe: Type): Type
    Definition Classes
      TypeOps
55.  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
56.  def selectTerm(name: TastyName, prefix: Type, space: Type)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
57.  def selectTerm(name: TastyName, prefix: Type)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
58.  def selectType(name: TypeName, prefix: Type, space: Type)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
59.  def selectType(name: TypeName, prefix: Type)(implicit ctx: Context): Type
    Definition Classes
      TypeOps
60.  def showSig(sig: MethodSignature[ErasedTypeRef]): String
    Definition Classes
      SymbolOps
61.  def showSym(sym: Symbol): String
    Definition Classes
      SymbolOps
62.  def showTasty(flags: TastyFlagSet): String
    Definition Classes
      FlagOps
63.  def singletonLike(tpe: Type): Symbol
    Definition Classes
      TypeOps
64.  def symOfTypeRef(tpe: Type): Symbol
    Definition Classes
      TypeOps
65.  val symbolTable: SymbolTable
    Definition Classes
      TastyUniverse → TastyCore
66.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
67.  def toString(): String
    Definition Classes
      AnyRef → Any
68.  def tyconResult(tycon: Type, args: List[Type]): Type
    Definition Classes
      TypeOps
69.  final def typeError[T](msg: String): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
70.  def typeRef(tpe: Type): Type
    Definition Classes
      TypeOps
71.  final def unionIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
      TypeOps
    Annotations
      @inline()
72.  final def unsupportedError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
73.  final def unsupportedMessage(noun: String)(implicit ctx: Context): String
    Definition Classes
      ContextOps
    Annotations
      @inline()
74.  final def unsupportedTermTreeError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
      ContextOps
    Annotations
      @inline()
75.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
76.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
77.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()
78.  object DeferredAnnotation
    Definition Classes
      AnnotationOps
79.  object FlagSets
    Definition Classes
      FlagOps
80.  object tpnme
    Definition Classes
      NameOps
81.  object tpd
    Definition Classes
      TreeOps
82.  object untpd
    Definition Classes
      TreeOps
83.  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

84.  object HKTypeLambda extends TastyUniverse.TypeLambdaCompanion with java.io.Serializable
    Definition Classes
      TypeOps
85.  object LambdaPolyType extends java.io.Serializable
    Definition Classes
      TypeOps
86.  object PolyType extends TastyUniverse.TypeLambdaCompanion
    Definition Classes
      TypeOps
87.  object defn
    Definition Classes
      TypeOps

### Inherited from TastyUniverse

### 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

### Ungrouped