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

InstanceRef

dotty.tools.dotc.transform.init.Objects.InstanceRef
See theInstanceRef companion object
case class InstanceRef extends Ref

Represents values that are instances of the specified class.

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

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

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
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL