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

Phase

dotty.tools.dotc.core.Phases.Phase

abstract class Phase

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class GenBCode

class GenSJSIR

object SomePhase

trait DenotTransformer

class TerminalPhase

trait IdentityDenotTransformer

class PrepJSInterop

class CapturedVars

class Constructors

class DropOuterAccessors

class DropParentRefinements

class ExpandPrivate

class FunctionXXLForwarders

class HoistSuperArgs

class Inlining

class InstrumentCoverage

class LambdaLift

class LazyVals

class Memoize

class ParamForwarding

class PostInlining

class ResolveSuper

class RestoreScopes

class SelectStatic

class Pre

class TransformWildcards

class TupleOptimizations

class UncacheGivenAliases

class UnrollDefinitions

class VCElideAllocations

class VCInlineMethods

trait InfoTransformer

class ExplicitJSClasses

class CompleteJavaEnums

class ElimByName

class ElimErasedValueType

class ElimRepeated

class ExplicitOuter

class PostTyper

class SpecializeApplyMethods

trait SymTransformer

class CheckCaptures

class Setup

class FirstTransform

class Flatten

class Getters

class Mixin

class MoveStatics

class PruneErasedDefs

class Recheck

class TestRecheck

class TreeChecker

class ElimOpaque

class ElimPolyFunction

class Erasure

class ExtensionMethods

class PreRecheck

object NoPhase

class DecompilationPrinter

class ReadTasty

class Parser

class ExtractAPI

class ExtractDependencies

class ExtractSemanticDB

class AppendDiagnostics

class ExtractSemanticInfo

class Checker

class EmptyPhase

class MacroTransform

class PickleQuotes

class Splicing

class Staging

class MiniPhase

class CollectSuperCalls

trait PluginPhase

class DropForMap

class StringInterpolatorOpt

class AddLocalJSFakeNews

class JUnitBootstrappers

class ArrayApply

class ArrayConstructors

class BetaReduce

class CheckLoopingImplicits

class CheckNoSuperThis

class CheckReentrant

class CheckShadowing

class CheckStatic

class CheckUnused

class PostInlining

class PostTyper

class CollectEntryPoints

class CollectNullableFields

class CookComments

class CountOuterAccesses

class CrossVersionChecks

class DropBreaks

class ElimOuterSelect

class ElimPackagePrefixes

class ElimStaticThis

class EtaReduce

class ExpandSAMs

class ExplicitSelf

class ForwardDepChecks

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 SpecializeTuples

class TailRec

class TryCatchPatterns

class UninitializedDefs

class RefChecks

class MegaPhase

class Pickler

class SetRootTree

class YCheckPositions

class TyperPhase

class CollectTopLevelImports

class Parser

class ReplPhase
Show all

Members list

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

Attributes

Concrete methods

If set, implicit search is enabled

Attributes

Do not run if compile progress has been cancelled

Attributes

Can this transform change the base types of a type?

Attributes

Can this transform create or delete non-private members?

Attributes

Can this transform change the parents of a class?

Attributes

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

Attributes

True for all phases except NoPhase

Attributes

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.

Attributes

Output should be checkable by TreeChecker

Attributes

This property is queried when phases are first assembled. If it is false, the phase will be dropped from the set of phases to traverse.

Attributes

This property is queried before a phase is run. If it is false, the phase is skipped.

Attributes

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).

Attributes

Cancellable region, if not cancelled, run the body in the context of the current compilation unit. Enrich crash messages.

Attributes

A hook that allows to transform the usual context passed to the function that prints a compilation unit after a phase

Attributes

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

Attributes

List of names of phases that should precede this phase

Attributes

Convert a compilation unit's tree to a string; can be overridden

Attributes

skip the phase for a Java compilation unit, may depend on -Xjava-tasty

Attributes

for purposes of progress tracking, overridden in TyperPhase

Attributes

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Definition Classes: Any

In this article

Generated with