Dotty Documentation

0.1.1-bin-SNAPSHOT

class FrontEnd
extends DotClass with Phase

[-] Constructors

FrontEnd ( )

[-] Members

[+] private var remaining : List [ Context ]

The contexts for compilation units that are parsed but not yet entered

[+] protected def discardAfterTyper ( unit: CompilationUnit ) ( implicit ctx: Context ) : Boolean
[+] def enterAnnotations ( implicit ctx: Context ) : Unit
[+] def enterSyms ( implicit ctx: Context ) : Unit
[+] private def firstTopLevelDef ( trees: List [ Tree ] ) ( implicit ctx: Context ) : Symbol
[+] override def isTyper : Boolean

Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty). The predicate is tested in some places that perform checks and corrections. It's different from isAfterTyper (and cheaper to test).

[+] def monitor ( doing: String ) ( body: => Unit ) ( implicit ctx: Context ) : Unit
[+] def parse ( implicit ctx: Context ) : Unit
[+] override def phaseName : String

A name given to the Phase that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:

$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala
[+] private def remaining_= ( x$1: List [ Context ] ) : Unit

The contexts for compilation units that are parsed but not yet entered

[+] override def run ( implicit ctx: Context ) : Unit
[+] override def runOn ( units: List [ CompilationUnit ] ) ( implicit ctx: Context ) : List [ CompilationUnit ]
[+] def stillToBeEntered ( name: String ) : Boolean

Does a source file ending with <name>.scala belong to a compilation unit that is parsed but not yet entered?

[+] def typeCheck ( implicit ctx: Context ) : Unit