[Javapathfinder-devel] MJI collections question

[Cato P. <ca...@if...>]

Hey guys

I need to use MJI to traverse a couple collections. Basically, my model 
class declares the method with this:


/        static native void PrintList(List<Integer> l);
/

and I'll implement it in a native peer class. In my native peer class, 
I'll get access to the elements / objects of the collection by using 
methods such as getReferenceField and getIntField. 

Now to the problem. Getting these fields, require a call made with a 
couple arguments as int and String, where the String is the /field name 
/of the value that I'm getting. So I need to know how JPF sets all the 
field names for its collections, in order to get out the correct fields. 
I've been searching up and down in the source code to find the code that 
sets the fields, but I cannot find it. Any pointers please?

Best regards,
Cato