scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Contexts/FreshContext

FreshContext

dotty.tools.dotc.core.Contexts.FreshContext
See theFreshContext companion object
class FreshContext(base: ContextBase) extends Context

A fresh context allows selective modification of its attributes using the with... methods.

Attributes

Companion
object
Graph
Supertypes
class Context
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def addLocation[T](initial: T): Location[T]
def addLocation[T](): Location[T]
final def addMode(mode: Mode): c.type
Extension method from Contexts
def dropProperty(key: Key[_]): this.type
final def gadtState: GadtState
final def mode: Mode
final def moreProperties: Map[Key[Any], Any]

A map in which more contextual properties can be stored Typically used for attributes that are read and written only in special situations.

A map in which more contextual properties can be stored Typically used for attributes that are read and written only in special situations.

Attributes

def outer: Context
final def owner: Symbol
final def period: Period
final def retractMode(mode: Mode): c.type
Extension method from Contexts
def reuseIn(outer: Context): this.type

Reuse this context as a fresh context nested inside outer But keep the typerstate, this one has to be set explicitly if needed.

Reuse this context as a fresh context nested inside outer But keep the typerstate, this one has to be set explicitly if needed.

Attributes

final def scope: Scope
def setCompilationUnit(compilationUnit: CompilationUnit): this.type
def setCompilerCallback(callback: CompilerCallback): this.type
def setDebug: this.type
def setExploreTyperState(): this.type
def setFreshGADTBounds: this.type
def setGadtState(gadtState: GadtState): this.type
def setImportInfo(importInfo: ImportInfo): this.type
def setIncCallback(callback: IncrementalCallback): this.type
def setMode(mode: Mode): this.type
def setNewScope: this.type
def setNewTyperState(): this.type
def setNotNullInfos(notNullInfos: List[NotNullInfo]): this.type
def setOwner(owner: Symbol): this.type
def setPeriod(period: Period): this.type
def setPhase(pid: PhaseId): this.type
def setPhase(phase: Phase): this.type
def setPrinterFn(printer: Context => Printer): this.type
def setProfiler(profiler: Profiler): this.type
def setProgressCallback(callback: ProgressCallback): this.type
def setProperty[T](key: Key[T], value: T): this.type
def setReporter(reporter: Reporter): this.type
def setRun(run: Run | Null): this.type
def setScope(scope: Scope): this.type
def setSearchHistory(searchHistory: SearchHistory): this.type
def setSetting[T](setting: Setting[T], value: T): this.type
def setSettings(settingsState: SettingsState): this.type
def setSource(source: SourceFile): this.type
def setTree(tree: Tree[_]): this.type
def setTypeAssigner(typeAssigner: TypeAssigner): this.type
def setTyper(typer: Typer): this.type
def setTyperState(typerState: TyperState): this.type
final def source: SourceFile
final def store: Store

A store that can be used by sub-components. Typically used for attributes that are defined only once per compilation unit. Access to store entries is much faster than access to properties, and only slightly slower than a normal field access would be.

A store that can be used by sub-components. Typically used for attributes that are defined only once per compilation unit. Access to store entries is much faster than access to properties, and only slightly slower than a normal field access would be.

Attributes

final def tree: Tree[_]
final def typerState: TyperState
def updateStore[T](loc: Location[T], value: T): this.type

Inherited methods

def compilationUnit: CompilationUnit

The current compilation unit

The current compilation unit

Attributes

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.

Attributes

Inherited from:
Context
def debug: Boolean

Is the debug option set?

Is the debug option set?

Attributes

Inherited from:
Context
def definitions: Definitions

Attributes

Inherited from:
Context
def effectiveScope(using Context): Scope

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.

Attributes

Inherited from:
Context
final def erasedTypes: Boolean

Does current phase use an erased types interpretation?

Does current phase use an erased types interpretation?

Attributes

Inherited from:
Context
def explicitNulls: Boolean

Is the explicit nulls option set?

Is the explicit nulls option set?

Attributes

