Hey,
Can I use env.setReferenceField() from a NativePeer class to set a new
field on an object? That is, I'm trying to set a "next" field on an
object that does not already have such a field, and give it the int
value to the next object that it should point at. JPF is throwing
exceptions at me when I try to do this.
Anyone know how to do this?
I can show some code if necessary.
Best regards,
Cato
|
