blob: c2f21f63908a1ed4c60ab1d7d47c0a780fd9ccb0 (
plain) (
tree)
|
|
package dotty.tools
package dotc
import core._
import Contexts._
import Periods._
import Symbols._
import typer.{FrontEnd, Typer, Mode, ImportInfo}
import reporting.ConsoleReporter
import dotty.tools.dotc.core.Phases.Phase
import dotty.tools.dotc.transform.{UncurryTreeTransform, LazyValsCreateCompanionObjects, LazyValTranformContext}
import dotty.tools.dotc.transform.TreeTransforms.{TreeTransform, TreeTransformer}
import dotty.tools.dotc.transform.PostTyperTransformers.PostTyperTransformer
import dotty.tools.dotc.core.DenotTransformers.DenotTransformer
import dotty.tools.dotc.core.Denotations.SingleDenotation
import dotty.tools.dotc.transform.TreeTransforms.Separator
class Compiler {
def phases: List[List[Phase]] = List(
List(new FrontEnd), List(new LazyValsCreateCompanionObjects),
//force separataion between lazyVals and LVCreateCO
List(new LazyValTranformContext().transformer, new UncurryTreeTransform)
)
var runId = 1
def nextRunId = {
runId += 1; runId
}
def rootContext(implicit ctx: Context): Context = {
ctx.definitions.init(ctx)
ctx.usePhases(phases)
val start = ctx.fresh
.withPeriod(Period(nextRunId, FirstPhaseId))
.withOwner(defn.RootClass)
.withTyper(new Typer)
.withNewMode(Mode.ImplicitsEnabled)
.withTyperState(new MutableTyperState(ctx.typerState, new ConsoleReporter()(ctx), isCommittable = true))
ctx.definitions.init(start)
def addImport(ctx: Context, sym: Symbol) =
ctx.fresh.withImportInfo(ImportInfo.rootImport(sym)(ctx))
(start.withRunInfo(new RunInfo(start)) /: defn.RootImports)(addImport)
}
def newRun(implicit ctx: Context): Run = {
try new Run(this)(rootContext)
finally {
ctx.base.reset()
ctx.runInfo.clear()
}
}
}
|