scala3-compiler-bootstrapped/dotty.tools.dotc.transform.init/Summarization

Summarization

object Summarization
class Object
trait Matchable
class Any

Value members

Concrete methods

def analyze(expr: Tree)(env: Env): Summary

Summarization of potentials and effects for an expression

Summarization of potentials and effects for an expression

Optimization:

  1. potentials for expression of primitive value types can be safely abandoned, as they are always fully initialized.
def analyze(tp: Type, source: Tree)(env: Env): Summary
def analyzeConstructor(ctor: Symbol)(env: Env): Summary

Summarize secondary constructors or class body

Summarize secondary constructors or class body

def analyzeField(sym: Symbol)(env: Env): Summary
def analyzeMethod(sym: Symbol)(env: Env): Summary
def resolveThis(cls: ClassSymbol, pot: Potential, cur: ClassSymbol, source: Tree)(env: Env): Summary