object TastyUniverse extends TastyUniverse
Ordering
- Alphabetic
- By Inheritance
Inherited
- TastyUniverse
- TastyUniverse
- TreeOps
- NameOps
- SymbolOps
- ContextOps
- AnnotationOps
- TypeOps
- FlagOps
- TastyCore
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type Constant = (symbolTable)#Constant
- Definition Classes
- TastyCore
- type Symbol = (symbolTable)#Symbol
- Definition Classes
- TastyCore
- type SymbolTable = ClassfileParser.symbolTable
- Definition Classes
- TastyUniverse → TastyCore
- type Tree = (symbolTable)#Tree
- Definition Classes
- TastyCore
- type Type = (symbolTable)#Type
- Definition Classes
- TastyCore
- sealed abstract class DeferredAnnotation extends AnyRef
- Definition Classes
- AnnotationOps
- trait ShowKind[T] extends AnyRef
- Definition Classes
- AnnotationOps
- 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
- final class FreshContext extends TastyUniverse.Context
- Definition Classes
- ContextOps
- final class InitialContext extends TastyUniverse.Context
- Definition Classes
- ContextOps
- trait TraceFrame extends AnyRef
- Definition Classes
- ContextOps
- final case class TraceInfo[-T](query: String, qual: String, res: (T) => String, modifiers: List[String] = Nil) extends Product with Serializable
- Definition Classes
- ContextOps
- implicit final class SymbolFlagOps extends AnyRef
- Definition Classes
- FlagOps
- implicit final class SymbolDecorator extends AnyRef
- Definition Classes
- SymbolOps
- implicit class TreeDecorator extends AnyRef
- Definition Classes
- TreeOps
- abstract class BaseTastyCompleter extends TastyCore.SymbolTable.LazyType with TastyUniverse.TastyRepr with TastyCore.SymbolTable.FlagAgnosticCompleter
- Definition Classes
- TypeOps
- case class ContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
- Definition Classes
- TypeOps
- case class ErasedContextFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
- Definition Classes
- TypeOps
- case class ErasedFunctionType(arity: Int) extends TastyUniverse.Type with Product with Serializable
- Definition Classes
- TypeOps
- case class FunctionXXLType(arity: Int) extends TastyUniverse.Type with Product with Serializable
- Definition Classes
- TypeOps
- abstract class LambdaFactory[N <: TastyName] extends AnyRef
- Definition Classes
- TypeOps
- final class LambdaPolyType extends TastyCore.SymbolTable.PolyType
- Definition Classes
- TypeOps
- abstract class TastyCompleter extends TastyUniverse.BaseTastyCompleter
- Definition Classes
- TypeOps
- sealed trait TastyRepr extends TastyCore.SymbolTable.Type
- Definition Classes
- TypeOps
- abstract class TermLambdaFactory extends TastyUniverse.LambdaFactory[TastyName]
- Definition Classes
- TypeOps
- abstract class TypeLambdaFactory extends TastyUniverse.LambdaFactory[TypeName]
- Definition Classes
- TypeOps
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def abortWith[T](msg: String): T
- Definition Classes
- ContextOps
- final def allowsOverload(sym: Symbol): Boolean
- Definition Classes
- SymbolOps
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def assert(assertion: Boolean): Unit
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def assert(assertion: Boolean, msg: => Any): Unit
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def bigFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- def boundsString(owner: Symbol)(implicit ctx: Context): String
- Definition Classes
- ContextOps
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def ctxFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def declaringSymbolOf(sym: Symbol): Symbol
- Definition Classes
- SymbolOps
- def effectiveResultType(sym: Symbol, givenTp: Type): Type
The given type, unless
symis a constructor, in which case the type of the constructed instance is returnedThe given type, unless
symis a constructor, in which case the type of the constructed instance is returned- Definition Classes
- TypeOps
- def emptyTypeBounds: Type
- Definition Classes
- TypeOps
- def encodeTastyName(name: TastyName): (symbolTable)#Name
- Definition Classes
- NameOps
- def encodeTermName(name: TastyName): (symbolTable)#TermName
- Definition Classes
- NameOps
- def encodeTypeName(name: TypeName): (symbolTable)#TypeName
- Definition Classes
- NameOps
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def erasedCtxFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def erasedFnIsUnsupported[T](tpeStr: String)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def erasedRefinementIsUnsupported[T](implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def fnIsUnsupported[T](kind: (String) => String, tpeStr: String)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- def fnResult(fn: Type): Type
- Definition Classes
- TypeOps
- 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()
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def id[T]: (T) => T
- Definition Classes
- TastyCore
- def inIndexScopedStatsContext[T](op: (Context) => T)(implicit ctx: Context): T
an aggregate of
inInnerScopeContextwithininIndexStatsContextan aggregate of
inInnerScopeContextwithininIndexStatsContext- Definition Classes
- ContextOps
- def inIndexStatsContext[T](op: (Context) => T)(implicit ctx: Context): T
Perform an operation within a context that has the mode
IndexStatswill force any collected annotations afterwardsPerform an operation within a context that has the mode
IndexStatswill force any collected annotations afterwards- Definition Classes
- ContextOps
- def inInnerScopeContext[T](op: (Context) => T)(implicit ctx: Context): T
Perform an operation within a context that has the mode
InnerScopewill enter any inline methods afterwardsPerform an operation within a context that has the mode
InnerScopewill enter any inline methods afterwards- Definition Classes
- ContextOps
- def intersectionParts(tpe: Type): List[Type]
- Definition Classes
- TypeOps
- final def isConstantType(tpe: Type): Boolean
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isSymbol(sym: Symbol): Boolean
- Definition Classes
- SymbolOps
- Annotations
- @inline()
- final def isTypeType(tpe: Type): Boolean
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def location(owner: Symbol)(implicit ctx: Context): String
- Definition Classes
- ContextOps
- def lzyShow(tpe: Type): String
- Definition Classes
- TypeOps
- final def matchTypeIsUnsupported[T](implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def mergeableParams(t: Type, u: Type): Boolean
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def noSymbol: Symbol
- Definition Classes
- SymbolOps
- Annotations
- @inline()
- 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
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def polyFuncIsUnsupported[T](tpe: Type)(implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- 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
- def showSig(sig: MethodSignature[ErasedTypeRef]): String
- Definition Classes
- SymbolOps
- def showSym(sym: Symbol): String
- Definition Classes
- SymbolOps
- def showSymStable(sym: Symbol): String
- Definition Classes
- SymbolOps
- def showTasty(flags: TastyFlagSet): String
- Definition Classes
- FlagOps
- def showTree(tree: Tree)(implicit ctx: Context): String
- Definition Classes
- TreeOps
- def showType(tpe: Type, wrap: Boolean = true)(implicit ctx: Context): String
- Definition Classes
- TypeOps
- def symIsExperimental(sym: Symbol): Boolean
Is this symbol annotated with
scala.annotation.experimental?Is this symbol annotated with
scala.annotation.experimental?- Definition Classes
- SymbolOps
- val symbolTable: SymbolTable
- Definition Classes
- TastyUniverse → TastyCore
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def tyconResult(tycon: Type, args: List[Type]): Type
- Definition Classes
- TypeOps
- final def typeError[T](msg: String): T
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def unionIsUnsupported[T](implicit ctx: Context): T
- Definition Classes
- TypeOps
- Annotations
- @inline()
- final def unsupportedError[T](noun: String)(implicit ctx: Context): T
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def unsupportedMessage(noun: String)(implicit ctx: Context): String
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def unsupportedTermTreeError[T](noun: String)(implicit ctx: Context): T
- Definition Classes
- ContextOps
- Annotations
- @inline()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- object DeferredAnnotation
- Definition Classes
- AnnotationOps
- object ShowKind
- Definition Classes
- AnnotationOps
- object FlagSets
- Definition Classes
- FlagOps
- object tpnme
- Definition Classes
- NameOps
- object tpd
- Definition Classes
- TreeOps
- object untpd
- Definition Classes
- TreeOps
- case object AndTpe extends TastyUniverse.Type with Product with Serializable
A synthetic type
scala.&which accepts two type arguments, representing an intersection typeA synthetic type
scala.&which accepts two type arguments, representing an intersection type- Definition Classes
- TypeOps
- See also
https://github.com/lampepfl/dotty/issues/7688
- object HKTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
- Definition Classes
- TypeOps
- object LambdaFactory
- Definition Classes
- TypeOps
- object LambdaPolyType extends java.io.Serializable
- Definition Classes
- TypeOps
- object MethodTermLambda extends TastyUniverse.TermLambdaFactory with java.io.Serializable
- Definition Classes
- TypeOps
- object PolyTypeLambda extends TastyUniverse.TypeLambdaFactory with java.io.Serializable
- Definition Classes
- TypeOps
- object defn
- Definition Classes
- TypeOps
The Scala compiler and reflection APIs.