Packages

object TastyUniverse extends TastyUniverse

Source
ClassfileParser.scala
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
    TastyUniverseTastyCore
  4. type Tree = (symbolTable)#Tree
    Definition Classes
    TastyCore
  5. type Type = (symbolTable)#Type
    Definition Classes
    TastyCore
  6. sealed abstract class DeferredAnnotation extends AnyRef
    Definition Classes
    AnnotationOps
  7. trait ShowKind[T] extends AnyRef
    Definition Classes
    AnnotationOps
  8. 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
  9. final class FreshContext extends TastyUniverse.Context
    Definition Classes
    ContextOps
  10. final class InitialContext extends TastyUniverse.Context
    Definition Classes
    ContextOps
  11. trait TraceFrame extends AnyRef
    Definition Classes
    ContextOps
  12. final case class TraceInfo[-T](query: String, qual: String, res: (T) => String, modifiers: List[String] = Nil) extends Product with Serializable
    Definition Classes
    ContextOps
  13. implicit final class SymbolFlagOps extends AnyRef
    Definition Classes
    FlagOps
  14. implicit final class SymbolDecorator extends AnyRef
    Definition Classes
    SymbolOps
  15. implicit class TreeDecorator extends AnyRef
    Definition Classes
    TreeOps
  16. abstract class BaseTastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
    Definition Classes
    TypeOps
  17. case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  18. case class ErasedContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  19. case class ErasedFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  20. case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
    Definition Classes
    TypeOps
  21. abstract class LambdaFactory[N <: TastyName] extends AnyRef
    Definition Classes
    TypeOps
  22. final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
    Definition Classes
    TypeOps
  23. abstract class TastyCompleter extends TastyUniverse.BaseTastyCompleter
    Definition Classes
    TypeOps
  24. sealed trait TastyRepr extends TastyCore.SymbolTable.Type
    Definition Classes
    TypeOps
  25. abstract class TermLambdaFactory extends TastyUniverse.LambdaFactory[TastyName]
    Definition Classes
    TypeOps
  26. abstract class TypeLambdaFactory extends TastyUniverse.LambdaFactory[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 abortWith[T](msg: String): T
    Definition Classes
    ContextOps
  5. final def allowsOverload(sym: Symbol): Boolean
    Definition Classes
    SymbolOps
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. final def assert(assertion: Boolean): Unit
    Definition Classes
    ContextOps
    Annotations
    @inline()
  8. final def assert(assertion: Boolean, msg: => Any): Unit
    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)(implicit ctx: Context): 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, 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 erasedCtxFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  22. final def erasedFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  23. final def erasedRefinementIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  24. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  25. final def fnIsUnsupported[T](kind: (String) => String, tpeStr: String)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  26. def fnResult(fn: Type): Type
    Definition Classes
    TypeOps
  27. 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()
  28. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  30. def id[T]: (T) => T
    Definition Classes
    TastyCore
  31. def inIndexScopedStatsContext[T](op: (Context) => T)(implicit ctx: Context): T

    an aggregate of inInnerScopeContext within inIndexStatsContext

    an aggregate of inInnerScopeContext within inIndexStatsContext

    Definition Classes
    ContextOps
  32. def inIndexStatsContext[T](op: (Context) => T)(implicit ctx: Context): T

    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
  33. def inInnerScopeContext[T](op: (Context) => T)(implicit ctx: Context): T

    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
  34. def intersectionParts(tpe: Type): List[Type]
    Definition Classes
    TypeOps
  35. final def isConstantType(tpe: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. final def isSymbol(sym: Symbol): Boolean
    Definition Classes
    SymbolOps
    Annotations
    @inline()
  38. final def isTypeType(tpe: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  39. final def location(owner: Symbol)(implicit ctx: Context): String
    Definition Classes
    ContextOps
  40. def lzyShow(tpe: Type): String
    Definition Classes
    TypeOps
  41. final def matchTypeIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  42. final def mergeableParams(t: Type, u: Type): Boolean
    Definition Classes
    TypeOps
    Annotations
    @inline()
  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def noSymbol: Symbol
    Definition Classes
    SymbolOps
    Annotations
    @inline()
  45. def normalizeIfConstructor(owner: Symbol, termParamss: List[List[Symbol]], paramClauses: List[List[NoCycle]], 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
  46. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  47. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. final def polyFuncIsUnsupported[T](tpe: Type)(implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  49. 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
  50. def showSig(sig: MethodSignature[ErasedTypeRef]): String
    Definition Classes
    SymbolOps
  51. def showSym(sym: Symbol): String
    Definition Classes
    SymbolOps
  52. def showSymStable(sym: Symbol): String
    Definition Classes
    SymbolOps
  53. def showTasty(flags: TastyFlagSet): String
    Definition Classes
    FlagOps
  54. def showTree(tree: Tree)(implicit ctx: Context): String
    Definition Classes
    TreeOps
  55. def showType(tpe: Type, wrap: Boolean = true)(implicit ctx: Context): String
    Definition Classes
    TypeOps
  56. def symIsExperimental(sym: Symbol): Boolean

    Is this symbol annotated with scala.annotation.experimental?

    Is this symbol annotated with scala.annotation.experimental?

    Definition Classes
    SymbolOps
  57. val symbolTable: SymbolTable
    Definition Classes
    TastyUniverseTastyCore
  58. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  59. def toString(): String
    Definition Classes
    AnyRef → Any
  60. def tyconResult(tycon: Type, args: List[Type]): Type
    Definition Classes
    TypeOps
  61. final def typeError[T](msg: String): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  62. final def unionIsUnsupported[T](implicit ctx: Context): T
    Definition Classes
    TypeOps
    Annotations
    @inline()
  63. final def unsupportedError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  64. final def unsupportedMessage(noun: String)(implicit ctx: Context): String
    Definition Classes
    ContextOps
    Annotations
    @inline()
  65. final def unsupportedTermTreeError[T](noun: String)(implicit ctx: Context): T
    Definition Classes
    ContextOps
    Annotations
    @inline()
  66. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  67. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  68. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  69. object DeferredAnnotation
    Definition Classes
    AnnotationOps
  70. object ShowKind
    Definition Classes
    AnnotationOps
  71. object FlagSets
    Definition Classes
    FlagOps
  72. object tpnme
    Definition Classes
    NameOps
  73. object tpd
    Definition Classes
    TreeOps
  74. object untpd
    Definition Classes
    TreeOps
  75. 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/scala/scala3/issues/7688

  76. object HKTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
    Definition Classes
    TypeOps
  77. object LambdaFactory
    Definition Classes
    TypeOps
  78. object LambdaPolyType extends java.io.Serializable
    Definition Classes
    TypeOps
  79. object MethodTermLambda extends TastyUniverse.TermLambdaFactory with java.io.Serializable
    Definition Classes
    TypeOps
  80. object PolyTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
    Definition Classes
    TypeOps
  81. 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