Converts the given Java object to a corresponding
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.)
To convert primitive values to
DomainValues 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.