scala3-compiler-bootstrapped/dotty.tools.dotc.core/Phases/Phase

Phase

abstract class Phase

class Object

trait Matchable

class Any

class GenBCode

class GenSJSIR

object SomePhase.type

trait DenotTransformer

class TerminalPhase

trait IdentityDenotTransformer

class ByNameClosures

class CapturedVars

class Constructors

class DropOuterAccessors

class ExpandPrivate

class FunctionXXLForwarders

class HoistSuperArgs

class LambdaLift

class LazyVals

class LiftTry

class Memoize

class ParamForwarding

class PostInlining

class PostTyper

class ResolveSuper

class RestoreScopes

class SelectStatic

class TransformWildcards

class TupleOptimizations

class UncacheGivenAliases

class VCElideAllocations

class VCInlineMethods

class PrepJSInterop

trait InfoTransformer

class CompleteJavaEnums

class ElimByName

class ElimErasedValueType

class ElimRepeated

class ExplicitOuter

class FirstTransform

class SpecializeApplyMethods

class ExplicitJSClasses

trait SymTransformer

class Flatten

class Getters

class Mixin

class MoveStatics

class PruneErasedDefs

class TreeChecker

class ElimOpaque

class ElimPolyFunction

class Erasure

class ExtensionMethods

object NoPhase.type

class DecompilationPrinter

class ReadTasty

class Parser

class ExtractAPI

class ExtractDependencies

class ExtractSemanticDB

class MacroTransform

class Inlining

class PickleQuotes

class Staging

class MiniPhase

class CollectSuperCalls

trait PluginPhase

class ArrayApply

class ArrayConstructors

class BetaReduce

class CheckLoopingImplicits

class CheckNoSuperThis

class CheckReentrant

class CheckStatic

class CollectEntryPoints

class CollectNullableFields

class CookComments

class CountOuterAccesses

class ElimOuterSelect

class ElimPackagePrefixes

class ElimStaticThis

class EtaReduce

class ExpandSAMs

class ExplicitSelf

class InlinePatterns

class InlineVals

class Instrumentation

class InterceptedMethods

class LetOverApply

class NonLocalReturns

class PatternMatcher

class ProtectedAccessors

class PureStats

class RepeatableAnnotations

class SeqLiterals

class SpecializeFunctions

class TailRec

class TransformByNameApply

class TryCatchPatterns

class UninitializedDefs

class StringInterpolatorOpt

class AddLocalJSFakeNews

class JUnitBootstrappers

class RefChecks

class MegaPhase

class Pickler

class SetRootTree

class YCheckPositions

class Checker

class TyperPhase

class CollectTopLevelImports

Value members

Abstract methods

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/scalac -Xprint:<phaseNameHere> sourceFile.scala

Concrete methods

If set, implicit search is enabled

Can this transform change the base types of a type?

Can this transform create or delete non-private members?

Can this transform change the parents of a class?

Check what the phase achieves, to be called at any point after it is finished.

The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is not installed in the context.

Output should be checkable by TreeChecker

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

If set, allow missing or superfluous arguments in applications and type applications.

List of names of phases that should precede this phase

Definition Classes: Any