Ref

scala.scalanative.nir.Type.Ref
final case class Ref(name: Top, exact: Boolean, nullable: Boolean) extends RefKind

The type of a reference.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class RefKind
class Type
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def =?=(other: Type): Boolean

Attributes

Inherited from:
Type
final def className: Top

The identifier of the class corresponding to this type.

The identifier of the class corresponding to this type.

Attributes

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

Attributes

Inherited from:
Type

Attributes

Inherited from:
Type
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

Inherited from:
RefKind
final def isNullable: Boolean

true iff instances of this type are nullable.

true iff instances of this type are nullable.

Attributes

Inherited from:
RefKind
final def mangle: String

The mangled representation of this.

The mangled representation of this.

Attributes

Inherited from:
Type

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
final def show: String

A textual representation of this.

A textual representation of this.

Attributes

Inherited from:
Type