RefKind
A reference type.
Value members
Concrete methods
The identifier of the class corresponding to this type.
The identifier of the class corresponding to this type.
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.