From: Cato P. <ca...@if...> - 2008-07-22 21:57:51
|
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 |