Converts the given Java object to a corresponding DomainValue
.
Converts the given Java object to a corresponding DomainValue
. The conversion may be lossy.
The program counter of the instruction that was responsible for creating the respective value. (This is in – in general – not the instruction where the transformation is performed.)
The object.
A DomainReferenceValue
.
To convert primitive values to DomainValue
s use the domain's
respective factory methods. I.e., this method deliberately does not perform any
(Un-)Boxing as it does not have the necessary information. For more
information study the implementation of the l1.ReflectiveInvoker.
Mixed in by domains that support the conversation of a Java Object into a
DomainValue
.AsJavaObject for further information on limitations.