RefKind

sealed abstract class RefKind extends Type

A reference type.

class Type
class Object
trait Matchable
class Any
class Array
object Null.type
class Ref
object Unit.type

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.

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.

final def isNullable: Boolean

true iff instances of this type are nullable.

true iff instances of this type are nullable.

Inherited methods

def =?=(other: Type): Boolean
Inherited from:
Type
final def elemty(path: Seq[Val]): Type
Inherited from:
Type
Inherited from:
Type
final def mangle: String

The mangled representation of this.

The mangled representation of this.

Inherited from:
Type
final def show: String

A textual representation of this.

A textual representation of this.

Inherited from:
Type