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

ObjectRef

dotty.tools.dotc.transform.init.Objects.ObjectRef
See theObjectRef companion object
case class ObjectRef extends Ref

A reference to a static object

Invariant: The reference itself should not contain any state

Rationale: There can be multiple references to the same object. They must share the same state.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Objects.this.Ref
trait Objects.this.ValueElement
trait Objects.this.Value
class Objects.this.Scope
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def isAfterSuperCall(using MutableData): Boolean

Use the special outer to denote whether the super constructor of the object has been called or not.

Use the special outer to denote whether the super constructor of the object has been called or not.

Attributes

def show(using Context): String

Inherited methods

def asEnv: EnvRef

Attributes

Inherited from:
Scope
def asObjectRef: Objects.this.ObjectRef

Attributes

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

Attributes

Inherited from:
Scope
def getTrace: Trace

Attributes

Inherited from:
Scope
def hasOuter(classSymbol: Symbol)(using MutableData): Boolean

Attributes

Inherited from:
Ref
def hasVal(sym: Symbol)(using MutableData): Boolean

Attributes

Inherited from:
Ref
def hasVar(sym: Symbol)(using MutableData): Boolean

Attributes

Inherited from:
Ref
def initOuter(sym: Symbol, outers: Objects.this.Value)(using Context, MutableData): Unit

Attributes

Inherited from:
Ref
def initOuterEnv(outerEnvs: EnvSet)(using Context, MutableData): Unit

Attributes

Inherited from:
Ref
def initVal(field: Symbol, value: Objects.this.Value)(using Context, MutableData): Unit

Attributes

Inherited from:
Ref
def initVar(field: Symbol, value: Objects.this.Value)(using Context, MutableData): Unit

Attributes

Inherited from:
Ref
def isEnv: Boolean

Attributes

Inherited from:
Scope
def isObjectRef: Boolean

Attributes

Inherited from:
Ref
def isRef: Boolean

Attributes

Inherited from:
Scope
def outer(using MutableData): Objects.this.Value

Attributes

Inherited from:
Ref
def outerEnv(using MutableData): EnvSet

Attributes

Inherited from:
Ref
def outerValue(sym: Symbol)(using MutableData): Objects.this.Value

Attributes

Inherited from:
Ref
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
def valValue(sym: Symbol)(using MutableData): Objects.this.Value

Attributes

Inherited from:
Ref
def varValue(sym: Symbol)(using MutableData): Objects.this.Value

Attributes

Inherited from:
Ref
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL