Setup

dotty.tools.dotc.cc.Setup

See theSetup companion object

class Setup(preRecheckPhase: DenotTransformer, thisPhase: DenotTransformer, recheckDef: (ValOrDefDef, Symbol) => Context ?=> Unit) extends TreeTraverser

A tree traverser that prepares a compilation unit to be capture checked. It does the following:

For every inferred type, drop any retains annotations, add capture sets to all its parts, add refinements to class types and function types. (c.f. mapInferred)
For explicit capturing types, expand throws aliases to the underlying (pure) function, and add some implied capture sets to curried functions (c.f. expandThrowsAlias, expandAbbreviations).
Add capture sets to self types of classes and objects, unless the self type was written explicitly.
Box the types of mutable variables and type arguments to methods (type arguments of types are boxed on access).
Link the external types of val and def symbols with the inferred types based on their parameter symbols.

Attributes

Companion: object
Graph
Supertypes: class TreeTraverser

class TreeAccumulator[Unit]

class Object

trait Matchable

class Any

Recognizer for res $throws exc, returning (res, exc) in case of success

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Should a capture set variable be added on type tp?

If the outer context directly enclosing the definition of sym has a owner, that owner, otherwise null.

Pull out an embedded capture set from a part of tp

extension (sym: Symbol)

extension (tp: Type)

In this article

Generated with