Dotty Documentation

0.15.0-bin-SNAPSHOT

class FreshContext
extends Context

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

[-] Constructors

FreshContext ( base: ContextBase )
FreshContext ( c: FreshContext )

[-] Members

[+] private val base : ContextBase
[+] def addLocation ( initial: T ) : Location [ T ]
[+] def addLocation ( ) : Location [ T ]
[+] def addMode ( mode: Mode ) : c.type
[+] def dropProperty ( key: Key [ Nothing <: Any ] ) : FreshContext
[+] def maskMode ( mode: Mode ) : c.type
[+] def retractMode ( mode: Mode ) : c.type
[+] def setCompilationUnit ( compilationUnit: CompilationUnit ) : FreshContext
[+] def setCompilerCallback ( callback: CompilerCallback ) : FreshContext
[+] def setDebug : FreshContext
[+] def setExploreTyperState ( ) : FreshContext
[+] def setFreshGADTBounds : FreshContext
[+] def setFreshNames ( freshNames: FreshNameCreator ) : FreshContext
[+] def setGadt ( gadt: GADTMap ) : FreshContext
[+] def setImplicits ( implicits: ContextualImplicits ) : FreshContext
[+] def setImportInfo ( importInfo: ImportInfo ) : FreshContext
[+] def setMode ( mode: Mode ) : FreshContext
[+] private def setMoreProperties ( moreProperties: Map [ Key [ Any ], Any ] ) : FreshContext
[+] def setNewScope : FreshContext
[+] def setNewTyperState ( ) : FreshContext
[+] def setOwner ( owner: Symbol ) : FreshContext
[+] def setPeriod ( period: Period ) : FreshContext
[+] def setPhase ( pid: PhaseId ) : FreshContext
[+] def setPhase ( phase: Phase ) : FreshContext
[+] def setPrinterFn ( printer: Context => Printer ) : FreshContext
[+] def setProfiler ( profiler: Profiler ) : FreshContext
[+] def setProperty ( key: Key [ T ] , value: T ) : FreshContext
[+] def setReporter ( reporter: Reporter ) : FreshContext
[+] def setRun ( run: Run ) : FreshContext
[+] def setSbtCallback ( callback: AnalysisCallback ) : FreshContext
[+] def setScope ( scope: Scope ) : FreshContext
[+] def setSearchHistory ( searchHistory: SearchHistory ) : FreshContext
[+] def setSetting ( setting: Setting [ T ] , value: T ) : FreshContext
[+] def setSettings ( settingsState: SettingsState ) : FreshContext
[+] def setSource ( source: SourceFile ) : FreshContext
[+] private def setStore ( store: Store ) : FreshContext
[+] def setTree ( tree: Tree [ Untyped <: Any ] ) : FreshContext
[+] def setTypeAssigner ( typeAssigner: TypeAssigner ) : FreshContext
[+] def setTypeComparerFn ( tcfn: Context => TypeComparer ) : FreshContext
[+] def setTyper ( typer: Typer ) : FreshContext
[+] def setTyperState ( typerState: TyperState ) : FreshContext
[+] def updateStore ( loc: Location [ T ] , value: T ) : FreshContext