[Javapathfinder-devel] /javapathfinder/src/gov/nasa/jpf/jvm JPF_gov_nasa_jpf_jvm_Verify.java,1.2,1.3

[John P. <joh...@us...>]

Update of /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/jvm
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16625/src/gov/nasa/jpf/jvm

Modified Files:
	JPF_gov_nasa_jpf_jvm_Verify.java 
Log Message:
* need to qualify overloaded getInt calls (Peter's brain, John's fingers)

Index: JPF_gov_nasa_jpf_jvm_Verify.java
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- JPF_gov_nasa_jpf_jvm_Verify.java	7 Sep 2005 22:08:20 -0000	1.2
+++ JPF_gov_nasa_jpf_jvm_Verify.java	8 Sep 2005 23:24:31 -0000	1.3
@@ -162,7 +162,7 @@
     }    
   }
   
-  public static final int getInt (MJIEnv env, int clsObjRef, int min, int max) {
+  public static final int getInt__II (MJIEnv env, int clsObjRef, int min, int max) {
     JVM vm = env.getVM();
     
     ChoiceGenerator gen = vm.getChoiceGenerator();
@@ -177,7 +177,7 @@
     }    
   }
   
-  public static final double getInt (MJIEnv env, int clsObjRef, int idRef) {
+  public static final int getInt__Ljava_lang_String_2 (MJIEnv env, int clsObjRef, int idRef) {
     JVM vm = env.getVM();
     
     // there is only one per state, so if we have been here before, we don't