scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.cc/Synthetics

Synthetics

dotty.tools.dotc.cc.Synthetics
object Synthetics

Classification and transformation methods for synthetic case class methods that need to be treated specially. In particular, compute capturing types for some of these methods which have inferred (result-)types that need to be established under separate compilation.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Synthetics.type

Members list

Value members

Concrete methods

def isExcluded(sym: Symbol)(using Context): Boolean

Method is excluded from regular capture checking. Excluded are synthetic class members

Method is excluded from regular capture checking. Excluded are synthetic class members

  • that override a synthesized case class symbol, or
  • the fromProduct method, or
  • members transformed specially as indicated by needsTransform.

Attributes

def needsTransform(symd: SymDenotation)(using Context): Boolean

Is sym a synthetic apply, copy, or copy default getter method? The types of these symbols are transformed in a special way without looking at the definitions's RHS

Is sym a synthetic apply, copy, or copy default getter method? The types of these symbols are transformed in a special way without looking at the definitions's RHS

Attributes

def transformFromCC(sym: SymDenotation)(using Context): SymDenotation

If sym refers to a synthetic apply, unapply, copy, or copy default getter method of a case class, transform it back to what it was before the CC phase.

If sym refers to a synthetic apply, unapply, copy, or copy default getter method of a case class, transform it back to what it was before the CC phase.

Attributes

def transformToCC(sym: SymDenotation)(using Context): SymDenotation

If sym refers to a synthetic apply, unapply, copy, or copy default getter method of a case class, transform it to account for capture information. The method is run in phase CheckCaptures.Pre

If sym refers to a synthetic apply, unapply, copy, or copy default getter method of a case class, transform it to account for capture information. The method is run in phase CheckCaptures.Pre

Attributes

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL