[Javapathfinder-user] peer class cannot be found

[zuo j. <zu...@pk...>]

First, I would like to thank Willem. I followed his suggestion to write =
a
peer class. But when I run jpf, it=A1=AFs reported that no peer is =
found. The
following is the excerpt of my program.

=20

Model class:

package model;

public class ScenarioManager {

  native private boolean hasEquivalentPeer(Scenario scen);

  public boolean hasMatch(Message msg) {

Scenario scen =3D new Scenario();

=A1=AD

return hasEquivalentPeer(scen);

  }

}

=20

Peer class:

public class JPF_model_ScenarioManager {

  public static TreeSet scenarios;

  public static boolean hasEquivalentPeer__Lmodel_Scenario_2(MJIEnv env, =
int
robj, int scenRef) {

Scenario scen =3D reconstructScenario(env, scenRef);

if (scenarios.contains(scen)) return true;

else {

  scenarios.add(scen);

  return false;

}

  }

=20

When I run jpf, an error message is displayed, which is:

java.lang.UnsatisfiedLinkError: model.ScenarioManager.hasEquivalentPeer =
(no
peer)

=20

So, what=A1=AFs wrong? Is there anything that misses my attention?

Thanks again!

=20

J. H. Zuo