NoContext

object NoContext extends Context
class Context
class Object
trait Matchable
class Any

Value members

Inherited methods

The current compilation unit

The current compilation unit

Inherited from:
Context
def compilerCallback: CompilerCallback

The compiler callback implementation, or null if no callback will be called.

The compiler callback implementation, or null if no callback will be called.

Inherited from:
Context

Is the debug option set?

Is the debug option set?

Inherited from:
Context
Inherited from:
Context

Either the current scope, or, if the current context owner is a class, the declarations of the current class.

Either the current scope, or, if the current context owner is a class, the declarations of the current class.

Inherited from:
Context
final def erasedTypes: Boolean

Does current phase use an erased types interpretation?

Does current phase use an erased types interpretation?

Inherited from:
Context

Is the explicit nulls option set?

Is the explicit nulls option set?

Inherited from:
Context
def exprContext(stat: Tree[_ >: Untyped], exprOwner: Symbol): Context

The context of expression expr seen as a member of a statement sequence

The context of expression expr seen as a member of a statement sequence

Inherited from:
Context

A fresh clone of this context embedded in this context.

A fresh clone of this context embedded in this context.

Inherited from:
Context

A fresh clone of this context embedded in the specified outer context.

A fresh clone of this context embedded in the specified outer context.

Inherited from:
Context
final def gadt: GadtConstraint
Inherited from:
Context
protected def gadt_=(gadt: GadtConstraint): Unit
Inherited from:
Context

AbstractFile with given path, memoized

AbstractFile with given path, memoized

Inherited from:
Context

AbstraFile with given path name, memoized

AbstraFile with given path name, memoized

Inherited from:
Context

SourceFile with given path, memoized

SourceFile with given path, memoized

Inherited from:
Context

SourceFile with given path name, memoized

SourceFile with given path name, memoized

Inherited from:
Context
def getSource(file: AbstractFile, codec: => Codec): SourceFile

Sourcefile corresponding to given abstract file, memoized

Sourcefile corresponding to given abstract file, memoized

Inherited from:
Context

A new context that summarizes an import statement

A new context that summarizes an import statement

Inherited from:
Context

The currently active import info

The currently active import info

Inherited from:
Context
def initialize()(using Context): Unit
Inherited from:
Context

Is current phase after TyperPhase?

Is current phase after TyperPhase?

Inherited from:
Context

Is this a context for the members of a class definition?

Is this a context for the members of a class definition?

Inherited from:
Context

Is this a context that introduces an import clause?

Is this a context that introduces an import clause?

Inherited from:
Context

Is this a context for typechecking an inlined body?

Is this a context for typechecking an inlined body?

Inherited from:
Context
final def isJava: Boolean

Are we in a Java compilation unit?

Are we in a Java compilation unit?

Inherited from:
Context

Is this a context that introduces a non-empty scope?

Is this a context that introduces a non-empty scope?

Inherited from:
Context
final def isTyper: Boolean
Inherited from:
Context
final def lastPhaseId: Int
Inherited from:
Context
final def mode: Mode
Inherited from:
Context
protected def mode_=(mode: Mode): Unit
Inherited from:
Context
final def moreProperties: Map[Key[Any], Any]
Inherited from:
Context
protected def moreProperties_=(moreProperties: Map[Key[Any], Any]): Unit
Inherited from:
Context
Inherited from:
Context

The paths currently known to be not null

The paths currently known to be not null

Inherited from:
Context
final def outer: Context
Inherited from:
Context
protected def outer_=(outer: Context): Unit
Inherited from:
Context

All outer contexts, ending in base.initialCtx and then NoContext

All outer contexts, ending in base.initialCtx and then NoContext

Inherited from:
Context
final def owner: Symbol
Inherited from:
Context
protected def owner_=(owner: Symbol): Unit
Inherited from:
Context
def pendingUnderlying: HashSet[Type]
Inherited from:
Context
final def period: Period
Inherited from:
Context
protected def period_=(period: Period): Unit
Inherited from:
Context
final def phase: Phase
Inherited from:
Context
final def phaseId: PhaseId
Inherited from:
Context
Inherited from:
Context

A function creating a printer

A function creating a printer

Inherited from:
Context

The current plain printer

The current plain printer

Inherited from:
Context

The current compiler-run profiler

The current compiler-run profiler

Inherited from:
Context
def property[T](key: Key[T]): Option[T]
Inherited from:
Context

The current reporter

The current reporter

Inherited from:
Context
def reuseIn(outer: Context): NoContext.type
Inherited from:
Context
def run: Run | Null

The current compiler-run

The current compiler-run

Inherited from:
Context
final def runId: RunId
Inherited from:
Context
def sbtCallback: AnalysisCallback

The sbt callback implementation if we are run from sbt, null otherwise

The sbt callback implementation if we are run from sbt, null otherwise

Inherited from:
Context
final def scope: Scope
Inherited from:
Context
protected def scope_=(scope: Scope): Unit
Inherited from:
Context
Inherited from:
Context
protected def searchHistory_=(searchHistory: SearchHistory): Unit
Inherited from:
Context
Inherited from:
Context

The current settings values

The current settings values

Inherited from:
Context
final def source: SourceFile
Inherited from:
Context
protected def source_=(source: SourceFile): Unit
Inherited from:
Context
final def store: Store
Inherited from:
Context
protected def store_=(store: Store): Unit
Inherited from:
Context

The context for a supercall. This context is used for elaborating the parents of a class and their arguments. The context is computed from the current class context. It has

The context for a supercall. This context is used for elaborating the parents of a class and their arguments. The context is computed from the current class context. It has

  • as owner: The primary constructor of the class
  • as outer context: The context enclosing the class context
  • as scope: The parameter accessors in the class context

The reasons for this peculiar choice of attributes are as follows:

  • The constructor must be the owner, because that's where any local methods or closures should go.
  • The context may not see any class members (inherited or defined), and should instead see definitions defined in the outer context which might be shadowed by such class members. That's why the outer context must be the outer context of the class.
  • At the same time the context should see the parameter accessors of the current class, that's why they get added to the local scope. An alternative would have been to have the context see the constructor parameters instead, but then we'd need a final substitution step from constructor parameters to class parameter accessors.
Inherited from:
Context

The context for the arguments of a this(...) constructor call. The context is computed from the local auxiliary constructor context. It has

The context for the arguments of a this(...) constructor call. The context is computed from the local auxiliary constructor context. It has

  • as owner: The auxiliary constructor
  • as outer context: The context enclosing the enclosing class context
  • as scope: The parameters of the auxiliary constructor.
Inherited from:
Context
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Returns:

a string representation of the object.

Definition Classes
Context -> Any
Inherited from:
Context
final def tree: Tree[_ >: Untyped]
Inherited from:
Context
protected def tree_=(tree: Tree[_ >: Untyped]): Unit
Inherited from:
Context

The current type assigner or typer

The current type assigner or typer

Inherited from:
Context
Inherited from:
Context
Inherited from:
Context
protected def typerState_=(typerState: TyperState): Unit
Inherited from:
Context
Inherited from:
Context

Should use colors when printing?

Should use colors when printing?

Inherited from:
Context

Is the verbose option set?

Is the verbose option set?

Inherited from:
Context
final def withOwner(owner: Symbol): Context
Inherited from:
Context
final def withPhase(pid: PhaseId): Context
Inherited from:
Context
final def withPhase(phase: Phase): Context
Inherited from:
Context
final def withProperty[T](key: Key[T], value: Option[T]): Context
Inherited from:
Context
final def withSource(source: SourceFile): Context
Inherited from:
Context
final def withTyperState(typerState: TyperState): Context
Inherited from:
Context
Inherited from:
Context

Concrete fields

Inherited fields

Inherited from:
Context
protected var implicitsCache: ContextualImplicits | Null

The new implicit references that are introduced by this scope

The new implicit references that are introduced by this scope

Inherited from:
Context

Givens

Inherited givens

Inherited from:
Context