OfClass

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

Members list

Value members

Concrete methods

def show(using Context): String
def widenedCopy(outer: Value, args: List[Value], env: Data): OfClass

Inherited methods

Attributes

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

Attributes

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

Attributes

Inherited from:
Ref
def initOuter(cls: ClassSymbol, value: Value)(using Context): Unit

Attributes

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

Attributes

Inherited from:
Ref
def initVar(field: Symbol, addr: Addr)(using Context): Unit

Attributes

Inherited from:
Ref

Attributes

Inherited from:
Ref

Attributes

Inherited from:
Ref

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
def valValue(sym: Symbol): Value

Attributes

Inherited from:
Ref
def varAddr(sym: Symbol): Addr

Attributes

Inherited from:
Ref

Inherited fields

protected val outers: Map[ClassSymbol, Value]

Attributes

Inherited from:
Ref
protected val vals: Map[Symbol, Value]

Attributes

Inherited from:
Ref
protected val vars: Map[Symbol, Addr]

Attributes

Inherited from:
Ref