Ref

dotty.tools.dotc.transform.init.Objects.Ref
sealed abstract class Ref(using x$1: Trace) extends Scope, ValueElement

Attributes

Graph
Supertypes
trait Objects.this.ValueElement
trait Objects.this.Value
class Objects.this.Scope
class Object
trait Matchable
class Any
Show all
Known subtypes
class Objects.this.ArrayRef
class Objects.this.InstanceRef
class Objects.this.ObjectRef

Members list

Value members

Abstract methods

Concrete methods

def hasVal(sym: Symbol)(using MutableData): Boolean
def hasVar(sym: Symbol)(using MutableData): Boolean
def initOuter(sym: Symbol, outers: Objects.this.Value)(using Context, MutableData): Unit
def initOuterEnv(outerEnvs: EnvSet)(using Context, MutableData): Unit
def initVal(field: Symbol, value: Objects.this.Value)(using Context, MutableData): Unit
def initVar(field: Symbol, value: Objects.this.Value)(using Context, MutableData): Unit
def outer(using MutableData): Objects.this.Value
def outerValue(sym: Symbol)(using MutableData): Objects.this.Value
def valValue(sym: Symbol)(using MutableData): Objects.this.Value
def varValue(sym: Symbol)(using MutableData): Objects.this.Value

Inherited methods

def asEnv: EnvRef

Attributes

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

Attributes

Inherited from:
Scope

Attributes

Inherited from:
Scope
def isEnv: Boolean

Attributes

Inherited from:
Scope
def isRef: Boolean

Attributes

Inherited from:
Scope

Inherited and Abstract methods

Attributes

Inherited from:
Scope
def show(using Context): String

Attributes

Inherited from:
Value