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/ArrayRef

ArrayRef

dotty.tools.dotc.transform.init.Objects.ArrayRef
See theArrayRef companion object
case class ArrayRef extends Ref

Represents arrays.

Note that the 2nd parameter block does not take part in the definition of equality.

Different arrays are distinguished by the context. Currently the default context is the static object whose initialization triggers the creation of the array.

In the future, it is possible that we introduce a mechanism for end-users to mark the context.

Value parameters

owner

The static object whose initialization creates the array.

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 show(using Context): String
def writeElement(value: Objects.this.Value)(using MutableData): Unit

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 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]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

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

Concrete fields

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