scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/dotty.tools.dotc.transform.init/Objects/Env/EnvRef

EnvRef

dotty.tools.dotc.transform.init.Objects.Env.EnvRef
case class EnvRef(meth: Symbol, owner: ClassSymbol)(using x$3: Trace) extends Scope

Local environments can be deeply nested, therefore we need outer.

For local variables in rhs of class field definitions, the meth is the primary constructor.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Objects.this.Scope
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def initOuterEnvs(outerEnvs: EnvSet)(using EnvMapMutableData): Unit
def initThisV(thisV: Objects.this.ThisValue)(using EnvMapMutableData): Unit
def initVal(field: Symbol, value: Objects.this.Value)(using Context, EnvMapMutableData): Unit
def initVar(field: Symbol, value: Objects.this.Value)(using Context, EnvMapMutableData): Unit
def show(using Context): String
def valValue(sym: Symbol)(using EnvMapMutableData): Objects.this.Value
def varValue(sym: Symbol)(using EnvMapMutableData): Objects.this.Value

Inherited methods

def asEnv: EnvRef

Attributes

Inherited from:
Scope
def asRef: Objects.this.Ref

Attributes

Inherited from:
Scope
def getTrace: Trace

Attributes

Inherited from:
Scope
def isEnv: Boolean

Attributes

Inherited from:
Scope
def isRef: Boolean

Attributes

Inherited from:
Scope
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL