Re: [Javapathfinder-user] IllegalAccessException when calling to NativePeer class

[Peter C. M. <pcm...@em...>]

JPF uses normal Java reflection to call the NativePeer methods, so =20
the NativePeer has to be a public class, and the native methods have =20
to be "public static..". Please also note that you need to mange the =20
name (parameter/return type) if you have overloaded native methods. =20
The name mangling follows JNI and is documented on the web site

-- Peter


On Sep 24, 2007, at 12:42 AM, Jantien Sessink wrote:

> Hi,
>
> Currently I'm looking at the possibility of using Java PathFinder =20
> for a research project. I=92m testing to run the main class in JPF =20
> and some other functions in the host JVM by creating a Model class =20
> and a NavtivePeer class. Both classes are printed below, as is the =20
> JPF output. When I try to run them in JPF, I get an =20
> IllegalAccessException. For some reason, the Model class can=92t find =20=

> the functions defined in the NativePeer class. Is there something I =20=

> forgot to do in order to let the model class see the NativePeer class?
>
> I hope you can help me with my problem.