Run

dotty.tools.dotc.Run
See theRun companion class
object Run

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Run.type

Members list

Type members

Classlikes

case class SubPhase(name: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
class SubPhases(val phase: Phase)

Attributes

Supertypes
class Object
trait Matchable
class Any

Extensions

Extensions

extension (run: Run | Null)
def advanceLate()(using Context): Unit

advance the late count and record progress in the current phase

advance the late count and record progress in the current phase

Attributes

def advanceUnit()(using Context): Unit

advance the unit count and record progress in the current phase

advance the unit count and record progress in the current phase

Attributes

def enrichErrorMessage(errorMessage: String)(using Context): String

if there exists another subphase, switch to it and record progress

if there exists another subphase, switch to it and record progress

Attributes

def enterRegion()(using Context): Boolean

check progress cancellation, true if not cancelled

check progress cancellation, true if not cancelled

Attributes

record that the current phase has begun for the compilation unit of the current Context

record that the current phase has begun for the compilation unit of the current Context

Attributes