Returns the field's value and/or a new NullPointerException
if the given
objectref
represents the value null
.
Returns the field's value and/or a new NullPointerException
if the given
objectref
represents the value null
.
The field's value or a new NullPointerException
.
Returns the field's value.
Returns the field's value.
Sets the field's value if the given objectref
is not null
(in the Domain).
Sets the field's value if the given objectref
is not null
(in the Domain).
In the latter case a NullPointerException
is thrown.
Sets the field's value.
Sets the field's value.
Implements the handling of field access instructions at the type level.
(Linkage related exceptions are currently generally ignored.)