Inherited from:
Context
def exprContext(stat: Tree[_], 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

Attributes

Inherited from:
Context
def fresh: FreshContext

A fresh clone of this context embedded in this context.

A fresh clone of this context embedded in this context.

Attributes

Inherited from:
Context
def freshOver(outer: Context): FreshContext

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

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

Attributes

Inherited from:
Context
def gadt: GadtConstraint

Attributes

Inherited from:
Context
def getFile(name: String): AbstractFile

AbstractFile with given path, memoized

AbstractFile with given path, memoized

Attributes

Inherited from:
Context
def getFile(name: TermName): AbstractFile

AbstraFile with given path name, memoized

AbstraFile with given path name, memoized

Attributes

Inherited from:
Context
def getSource(path: String): SourceFile

SourceFile with given path, memoized

SourceFile with given path, memoized

Attributes

Inherited from:
Context
def getSource(path: TermName): SourceFile

SourceFile with given path name, memoized

SourceFile with given path name, memoized

Attributes

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

Sourcefile corresponding to given abstract file, memoized

Sourcefile corresponding to given abstract file, memoized

Attributes

Inherited from:
Context
def implicits: ContextualImplicits

Attributes

Inherited from:
Context
def importContext(imp: Import[_], sym: Symbol): FreshContext

A new context that summarizes an import statement

A new context that summarizes an import statement

Attributes

Inherited from:
Context
def importInfo: ImportInfo | Null

The currently active import info

The currently active import info

Attributes

Inherited from:
Context
def incCallback: IncrementalCallback | Null

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

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

Attributes

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

Attributes

Inherited from:
Context
final def isAfterTyper: Boolean

Is current phase after TyperPhase?

Is current phase after TyperPhase?

Attributes

Inherited from:
Context
def isClassDefContext: Boolean

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

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

Attributes

Inherited from:
Context
def isImportContext: Boolean

Is this a context that introduces an import clause?

Is this a context that introduces an import clause?

Attributes

Inherited from:
Context
def isInlineContext: Boolean

Is this a context for typechecking an inlined body?

Is this a context for typechecking an inlined body?

Attributes

Inherited from:
Context
final def isJava: Boolean

Are we in a Java compilation unit?

Are we in a Java compilation unit?

Attributes

Inherited from:
Context
def isNonEmptyScopeContext: Boolean

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

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

Attributes

Inherited from:
Context
final def isTyper: Boolean

Attributes

Inherited from:
Context
final def lastPhaseId: Int

Attributes

Inherited from:
Context
def nestingLevel: Int

Attributes

Inherited from:
Context
def notNullInfos: List[NotNullInfo]

The paths currently known to be not null

The paths currently known to be not null

Attributes

Inherited from:
Context
def outersIterator: Iterator[Context]

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

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

Attributes

Inherited from:
Context
def pendingUnderlying: HashSet[Type]

Attributes

Inherited from:
Context
final def phase: Phase

Attributes

Inherited from:
Context
final def phaseId: PhaseId

Attributes

Inherited from:
Context
def platform: Platform

Attributes

Inherited from:
Context
def printer: Printer

A function creating a printer

A function creating a printer

Attributes

Inherited from:
Context
def printerFn: Context => Printer

The current plain printer

The current plain printer

Attributes

Inherited from:
Context
def profiler: Profiler

The current compiler-run profiler

The current compiler-run profiler

Attributes

Inherited from:
Context
def progressCallback: ProgressCallback | Null

The Zinc compile progress callback implementation if we are run from Zinc, null otherwise

The Zinc compile progress callback implementation if we are run from Zinc, null otherwise

Attributes

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

Attributes

Inherited from:
Context
def reporter: Reporter

The current reporter

The current reporter

Attributes

Inherited from:
Context
protected def resetCaches(): Unit

Attributes

Inherited from:
Context
def run: Run | Null

The current compiler-run

The current compiler-run

Attributes

Inherited from:
Context
final def runId: RunId

Attributes

Inherited from:
Context
def runZincPhases: Boolean

Attributes

Inherited from:
Context
def settings: ScalaSettings

Attributes

Inherited from:
Context
def settingsState: SettingsState

The current settings values

The current settings values

Attributes

Inherited from:
Context
def superCallContext: 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.

Attributes

Inherited from:
Context
def thisCallArgContext: 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.

Attributes

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.

Attributes

Returns

a string representation of the object.

Definition Classes
Context -> Any
Inherited from:
Context
def typeAssigner: TypeAssigner

The current type assigner or typer

The current type assigner or typer

Attributes

Inherited from:
Context
def typer: Typer

Attributes

Inherited from:
Context
def uniqueNamedTypes: NamedTypeUniques

Attributes

Inherited from:
Context
def uniques: WeakHashSet[Type]

Attributes

Inherited from:
Context
def useColors: Boolean

Should use colors when printing?

Should use colors when printing?

Attributes

Inherited from:
Context
def verbose: Boolean

Is the verbose option set?

Is the verbose option set?

Attributes

Inherited from:
Context
def withColors: FreshContext

Attributes

Inherited from:
Context
inline def withIncCallback(inline op: IncrementalCallback => Unit): Unit

Run op if there exists an incremental callback

Run op if there exists an incremental callback

Attributes

Inherited from:
Context
final def withOwner(owner: Symbol): Context

Attributes

Inherited from:
Context
final def withPhase(pid: PhaseId): Context

Attributes

Inherited from:
Context
final def withPhase(phase: Phase): Context

Attributes

Inherited from:
Context
inline def withProgressCallback(inline op: ProgressCallback => Unit): Unit

Run op if there exists a Zinc progress callback

Run op if there exists a Zinc progress callback

Attributes

Inherited from:
Context
final def withProperty[T](key: Key[T], value: Option[T]): Context

Attributes

Inherited from:
Context
final def withSource(source: SourceFile): Context

Attributes

Inherited from:
Context
final def withTyperState(typerState: TyperState): Context

Attributes

Inherited from:
Context
final def withUncommittedTyperState: Context

Attributes

Inherited from:
Context
def withoutColors: FreshContext

Attributes

Inherited from:
Context

Givens

Inherited givens

protected given given_Context: Context

Attributes

Inherited from:
Context
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL