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

OfArray

dotty.tools.dotc.transform.init.Objects.OfArray
See theOfArray companion object
case class OfArray 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 Ref
trait ValueElement
trait Value
class Scope
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def show(using Context): String
def writeElement(value: Value)(using MutableData): Unit

Inherited methods

def asEnv: LocalEnv

Attributes

Inherited from:
Scope
def asRef: Ref

Attributes

Inherited from:
Scope
def getTrace: Trace

Attributes

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

Attributes

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

Attributes

Inherited from:
Scope
def initOuter(sym: Symbol, outerScope: ScopeSet)(using Context, MutableData): Unit

Attributes

Inherited from:
Scope
def initVal(field: Symbol, value: Value)(using Context, MutableData): Unit

Attributes

Inherited from:
Scope
def initVar(field: Symbol, value: Value)(using Context, MutableData): Unit

Attributes

Inherited from:
Scope
def isEnv: Boolean

Attributes

Inherited from:
Scope
def isObjectRef: Boolean

Attributes

Inherited from:
Scope
def isRef: Boolean

Attributes

Inherited from:
Scope
def outer(using MutableData): ScopeSet

Attributes

Inherited from:
Ref
def outerValue(sym: Symbol)(using MutableData): ScopeSet

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): Value

Attributes

Inherited from:
Scope
def varValue(sym: Symbol)(using MutableData): Value

Attributes

Inherited from:
Scope

Concrete fields

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