dotty.tools.dotc.Run
See theRun companion class
object Run
Attributes
Members list
Extensions
Extensions
extension (run: Run | Null)
advance the late count and record progress in the current phase
advance the late count and record progress in the current phase
Attributes
advance the unit count and record progress in the current phase
advance the unit count and record progress in the current phase
Attributes
if there exists another subphase, switch to it and record progress
if there exists another subphase, switch to it and record progress
Attributes
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
In this article