RefKind

scala.scalanative.nir.Type.RefKind
sealed abstract class RefKind extends Type

A reference type.

Attributes

Graph
Supertypes
class Type
class Object
trait Matchable
class Any
Known subtypes
class Array
object Null
class Ref
object Unit

Members list

Value members

Concrete methods

final def className: Top

The identifier of the class corresponding to this type.

The identifier of the class corresponding to this type.

Attributes

final def isExact: Boolean

true iff the referenced type is exactly the type denoted by this.

true iff the referenced type is exactly the type denoted by this.

Given an instance r of RefKind denoting a reference to some time T, r.isExact holds iff the referenced type is exactly T and not a subtype thereof. The optimizer may be able to compute the exact variant of an arbitrary reference after it has replaced a virtual call.

Attributes

final def isNullable: Boolean

true iff instances of this type are nullable.

true iff instances of this type are nullable.

Attributes

Inherited methods

def =?=(other: Type): Boolean

Attributes

Inherited from:
Type
final def elemty(path: Seq[Val]): Type

Attributes

Inherited from:
Type

Attributes

Inherited from:
Type
final def mangle: String

The mangled representation of this.

The mangled representation of this.

Attributes

Inherited from:
Type
final def show: String

A textual representation of this.

A textual representation of this.

Attributes

Inherited from:
Type