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
  • trait ContextOps extends AnyRef

    This contains the definition for Context, along with standard error throwing capabilities with user friendly formatted errors that can change their output depending on the context mode.

    This contains the definition for Context, along with standard error throwing capabilities with user friendly formatted errors that can change their output depending on the context mode.

    Definition Classes
    bridge
  • Context
  • FreshContext
  • InitialContext
  • TraceFrame
  • TraceInfo

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. It also provides all operations for manipulation of the symbol table, such as creating/updating symbols and updating their types.

Self Type
TastyUniverse.Context
Source
ContextOps.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
FreshContext, InitialContext
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Context
  2. AnyRef
  3. 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

Abstract Value Members

  1. abstract def mode: TastyMode
  2. abstract def owner: TastyUniverse.Symbol
  3. abstract def source: AbstractFile

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def !==(u: TastyUniverse.Context): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toSafeEq[TastyUniverse.Context] 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.Context toany2stringadd[TastyUniverse.Context] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TastyUniverse.Context, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toArrowAssoc[TastyUniverse.Context] 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.Context): Boolean
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toSafeEq[TastyUniverse.Context] performed by method SafeEq in scala.tools.nsc.tasty.
    Definition Classes
    SafeEq
    Annotations
    @inline()
  8. final def addMode(mode: TastyMode): TastyUniverse.Context
  9. def adjustAnnotations(sym: TastyUniverse.Symbol, annots: List[TastyUniverse.DeferredAnnotation]): Unit

    Associates the annotations with the symbol, and will force their evaluation if not reading statements.

  10. final def argumentCtx(fn: TastyUniverse.Tree): TastyUniverse.Context
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def canEnterOverload(decl: TastyUniverse.Symbol): Boolean
  13. final lazy val classRoot: TastyUniverse.Symbol
  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  15. final def completeEnumSingleton(sym: TastyUniverse.Symbol, tpe: TastyUniverse.Type): Unit
  16. final def delayClassCompletion(owner: TastyUniverse.Symbol, typeName: TypeName, completer: TastyUniverse.TastyCompleter, privateWithin: TastyUniverse.Symbol): TastyUniverse.Symbol

    Guards the creation of an object class by checking for an existing definition in the owner's scope

  17. final def delayCompletion(owner: TastyUniverse.Symbol, name: TastyName, completer: TastyUniverse.TastyCompleter, privateWithin: TastyUniverse.Symbol = noSymbol): TastyUniverse.Symbol

    Guards the creation of an object val by checking for an existing definition in the owner's scope

  18. def ensuring(cond: (TastyUniverse.Context) => Boolean, msg: => Any): TastyUniverse.Context
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toEnsuring[TastyUniverse.Context] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: (TastyUniverse.Context) => Boolean): TastyUniverse.Context
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toEnsuring[TastyUniverse.Context] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. def ensuring(cond: Boolean, msg: => Any): TastyUniverse.Context
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toEnsuring[TastyUniverse.Context] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  21. def ensuring(cond: Boolean): TastyUniverse.Context
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toEnsuring[TastyUniverse.Context] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  22. final def enterClassCompletion(): TastyUniverse.Symbol
  23. final def enterIfUnseen(sym: TastyUniverse.Symbol): Unit
  24. final def enterIfUnseen0(decls: TastyCore.SymbolTable.Scope, decl: TastyUniverse.Symbol): Unit
    Attributes
    protected
  25. final def enterRefinement[T](parent: TastyUniverse.Type)(op: (TastyUniverse.Context) => T): T

    Determines the owner of a refinement in the current context by the following steps: 1) if the owner if this context is a refinement symbol, we are in a recursive RefinedType.

    Determines the owner of a refinement in the current context by the following steps: 1) if the owner if this context is a refinement symbol, we are in a recursive RefinedType. Ensure that the context owner is initialised with the parent and reuse it. 2) if the parent is also a RefinedType, then we will flatten the nested structure by reusing its owner 3) the parent is not a RefinedType, and we are not in an enclosing RefinedType, so create a new RefinementClassSymbol. The Parent alongside the RefinedType owner are passed to the given operation

  26. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  28. def evict(sym: TastyUniverse.Symbol): Unit
  29. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  30. final def findOuterClassTypeParameter(name: TypeName): TastyUniverse.Symbol
  31. final def findRootSymbol(roots: Set[TastyUniverse.Symbol], name: TastyName): Option[TastyUniverse.Symbol]
  32. final def fresh: TastyUniverse.FreshContext
  33. final def freshMode(mode: TastyMode): TastyUniverse.FreshContext
  34. final def freshSymbol(owner: TastyUniverse.Symbol): TastyUniverse.FreshContext
  35. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. final def globallyVisibleOwner: TastyUniverse.Symbol
  37. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  38. final def ignoreAnnotations: Boolean
  39. implicit final def implyThisCtx: Context.this.type
    Attributes
    protected
  40. final def initialContext: TastyUniverse.InitialContext
    Annotations
    @tailrec()
  41. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  42. def isJava: Boolean

    JAVAattr is necessary to support pipelining in Zinc, we have to set Java erasure semantics if found.

    JAVAattr is necessary to support pipelining in Zinc, we have to set Java erasure semantics if found. To support this we also need to support TASTy-only classpaths, see https://github.com/scala/scala3/pull/17594 For a test case, see test/tasty/run-pipelined

  43. final def log(str: => String): Unit
  44. final def markAsEnumSingleton(sym: TastyUniverse.Symbol): Unit
  45. final def markAsOpaqueType(sym: TastyUniverse.Symbol, alias: TastyUniverse.Type): Unit
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. final def newConstructor(owner: TastyUniverse.Symbol, info: TastyUniverse.Type): TastyUniverse.Symbol
  48. final def newLambdaParameter(tname: TastyName, flags: TastyFlagSet, idx: Int, infoDb: (Int) => TastyUniverse.Type): TastyUniverse.Symbol
  49. final def newLocalDummy: TastyUniverse.Symbol
  50. final def newLocalSealedChildProxy(cls: TastyUniverse.Symbol): TastyUniverse.Symbol
  51. final def newRefinementClassSymbol: TastyUniverse.Symbol
  52. final def newRefinementSymbol(parent: TastyUniverse.Type, owner: TastyUniverse.Symbol, name: TastyName, tpe: TastyUniverse.Type): TastyUniverse.Symbol
  53. final def newWildcard(info: TastyUniverse.Type): TastyUniverse.Symbol
  54. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  55. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  56. final def onCompletionError[T](sym: TastyUniverse.Symbol): PartialFunction[Throwable, T]
  57. final def processParents(cls: TastyUniverse.Symbol, parentTypes: List[TastyUniverse.Type]): parentTypes.type

    sets up value class machinery

  58. final def redefineSymbol(symbol: TastyUniverse.Symbol, completer: TastyUniverse.TastyCompleter, privateWithin: TastyUniverse.Symbol): symbol.type
  59. final def requiredPackage(fullname: TastyName): TastyUniverse.Symbol
  60. def requiresLatentEntry(decl: TastyUniverse.Symbol): Boolean
  61. final def retractMode(mode: TastyMode): TastyUniverse.Context
  62. final def setInfo(sym: TastyUniverse.Symbol, info: TastyUniverse.Type): Unit
  63. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  64. def toString(): String
    Definition Classes
    AnyRef → Any
  65. final def trace[T](info: => TastyUniverse.TraceInfo[T])(op: => T): T
    Annotations
    @inline()
  66. final def traceV[T](info: => TastyUniverse.TraceInfo[T])(op: => T): T

    Trace only when -Vdebug is set

    Trace only when -Vdebug is set

    Annotations
    @inline()
  67. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  68. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  69. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  70. final def withMode(mode: TastyMode): TastyUniverse.Context
  71. final def withNewScope: TastyUniverse.Context
  72. final def withOwner(owner: TastyUniverse.Symbol): TastyUniverse.Context
  73. final def withPhaseNoLater[T](phase: String)(op: (TastyUniverse.Context) => T): T
  74. final def withSource(source: AbstractFile): TastyUniverse.Context

Deprecated Value Members

  1. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toStringFormat[TastyUniverse.Context] 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.Context, B)
    Implicit
    This member is added by an implicit conversion from TastyUniverse.Context toArrowAssoc[TastyUniverse.Context] 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 AnyRef

Inherited from Any

Inherited by implicit conversion SafeEq fromTastyUniverse.Context to SafeEq[TastyUniverse.Context]

Inherited by implicit conversion any2stringadd fromTastyUniverse.Context to any2stringadd[TastyUniverse.Context]

Inherited by implicit conversion StringFormat fromTastyUniverse.Context to StringFormat[TastyUniverse.Context]

Inherited by implicit conversion Ensuring fromTastyUniverse.Context to Ensuring[TastyUniverse.Context]

Inherited by implicit conversion ArrowAssoc fromTastyUniverse.Context to ArrowAssoc[TastyUniverse.Context]

Ungrouped